Альфред Тарский - Семантическая концепция истины и основания семантики

Ясно, что высказанные замечания становятся ненужными, если слово применение употребляется в очень широком и расплывчатом смысле. Возможно, не менее очевидно и то, что из этих общих замечаний ничего нельзя вывести относительно тех конкретных проблем, которые были предметом обсуждения данной статьи. И я действительно не знаю, приобретут или что-то потеряют семантические исследования благодаря введению того стандарта оценки, который я предложил.

Aristotle (1908) Metaphysica. (Works, v. VIII.) English translation by W. D. Ross. Oxford.

Camap R. (1937). Logical Syntax of Language. London and New York

Camap R. (1942). Introduction to Semantics. Cambridge.

Godel K. (1931). Uber formal unentscheidbare Satze del- Principia Mathematica und verwandter Systeme, I. // Monatshefte fur Mathematik und Physik, v. XXXVIII, pp. 173-198.

Godel K. (1936) Uber die Laenge von Beweisen // Ergerbnisse eines mathematischen Kolloquiums, v. VII, pp. 23-24.

Gonseth F. (1938) Le Congres Descartes. Questions de Philosophie scientifique // Revue thomiste, v. XLIV, pp. 183-193.

Grelling K., Nelson L. (1908) Bemerkungen zu den Paradoxien von Russel und Burali-Forti // Abhandlungen der Fries'schen Schule, v. II (new series), pp. 301-334.

Hofstadter A. (1938) On Semantic Problems // The Journal of Philosophy, v. XXXV, pp. 225-232.

Hilbert D., Beniays P. (1934-1939) Gnrndlagen der Mathematik. 2 vols. Berlin.

Juhos B. von. (1937) The Truth of Empirical Statements // Analysis, v. IV, pp. 65-70.

Kokoszynska M. (1936a) Uber den absoluten Wahrheitsbegriff und einige andere semantische Begriffe // Erkenntnis, v. VI, pp. 143-165.

Kokoszynska M. (1936b) Syntax, Semantik und Wissenschaftslogik // Actes du Congres International de Philosophie Scientifique, v. Ill, Paris, pp. 9-14,

Kotarbinski T. (1929) Elementy teorji poznania, logiki formalnej i metodologji nauk. (Elements of Epistemology, Formal Logic, and the Methodology of Sciences, in Polish.) Lwow, 1929.

Kotarbinski T. (1930) W sprawie pojecia prawdy. (Concerning the Concept of Truth. In Polish.) Przeglgd filozoficzny, v. XXXVII, pp. 85-91.

Lindenbaum A. Tarski A. A. (1936) Uber die Beschraenktheit der Ausdrucksmittel deduktiver Theorien // Ergebnisse eines mathematischen Kolloquiums, v. VII, pp. 15-23.

Nagel E. (1938) Review of Hofstadter (1938) // The Journal of Symbolic Logic, v. Ill, p. 90.

Nagel E. (1942) Review of Carnap (1942) // The Journal of Philosophy, v. XXXIX, pp. 468-473.

Ness A. (1938) Truth As Conceived by Those Who Are Not Professional Philosophers // Skrifter utgitt av Det Norske Videnskaps-Akademi i Oslo, II. Hist.-Filos. Klasse, v. IV, Oslo.

Neurath 0. (1935) Erster Internationaler Kongress fur Einheit der Wissenschaft in Paris 1935 // Erkennthis, v. V, pp. 377-406.

Russell В. (1940) An Inquiry Into Meaning and Truth. New York.

Scholz H. (1937) Review of Studia philosophica, v. I // Deutsche Liteta-turzeitung, v. LVIII, pp. 1914-1917.

Tarski A. (1931) Sur les ensembles definissables de nombres reels. I // Fundamenta mathematicae, v. XVII, pp. 210-239.

Tarski A. (1935) Der Wahrheitsbergriff in den formalisierten Sprachen. (German translation of a book in Polish, 1933.) // Studia philosophica, v. I, pp. 261-405.

Tarski A. (1936) Grundlegung der wissenschaftlichen Semantik // Actes du Congres International de Philosophie Scientifique, v. Ill, Paris, pp. 1-8.

Tarski A. (1937) Uber den Begriff der logischen Folgerung // Actes du Congres International de Philosophie Scientifique, v. VII, Paris, pp. 1-11.

Tarski A. (1939) On Undecidable Statements in Enlarged Systems of Logic and the Concept of Truth // The Journal of Symbolic Logic, v. IV, pp. 105-112.

Tarski A. (1941) Introduction to Logic. New York.

