Frege on formality and the 1906 independence-test
From MaRDI portal
Publication:3452173
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
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)