DISTANCES between FORMAL THEORIES

Creative Commons License

Khaled M. K. M. I., Székely G., Lefever K., Friend M.

Review of Symbolic Logic, cilt.13, sa.3, ss.633-654, 2020 (SCI-Expanded) identifier

  • Yayın Türü: Makale / Tam Makale
  • Cilt numarası: 13 Sayı: 3
  • Basım Tarihi: 2020
  • Doi Numarası: 10.1017/s1755020319000558
  • Dergi Adı: Review of Symbolic Logic
  • Derginin Tarandığı İndeksler: Science Citation Index Expanded (SCI-EXPANDED), Arts and Humanities Citation Index (AHCI), Scopus, Academic Search Premier, MathSciNet, Philosopher's Index, zbMATH
  • Sayfa Sayıları: ss.633-654
  • Anahtar Kelimeler: conceptual distance, degrees of nonequivalence, network of theories, relativistic and classical kinematics
  • İstanbul Medipol Üniversitesi Adresli: Hayır

Özet

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.