Читать «Семантическая концепция истины и основания семантики» онлайн - страница 6

Если при описании структуры языка мы говорим только о форме его выражений, такой язык называется формализованным. Утверждаемыми предложениями в нем являются только теоремы.

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

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

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

7. Антиномия лжеца.

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

Для того чтобы получить эту антиномию в ясной форме, рассмотрим следующее предложение:

Предложение, напечатанное в этой статье на стр…, строка…, ― неистинно.

Для краткости заменим это предложение буквой 's'. В соответствии с нашим соглашением относительно адекватного употребления термина истинно мы утверждаем следующую эквивалентность вида (Т):

(1) 's' истинно тогда и только тогда, когда предложение, напечатанное в этой статье на стр…, строка…, неистинно.

С другой стороны, помня о значении символа 's', мы эмпирически устанавливаем следующий факт:

(2) 's' тождественно предложению, напечатанному в этой статье на стр…, строка… .