Mutual translatability, equivalence, and the structure of theories

&
Synthese 200 (3):1-36 (2022)
  Copy   BIBTEX

Abstract

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.

Categories

Keywords

Reprint years

DOI

10.1007/s11229-022-03733-8

Links

PhilArchive

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Extension, Translation, and the Cantor-Bernstein Property.Thomas William Barrett & Hans Halvorson - manuscript
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.
Decidability and ℵ0-categoricity of theories of partially ordered sets.James H. Schmerl - 1980 - Journal of Symbolic Logic 45 (3):585 - 611.
Evidence and the hierarchy of mathematical theories.Charles Parsons - unknown
Logical anti-exceptionalism and theoretical equivalence.John Wigglesworth - 2017 - Analysis 77 (4):759-767.
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.
Why Not Categorical Equivalence?James Owen Weatherall - 2021 - In Judit Madarász & Gergely Székely (eds.), Hajnal Andréka and István Németi on Unity of Science: From Computing to Relativity Theory Through Algebraic Logic. Springer. pp. 427-451.
Struktura teorii naukowych i systemów wartości.Anna Jedynak - 2000 - Filozofia Nauki 3.
A new characterization of scientific theories.Jody Azzouni - 2014 - Synthese 191 (13):2993-3008.
Decidability and finite axiomatizability of theories of ℵ0-categorical partially ordered sets.James H. Schmerl - 1981 - Journal of Symbolic Logic 46 (1):101 - 120.
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.
The underdetermination of total theories.Jarrett Leplin - 1997 - Erkenntnis 47 (2):203-215.

Analytics

Added to PP
2020-01-15

Downloads
1,080 (#11,939)

6 months
157 (#21,186)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Thomas William Barrett
University of California at Santa Barbara
Hans Halvorson
Princeton University

Citations of this work

Are Maxwell Gravitation and Newton-Cartan Theory Theoretically Equivalent?Eleanor March - forthcoming - British Journal for the Philosophy of Science.

Add more citations

References found in this work

The Scientific Image.William Demopoulos & Bas C. van Fraassen - 1982 - Philosophical Review 91 (4):603.
Anti-exceptionalism about logic.Ole Thomassen Hjortland - 2017 - Philosophical Studies 174 (3):631-658.
Philosophy of Physics: Space and Time.Tim Maudlin - 2012 - Princeton University Press.
Philosophy and Model Theory.Tim Button & Sean P. Walsh - 2018 - Oxford, UK: Oxford University Press. Edited by Sean Walsh & Wilfrid Hodges.
Anti-Exceptionalism about Logic.Ole Thomassen Hjortland - 2019 - Australasian Journal of Logic 16 (7):186.

View all 52 references / Add more references