A. C. Paseau

James Walmsley in “Categoricity and Indefinite Extensibility” argues that a realist about some branch of mathematics X (e.g. arithmetic) apparently cannot use the categoricity of an axiomatisation of X to justify her belief that every sentence of the language of X has a truth-value. My discussion note first corrects Walmsley’s formulation of his claim. It then shows that his argument for it hinges on the implausible idea that grasping that there is some model of the axioms amounts to grasping that there is a unique such model.

The isomorphism invariance criterion of logical nature has much to commend it. It can be philosophically motivated by the thought that logic is distinctively general or topic neutral. It is capable of precise set-theoretic formulation. And it delivers an extension of ‘logical constant’ which respects the intuitively clear cases. Despite its attractions, the criterion has recently come under attack. Critics such as Feferman, MacFarlane and Bonnay argue that the criterion overgenerates by incorrectly judging mathematical notions as logical. We consider five possible precisifications of the overgeneration argument and find them all unconvincing.

Complete inferential rigour is achieved by breaking down arguments into steps that are as small as possible: inferential ‘atoms’. For example, a mathematical or philosophical argument may be made completely inferentially rigorous by decomposing its inferential steps into the type of step found in a natural deduction system. It is commonly thought that atomization, paradigmatically in mathematics but also more generally, is pro tanto epistemically valuable. The paper considers some plausible candidates for the epistemic value arising from atomization and finds that none of them fits the bill. In particular, atomized arguments do not ground the correctness of their unatomized counterparts; they are typically not credence-preserving; and they need not reveal the source of inferential disagreement. The moral this suggests is that complete rigour is not even a defeasible epistemic ideal.

Some philosophers have argued that the open-endedness of the set concept has revisionary consequences for the semantics and logic of set theory. I consider (several variants of) an argument for this claim, premissed on the view that quantification in mathematics cannot outrun our conceptual abilities. The argument urges a non-standard semantics for set theory that allegedly sanctions a non-classical logic. I show that the views about quantification the argument relies on turn out to sanction a classical semantics and logic after all. More generally, this article constitutes a case study in whether the need to account for conceptual progress can ever motivate a revision of semantics or logic. I end by expressing skepticism about the prospects of a so-called non-proof-based justification for this kind of revisionism about set theory.

Sometimes, two unfair distributions cancel out in aggregate. Paradoxically, two distributions each of which is fair in isolation may give rise to aggregate unfairness. When assessing the fairness of distributions, it therefore matters whether we assess transactions piecemeal or focus only on the overall result. This piece illustrates these difficulties for two leading theories of fairness before offering a formal proof that no non-trivial theory guarantees aggregativity. This is not intended as a criticism of any particular theory, but as a datum that must be taken into account in constructing a theory of fairness

Erratum to: Synthese DOI 10.1007/s11229-015-0705-5In line 3 of footnote 8 on page 4, ‘allow’ should be ‘disallow’.In line 8 of page 5, \ should be \ and \ should be \. Similarly for lines 1, 2, 3, 7, 8, 13 and 14 of page 6.The entry in row 20 column 6 of the table on page 5 should be 1 rather than 0.The entry \ in row 30 column 5 of the table on page 5 should be \.In line 27 of page 13, ‘it’ should be ‘them’.Four lines from the end of section 12.3 on page 20, ‘premisses’ should be ‘premiss sets’, and ..

The overgeneration argument attempts to show that accepting second-order validity as a sound formal counterpart of logical truth has the unacceptable consequence that the Continuum Hypothesis is either a logical truth or a logical falsehood. The argument was presented and vigorously defended in John Etchemendy’s The Concept of Logical Consequence and it has many proponents to this day. Yet it is nothing but a seductive fallacy. I demonstrate this by considering five versions of the argument; as I show, each is either unsound or lacks a troubling conclusion

The overgeneration argument attempts to show that accepting second-order validity as a sound formal counterpart of logical truth has the unacceptable consequence that the Continuum Hypothesis is either a logical truth or a logical falsehood. The argument was presented and vigorously defended in John Etchemendy’s The Concept of Logical Consequence and it has many proponents to this day. Yet it is nothing but a seductive fallacy. I demonstrate this by considering five versions of the argument; as I show, each is either unsound or lacks a troubling conclusion

Some philosophers have argued that the open-endedness of the set concept has revisionary consequences for the semantics and logic of set theory. I consider (several variants of) an argument for this claim, premissed on the view that quantification in mathematics cannot outrun our conceptual abilities. The argument urges a non-standard semantics for set theory that allegedly sanctions a non-classical logic. I show that the views about quantification the argument relies on turn out to sanction a classical semantics and logic after all. More generally, this article constitutes a case study in whether the need to account for conceptual progress can ever motivate a revision of semantics or logic. I end by expressing skepticism about the prospects of a so-called non-proof-based justification for this kind of revisionism about set theory.

