Abstract
In his 1933 monograph on the concept of truth, Alfred Tarski claimed that his definition of truth satisfied “the usual conditions of methodological correctness”, which in a 1935 article he identified as consistency and back-translatability. Following the rules of defining for an axiomatized theory was supposed to ensure satisfaction of the two conditions. But Tarski neither explained the two conditions nor supplied rules of defining for any axiomatized theory. We can make explicit what Tarski understood by consistency and back-translatability, with the help of (1) an account by Ajdukiewicz (1936) of the criteria underlying the practice of articulating rules of defining for axiomatized theories and (2) a critique by Frege (1903) of definitions that conjure an object into existence as that which satisfies a specified condition without first proving that exactly one object does so. I show that satisfaction of the conditions of consistency and back-translatability as thus explained is guaranteed by the rules of defining articulated by Leśniewski (1931) for an axiomatized system of propositional logic. I then construct analogous rules of defining for the theory within which Tarski developed his definition of truth. Tarski’s 32 definitions in this theory occasionally violate these rules, but the violations are easily repaired. I argue that the Leśniewski-Ajdukiewicz theory of formal correctness of definitions within which Tarski worked is superior in some respects to the widely accepted analogous theory articulated by Suppes (1957).
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Ajdukiewicz, K. (1936). Die Definition [Definition]. In Actes du Congrès International de Philosophie Scientifique, Sorbonne, Paris, 1935, V Logique et expérience (Actualités Scientifiques et Industrielles 392, pp. 1–7). Hermann.
Ajdukiewicz, K. (1960). Definicja [Definition]. In his Język i poznanie, Tom I. Wybór pism z lat 1920–1939 [Language and knowledge. Vol. I: Selected writings from the years 1920–1939] (pp. 44–61). Wydawnictwo Naukowe PWN.
Frege, G. (1903). Grundgesetze der Arithmetik [Fundamental laws of arithmetic], II. Hermann Pohle.
Geach, P., & Black, M. (1970). Translations from the philosophical writings of Gottlob Frege (2nd ed.). Basil Blackwell.
Gruber, M. (2016). Alfred Tarski and the “Concept of truth in formalized languages”: A running commentary with consideration of the Polish original and the German translation. Springer.
Heck, R. G., Jr. (1997). Tarski, truth, and semantics. Philosophical Review, 107(4), 533–554. https://doi.org/10.2307/2998511
Hodges, W. (2008). Tarski’s theory of definition. In D. Patterson (Ed.), New essays on Tarski and philosophy (pp. 94–132). Oxford University Press. https://doi.org/10.1093/acprof:oso/9780199296309.003.0005
Leśniewski, S. (1929). Grundzüge eines neuen Systems der Grundlagen der Mathematik [Fundamentals of a new system of the foundations of mathematics]. Fundamenta Mathematicae, 14, 1–81. https://doi.org/10.4064/fm-14-1-1-81
Leśniewski, S. (1931). Über Definitionen in der sogenannten Theorie der Deduktion [On definitions in the so-called theory of deduction]. Sprawozdania z Posiedzeń Towarzystwa Naukowego Warszawskiego Wydział III Nauk Matematyczno-Fizycznych, 24(7–9), 289–309.
Leśniewski, S. (1967). On definitions in the so-called theory of deduction. In S. McCall (Ed.), Polish logic 1920–1939 (chap. 7, 170–187). Clarendon Press. Translation of [9].
Leśniewski, S. (1992). Fundamentals of a new system of the foundations of mathematics. In his Collected works, ed. S. J. Surma, J., T. Srzednicki, & D.I. Barnett (pp. 410–605). Kluwer. Translation of [8].
Łukasiewicz, J. (1928). O definicyach w teoryi dedukcyi [On definitions in the theory of deduction]. Ruch Filozoficzny, 11, 177–178.
Łukasiewicz, J. (1967/1939). The equivalential calculus. In S. McCall (Ed.), Polish logic 1920–1939 (chap. 5, 88–115). Clarendon Press. German original printed in 1939 but surviving only in a single review copy of the journal volume.
Suppes, P. (1957). Introduction to logic. Van Nostrand.
Tarski, A. (1933). Pojęcie prawdy w języcach nauk dedukcyjnych [The concept of truth in the languages of deductive sciences]. Nakładem Towarzystwa Naukowego Warszawskiego.
Tarski, A. (1934). Z badań metodologicznych nad definiowalnoścą terminów [On methodological investigations on the definability of terms]. Przegląd Filozoficzny, 37, 438–460.
Tarski, A. (1935). Einige methodologische Untersuchungen über die Definierbarkeit der Begriffe [Some methodological investigations on the definability of concepts]. Erkenntnis, 5, 80–100.
Tarski, A. (1935b). Der Wahrheitsbegriff in den formalisierten Sprachen [The concept of truth in formalized languages]. Studia Philosophica, 1, 261–405. Translation of [15], with a postscript and historical note.
Tarski, A. (1936). 0 logice matematycznej i metodzie dedukcyjnej [On mathematical logic and the deductive method]. Ksiażnica-Atlas.
Tarski, A. (1937). Einführung in die mathematische Logik und in die Methodologie der Mathematik [Introduction to mathematical logic and to the methodology of mathematics]. Julius Springer. Translation of [19].
Tarski, A. (1941). Introduction to logic and to the methodology of deductive sciences. Oxford University Press. Translation of [20], with revisions and additions.
Tarski, A. (1956). The concept of truth in formalized languages. In [24] (chap. VIII, 152–278). Translation of [18].
Tarski, A. (1956). Some methodological investigations on the definability of concepts. In [24] (chap. X, 296–319). Translation of [17].
Tarski, A. (1956). Logic, semantics, metamathematics: Papers from 1923 to 1938, trans. J. H. Woodger. Clarendon Press.
Tarski, A. (1966). Introduction to logic and to the methodology of deductive sciences. Oxford University Press. Reprint of [21], with updated bibliography.
Tarski, A. (2006). The concept of truth in formalized languages. In [28] (chap. VIII, 152–278).
Tarski, A. (2006). Some methodological investigations on the definability of concepts. In [28] (chap. X, 296–319).
Tarski, A. (2006). Logic, semantics, metamathematics: Papers from 1923 to 1938, trans. J. H. Woodger (2nd ed., 4th printing, ed. and introduced J. Corcoran). Hackett.
Urbaniak, R., & Hämäri, K. S. (2012). Busting a myth about Leśniewski and definitions. History and Philosophy of Logic, 33(2), 159–189. https://doi.org/10.1080/01445340.2011.583771
Whitehead, A. N., & Russell, B. (1973/1927). Principia mathematica to 56 (2nd ed.). Cambridge University Press. Reprint of part of the second edition (1927).
Woleński, J. (2020). Semantics and truth. Springer.
Acknowledgements
Magda Stroińska of the Department of Linguistics and Languages at McMaster University did the main work of translating the Polish and the German, without which I could not have written this paper; she also checked my transcriptions. I thank an anonymous reviewer for helpful suggestions for improving a previous draft. Errors that remain are of course my responsibility.
Funding
I received no funding to help with preparation of this article.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Competing Interests
I have no relevant financial or non-financial interests to disclose.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Hitchcock, D. Tarski’s Theory of the Formal Correctness of Definitions. J Philos Logic 53, 181–221 (2024). https://doi.org/10.1007/s10992-023-09729-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10992-023-09729-0