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

Будучи математиком (как и логиком и даже, может быть, философом), я имел возможность присутствовать на многочисленных дискуссиях среди специалистов в области математики, где проблема приложений стоит особенно остро, и обратил внимание на следующий феномен: если математик хочет принизить значение работы одного из своих коллег, скажем Л, то наиболее эффективный способ сделать это состоит в том, чтобы спросить, где может быть применен полученный результат? Прижатый к стенке человек в конце концов отыскивает исследования другого математика В и указывает на них.как на сферу применения своих собственных результатов. Если начать мучить В аналогичным вопросом, он сошлется на другого математика С. После нескольких попыток такого рода мы обнаруживаем, что вернулись к исследованиям А, и, таким образом, цепь замыкается.

Говоря более серьезно, я не хочу отрицать, что ценность некоторой работы возрастает благодаря ее применениям в исследованиях других людей и в практике. Тем не менее, я убежден, что вредно для прогресса науки оценивать значение какого-либо исследования исключительно или главным образом в терминах его полезности или применимости. Из истории науки нам известно, что многие важные результаты и открытия ждали столетия, прежде чем нашли применение в какой-либо области. На мой взгляд, существуют также и другие важные факторы, которых нельзя не учитывать при оценке значимости научной работы. Мне кажется, существует особая сфера очень глубоких и сильных человеческих потребностей, связанных с научным исследованием, которые во многих отношениях аналогичны эстетическим и, возможно, религиозным потребностям. И я думаю, удовлетворение этих потребностей должно считаться важной задачей исследования. Поэтому я убежден в том, что вопрос о ценности любого исследования не может быть адекватно решен, если не принять во внимание того интеллектуального удовлетворения, которое испытывает тот, кто понимает результаты данного исследования и сохраняет их. Быть может, это выглядит непопулярным и устаревшим, но я не считаю, что научный результат, дающий нам лучшее понимание мира и делающий его в наших глазах более гармоничным, заслуживает меньшего уважения, чем, скажем, изобретение, которое снижает стоимость покрытия дорог или улучшает коммунальное водоснабжение.

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

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.