THE POTENTIAL IN FREGE’S THEOREM

DOI10.1017/S1755020320000349arXiv2101.04598MaRDI QIDQ6045102

Will Stafford

Publication date: 26 May 2023

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2101.04598

zbMATH Keywords

modal logiclogicismpotential infinity

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Modal logic (including the logic of norms) (03B45) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Higher-order logic (03B16)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The Arché papers on the mathematics of abstraction
• Where do the natural numbers come from?
• Frege and the rigorization of analysis
• First-order modal logic
• A logical foundation of arithmetic
• The problem of cross-world predication
• Potential infinity, abstraction principles and arithmetic (Leśniewski style)
• Abstraction Reconceived
• The development of arithmetic in Frege'sGrundgesetze der arithmetik
• FREGE MEETS BROUWER (OR HEYTING OR DUMMETT)
• Frege's theorem in a constructive setting
• Thin Objects
• Philosophy and Model Theory
• THE POTENTIAL HIERARCHY OF SETS
• Actual and Potential Infinity
• THE STRENGTH OF ABSTRACTION WITH PREDICATIVE COMPREHENSION
• Modal Logic as Metaphysics

This page was built for publication: THE POTENTIAL IN FREGE’S THEOREM