James Walmsley in “Categoricity and Indefinite Extensibility” argues that a realist about some branch of mathematics X (e.g. arithmetic) apparently cannot use the categoricity of an axiomatisation of X to justify her belief that every sentence of the language of X has a truth-value. My note corrects Walmsley’s formulation of his claim, and shows that his argument for it hinges on the implausible idea that grasping that there is some model of the axioms amounts to grasping that there is a unique such model.

Pure second-order logic is second-order logic without functional or first-order variables. In "Pure Second-Order Logic," Denyer shows that pure second-order logic is compact and that its notion of logical truth is decidable. However, his argument does not extend to pure second-order logic with second-order identity. We give a more general argument, based on elimination of quantifiers, which shows that any formula of pure second-order logic with second-order identity is equivalent to a member of a circumscribed class of formulas. As a corollary, pure second-order logic with second-order identity is compact, its notion of logical truth is decidable, and it satisfies a pure second-order analogue of model completeness. We end by mentioning an extension to n th-order pure logics

Mathematical instrumentalism construes some parts of mathematics, typically the abstract ones, as an instrument for establishing statements in other parts of mathematics, typically the elementary ones. Gödel’s second incompleteness theorem seems to show that one cannot prove the consistency of all of mathematics from within elementary mathematics. It is therefore generally thought to defeat instrumentalisms that insist on a proof of the consistency of abstract mathematics from within the elementary portion. This article argues that though some versions of mathematical instrumentalism are defeated by Gödel’s theorem, not all are. By considering inductive reasons in mathematics, we show that some mathematical instrumentalisms survive the theorem.

Abstract: This article presents and solves a puzzle about methodological naturalism. Trumping naturalism is the thesis that we must accept p if science sanctions p, and biconditional naturalism the apparently stronger thesis that we must accept p if and only if science sanctions p. The puzzle is generated by an apparently cogent argument to the effect that trumping naturalism is equivalent to biconditional naturalism. It turns out that the argument for this equivalence is subtly question-begging. The article explains this and shows more generally that there are no scientific arguments for biconditional naturalism

The hard problem of induction is to argue without begging the question that inductive inference, applied properly in the proper circumstances, is conducive to truth. A recent theorem seems to show that the hard problem has a deductive solution. The theorem, provable in ZFC, states that a predictive function M exists with the following property: whatever world we live in, M ncorrectly predicts the world’s present state given its previous states at all times apart from a well-ordered subset. On the usual model of time a well-ordered subset is small relative to the set of all times. M’s existence therefore seems to provide a solution to the hard problem. My paper argues for two conclusions. First, the theorem does not solve the hard problem of induction. More positively though, it solves a version of the problem in which the structure of time is given modulo our choice of set theory.

In my paper , I noted that Fitch's argument, which purports to show that if all truths are knowable then all truths are known, can be blocked by typing knowledge. If there is not one knowledge predicate, ‘ K’, but infinitely many, ‘ K 1’, ‘ K 2’, … , then the type rules prevent application of the predicate ‘ K i’ to sentences containing ‘ K i’ such as ‘ p ∧¬ K i⌜ p⌝’. This provides a motivated response to Fitch's argument so long as knowledge typing is itself motivated. It was the burden of my paper to explore the case that knowledge typing is as motivated as truth typing by drawing on the parallels between epistemic paradoxes generated by sentences of the kind ‘this sentence is unknown’ and semantic paradoxes generated by sentences such as ‘this sentence is untrue’. Given that typing truth is one of the acknowledged options for solving semantic paradoxes, if the parity argument succeeds it follows that epistemic typing is as well-motivated as truth typing and that the typing response to Fitch's argument is correspondingly strong.Halbach presents an apparent problem for this argument. Let ‘ N’ and ‘ P’, respectively, denote the necessity and possibility predicates, ‘ K 1’ the knowledge predicate of first type, and let ‘γ’ be a K-free sentence such that γ ↔¬ P⌜ K 1⌜γ⌝⌝; we know such a ‘γ’ exists by a standard diagonalization argument. If we assume that γ is knowable at the next knowledge type, that is, at type 1, and that the possibility typing does not interfere with the knowledge typing, a contradiction quickly ensues. Formally: γ ↔¬ P⌜ …

The paper aims to develop a resemblance theory of properties that technically improves on past versions. The theory is based on a comparative resemblance predicate. In combination with other resources, it solves the various technical problems besetting resemblance nominalism. The paper’s second main aim is to indicate that previously proposed resemblance theories that solve the technical problems, including the comparative theory, are nominalistically unacceptable and have controversial philosophical commitments