Аналитическая философия

предложили Элвин Голдман475, Фред Дретске476 и Роберт Нозик477; и

объяснение в терминах телеофункции, эволюционной целесобразности в духе дарвинизма, которое предложили Дэвид Папино478 и Рут Милликен479.

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

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

Таким образом, вследствие того, что в корреспондентную теорию органически входят требования метафизического реализма, она не может соответствовать требованию онтологической нейтральности. Реалистские требования состоят в следующем. Корреспондентная теория – единственная (наряду с некоторыми версиями дефляционизма) теория истины, признающая отношение истинности, т.е. корреспонденцию, «соответствие», отношением sui generis, далее нередуцируемым ни к каким другим понятиям. Таким образом, она единственная выполняет куайново требование отказа от первой из двух «догм эмпиризма» – редукционизма. Однако ее парадокс в том, что именно она является наиболее эмпиричной теорией истины, так как наиболее прямо соответствует базовым интуициям эмпиризма, экстернализма, фундаментализма. (Возможно, именно это соображение в итоге привело Дэвидсона к изобличению «третьей догмы», состоящей в идее, что можно различать в пределах знания между концептуальным и эмпирическим компонентами.) Сами представления о корреспондентной истине возникли (у Аристотеля481) именно как теория референции, указания посредством языковых выражений на предметы в мире, а не на что-то еще и не где-то еще. Это по сути экстенсиональная теория, поскольку ее применение в концепции значения как условий истинности будет направлено на выражение семантического в не-семантическом. Но такая трактовка будет содержать метафизическое реалистическое обязательство, на что обращал внимание, например, Патнэм:

'Антиреалист может использовать истину внутритеоретически в смысле «теории избыточности», но он не имеет понятий истины и обозначаемого, взятых вне рамок данной теории. Однако экстенсионал связан с понятием истины. Экстенсионал термина есть как раз то, относительно чего термин истинен... антиреалист должен отвергнуть понятие экстенсионала так же, как и понятие истины'482.

Приписывая возможные состояния дел или факты указательным предложениям, корреспондентная теория назначает им экстенсиональные истинностные условия и тем самым влечет за собой весь круг проблем, связанных с референциально непрозрачными контекстами. Например, она назначит одни и те же истинностные условия предложениям «Цицерон лыс» и «Tуллий лыс». Если субъект не знает, что Туллий – это родовое имя Цицерона, то эти два предложения для него не будут синонимичны; для верификации же он должен будет обратиться к другим предложениям.

Итак, применение в концепции значения как условий истинности корреспондентной теории ограниченно и не отвечает требованию онтологической нейтральности.

10.3 Дефляционная теория истины

В рамках концепции значения как условий истинности может предполагаться, что T-теории трактуются дефляционным способом – так, чтобы они не отсылали к объекту (предмету) или состоянию дел. Дефляционные теории (или теории избыточности – redundancy) истины основаны на следующем допущении: утверждать, что предложение истинно, значит просто утверждать само это предложение ('p' истинно = p), а утверждать, что оно не истинно, значит просто отрицать его ('p' ложно = ~ p). Тезис эквивалентности – р истинно тогда и только тогда когда р – валиден для дефляционного понятия истины настолько же, насколько для корреспондентного, но здесь он превращен в определение истинности – «истинно, что р» не содержит ничего, кроме утверждения р. Истина, с такой точки зрения, состоит не более, чем в соблюдении тезиса эквивалентности, т.е. сказать «истинно, что р» – не сказать ничего больше, чем просто утверждать р; понятие истинности само по себе избыточно. «Истинно, что р» значит р, «ложно, что р» – не- р. Концепция «избыточности» была явно сформулирована Ф.Рамсеем483 и часто, но не всегда обоснованно атрибутируется позднему Витгенштейну: согласно интерпретаторам последнего, «р истинно» эквивалентно «р утверждаемо», а «р ложно» – «р отрицаемо». Это снимает, например, проблемы, связанные в корреспондентной теории с применением предиката «истинно» прямо (т.е. так, чтобы им можно было прямо пренебречь) к модальным высказываниям, контрфактуалам и т.д., а не только к высказываниям определенной формы – повествовательным предложениям изъявительного наклонения.

По версии этой теории, отстаиваемой Айером, «истинно» и «ложно» функционируют в предложении «как знаки утверждения и отрицания», а традиционные теории истины на самом деле исследуют вовсе не понятие истины, а условия, при которых то, что сказано, может быть истинным, т.е. условия утверждаемости р.

... очевидно, что в предложениях формы «p является истинным» или «истинно, что p» указание на истину ничего не добавляет к смыслу. Если я говорю, что истинно, что Шекспир написал «Гамлета», или что пропозиция «Шекспир написал „Гамлета“» является истинной, я говорю не больше, чем то, что Шекспир написал «Гамлета»... И это показывает, что слова «истинный» и «ложный» не используются, чтобы обозначать что-либо, но просто выполняют в предложении функцию знаков отрицания и утверждения. То есть истина и ложь – не самостоятельные понятия. Следовательно, не может быть никакой логической проблемы относительно природы истины484.

Согласно другому варианту этой теории, «истинно, что» есть знак согласия с р – такой же, как произнесение «да», кивок головы и др.; «истинно, что» не столько редуцируется, сколько отождествляется с «утверждаемо, что» таким образом, чтобы устранить из условий утверждаемости случайные и иррелевантные факторы, предположив равенство объемов между

«истинно, что р»

и

«да» в ответ на актуальное или гипотетическое утверждение, что р.

Таким образом, истина не зависит прямо от того или иного отношения к предметам в мире и вообще от какого бы то ни было отношения: это нереляционное свойство.

Дефляционизм оказался чрезвычайно популярен в последние десятилетия в силу своей подчеркнутой антиметафизичности и сравнительно простого объяснения истины как семантического понятия. Его основные версии таковы.

(1) Дисквотационная теория («раскавычивания») развивает следующие замечания Куайна:

Предикат истины напоминает нам, что, несмотря на технический переход к разговору о предложениях, наше внимание направлено на мир. Эта отменяющая сила предиката истины явна в парадигме Тарского:

«Снег белый» истинно, если и только если снег белый.

Кавычки составляют все различие между разговором о словах и разговором о снеге. Закавыченное выражение – имя предложения, которое содержит имя снега, а именно «снег». Называя это предложение истинным, мы называем снег белым. Предикат истины – устройство для раскавычивания485.

С такой точки зрения, истина определяется тем, что предложение, образованное помещением любого данного предложения между кавычками перед выражением 'является истинным', является эквивалентным данному предложению486.

Пол Хорвиц предложил «минималистскую» теорию, подобную дисквотационной, за исключением того,