Альфред Тарский: Истина и доказательство

Предметом обсуждения в этой статье является старый вопрос, который довольно часто рассматривался в современной литературе, и поэтому нелегко сделать оригинальный вклад в его обсуждение. Я боюсь, что для многих читателей ни одна из идей, изложенных в этой статье, не покажется существенно новой. Однако я надеюсь, что они, возможно, проявят интерес к способу расположения и связывания материала. [1] С детальным обсуждением предмета можно познакомиться по монографии автора «Понятие истины в формализованных языках», входящей в книгу «Логика, семантика, метаматематика» (A. Tarsky. Logic, Semantics and Metamathematics. Papers from 1923 to 1938. Oxford. 1956, pp. 152 278). Читатель может также получить из этой монографии более подробные библиографические ссылки, опущенные в данной статье. Против изложенных здесь идей выдвигались различные возражения, многие из них обсуждались в моей работе «Семантическая концепция истины и основания семантики» (A. Tarsky. The Semantic Conception of Truth and the Foundations of Semantics. «Philosophy and Phenomenology Research», 1944, vol. 4, pp. 341 376).

Наша первая задача состоит в объяснении значения термина «истинное». Эта задача будет рассматриваться здесь в существенно ограниченном объёме. Понятие истины встречается во многих различных контекстах, и существуют несколько различных категорий объектов, с которыми сопоставляется термин «истинное». В психологических дискуссиях мы можем говорить об истинных чувствах, равно как и об истинных убеждениях; в рассуждениях из области эстетики может рассматриваться истинное содержание некоторого предмета искусства. В данной же статье нас интересует только то, что может быть названо логическим понятием истины. Говоря более точно, мы займёмся исключительно значением термина «истинное», когда этот термин используется по отношению к предложениям. По-видимому, таким было первоначальное использование термина «истинное» в человеческом языке. Предложения трактуются здесь как логические объекты — как некоторые ряды звуков или написанных знаков (конечно, не всякий такой ряд представляет собою предложение). Более того, говоря о предложениях, мы всегда имеем в виду повествовательные предложения.

Вероятно, наиболее известное из философских определений понятие истины дано в «Метафизике» Аристотеля: «В самом деле, говорить, что сущее не существует или не сущее существует, это — ложь, а говорить, что сущее существует, и не-сущее не существует, это — правда». [2] Аристотель. Метафизика, IV, 7, 1011 b 20. М. -Л., Соцэкгиз, 1934, стр. 75. Здесь и в последующем обсуждении слово «ложный» означает то же самое, что и выражение «неистинный», и может быть заменено последним.

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

Предложение является истинным, если оно отмечает действительное положение дел.

Истинность предложения состоит в его согласии (или соответствии) с реальностью.

Благодаря использованию технических философских терминов эти формулировки имеют весьма «учёный» вид, Однако меня не оставляет чувство, что эти новые формулировки, если их проанализировать более детально, окажутся менее ясными, чем формулировка, предложенная Аристотелем. [3] В современной философской литературе обсуждаются также и некоторые другие концепции и теории истины, например, концепция утилитарности и теория когеренции. Эти концепции, видимо, являются концепциями исключительно нормативного характера и слабо связаны с действительным использованием термина «истинное». Ни одна из них не сформулирована пока ещё с достаточной степенью ясности и точности. Они не будут обсуждаться в этой статье.

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