Khaled, Mohamed and Székely, Gergely and Lefever, Koen and Friend, M. (2020) Distances Between Formal Theories. REVIEW OF SYMBOLIC LOGIC, 13 (3). pp. 633-654. ISSN 1755-0203
|
Text
1807.01501.pdf Download (323kB) | Preview |
Abstract
In the literature, there have been several methods and definitions for working out whether two theories are "equivalent" (essentially the same) or not. In this article, we do something subtler. We provide a means to measure distances (and explore connections) 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 concepts that distinguish two theories. For instance, we use conceptual distance to show that relativistic and classical kinematics are distinguished by one concept only. © 2019 BMJ Publishing Group. All rights reserved.
| Item Type: | Article |
|---|---|
| Additional Information: | Faculty of Engineering and Natural Sciences, Bahçeşehir University, Istanbul, Turkey Alfréd Rényi Institute of Mathematics, Budapest, Hungary Centre for Logic and Philosophy of Science, Vrije Universiteit Brussel, Brussels, Belgium George Washington University, Washington, DC, United States Université de Lille, Lille, France Export Date: 30 October 2019 |
| Uncontrolled Keywords: | conceptual distance; degrees of non-equivalence; Network of theories; relativistic and classical kinematics; |
| Subjects: | Q Science / természettudomány > QA Mathematics / matematika |
| SWORD Depositor: | MTMT SWORD |
| Depositing User: | MTMT SWORD |
| Date Deposited: | 17 Aug 2020 12:23 |
| Last Modified: | 17 Aug 2020 12:23 |
| URI: | http://real.mtak.hu/id/eprint/112236 |
Actions (login required)
 |
Edit Item |
