Neo-Fregean foundations for real analysis: Some reflections on Frege's constraint

DOI10.1305/ndjfl/1038336879zbMath1014.03012OpenAlexW2087276710MaRDI QIDQ1860970

Crispin Wright

Publication date: 22 July 2003

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

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

zbMATH Keywords

second-order logicstructuralismabstraction principlesfoundations of real analysisneo-Fregean program

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Foundations of classical theories (including reverse mathematics) (03B30) Foundations: limits and generalizations, elementary topology of the line (26A03) Second- and higher-order arithmetic and fragments (03F35)

Related Items

FOR BETTER AND FOR WORSE. ABSTRACTIONISM, GOOD COMPANY, AND PLURALISM ⋮ Life on the Ship of Neurath: Mathematics in the Philosophy of Mathematics ⋮ LOGICISM, INTERPRETABILITY, AND KNOWLEDGE OF ARITHMETIC ⋮ FREGE’S THEORY OF REAL NUMBERS: A CONSISTENT RENDERING ⋮ Identity and the cognitive value of logical equations in Frege's foundational project ⋮ Hale's argument from transitive counting ⋮ Can Church's thesis be viewed as a Carnapian explication? ⋮ FREGE’S CONSTRAINT AND THE NATURE OF FREGE’S FOUNDATIONAL PROGRAM ⋮ Lagrange's theory of analytical functions and his ideal of purity of method ⋮ The good, the bad and the ugly ⋮ Rescuing implicit definition from abstractionism ⋮ Frege meets Dedekind: A neologicist treatment of real analysis ⋮ The fruits of logicism

Cites Work

• Finitude and Hume's principle
• Frege meets Dedekind: A neologicist treatment of real analysis
• Abstraction and set theory
• Reals by Abstractiont
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item