(Goodsell, Journal of Philosophical Logic, 51(1), 127-150 2022) establishes the noncontingency of sentences of first-order arithmetic, in a plausible higher-order modal logic. Here, the same result is derived using significantly weaker assumptions. Most notably, the assumption of rigid comprehension—that every property is coextensive with a modally rigid one—is weakened to the assumption that the Boolean algebra of properties under necessitation is countably complete. The results are generalized to extensions of the language of arithmetic, and are applied to answer a question (...) posed by Bacon and Dorr (2024). (shrink)

An increasing amount of contemporary philosophy of mathematics posits, and theorizes in terms of special kinds of mathematical modality. The goal of this paper is to bring recent work on higher-order metaphysics to bear on the investigation of these modalities. The main focus of the paper will be views that posit mathematical contingency or indeterminacy about statements that concern the ‘width’ of the set theoretic universe, such as Cantor’s continuum hypothesis. Within a higher-order framework I show that contingency about the (...) width of the set-theoretic universe refutes two orthodoxies concerning the structure of modal reality: the view that the broadest necessity has a logic of S5, and the ‘Leibniz biconditionals’ stating that what is possible, in the broadest sense of _possible_, is what is true in some possible world. Nonetheless, I suggest that the underlying picture of modal set-theory is coherent and has attractions. (shrink)

Open texture is a kind of semantic indeterminacy first systematically studied by Waismann. In this paper, extant definitions of open texture will be compared and contrasted, with a view towards the consequences of open-textured concepts in mathematics. It has been suggested that these would threaten the traditional virtues of proof, primarily the certainty bestowed by proof-possession, and this suggestion will be critically investigated using recent work on informal proof. It will be argued that informal proofs have virtues that mitigate the (...) danger posed by open texture. Moreover, it will be argued that while rigor in the guise of formalisation and axiomatisation might banish open texture from mathematical theories through implicit definition, it can do so only at the cost of restricting the tamed concepts in certain ways. (shrink)

Critiques the higher-order hyperintensional theory developed by Cian Dorr in "To be F as to be G" as an exercise in overfitting.

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. (shrink)