Frege on formality and the 1906 independence-test

DOI10.1515/9781614518471.97MaRDI QIDQ3452173zbMATH OpenOpenAlexFDO

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

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)

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

Cited in

(9)

• Frege's philosophy of geometry
• Frege on indirect proof
• Frege on Consistency and Conceptual Analysis
• Frege's new science
• Frege on axioms, indirect proof, and independence arguments in geometry: Did Frege reject independence arguments?
• Logical contextuality in Frege
• 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)