Thomas William Barrett
University of California at Santa Barbara
Hans Halvorson
Princeton University
This paper presents a simple pair of first-order theories that are not definitionally (nor Morita) equivalent, yet are mutually conservatively translatable and mutually 'surjectively' translatable. We use these results to clarify the overall geography of standards of equivalence and to show that the structural commitments that theories make behave in a more subtle manner than has been recognized.
Keywords equivalent theories  scientific theories
Categories (categorize this paper)
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Classical Mechanics Is Lagrangian; It Is Not Hamiltonian.Erik Curiel - 2014 - British Journal for the Philosophy of Science 65 (2):269-321.
What Do Symmetries Tell Us About Structure?Thomas William Barrett - 2017 - Philosophy of Science (4):617-639.
Structure and Equivalence.Neil Dewar - 2022 - Cambridge University Press.
On Translating Between Logics.Neil Dewar - 2018 - Analysis 78 (4):any001.
Ramsey Equivalence.Neil Dewar - 2019 - Erkenntnis 84 (1):77-99.

View all 6 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

A Hyperintensional Account of Metaphysical Equivalence.Kristie Miller - 2017 - Philosophical Quarterly 67 (269):772-793.
What Scientific Theories Could Not Be.Hans Halvorson - 2012 - Philosophy of Science 79 (2):183-206.
What is Metaphysical Equivalence?Kristie Miller - 2005 - Philosophical Papers 34 (1):45-74.
Pairs, Sets and Sequences in First-Order Theories.Albert Visser - 2008 - Archive for Mathematical Logic 47 (4):299-326.
Equivalent and Inequivalent Formulations of Classical Mechanics.Thomas William Barrett - 2019 - British Journal for the Philosophy of Science 70 (4):1167-1199.
On Dualities and Equivalences Between Physical Theories.Jeremy Butterfield - forthcoming - In Christian Wüthrich, Baptiste Le Bihan & Nick Huggett (eds.), Philosophy Beyond Spacetime. Oxford: Oxford University Press.


Added to PP index

Total views
505 ( #15,966 of 2,462,138 )

Recent downloads (6 months)
71 ( #10,909 of 2,462,138 )

How can I increase my downloads?


My notes