Glymour and Quine on theoretical equivalence

DOI10.1007/S10992-015-9382-6MaRDI QIDQ2397813zbMATH OpenOpenAlexFDO

Authors Thomas William Barrett, Hans Halvorson

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)

Recommendations

• scientific article; zbMATH DE number 3323829
• Quine and logical truth
• Ground-theoretic equivalence
• The equivalences of refutational QRAT
• scientific article; zbMATH DE number 28359
• On the logic of factual equivalence
• Gödel and Quine on meaning and mathematics
• De Jongh and Glivenko theorems for equality theories
• scientific article; zbMATH DE number 5859784
• Theoretical equivalence and duality

Cites work

• scientific article; zbMATH DE number 5296405 (Why is no real title available?)
• scientific article; zbMATH DE number 5066367 (Why is no real title available?)
• scientific article; zbMATH DE number 3248792 (Why is no real title available?)
• scientific article; zbMATH DE number 3349803 (Why is no real title available?)
• A note on syntactical and semantical functions
• Are Newtonian gravitation and geometrized Newtonian gravitation theoretically equivalent?
• Classical Mechanics Is Lagrangian; It Is Not Hamiltonian
• Mutual definability does not imply definitional equivalence, a simple example
• Newtonian spacetime structure in light of the equivalence principle
• On Einstein algebras and relativistic spacetimes
• Properties Preserved under Definitional Equivalence and Interpretations
• Synonymous logics
• Zur Strukturgleichheit Axiomatischer Klassen

Cited in

(20)

• Criteria of theoreticity: bridging statement and non-statement view
• On two mathematical definitions of observational equivalence: manifest isomorphism and \(\varepsilon\)-congruence reconsidered
• A system of axioms for Minkowski spacetime
• Distances between formal theories
• Modal logics that are both monotone and antitone: Makinson's extension results and affinities between logics
• Quine's conjecture on many-sorted logic
• On generalization of definitional equivalence to non-disjoint languages
• Motivating dualities
• Comparing dualities and gauge symmetries
• Are Newtonian gravitation and geometrized Newtonian gravitation theoretically equivalent?
• The cost of closure: logical realism, anti-exceptionalism, and theoretical equivalence
• On Einstein algebras and relativistic spacetimes
• Ramsey equivalence
• Quineanism, noneism and metaphysical equivalence
• Realism and empirical equivalence
• On the continuity of geometrized Newtonian gravitation and general relativity
• How to count structure
• Theoretical equivalence and duality
• The Thomsen-Bachmann correspondence in metric geometry. I
• From geometry to conceptual relativity

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

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