Frege on axioms, indirect proof, and independence arguments in geometry: Did Frege reject independence arguments?

DOI10.1305/ndjfl/1038336845zbMath1009.03003OpenAlexW2071657275WikidataQ114598327 ScholiaQ114598327MaRDI QIDQ1860969

Jamie Tappenden

Publication date: 5 March 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/1038336845

zbMATH Keywords

invariancedualityHilbertFregeindependence arguments in geometryparallels axiom

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03) History of mathematics in the 19th century (01A55) History of geometry (51-03)

Related Items (10)

Identity and the cognitive value of logical equations in Frege's foundational project ⋮ Frege on intuition and objecthood in projective geometry ⋮ Frege and the origins of model theory in nineteenth century geometry ⋮ LOGICAL CONTEXTUALITY IN FREGE ⋮ Frege on Indirect Proof ⋮ Consistency, models, and soundness ⋮ Frege's philosophy of geometry ⋮ Remarks on Independence Proofs and Indirect Reference ⋮ Frege's new science ⋮ Frege on axioms, indirect proof, and independence arguments in geometry: Did Frege reject independence arguments?

Cites Work

• The Erlanger Programm of Felix Klein: Reflections on its place in the history of mathematics
• ``The true in Gottlob Frege's ``Über die Grundlagen der Geometrie
• Geometry and generality in Frege's philosophy of arithmetic.
• Frege on axioms, indirect proof, and independence arguments in geometry: Did Frege reject independence arguments?
• Frege on Formality and the 1906 Independence-Test
• What are logical notions?
• Frege, hilbert, and the conceptual structure of model theory
• Klein, Hilbert, and the Gottingen Mathematical Tradition
• Extending Knowledge and `Fruitful Concepts': Fregean Themes in the Foundations of Mathematics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Frege on axioms, indirect proof, and independence arguments in geometry: Did Frege reject independence arguments?