From geometry to conceptual relativity

DOI10.1007/s10670-016-9858-yzbMath1417.03043OpenAlexW2280675909MaRDI QIDQ1707209

Hans Halvorson, Thomas William Barrett

Publication date: 29 March 2018

Published in: Erkenntnis (Search for Journal in Brave)

Full work available at URL: http://philsci-archive.pitt.edu/11911/1/geometry-anon-revised.pdf

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) General theory of linear incidence geometry and projective geometries (51A05)

Related Items

Can one design a geometry engine? Can one design a geometry engine? On the (un)decidability of certain affine Euclidean geometries, ON MORITA EQUIVALENCE AND INTERPRETABILITY, Quine's conjecture on many-sorted logic, The semantic view of theories and higher-order languages, In the Footsteps of Hilbert: The Andréka-Németi Group’s Logical Foundations of Theories in Physics

Cites Work

• Orthogonality and spacetime geometry
• Synonymous logics
• Quine's conjecture on many-sorted logic
• Glymour and Quine on theoretical equivalence
• Tarski and geometry
• Metamathematical discussion of some affine geometries
• Relations on lines as primitive notions for Euclidean geometry
• Properties Preserved under Definitional Equivalence and Interpretations
• Comparing Theories: The Dynamics of Changing Vocabulary
• Mutual definability does not imply definitional equivalence, a simple example
• MORITA EQUIVALENCE
• 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