Проблема смысла

Предикат истинности не определяется в теории, а рассматривается в качестве базисного. Он дает возможность перейти от рассмотрения языка (т. е. предложения, находящегося на левой стороне Г-предложения) к рассмотрению мира (посредством предложения, находящегося на правой стороне Г-предложения). Этот предикат как бы раскрывает кавычки, в которых заключено предложение объектного языка. В аксиомах такой теории указывают референты собственных имен (индивидуальных констант), формулируют условия удовлетворимости простых предикатов. В них содержится рекурсивный аппарат, гарантирующий порождение бесконечного множества предложений языка из конечного множества семантически значимых элементов. Тем самым каждое из бесконечного множества предложений характеризуется в истинностных терминах. Теория истины для языка L полагается адекватной, если она имплицирует Г-предложение для каждого предложения языка L {«Т-конвенция»).

Теория истины для формальных языков служит моделью для построения теории истины для естественных языков. То, что Г-конвенция принимается в качестве критерия для построения теории истины для естественных языков, объясняется следующими обстоятельствами. Во-первых, Г-предложения являются очевидно, явно (т. е. до-теоретически, до анализа) истинными. Мы распознаем это

50

их свойство, если мы понимаем предикат «быть истинным». Во-вторых, Г-предложения в совокупности определяют экстенсию (объем) предиката истинности. Значение теории истины для естественных языков заключается не в том, что она объясняет, что такое истина вообще, а в том, что она показывает, по словам Дэвидсона, «как смысл каждого предложения зависит от его структуры» (116, с. 310), т. е. раскрывает условия истинности предложения, рассматривая его как состоящее истинностно релевантным образом из некоторого конечного множества элементов.

Иначе говоря, от такой теории требуется, чтобы она дала определение истинности для выражений естественного языка и на этой основе определение осмысленности его выражений. Согласно Дэвидсону, «определение истин-1 ности для языка L дается указанием необходимых и достаточных условий для истинности каждого предложения; указание же истинностных условий являет собой способ указания смысла предложения. Знать семантическое по- \ нятие истины для языка — это знать, что означает для предложения — любого предложения — быть истинным, а это равнозначно в одном положительном (good) смысле этой фразы пониманию этого языка» (116, с. 310).

Известно, что, например, в логике смысл знака конъюнкции «&» как аналога союза «и» естественного языка дается посредством указания условий истинности, которые должны выполняться (удовлетворяться) предложениями, образующими конъюнкцию, а именно: «p&q» является истинными, если и только если «р» является истинным и «<7» является истинным. В этом же смысле построение определения истинности рассматривается как построение теории семантики для выражений естественного языка.