WeinbergJ. (1942) Review of Studia philosophica, v. I // The Philosophical Review, v. XLVII, pp. 70-77.

Tarski A. The Semantic Conception of Troth and the Foundations of Semantics // Philosophy and Phenomenologicai Reseach, 1944, v. 4, n. 3, pp. 341-375. Перевод выполнен А. Л. Никифоровым. – Прим. ред.

Ср.: Tarski A. (1935) (см. список литературы в конце статьи). В этой работе дано более подробное и формальное изложение предмета настоящей статьи, в частности, материала, включенного в разделы 6 и 9-13 Она содержит также ссылки на мои более ранние публикации по проблемам семантики (сообщение на польском языке, 1930; статья: Tarski A. (1931) на французском языке; сообщение на немецком языке, 1932; и книг на польском языке, 1933). Описательная часть настоящей статьи по своему характеру близка к работе: Tarski A. (1936). Мои исследования, касающиеся понятия истины и теоретической семантики, были отрецензированы или обсуждены в работах: Hofstadter A. (1938), Juhos В. van (1937), Kokoszynska M. (1936a), (1936b), Kotarbinski Т. (1930), Scholz H (1937) Wein-bergJ. (1942) и т. д.

Можно надеяться, что теперь интерес к теоретической семантике будет возрастать благодаря недавней публикации важной работы Карнапа [Carnap R. (1942)].

Это относится, в частности, к публичным дискуссиям на 1-ом Международном конгрессе по единству науки (Париж, 1935) и на Конференции Международных конгрессов по единству науки (Париж, 1937); см., например: Neurath О. (1935), Gonseth F. (1938).

Слова notion и concept в данной статье употребляются со всей той неопределенностью и двусмысленностью, с которыми они используются в философской литературе. Так, иногда они относятся просто к термину, иногда – к тому, что подразумевается под термином, а в иных случаях – к тому, что обозначается термином. Иногда неважно, какая из этих интерпретаций имеется в виду, в определенных случаях ни одна из них, может быть, не является адекватной. Хотя в принципе я придерживаюсь тенденции избегать этих слов в точном анализе, я не вижу необходимости делать это в данном неформальном изложении.

Для наших настоящих целей несколько более удобно под выражениями, предложениями и т. п. понимать не конкретные записи, а классы записей сходной формы (т. е. не конкретные физические вещи, а классы таких вещей).

Аристотелевскую формулировку см. в: Aristotle (1908), фрагменты 7, 27. Другие две формулировки очень распространены в литературе, однако мне неизвестно, кому они принадлежат. Критическое рассмотрение различных концепций истины можно найти, например, в работах: Kotarbinski Т. (1929) (до сих пор издана только на польском языке), р. 123ff; Russell В, (1940), р. 362ff.

За большую часть замечаний, содержащихся в разделах 4 и 8, я обязан покойному С. Лесьневскому, который развил их в своих неопубликованных лекциях, прочитанных в Варшавском университете (в 1919 г. и позднее). Однако Лесьневский не предвидел возможности строгой разработки теории истины и тем более определения этого понятия, поэтому, указывая на эквивалентности вида Т как на предпосылки антиномии лжеца, он не видел в них достаточных условий для адекватного употребления (или определения) понятия истины. Также и замечания в разделе 8 относительно вхождения эмпирической посылки в антиномию лжеца и возможности устранения этой посылки не связаны с ним.

За более подробным разъяснением различных логических и методологических проблем, затронутых в данной статье, читатель может обратиться к работе: Tarski A. (1941).

В оригинале речь идет, естественно, о буквах английского алфавита. – Прим. перев.

Антиномия лжеца (приписываемая Эвбулиду или Эпимениду) обсуждается здесь в разделах 7 и 8. Об антиномии определимости (восходящей к Ж. Ришару) см., например, работу: Hilbert D., Bemays P. (1934- 1939), v. 2, p. 263ff; об антиномии гетерологических терминов см. работу: Grelling К., Nelson L. (1908), р. 307.

Дана проф. Я. Лукасевичем (Варшавский университет).

Это можно сделать приблизительно следующим образом. Пусть S будет любым предложением, начинающимся со слов Каждое предложение. Мы сопоставим S новое предложение S*, подвергая S двум следующим модификациям: заменяем в S первое слово Каждое словом Это (определенный артикль "The" – Прим. перев.); после второго слова предложение мы вставляем все предложение S, заключенное в кавычки. Договоримся называть предложение S (само)применимым или не(са-мо)применимым в зависимости от того, истинно или ложно сопоставленное ему предложение S*. Теперь рассмотрим следующее предложение: