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

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

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

Я слышал замечание о том, что формальное определение истины не имеет никакого отношения к философской проблеме истины [32]. Однако никто и никогда не объяснил мне, в чем заключается эта проблема. Мне сообщили, что хотя мое определение устанавливает необходимые и достаточные условия истинности предложений, оно все-таки не выражает сущности этого понятия. Поскольку я никогда не мог понять, что такое сущность понятия, я вынужден отказаться от обсуждения этого вопроса.

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

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

Утверждают, что благодаря тому факту, что предложение типа снег бел считается семантически истинным, если снег на самом деле бел (подчеркнуто моим критиком), логика присоединяется к самому некритичному реализму [33].

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

На самом деле семантическое определение истины ничего не говорит о том, при каких условиях можно утверждать предложение типа:

(1) Снег бел.

Из него вытекает лишь одно: когда мы утверждаем или отрицаем это предложение, мы должны утверждать или отрицать соответствующее предложение типа:

(2) Предложение "снег бел" истинно.

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

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

Предложение "снег бел" истинно тогда и только тогда, когда снег бел.

В новой концепции мы должны отвергнуть эту эквивалентность, следовательно, должны принять ее отрицание:

Предложение "снег бел" истинно тогда и только тогда, когда снег не бел (или, быть может, снег действительно не бел).

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

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

В разное время семантическую концепцию истины упрекали в том, что она включает в себя некоторые метафизические элементы. Упреки подобного рода предъявлялись не только теории истины, но всей области теоретической семантики [34].

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

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