Frege's other program

DOI10.1305/NDJFL/1107220671MaRDI QIDQ558436zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• The neo-Fregean program in the philosophy of arithmetic
• scientific article; zbMATH DE number 2107940
• Zigzag and Fregean Arithmetic
• Frege's theorem and his logicism
• Finitude and Hume's principle

Cites work

• scientific article; zbMATH DE number 1300630 (Why is no real title available?)
• scientific article; zbMATH DE number 1090730 (Why is no real title available?)
• scientific article; zbMATH DE number 1150556 (Why is no real title available?)
• scientific article; zbMATH DE number 1764654 (Why is no real title available?)
• scientific article; zbMATH DE number 1868658 (Why is no real title available?)
• scientific article; zbMATH DE number 1439713 (Why is no real title available?)
• Consistent fragments of \textit{Grundgesetze} and the existence of non-logical objects
• Developing arithmetic in set theory without infinity: some historical remarks
• Frege's Theory of Concepts and Objects and the Interpretation of Second-order Logict
• Frege's new science
• Frege's unofficial arithmetic
• Is Hume's principle analytic?
• On the consistency of the \(\Delta_1^1\)-CA fragment of Frege's Grundgesetze
• The Consistency of predicative fragments of frege’s grundgesetze der arithmetik

Cited in

(5)

• Frege's theory of real numbers: A consistent rendering
• TWO-SORTED FREGE ARITHMETIC IS NOT CONSERVATIVE
• Frege meets Zermelo: a perspective on ineffability and reflection
• What is Neologicism?
• The neo-Fregean program in the philosophy of arithmetic

This page was built for publication: Frege's other program

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