A. C. Paseau

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.

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

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

From title to back cover, a polemic runs through David Corfield's "Towards a Philosophy of Real Mathematics". Corfield repeatedly complains that philosophers of mathematics have ignored the interesting and important mathematical developments of the past seventy years, ‘filtering’ the details of mathematical practice out of philosophical discussion. His aim is to remedy the discipline’s long-sightedness and, by precept and example, to redirect philosophical attention towards current developments in mathematics. This review discusses some strands of Corfield’s philosophy of real mathematics and briefly assesses some of his objections to orthodox philosophy of mathematics.

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⌜ …

Although the case for the judgment-dependence of many other domains has been pored over, surprisingly little attention has been paid to mathematics and logic. This paper presents two dilemmas for a judgment-dependent account of these areas. First, the extensionality-substantiality dilemma: in each case, either the judgment-dependent account is extensionally inadequate or it cannot meet the substantiality condition (roughly: non-vacuous specification). Second, the extensionality-extremality dilemma: in each case, either the judgment-dependent account is extensionally inadequate or it cannot meet the extremality condition (roughly: absence of independent explanation). The paper concludes with a moral concerning the judgment-dependence of a posteriori areas of discourse that emerges from consideration of these two a priori cases

Naturalism in the philosophy of mathematics is the view that philosophy cannot legitimately gainsay mathematics. I distinguish between reinterpretation and reconstruction naturalism: the former states that philosophy cannot legitimately sanction a reinterpretation of mathematics (i.e. an interpretation different from the standard one); the latter that philosophy cannot legitimately change standard mathematics (as opposed to its interpretation). I begin by showing that neither form of naturalism is self-refuting. I then focus on reinterpretation naturalism, which comes in two forms, and examine the only available argument for it. I argue that this argument, the so-called Failure Argument, itself fails. My overall conclusion is that although there is no self-refutation argument against reinterpretation naturalism, there are as yet no good reasons to accept it. Naturalism in mathematics The consistency of mathematical naturalism The failure argument Objections to the failure argument Philosophy as the default.

Contemporary philosophy’s three main naturalisms are methodological, ontological and epistemological. Methodological naturalism states that the only authoritative standards are those of science. Ontological and epistemological naturalism respectively state that all entities and all valid methods of inquiry are in some sense natural. In philosophy of mathematics of the past few decades methodological naturalism has received the lion’s share of the attention, so we concentrate on this. Ontological and epistemological naturalism in the philosophy of mathematics are discussed more briefly in section 6

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

Mathematicians do not claim to know a proposition unless they think they possess a proof of it. For all their confidence in the truth of a proposition with weighty non-deductive support, they maintain that, strictly speaking, the proposition remains unknown until such time as someone has proved it. This article challenges this conception of knowledge, which is quasi-universal within mathematics. We present four arguments to the effect that non-deductive evidence can yield knowledge of a mathematical proposition. We also show that some of what mathematicians take to be deductive knowledge is in fact non-deductive. 1 Introduction2 Why It Might Matter3 Two Further Examples and Preliminaries4 An Exclusive Epistemic Virtue of Proof?5 Analyses of Knowledge6 The Inductive Basis of Deduction7 Physical to Mathematical Linkages8 Conclusion.

Fitch's argument purports to show that if all truths are knowable then all truths are known. The argument exploits the fact that the knowledge predicate or operator is untyped and may thus apply to sentences containing itself. This article outlines a response to Fitch's argument based on the idea that knowledge is typed. The first part of the article outlines the philosophical motivation for the view, comparing it to the motivation behind typing truth. The second, formal part presents a logic in which knowledge is typed and demonstrates that it allows nonlogical truths to be knowable yet unknown.

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.