Frege's other program

DOI10.1305/ndjfl/1107220671zbMath1098.03009OpenAlexW1984222270MaRDI QIDQ558436

Jianyong Qiao, Sumit K. Garg

Publication date: 6 July 2005

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1107220671

zbMATH Keywords

arithmeticsecond-order logicHume's PrincipleextensionalismFrege's extensionalist program

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35)

Related Items

FREGE’S THEORY OF REAL NUMBERS: A CONSISTENT RENDERING ⋮ FREGE MEETS ZERMELO: A PERSPECTIVE ON INEFFABILITY AND REFLECTION

Cites Work

• Consistent fragments of \textit{Grundgesetze} and the existence of non-logical objects
• On the consistency of the \(\Delta_1^1\)-CA fragment of Frege's Grundgesetze
• Frege's new science
• Developing arithmetic in set theory without infinity: some historical remarks
• Frege's Theory of Concepts and Objects and the Interpretation of Second-order Logict
• The Consistency of predicative fragments of frege’s grundgesetze der arithmetik
• Frege's unofficial arithmetic
• Is Hume's principle analytic?
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item