Arithmetic is necessary

DOI10.1007/S10992-024-09760-9MaRDI QIDQ6606843zbMATH OpenFDO

Authors Zachary Goodsell

Publication date 17 September 2024

Published in Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/S10992-024-09760-9

zbMATH Keywords

arithmetical truthhigher-order logichigher-order metaphysicsmathematical modalitymodal logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites work

• A formulation of the simple theory of types.
• Actual and potential infinity
• An indeterminate universe of sets
• Arithmetic is determinate
• Can all things be counted?
• Completeness in the theory of types
• Higher-order semantics and extensionality
• PREDICATIVISM AS A FORM OF POTENTIALISM
• Resolution in type theory
• The bounds of possibility. Puzzles of modal variation
• The broadest necessity
• THE MODAL LOGIC OF SET-THEORETIC POTENTIALISM AND THE POTENTIALIST MAXIMALITY PRINCIPLES
• The necessity of mathematics
• THE POTENTIAL HIERARCHY OF SETS

This page was built for publication: Arithmetic is necessary

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6606843)