Skip to main content Accessibility help

We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.

Close cookie message
×
Hostname: page-component-8448b6f56d-qsmjn Total loading time: 0 Render date: 2024-04-23T17:38:05.220Z Has data issue: false hasContentIssue false

Categories of theories and interpretations

Published online by Cambridge University Press:  30 March 2017

By
Albert Visser
Edited by
Ali Enayat ,
Iraj Kalantari  and
Mojtaba Moniri
Ali Enayat
Affiliation:
American University, Washington DC
Iraj Kalantari
Affiliation:
Western Illinois University
Mojtaba Moniri
Affiliation:
Tarbiat Modares University, Tehran, Iran
Get access

Summary

Abstract.In this paper we study categories of theories and interpretations. In these categories, notions of sameness of theories, like synonymy, bi-interpretability and mutual interpretability, take the form of isomorphism.

We study the usual notions like monomorphism and product in the various categories. We provide some examples to separate notions across categories. In contrast, we show that, in some cases, notions in different categories do coincide. E.g., we can, under such-and-such conditions, infer synonymity of two theories from their being equivalent in the sense of a coarser equivalence relation.

We illustrate that the categories offer an appropriate framework for conceptual analysis of notions. For example, we provide a ‘coordinate free’ explication of the notion of axiom scheme. Also we give a closer analysis of the object-language/ meta-language distinction.

Our basic category can be enriched with a form of 2-structure. We use this 2-structure to characterize a salient subclass of interpretations, the direct interpretations, and we use the 2- structure to characterize induction. Using this last characterization, we prove a theorem that has as a consequence that, if two extensions of Peano Arithmetic in the arithmetical language are synonymous, then they are identical.

Finally, we study preservation of properties over certain morphisms.

Introduction.Interpretations are ubiquitous in mathematics and logic. Some of the greatest achievements of mathematics, like the internal models of non-euclidean geometries are, in essence, interpretations.

Given the importance of interpretations, it would seem that there is some room for a systematic study of interpretations and interpretability as objects in their own right. This paper is an attempt to initiate one such line of enquiry. It is devoted to the study of the category of interpretations, or, more precisely the study of a sequence of categories of interpretations.

Below, I will briefly address three issues: motivation & desiderata, comparison to some earlier work, and comparison to boolean morphisms.

Motivation & Desiderata.The fact that interpretations play an important role in mathematics does not ipso facto mean that we should study them in a systematic way. Perhaps, as a totality, they are too diverse to make systematic study sensible. Perhaps, the only general insights are trite and not very useful.

Type
Chapter
Information
Logic in Tehran , pp. 284 - 341
Publisher: Cambridge University Press
Print publication year: 2006

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

[Ben86] C., Bennet, On Some Orderings of Extensions of Arithmetic, Department of Philosophy, University of Göteborg, 1986.
[Bor94] F., Borceux, Handbook of Categorical Algebra 1, Basic Category Theory, Encyclopedia of Mathematics and its Applications, Cambridge University Press, Cambridge, 1994.
[Bus86] S., Buss, Bounded Arithmetic, Bibliopolis, Napoli, 1986.
[Cor80] J., Corcoran, Notes and queries,History and Philosophy of Logic, vol. 1 (1980), pp. 231–234.
[dB65a] K. L., de Bouvère, Logical synonymy, Indagationes Mathematicae, vol. 27 (1965), pp. 622–629.
[dB65b] K. L., de Bouvère, Synonymous Theories,The Theory of Models, Proceedings of the 1963 International Symposium at Berkeley(J. W., Addison, L., Henkin, and A., Tarski, editors), North Holland, Amsterdam, 1965, pp. 402–406.
[Haj70] P., Hájek, Logische Kategorien,Archiv fur Mathematische Logik und Grundlagenforschung, vol. 13 (1970), pp. 168–193.Google Scholar
[HP91] P., Hájek and P., Pudlák, Metamathematics of First-Order Arithmetic, Perspectives in Mathematical Logic, Springer, Berlin, 1991.
[Hal99] Volker, Halbach, Conservative theories of classical truth,Studia Logica, vol. 62 (1999), pp. 353–370.Google Scholar
[Han65] W., Hanf, Model-theoretic methods in the study of elementary logic,The Theory of Models, Proceedings of the 1963 International Symposium at Berkeley(J.W., Addison, L., Henkin, and A., Tarski, editors), North Holland, Amsterdam, 1965, pp. 132–145.
[Hod93] W., Hodges, Model Theory, Encyclopedia of Mathematics and its Applications, vol. 42, Cambridge University Press, Cambridge, 1993.
[Jac99] B., Jacobs, Categorical Logic and Type Theory, Studies in Logic and the Foundations of Mathematics, no. 141, North Holland, Amsterdam, 1999.Google Scholar
[JdJ98] G., Japaridze and D., de Jongh, The logic of provability, Handbook of Proof Theory (S., Buss, editor), North-Holland Publishing Co., Amsterdam edition, 1998, pp. 475–546.
[Kan72] S., Kanger, Equivalent theories,Theoria, vol. 38 (1972), pp. 1–6.
[Kay91] Richard, Kaye, Models of Peano Arithmetic, Oxford Logic Guides, Oxford University Press, 1991.
[Lin94] P., Lindström, The Arithmetization of Metamathematics, vol. 15, Filosofiska meddelanden, bla serien, Institutionen f ör filosofi, Göteborgs universitet, Göteborg, 1994.
[Lin97] P., Lindström, Aspects of Incompleteness, Lecture Notes in Logic, vol. 10, Springer, Berlin, 1997.
[Mac71] S., MacLane, Categories for the Working Mathematician, Graduate Texts in Mathematics, no. 5, Springer, New York, 1971.
[MPS90] J., Mycielski, P., Pudlák, and A. S., Stern, A Lattice of Chapters of Mathematics (Interpretations between Theorems), Memoirs of the American Mathematical Society, vol. 426, AMS, Providence, Rhode Island, 1990.
[Per97] M.G., Peretyat'kin, Finitely Axiomatizable Theories, Consultants Bureau,NewYork, 1997.
[PEK67] M. B., Pour-EL and S., Kripke, Deduction-preserving “recursive isomorphisms” between theories,Fundamenta Mathematicae, vol. 61 (1967), pp. 141–163.Google Scholar
[Pud85] P., Pudlák, Cuts, consistency statements and interpretations,The Journal of Symbolic Logic, vol. 50 (1985), pp. 423–441.Google Scholar
[Pud86] P., Pudlák, On the length of proofs of finitistic consistency statements in finitistic theories, Logic Colloquium '84(J. B., Paris et al., editors), North-Holland, 1986, pp. 165–196.
[Sve78] V., švejdar, Degrees of interpretability,Commentationes Mathematicae Universitatis Carolinae, vol. 19 (1978), pp. 789–813.Google Scholar
[TMR53] A., Tarski, A., Mostowski, and R. M., Robinson, Undecidable Theories, North-Holland, Amsterdam, 1953.
[Vis91] A., Visser, The formalization of interpretability,Studia Logica, vol. 51 (1991), pp. 81–105.
[Vis98] A., Visser, An Overview of Interpretability Logic,Advances in Modal Logic, vol 1 (M., Kracht,M., de Rijke, H., Wansing, and M., Zakharyaschev, editors), CSLI Lecture Notes, no. 87, Center for the Study of Language and Information, Stanford, 1998, pp. 307–359.
[Vis05] A., Visser, Faith & Falsity: a study of faithful interpretations and false Σ01 -sentences, Annals of Pure and Applied Logic, vol. 131 (2005), pp. 103–131.Google Scholar

Save book to Kindle

To save this book to your Kindle, first ensure coreplatform@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about saving to your Kindle.

Note you can select to save to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

Find out more about the Kindle Personal Document Service.

Available formats
×

Save book to Dropbox

To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Dropbox.

Available formats
×

Save book to Google Drive

To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Google Drive.

Available formats
×