Morita Equivalence

&
Review of Symbolic Logic 9 (3):556-582 (2016)
  Copy   BIBTEX

Abstract

Logicians and philosophers of science have proposed various formal criteria for theoretical equivalence. In this paper, we examine two such proposals: definitional equivalence and categorical equivalence. In order to show precisely how these two well-known criteria are related to one another, we investigate an intermediate criterion called Morita equivalence.

Categories

Keywords

DOI

10.1017/s1755020316000186

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 83,802

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

Glymour and Quine on Theoretical Equivalence.Thomas William Barrett & Hans Halvorson - 2016 - Journal of Philosophical Logic 45 (5):467-483.
Abductive Equivalence in First-order Logic.Katsumi Inoue & Chiaki Sakama - 2006 - Logic Journal of the IGPL 14 (2):333-346.
The Definition of Translation in Davidson’s Philosophy: Semantic Equivalence versus Functional Equivalence.Francesca Ervas - unknown
? 0 N -equivalence relations.Andrea Sorbi - 1982 - Studia Logica 41 (4):351-358.
Effective categoricity of equivalence structures.Wesley Calvert, Douglas Cenzer, Valentina Harizanov & Andrei Morozov - 2006 - Annals of Pure and Applied Logic 141 (1):61-78.
Theoretical Equivalence as Interpretative Equivalence.Kevin Coffey - 2014 - British Journal for the Philosophy of Science 65 (4):821-844.
Thin equivalence relations and effective decompositions.Greg Hjorth - 1993 - Journal of Symbolic Logic 58 (4):1153-1164.
On Σ1 1 equivalence relations over the natural numbers.Ekaterina B. Fokina & Sy-David Friedman - 2012 - Mathematical Logic Quarterly 58 (1-2):113-124.
Categorical Abstract Algebraic Logic: Equivalential π-Institutions.George Voutsadakis - 2008 - Australasian Journal of Logic 6:1-24.
$\sum_{0}^{n}$ -Equivalence Relations.Andrea Sorbi - 1982 - Studia Logica 41 (4):351 - 358.
On two mathematical definitions of observational equivalence: Manifest isomorphism and epsilon-congruence reconsidered.Christopher Belanger - 2013 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 44 (2):69-76.
Maximal R.e. Equivalence relations.Jeffrey S. Carroll - 1990 - Journal of Symbolic Logic 55 (3):1048-1058.
What is Metaphysical Equivalence?Kristie Miller - 2005 - Philosophical Papers 34 (1):45-74.
On two mathematical definitions of observational equivalence: Manifest isomorphism and reconsidered.Christopher Belanger - 2013 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 44 (2):69-76.
Definitional equivalence and algebraizability of generalized logical systems.Alexej P. Pynko - 1999 - Annals of Pure and Applied Logic 98 (1-3):1-68.

Analytics

Added to PP
2015-09-07

Downloads
159 (#93,562)

6 months
9 (#110,990)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

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

Citations of this work

What Theoretical Equivalence Could Not Be.Trevor Teitel - 2021 - Philosophical Studies 178 (12):4119-4149.
Motivating dualities.James Read & Thomas Møller-Nielsen - 2020 - Synthese 197 (1):263-291.
How to count structure.Thomas William Barrett - 2022 - Noûs 56 (2):295-322.
Equivalent and Inequivalent Formulations of Classical Mechanics.Thomas William Barrett - 2019 - British Journal for the Philosophy of Science 70 (4):1167-1199.
What Do Symmetries Tell Us About Structure?Thomas William Barrett - 2017 - Philosophy of Science (4):617-639.

View all 44 citations / Add more citations

References found in this work

What Scientific Theories Could Not Be.Hans Halvorson - 2012 - Philosophy of Science 79 (2):183-206.
The “Structure” of Physics.Jill North - 2009 - Journal of Philosophy 106 (2):57-88.
Glymour and Quine on Theoretical Equivalence.Thomas William Barrett & Hans Halvorson - 2016 - Journal of Philosophical Logic 45 (5):467-483.

View all 28 references / Add more references