This paper proposes and partially defends a novel philosophy of arithmetic—finitary upper logicism. According to it, the natural numbers are finite cardinalities—conceived of as properties of properties—and arithmetic is nothing but higher-order modal logic. Finitary upper logicism is furthermore essentially committed to the logicality of finitary plenitude, the principle according to which every finite cardinality could have been instantiated. Among other things, it is proved in the paper that second-order Peano arithmetic is interpretable, on the basis of the finite cardinalities’ conception of the natural numbers, in a weak modal type theory consisting of the modal logic $\mathsf {K}$, negative free quantified logic, a contingentist-friendly comprehension principle, and finitary plenitude. By replacing finitary plenitude for the axiom of infinity this result constitutes a significant improvement on Russell and Whitehead’s interpretation of second-order Peano arithmetic, itself based on the finite cardinalities’ conception of the natural numbers.

Neo-Fregean logicists claim that Hume’s Principle (HP) may be taken as an implicit definition of cardinal number, true simply by fiat. A long-standing problem for neo-Fregean logicism is that HP is not deductively conservative over pure axiomatic second-order logic. This seems to preclude HP from being true by fiat. In this paper, we study Richard Kimberly Heck’s Two-Sorted Frege Arithmetic (2FA), a variation on HP which has been thought to be deductively conservative over second-order logic. We show that it isn’t. In fact, 2FA is not conservative over n-th order logic, for all $n \geq 2$. It follows that in the usual one-sorted setting, HP is not deductively Field-conservative over second- or higher-order logic.

Neo-Fregeanism aims to provide a possible route to knowledge of arithmetic via Hume’s principle, but this is of only limited significance if it cannot account for how the vast majority of arithmetic knowledge, accrued by ordinary people, is obtained. I argue that Hume’s principle does not capture what is ordinarily meant by numerical identity, but that we can do much better by buttressing plural logic with plural versions of the ancestral operator, obtaining natural and plausible characterizations of various key arithmetic concepts, including finiteness, equinumerosity and addition and multiplication of cardinality—revealing these to be logical concepts, and obtaining much of ordinary arithmetic knowledge as logical knowledge. Supplementing this with an abstraction principle and a simple axiom of infinity (known either empirically or modally) we obtain a full interpretation of arithmetic.

Frege’s definition of the real numbers, as envisaged in the second volume of Grundgesetze der Arithmetik, is fatally flawed by the inconsistency of Frege’s ill-fated Basic Law V. We restate Frege’s definition in a consistent logical framework and investigate whether it can provide a logical foundation of real analysis. Our conclusion will deem it doubtful that such a foundation along the lines of Frege’s own indications is possible at all.

Is a logicist bound to the claim that as a matter of analytic truth there is an actual infinity of objects? If Hume’s Principle is analytic then in the standard setting the answer appears to be yes. Hodes’s work pointed to a way out by offering a modal picture in which only a potential infinity was posited. However, this project was abandoned due to apparent failures of cross-world predication. We re-explore this idea and discover that in the setting of the potential infinite one can interpret first-order Peano arithmetic, but not second-order Peano arithmetic. We conclude that in order for the logicist to weaken the metaphysically loaded claim of necessary actual infinities, they must also weaken the mathematics they recover.

