Remarks on independence proofs and indirect reference

DOI10.1080/01445340.2012.702568MaRDI QIDQ4983330zbMATH OpenOpenAlexWikidataFDO

Authors Günther Eder

Publication date 25 March 2015

Published in History and Philosophy of Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/01445340.2012.702568

Mathematics Subject Classification ID

History of mathematics in the 19th century (01A55) History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Philosophical and critical aspects of logic and foundations (03A05)

Recommendations

• Frege on formality and the 1906 independence-test
• Frege on axioms, indirect proof, and independence arguments in geometry: Did Frege reject independence arguments?
• Frege on Consistency and Conceptual Analysis
• Frege on indirect proof
• Frege's new science

Cites work

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

Cited in

(5)

• Frege's new science
• Frege on axioms, indirect proof, and independence arguments in geometry: Did Frege reject independence arguments?
• Frege on indirect proof
• Frege on Consistency and Conceptual Analysis
• On fundamental differences between dependent and independent meanings

This page was built for publication: Remarks on independence proofs and indirect reference

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