A prominent objection against the logicality of second-order logic is the so-called Overgeneration Argument. However, it is far from clear how this argument is to be understood. In the first part of the article, we examine the argument and locate its main source, namely, the alleged entanglement of second-order logic and mathematics. We then identify various reasons why the entanglement may be thought to be problematic. In the second part of the article, we take a metatheoretic perspective on the matter. (...) We prove a number of results establishing that the entanglement is sensitive to the kind of semantics used for second-order logic. These results provide evidence that by moving from the standard set-theoretic semantics for second-order logic to a semantics which makes use of higher-order resources, the entanglement either disappears or may no longer be in conflict with the logicality of second-order logic. (shrink)

This article surveys recent literature by Parsons, McGee, Shapiro and others on the significance of categoricity arguments in the philosophy of mathematics. After discussing whether categoricity arguments are sufficient to secure reference to mathematical structures up to isomorphism, we assess what exactly is achieved by recent ‘internal’ renditions of the famous categoricity arguments for arithmetic and set theory.

Modal logic provides an elegant way to understand the notion of potential infinity. This raises the question of what the right modal logic is for reasoning about potential infinity. In this article I identify a choice point in determining the right modal logic: Can a potentially infinite collection ever be expanded in two mutually incompatible ways? If not, then the possible expansions are convergent; if so, then the possible expansions are branching. When possible expansions are convergent, the right modal logic (...) is S4.2, and a mirroring theorem due to Linnebo allows for a natural potentialist interpretation of mathematical discourse. When the possible expansions are branching, the right modal logic is S4. However, the usual box and diamond do not suffice to express everything the potentialist wants to express. I argue that the potentialist also needs an operator expressing that something will eventually happen in every possible expansion. I prove that the result of adding this operator to S4 makes the set of validities Pi-1-1 hard. This result makes it unlikely that there is any natural translation of ordinary mathematical discourse into the potentialist framework in the context of branching possibilities. (shrink)

Modal logic provides an elegant way to understand the notion of potential infinity. This raises the question of what the right modal logic is for reasoning about potential infinity. In this article I identify a choice point in determining the right modal logic: Can a potentially infinite collection ever be expanded in two mutually incompatible ways? If not, then the possible expansions are convergent; if so, then the possible expansions are branching. When possible expansions are convergent, the right modal logic (...) is S4.2, and a mirroring theorem due to Linnebo allows for a natural potentialist interpretation of mathematical discourse. When the possible expansions are branching, the right modal logic is S4. However, the usual box and diamond do not suffice to express everything the potentialist wants to express. I argue that the potentialist also needs an operator expressing that something will eventually happen in every possible expansion. I prove that the result of adding this operator to S4 makes the set of validities Pi-1-1 hard. This result makes it unlikely that there is any natural translation of ordinary mathematical discourse into the potentialist framework in the context of branching possibilities. (shrink)

Ignacio Jane has argued that second-order logic presupposes some amount of set theory and hence cannot legitimately be used in axiomatizing set theory. I focus here on his claim that the second-order formulation of the Axiom of Separation presupposes the character of the power set operation, thereby preventing a thorough study of the power set of infinite sets, a central part of set theory. In reply I argue that substantive issues often cannot be separated from a logic, but rather must (...) be presupposed. I call this the logic-metalogic link. There are two facets to the logic-metalogic link. First, when a logic is entangled with a substantive issue, the same position on that issue should be taken at the meta- level as at the object level; and second, if an expression has a clear meaning in natural language, then the corresponding concept can equally well be deployed in a formal language. The determinate nature of the power set operation is one such substantive issue in set theory. Whether there is a determinate power set of an infinite set can only be presupposed in set theory, not proved, so the use of second-order logic cannot be ruled out by virtue of presupposing one answer to this question. Moreover, the legitimacy of presupposing in the background logic that the power set of an infinite set is determinate is guaranteed by the clarity and definiteness of the notions of all and of subset. This is also exactly what is required for the same presupposition to be legitimately made in an axiomatic set theory, so the use of second-order logic in set theory rather than first-order logic does not require any new metatheoretic commitments. (shrink)

Can Quine’s criterion for ontological commitment be comparatively applied across different logics? If so, how? Cross-logical evaluations of discourses are central to contemporary philosophy of mathematics and metaphysics. The focus here is on the influential and important arguments of George Boolos and David Lewis that second-order logic and plural quantification don’t incur additional ontological commitments over and above those incurred by first-order quantifiers. These arguments are challenged by the exhibition of a technical tool—the truncation-model construction of notational equivalents—that compares the (...) ontological role and increased expressive strength of non-first-order ideology to first-order ideology. (shrink)

This paper proposes an approach to the philosophy of mathematics, deductive pluralism, that is designed to satisfy the criteria of inclusiveness of and consistency with mathematical practice. Deductive pluralism views mathematical statements as assertions that a result follows from logical and mathematical foundations and that there are a variety of incompatible foundations such as standard foundations, constructive foundations, or univalent foundations. The advantages of this philosophy include the elimination of ontological problems, epistemological clarity, and objectivity. Possible objections and relations with (...) some other philosophies of mathematics are also considered. (shrink)