Mutual translatability, equivalence, and the structure of theories

被引：2
作者：
Barrett, Thomas William [1 ,2 ]
Halvorson, Hans [1 ,2 ]
机构：
[1] UC Santa Barbara, Dept Philosophy Barrett, Santa Barbara, CA 93106 USA
[2] Princeton Univ, Dept Philosophy Halvorson, Princeton, NJ 08544 USA
来源：
SYNTHESE | 2022年 / 200卷 / 03期
关键词：
Equivalence; Structure; Translation; Cantor-Bernstein; co-Cantor-Bernstein; THEORETICAL EQUIVALENCE; CLASSICAL MECHANICS; SEMANTIC VIEW;
D O I：
10.1007/s11229-022-03733-8
中图分类号：
N09 [自然科学史]; B [哲学、宗教];
学科分类号：
01 ; 0101 ; 010108 ; 060207 ; 060305 ; 0712 ;
摘要：
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.
引用
收藏
页数：36
相关论文
共 62 条
  • [1] Andréka H, 2005, MATH LOGIC QUART, V51, P591, DOI 10.1002/malq.200410051/www.mlq-journal.org
  • [2] Andreka H., 2008, DEFINING NEW UNIVER, P93
  • [3] [Anonymous], 2006, P WORKSH C LOG ALG A
  • [4] [Anonymous], 2017, CATEGORIES WORKING P
  • [5] Baez J., 2006, PROPERTY STRUCTURE S
  • [6] Baez JC, 2010, IMA VOL MATH APPL, V152, P1, DOI 10.1007/978-1-4419-1524-5_1
  • [7] Barrett T., 2019, PHILOS SCI
  • [8] Barrett T.W., 2021, IN PRESS
  • [9] Equivalent and Inequivalent Formulations of Classical Mechanics
    Barrett, Thomas William
    [J]. BRITISH JOURNAL FOR THE PHILOSOPHY OF SCIENCE, 2019, 70 (04) : 1167 - 1199
  • [10] What Do Symmetries Tell Us about Structure?
    Barrett, Thomas William
    [J]. PHILOSOPHY OF SCIENCE, 2018, 85 (04) : 617 - 639
1234567