Switch to: References

Add citations

You must login to add citations.
  1. (1 other version)Part 1: Theoretical equivalence in physics.James Owen Weatherall - 2019 - Philosophy Compass 14 (5):e12592.
    I review the philosophical literature on the question of when two physical theories are equivalent. This includes a discussion of empirical equivalence, which is often taken to be necessary, and sometimes taken to be sufficient, for theoretical equivalence; and “interpretational” equivalence, which is the idea that two theories are equivalent just in case they have the same interpretation. It also includes a discussion of several formal notions of equivalence that have been considered in the recent philosophical literature, including (generalized) definitional (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • On Generalization of Definitional Equivalence to Languages with Non-Disjoint Signatures.Koen Lefever & Gergely Székely - unknown
    For simplicity, most of the literature introduces the concept of definitional equivalence only to languages with disjoint signatures. In a recent paper, Barrett and Halvorson introduce a straightforward generalization to languages with non-disjoint signatures and they show that their generalization is not equivalent to intertranslatability in general. In this paper,we show that their generalization is not transitive and hence it is not an equivalence relation. Then we introduce the Andréka and Németi generalization as one of the many equivalent formulations for (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Definable categorical equivalence.Laurenz Hudetz - 2019 - Philosophy of Science 86 (1):47-75.
    This article proposes to explicate theoretical equivalence by supplementing formal equivalence criteria with preservation conditions concerning interpretation. I argue that both the internal structure of models and choices of morphisms are aspects of formalisms that are relevant when it comes to their interpretation. Hence, a formal criterion suitable for being supplemented with preservation conditions concerning interpretation should take these two aspects into account. The two currently most important criteria—gener-alized definitional equivalence (Morita equivalence) and categorical equivalence—are not optimal in this respect. (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • (1 other version)Part 2: Theoretical equivalence in physics.James Owen Weatherall - 2019 - Philosophy Compass 14 (5):e12591.
    I review the philosophical literature on the question of when two physical theories are equivalent. This includes a discussion of empirical equivalence, which is often taken to be necessary, and sometimes taken to be sufficient, for theoretical equivalence; and “interpretational” equivalence, which is the idea that two theories are equivalent just in case they have the same interpretation. It also includes a discussion of several formal notions of equivalence that have been considered in the recent philosophical literature, including (generalized) definitional (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Distances between formal theories.Michele Friend, Mohamed Khaled, Koen Lefever & Gergely Székely - unknown - Review of Symbolic Logic 13 (3):633-654.
    In the literature, there have been several methods and definitions for working out whether two theories are “equivalent” or not. In this article, we do something subtler. We provide a means to measure distances between formal theories. We introduce two natural notions for such distances. The first one is that of axiomatic distance, but we argue that it might be of limited interest. The more interesting and widely applicable notion is that of conceptual distance which measures the minimum number of (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Conceptual Distance and Algebras of Concepts.Mohamed Khaled & Gergely Székely - forthcoming - Review of Symbolic Logic:1-16.
    We show that the conceptual distance between any two theories of first-order logic is the same as the generator distance between their Lindenbaum–Tarski algebras of concepts. As a consequence of this, we show that, for any two arbitrary mathematical structures, the generator distance between their meaning algebras (also known as cylindric set algebras) is the same as the conceptual distance between their first-order logic theories. As applications, we give a complete description for the distances between meaning algebras corresponding to structures (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • On Generalization of Definitional Equivalence to Non-Disjoint Languages.Koen Lefever & Gergely Székely - 2019 - Journal of Philosophical Logic 48 (4):709-729.
    For simplicity, most of the literature introduces the concept of definitional equivalence only for disjoint languages. In a recent paper, Barrett and Halvorson introduce a straightforward generalization to non-disjoint languages and they show that their generalization is not equivalent to intertranslatability in general. In this paper, we show that their generalization is not transitive and hence it is not an equivalence relation. Then we introduce another formalization of definitional equivalence due to Andréka and Németi which is equivalent to the Barrett–Halvorson (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations