Glymour and Quine on theoretical equivalence

DOI10.1007/S10992-015-9382-6zbMath1392.03024OpenAlexW2122601966MaRDI QIDQ2397813

Hans Halvorson, Thomas William Barrett

Publication date: 23 May 2017

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-015-9382-6

zbMATH Keywords

QuineGlymourtheoretical equivalencedefinitional equivalence

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Foundations of classical theories (including reverse mathematics) (03B30) Applications of model theory (03C98)

Related Items (17)

A system of axioms for Minkowski spacetime ⋮ Comparing dualities and gauge symmetries ⋮ Ramsey equivalence ⋮ The cost of closure: logical realism, anti-exceptionalism, and theoretical equivalence ⋮ On Einstein algebras and relativistic spacetimes ⋮ DISTANCES BETWEEN FORMAL THEORIES ⋮ Theoretical equivalence and duality ⋮ Are Newtonian gravitation and geometrized Newtonian gravitation theoretically equivalent? ⋮ From geometry to conceptual relativity ⋮ Quine's conjecture on many-sorted logic ⋮ The Thomsen-Bachmann correspondence in metric geometry. I ⋮ On the continuity of geometrized Newtonian gravitation and general relativity ⋮ How to count structure ⋮ Motivating dualities ⋮ On generalization of definitional equivalence to non-disjoint languages ⋮ Realism and empirical equivalence ⋮ Modal logics that are both monotone and antitone: Makinson's extension results and affinities between logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On Einstein algebras and relativistic spacetimes
• A note on syntactical and semantical functions
• Synonymous logics
• Are Newtonian gravitation and geometrized Newtonian gravitation theoretically equivalent?
• Newtonian Spacetime Structure in Light of the Equivalence Principle
• Properties Preserved under Definitional Equivalence and Interpretations
• Classical Mechanics Is Lagrangian; It Is Not Hamiltonian
• Zur Strukturgleichheit Axiomatischer Klassen
• Mutual definability does not imply definitional equivalence, a simple example

This page was built for publication: Glymour and Quine on theoretical equivalence