Альфред Тарский - Семантическая концепция истины и основания семантики
23. Заключительные замечания.
Это обсуждение мне хотелось бы завершить некоторыми общими и не вполне строгими замечаниями по поводу всей проблемы оценки научных достижений посредством их применимости. В этой связи я должен высказать некоторые сомнения.
Будучи математиком (как и логиком и даже, может быть, философом), я имел возможность присутствовать на многочисленных дискуссиях среди специалистов в области математики, где проблема приложений стоит особенно остро, и обратил внимание на следующий феномен: если математик хочет принизить значение работы одного из своих коллег, скажем Л, то наиболее эффективный способ сделать это состоит в том, чтобы спросить, где может быть применен полученный результат? Прижатый к стенке человек в конце концов отыскивает исследования другого математика В и указывает на них.как на сферу применения своих собственных результатов. Если начать мучить В аналогичным вопросом, он сошлется на другого математика С. После нескольких попыток такого рода мы обнаруживаем, что вернулись к исследованиям А, и, таким образом, цепь замыкается.
Говоря более серьезно, я не хочу отрицать, что ценность некоторой работы возрастает благодаря ее применениям в исследованиях других людей и в практике. Тем не менее, я убежден, что вредно для прогресса науки оценивать значение какого-либо исследования исключительно или главным образом в терминах его полезности или применимости. Из истории науки нам известно, что многие важные результаты и открытия ждали столетия, прежде чем нашли применение в какой-либо области. На мой взгляд, существуют также и другие важные факторы, которых нельзя не учитывать при оценке значимости научной работы. Мне кажется, существует особая сфера очень глубоких и сильных человеческих потребностей, связанных с научным исследованием, которые во многих отношениях аналогичны эстетическим и, возможно, религиозным потребностям. И я думаю, удовлетворение этих потребностей должно считаться важной задачей исследования. Поэтому я убежден в том, что вопрос о ценности любого исследования не может быть адекватно решен, если не принять во внимание того интеллектуального удовлетворения, которое испытывает тот, кто понимает результаты данного исследования и сохраняет их. Быть может, это выглядит непопулярным и устаревшим, но я не считаю, что научный результат, дающий нам лучшее понимание мира и делающий его в наших глазах более гармоничным, заслуживает меньшего уважения, чем, скажем, изобретение, которое снижает стоимость покрытия дорог или улучшает коммунальное водоснабжение.
Ясно, что высказанные замечания становятся ненужными, если слово применение употребляется в очень широком и расплывчатом смысле. Возможно, не менее очевидно и то, что из этих общих замечаний ничего нельзя вывести относительно тех конкретных проблем, которые были предметом обсуждения данной статьи. И я действительно не знаю, приобретут или что-то потеряют семантические исследования благодаря введению того стандарта оценки, который я предложил.
Список использованной литературы
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.
Примечания
1
Tarski A. The Semantic Conception of Troth and the Foundations of Semantics // Philosophy and Phenomenologicai Reseach, 1944, v. 4, n. 3, pp. 341-375. Перевод выполнен А. Л. Никифоровым. – Прим. ред.
2
Ср.: 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) и т. д.
3
Можно надеяться, что теперь интерес к теоретической семантике будет возрастать благодаря недавней публикации важной работы Карнапа [Carnap R. (1942)].
4
Это относится, в частности, к публичным дискуссиям на 1-ом Международном конгрессе по единству науки (Париж, 1935) и на Конференции Международных конгрессов по единству науки (Париж, 1937); см., например: Neurath О. (1935), Gonseth F. (1938).
5
Слова notion и concept в данной статье употребляются со всей той неопределенностью и двусмысленностью, с которыми они используются в философской литературе. Так, иногда они относятся просто к термину, иногда – к тому, что подразумевается под термином, а в иных случаях – к тому, что обозначается термином. Иногда неважно, какая из этих интерпретаций имеется в виду, в определенных случаях ни одна из них, может быть, не является адекватной. Хотя в принципе я придерживаюсь тенденции избегать этих слов в точном анализе, я не вижу необходимости делать это в данном неформальном изложении.
6
Для наших настоящих целей несколько более удобно под выражениями, предложениями и т. п. понимать не конкретные записи, а классы записей сходной формы (т. е. не конкретные физические вещи, а классы таких вещей).
7
Аристотелевскую формулировку см. в: Aristotle (1908), фрагменты 7, 27. Другие две формулировки очень распространены в литературе, однако мне неизвестно, кому они принадлежат. Критическое рассмотрение различных концепций истины можно найти, например, в работах: Kotarbinski Т. (1929) (до сих пор издана только на польском языке), р. 123ff; Russell В, (1940), р. 362ff.
8
За большую часть замечаний, содержащихся в разделах 4 и 8, я обязан покойному С. Лесьневскому, который развил их в своих неопубликованных лекциях, прочитанных в Варшавском университете (в 1919 г. и позднее). Однако Лесьневский не предвидел возможности строгой разработки теории истины и тем более определения этого понятия, поэтому, указывая на эквивалентности вида Т как на предпосылки антиномии лжеца, он не видел в них достаточных условий для адекватного употребления (или определения) понятия истины. Также и замечания в разделе 8 относительно вхождения эмпирической посылки в антиномию лжеца и возможности устранения этой посылки не связаны с ним.
