Abstract
It is known that the Restricted Predicate Calculus (RPC) can be embedded in an elementary theory, the signature of which consists of exactly two equivalences. Some special models for the mentioned theory were constructed to prove this fact. Besides formal adequacy of these models, a question may be posed concerning their conceptual simplicity, “transparency” of interpretations they assigned to the two stated equivalences. In works known to us these interpretations are rather complex, and can be called “technical”, serving only the purpose of embedding. We propose a conversion method, which transforms an arbitrary model of RPC into some model of the elementary theory TR, which includes three equivalences. RPC is embeddable in TR, and it appears possible to assign some “natural” interpretations to three equivalences using the “Track of Relation” concept (abbreviated to TR).
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
von Bertalanffy L.: ‘General System Theory – A Critical Rewiew’. General Systems VII, 1–20 (1962)
Church, A., Introduction to Mathematical Logic, Princeton Univ. Press., 1956.
Eberle R.: Nominalistic systems. D. Reidel Publ. Co., Dordrecht (1970)
Ershov, Yu. L., I. A. Lavrov, A.D. Taimanov, and M. A. Taitslin, ‘Elementary theories’, Russian Math. Surveys 20:4(124): 35–105, 1965.
Goodman, N., and W. V. O. Quine, ‘Steps toward a constructive nominalism’, Journal of Symbolic Logic 12: 105–122, 1947; http://www.ditext.com/quine/stcn.html
Klement, K. ‘Russell’s Logical Atomism’, Stanford Encyclopedia of Philosophy 2009; http://plato.stanford.edu/entries/logical-atomism/
Lavrov I.A.: ‘Effective inseparability of the sets of identically true formulae and finitely refutable formulae for certain theories’. Algebra and Logic 2(1), 5–18 (1963) (In Russian)
Lesniewski, St., ‘O podstawach matematyki’, Przeglad Filozoficzny XXX: 164–206, 1927. (Reprinted in: Lesniewski S. Collected Works - Ed. by S. J. Surina, J. T. Srzednicki, D. I. Barnett and V. F.Rickey, Kluwer, Dordrecht, 1992.)
Materna, P., Rehabilitation of Concepts, 2002; http://www.phil.muni.cz/~materna/
Passmore J.: A Hundred Years of Philosophy, 2nd ed. Basic Books, New York (1966)
Quine W.V.O.: Philosophy of Logic. Prentis-hall inc., N.Y. (1970)
Rickey, F. V., ‘Interpretations of Lesniewski′s Ontology’, Dialectica 39 (3): 181–192, 1985; http://www.math.usma.edu/people/rickey/pubs.html
Russell, B. ‘The Philosophy of Logical Atomism. Lecture III: Atomic and Molecular Propositions’, The Monist Jan 1919: 32–63, 1919; http://users.drew.edu/~jlenz/br-atomism-3-4.html
Tichy P.: The Foundations of Frege′s Logic. de Gruyter, Berlin, N.Y. (1988)
Uyemov A.I.: Dinge, Eigenschaften und Relationen. Akademie-Verlag, Berlin (1965) (In German)
Uyemov, A. I., ‘The language of ternary description as a deviant logic’, Boletim da Sociedade Paranaense de Matematica 15 (1-2): 25–35, 1995; 17 (1-2): 71–81, 1997; 18 (1-2): 173–190, 1998.
Uyemov, A. I., ‘The Ternary Description Language as a Formalism for the Parametrical General Systems Theory’, General Systems 28 (4-5): 351–366, 1999; 31 (2): 131– 151, 2002; 32 (6): 583–623, 2003.
Candlish, S., and P. Basile. ‘Francis Herbert Bradley’, Stanford Encyclopedia of Philosophy, 2009; http://plato.stanford.edu/entries/bradley/
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Shtakser, G., Leonenko, L. Tracks of Relations and Equivalences-based Reasoning. Stud Logica 97, 385–413 (2011). https://doi.org/10.1007/s11225-011-9316-4
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-011-9316-4