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

Во-вторых, нам нужно указать те средства, от которых зависит формальная корректность требуемого определения. Таким образом, мы должны сформулировать те слова или понятия, которые хотим использовать в определении понятия истины, а также указать формальные правила, которым оно должно соответствовать. Иначе говоря, нам нужно описать формальную структуру того языка, в котором будет дано определение.

Обсуждение этого займет значительное место в первой части статьи.

Мы начинаем с некоторых замечаний относительно объема того понятия истины, которое мы здесь имеем в виду.

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

Таким образом, понятие истины, как и понятие предложения, мы должны всегда связывать с определенным языком, поскольку очевидно, что одно и то же выражение, являющееся истинным предложением в одном языке, может оказаться ложным или даже бессмысленным в другом языке.

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

Гораздо более серьезные трудности связаны с проблемой значения (интенсионала) понятия истины.

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

Мы хотели бы связать наше определение с интуициями, закрепленными в классической аристотелевской концепции истины и выраженными в хорошо известном отрывке из Метафизики Аристотеля:

Сказать, что существующее не существует или что несуществующее существует, значит высказать ложь, сказать же, что существующее существует, а несуществующее не существует, значит высказать истину.

Если воспользоваться современной философской терминологией, то эту концепцию можно было бы выразить известной формулой:

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

(Теория истины, опирающаяся на последнюю формулировку, называется теорией соответствия).

С другой стороны, если бы теперь мы решили расширить распространенное употребление термина десигнат и связывать его не только с именами, но также и с предложениями, и если бы под десигнатами предложений мы договорились понимать положения дел, то упомянутую выше формулу мы могли бы выразить следующей фразой:

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

Однако все эти формулировки способны приводить к различным недоразумениям, так как ни одна из них не является достаточно точной и ясной (хотя этот упрек в гораздо меньшей степени относится к первоначальной формулировке Аристотеля). Во всяком случае ни одна из них не может считаться удовлетворительным определением истины. Это вынуждает нас искать более точного выражения наших интуиции.