Recent discussions on Fregean and neo-Fregean foundations for arithmetic and real analysis pay much attention to what is called either ‘Application Constraint’ ($AC$) or ‘Frege Constraint’ ($FC$), the requirement that a mathematical theory be so outlined that it immediately allows explaining for its applicability. We distinguish between two constraints, which we, respectively, denote by the latter of these two names, by showing how $AC$ generalizes Frege’s views while $FC$ comes closer to his original conceptions. Different authors diverge on the interpretation of $FC$ and on whether it applies to definitions of both natural and real numbers. Our aim is to trace the origins of $FC$ and to explore how different understandings of it can be faithful to Frege’s views about such definitions and to his foundational program. After rehearsing the essential elements of the relevant debate (§1), we appropriately distinguish $AC$ from $FC$ (§2). We discuss six rationales which may motivate the adoption of different instances of $AC$ and $FC$ (§3). We turn to the possible interpretations of $FC$ (§4), and advance a Semantic $FC$ (§4.1), arguing that while it suits Frege’s definition of natural numbers (4.1.1), it cannot reasonably be imposed on definitions of real numbers (§4.1.2), for reasons only partly similar to those offered by Crispin Wright (§4.1.3). We then rehearse a recent exchange between Bob Hale and Vadim Batitzky to shed light on Frege’s conception of real numbers and magnitudes (§4.2). We argue that an Architectonic version of $FC$ is indeed faithful to Frege’s definition of real numbers, and compatible with his views on natural ones. Finally, we consider how attributing different instances of $FC$ to Frege and appreciating the role of the Architectonic $FC$ can provide a more perspicuous understanding of his foundational program, by questioning common pictures of his logicism (§5).

The paradox that appears under Burali–Forti’s name in many textbooks of set theory is a clever piece of reasoning leading to an unproblematic theorem. The theorem asserts that the ordinals do not form a set. For such a set would be–absurdly–an ordinal greater than any ordinal in the set of all ordinals. In this article, we argue that the paradox of Burali–Forti is first and foremost a problem about concept formation by abstraction, not about sets. We contend, furthermore, that some hundred years after its discovery the paradox is still without any fully satisfactory resolution. A survey of the current literature reveals one key assumption of the paradox that has gone unquestioned, namely the assumption that ordinals are objects. Taking the lead from Russell’s no class theory, we interpret talk of ordinals as an efficient way of conveying higher-order logical truths. The resulting theory of ordinals is formally adequate to standard intuitions about ordinals, expresses a conception of ordinal number capable of resolving Burali–Forti’s paradox, and offers a novel contribution to the longstanding program of reducing mathematics to higher-order logic.

We discuss the typography of the notation used by Gottlob Frege in his Grundgesetze der Arithmetik.

We propose a critique of normativism, defined as the idea that human thinking reflects a normative system against which it should be measured and judged. We analyze the methodological problems associated with normativism, proposing that it invites the controversial “is-ought” inference, much contested in the philosophical literature. This problem is triggered when there are competing normative accounts (the arbitration problem), as empirical evidence can help arbitrate between descriptive theories, but not between normative systems. Drawing on linguistics as a model, we propose that a clear distinction between normative systems and competence theories is essential, arguing that equating them invites an “is-ought” inference: to wit, supporting normative “ought” theories with empirical “is” evidence. We analyze in detail two research programmes with normativist features – Oaksford and Chater's rational analysis and Stanovich and West's individual differences approach – demonstrating how, in each case, equating norm and competence leads to an is-ought inference. Normativism triggers a host of research biases in the psychology of reasoning and decision making: focusing on untrained participants and novel problems, analyzing psychological processes in terms of their normative correlates, and neglecting philosophically significant paradigms when they do not supply clear standards for normative judgement. For example, in a dual-process framework, normativism can lead to a fallacious “ought-is” inference, in which normative responses are taken as diagnostic of analytic reasoning. We propose that little can be gained from normativism that cannot be achieved by descriptivist computational-level analysis, illustrating our position with Hypothetical Thinking Theory and the theory of the suppositional conditional. We conclude that descriptivism is a viable option, and that theories of higher mental processing would be better off freed from normative considerations.

I show that any sentence of nth-order (pure or applied) arithmetic can be expressed with no loss of compositionality as a second-order sentence containing no arithmetical vocabulary, and use this result to prove a completeness theorem for applied arithmetic. More specifically. I set forth an enriched second-order language L. a sentence of L (which is true on the intended interpretation of L), and a compositionally recursive transformation Tr defined on formulas of L, and show that they have the following two properties: (a) in a universe with at least ℶn−2 objects, any formula of nth-order (pure or applied) arithmetic can be expressed as a formula of L, and (b) for any sentence of is a second-order sentence containing no arithmetical vocabulary, and