{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,2]],"date-time":"2024-09-02T21:07:16Z","timestamp":1725311236634},"reference-count":31,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2019,10,4]],"date-time":"2019-10-04T00:00:00Z","timestamp":1570147200000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":["cambridge.org"],"crossmark-restriction":true},"short-container-title":["The Review of Symbolic Logic"],"published-print":{"date-parts":[[2020,9]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>In the literature, there have been several methods and definitions for working out whether two theories are \u201cequivalent\u201d (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 <jats:italic>axiomatic distance<\/jats:italic>, but we argue that it might be of limited interest. The more interesting and widely applicable notion is that of <jats:italic>conceptual distance<\/jats:italic> 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.<\/jats:p>","DOI":"10.1017\/s1755020319000558","type":"journal-article","created":{"date-parts":[[2019,10,4]],"date-time":"2019-10-04T09:36:43Z","timestamp":1570181803000},"page":"633-654","update-policy":"http:\/\/dx.doi.org\/10.1017\/policypage","source":"Crossref","is-referenced-by-count":7,"title":["DISTANCES BETWEEN FORMAL THEORIES"],"prefix":"10.1017","volume":"13","author":[{"given":"MOHAMED","family":"KHALED","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"GERGELY","family":"SZ\u00c9KELY","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"KOEN","family":"LEFEVER","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"MICH\u00c8LE","family":"FRIEND","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2019,10,4]]},"reference":[{"key":"S1755020319000558_ref29","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19780243102"},{"key":"S1755020319000558_ref26","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-018-9491-0"},{"key":"S1755020319000558_ref25","first-page":"57","article-title":"Comparing classical and relativistic kinematics in first-order-logic","volume":"61","author":"Lefever","year":"2018a","journal-title":"Logique et Analyse"},{"key":"S1755020319000558_ref24","author":"Lefever","year":"2017"},{"key":"S1755020319000558_ref23","volume-title":"The Logical Foundations of Scientific Theories: Languages, Structures, and Models","author":"Krause","year":"2017"},{"key":"S1755020319000558_ref21","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(98)80022-0"},{"key":"S1755020319000558_ref19","volume-title":"Cylindric Algebras Part II","author":"Henkin","year":"1985"},{"key":"S1755020319000558_ref18","volume-title":"Cylindric Algebras Part I","author":"Henkin","year":"1971"},{"key":"S1755020319000558_ref17","author":"Henkin","year":"1950"},{"key":"S1755020319000558_ref15","doi-asserted-by":"publisher","DOI":"10.1090\/psapm\/019\/0235771"},{"key":"S1755020319000558_ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s10773-005-8022-2"},{"key":"S1755020319000558_ref7","doi-asserted-by":"publisher","DOI":"10.1023\/A:1004275029985"},{"key":"S1755020319000558_ref3","doi-asserted-by":"publisher","DOI":"10.1002\/malq.200410051"},{"key":"S1755020319000558_ref2","first-page":"7","volume-title":"First-order Logic Revisited","author":"Andr\u00e9ka","year":"2004"},{"key":"S1755020319000558_ref11","doi-asserted-by":"publisher","DOI":"10.1007\/BF01450409"},{"key":"S1755020319000558_ref20","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"key":"S1755020319000558_ref5","volume-title":"On the Logical Structure of Relativity Theories","author":"Andr\u00e9ka","year":"2002"},{"key":"S1755020319000558_ref14","doi-asserted-by":"publisher","DOI":"10.1007\/BF00542649"},{"key":"S1755020319000558_ref31","first-page":"284","volume-title":"Logic in Tehran. Proceedings of the Workshop and Conference on Logic, Algebra and Arithmetic, held October 18\u201322, 2003","volume":"26","author":"Visser","year":"2006"},{"key":"S1755020319000558_ref4","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-011-9914-8"},{"key":"S1755020319000558_ref6","doi-asserted-by":"publisher","DOI":"10.1090\/tran\/7083"},{"key":"S1755020319000558_ref16","doi-asserted-by":"publisher","DOI":"10.2307\/2271052"},{"key":"S1755020319000558_ref13","doi-asserted-by":"publisher","DOI":"10.1016\/0022-247X(67)90174-6"},{"key":"S1755020319000558_ref28","doi-asserted-by":"publisher","DOI":"10.1145\/322307.322324"},{"key":"S1755020319000558_ref30","doi-asserted-by":"publisher","DOI":"10.4064\/fm-39-1-239-263"},{"key":"S1755020319000558_ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-007-3932-1"},{"key":"S1755020319000558_ref27","doi-asserted-by":"publisher","DOI":"10.1063\/1.883034"},{"key":"S1755020319000558_ref1","doi-asserted-by":"publisher","DOI":"10.1007\/s00012-009-0022-2"},{"key":"S1755020319000558_ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.aim.2019.01.014"},{"key":"S1755020319000558_ref10","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-015-9382-6"},{"key":"S1755020319000558_ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2018.07.002"}],"container-title":["The Review of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1755020319000558","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,7]],"date-time":"2020-08-07T13:10:49Z","timestamp":1596805849000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1755020319000558\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,10,4]]},"references-count":31,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2020,9]]}},"alternative-id":["S1755020319000558"],"URL":"https:\/\/doi.org\/10.1017\/s1755020319000558","relation":{},"ISSN":["1755-0203","1755-0211"],"issn-type":[{"value":"1755-0203","type":"print"},{"value":"1755-0211","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,10,4]]},"assertion":[{"value":"Copyright \u00a9 Association for Symbolic Logic 2019\u00a0","name":"copyright","label":"Copyright","group":{"name":"copyright_and_licensing","label":"Copyright and Licensing"}}]}}