Frege on formality and the 1906 independence-test

DOI10.1515/9781614518471.97zbMATH Open1329.03002OpenAlexW2483999000MaRDI QIDQ3452173FDOQ3452173

Authors: Patricia A. Blanchette 

Publication date: 18 November 2015

Published in: Formalism and Beyond (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/4ab650374bc16ade0979a1da73ef2c0bb9e04af0

Recommendations

• Frege on axioms, indirect proof, and independence arguments in geometry: Did Frege reject independence arguments?
• Frege's conception of logic
• Frege on Consistency and Conceptual Analysis
• Frege's new science
• Aspekte der frege–hilbert-korrespondenz

zbMATH Keywords

Frege

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Abstract deductive systems (03B22)

Cited In (9)

• Frege's philosophy of geometry
• Frege on indirect proof
• Frege on Consistency and Conceptual Analysis
• Frege's new science
• Logical contextuality in Frege
• Frege on axioms, indirect proof, and independence arguments in geometry: Did Frege reject independence arguments?
• Remarks on independence proofs and indirect reference
• Frege's conception of logic
• Identity and the cognitive value of logical equations in Frege's foundational project

This page was built for publication: Frege on formality and the 1906 independence-test

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