Когерентная теория истины в научном познании. Классическая, когерентная и прагматическая концепция истины

В европейской философии прочно утвердилась восходящая своими истоками к Аристотелю формула, ставшая классической.

Истина есть соответствие знаний (мыслей) действительности.

Истина есть соответствие конкретно-чувственных и понятийных представлений объекту .

Это положение является главным в классической концепции истины. Первые попытки ее исследования были предприняты Платоном и Аристотелем. Классическое понимание истины разделяли Фома Аквинский, Гольбах, Гегель, Фейербах, Маркс. Разделяют его и многие философы XXстолетия.

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

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

Альфред Тарский (польский логик, переехавший в США) дал ставшее популярным уточнение воззрений Аристотеля. Знаменитое определение Тарского гласит: высказывание «Р есть С» истинно, если Р есть С.

Например, высказывание «снег бел» истинно, если снег на самом деле бел и ложно, если он черен.

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

Когерентная концепция истины

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

Прагматическая концепция истины

Прагматическая концепция истины отождествляет истину и ценности человека. Особенно яркое выражение она приобретает в американском прагматизме с его знаменитыми определениями истины: «Истина – то, что мне полезно, истина – то, во что я верю». Список подобных определений можно продолжить – «истина – то, за что я могу умереть», «истина – то, что я могу сообщить другому (что для меня ценно, имеет смысл)» и т.д.

Когерентная концепция истины.

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

Подобные взгляды на истинность знания можно обнаружить у И. Канта. Он писал об этом˸ ʼʼФормальная истинность состоит всего лишь в согласии знания с самим собой, при полном отвлечении от всяких объектов вообще и от всяких их различийʼʼ. Впрочем, сам Кант подчеркивает, что знание, не противоречащее себе, тем не менее, может противоречить предмету. Поэтому, вполне справедливо, он полагает, что самосогласованность знания и ᴇᴦο соответствие ʼʼвсеобщим законам рассудка и разумаʼʼ является необходимым, но недостаточным условием содержательной истинности этого знания. Действительно, знание, претендующее на звание истинного, не должна быть самопротиворечивым.

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

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

Когерентная концепция истины. - понятие и виды. Классификация и особенности категории "Когерентная концепция истины." 2015, 2017-2018.

Истина приписывается утверждениям, пропозициям или чему бы то ни было, что мы принимаем за первичные носители истинностного значения, либо

путем определения отношений этих утверждений к вещам, которые обычно сами не являются утверждениями, либо

рассматривая их отношения к другим утверждениям.

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

Когерентная теория истины характеризна для великих рационалистических систем метафизики – Лейбница, Спинозы, Фихте, Гегеля, Брэдли; согласно Ральфу Уокеру 63 , когерентные представления свойственны Декарту, Канту, Витгенштейну и даже Куайну 64 ; большой вклад в развитие когерентной теории знания внесли Иоахим, Бланшар, Патнэм, Гилберт Харман, Дэвидсон, Николас Решер, Кит Лерер, Лоуренс Бонжур. Согласно этой теории, мера истинности высказывания определяется его ролью и местом в некоторой концептуальной системе; сказать, что то, что сказано (носитель истины, например утверждение или пропозиция) истинно или ложно значит сказать, что оно когерентно или не когерентно системе других утверждений или пропозиций, т.е. является или не является частью этой системы. Чем более связны, или согласованы между собой наши утверждения, тем в большей степени они истинны: истинность любого истинного утверждения состоит в его когерентности с некоторым определенным множеством утверждений. Элементы такой системы должны быть связаны друг с другом отношениями логической импликации или следования: в этой связи и состоит смысл отношения когерентности. Быть когерентным системе для утверждения значит быть связанным с остальными членами системы теми же логическими отношениями, какими те связаны между собой. Проверить истинность, таким образом, значит проверить, какими отношениями данное суждение связано с остальными в системе, совместимо ли оно с системой – например, с общепринятой научной картиной мира.

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

Светоний говорит мне, что Нерон одно время намеревался убрать римские легионы из Британии. Я отвергаю это свидетельство Светония не потому, что какой-нибудь более совершенный источник противоречит ему, ибо, конечно, у меня нет таких источников. Я отвергаю его, ибо, реконструируя политику Нерона по сочинениям Тацита, я не могу считать , что Светоний прав... я могу включить то, о чем поведал Тацит, в собственную связную и цельную картину событий и не могу этого сделать с рассказами Светония.

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

По мнению Р.Уокера, основных предпосылок, приводящих к когерентизму, три.

Когерентная теория дает способ избежать картезианского скептицизма. Если истина зависит не от отношений между нашей мыслью и потенциально непостижимой действительностью, но конституируется в пределах нашего мышления, то не остается никаких оснований для скептицизма в духе Декартова malin g é nie - никаких опасений, что мир не будет совпадать с нашим представлением о нем.

Некоторые формы верификационизма с необходимостью влекут за собой обязательство к когерентизму.

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

Как представляется, можно добавить еще минимум одну - возможно, наиболее важную:

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

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

Наиболее общие проблемы, связанные с пониманием истинности как когерентности, вытекают из фундаментального аргумента против когерентизма (в версии, соответственно, британских идеалистов), сформулированного Расселом:

Возражение когерентной теории состоит в том, что она предполагает более общее значение истины и лжи в построении своего когерентного целого, и это более общее значение, хотя и обязательно для теории, не может быть объяснено средствами самой теории. Пропозиция "Епископ Стаббс повешен за убийство", как нам говорят, не согласуется со всей полнотой истины или с опытом. Но это означает, когда мы исследуем это, что нам известно нечто, что не согласуется с этой пропозицией. То, что не согласуется с этой пропозицией, должно быть чем-то истинным ; вполне возможно построить связное целое, полностью состоящее из ложных пропозиций, где "Епископ Стаббс повешен за убийство" найдет себе место. Одним словом, частичные истины, из которых составлена полная истина, должны быть такими пропозициями, которые обычно называют истинными, а не такими, которые обычно называют ложными; когерентная теория не дает никакого объяснения различию, обычно выражаемому словами "истинный" и "ложный", и нет никаких свидетельств в пользу того, что система ложных пропозиций не могла бы, как в хорошем романе, быть столь же последовательной, как и полностью истинная система 66 .

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

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

Если P истинно, то не-P не истинно

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

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

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

Согласно реалистическим представлениям, даже значительно редуцированным, такая проблема должна интерпретироваться как проблема онтологического статуса истинностных операторов. Из двух (конкурирующих) систем истинных пропозиций нам следует выбрать, тривиально, ту, которая истиннее. Но в рамках когерентной концепции мы не должны обращаться к подкреплениям "со стороны" - свойствам внешнего мира, вообще любым внеязыковым импликациям. Любое онтологическое требование здесь означало бы апелляцию к метафизическому реализму - т.е., в данном случае, к корреспондентным интуициям. Между тем когерентная теория заключает о своих предметах совершенно иными способами.

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

Очевидно, что недостаточно понимать отношение когерентности как просто непротиворечивость. Согласно такой точке зрения, сказать, что утверждение является когерентным с определенным множеством утверждений, значило бы попросту сказать, что утверждение не противоречит ни одному утверждению из этого множества. Такая концепция когерентности неудовлетворительна по следующей причине. Рассмотрим два утверждения, которые не принадлежат определенному привилегированному множеству утверждений. Оба эти утверждения могут быть непротиворечивы с этим множеством, и в то же время все же противоречить друг другу. Если когерентность была бы просто непротиворечивостью, то сторонник когерентной концепции должен был бы утверждать, что оба утверждения истинны (или же, что если к привилегированному множеству утверждений добавить либо P, либо не-P, то в обоих случаях оно останется когерентным) - но при том, что они противоречат друг другу, это невозможно.

Поэтому отношение когерентности может пониматься как наличие некоторых вероятностных связей между P и другими утверждениями, полагаемыми S истинными. Как заметил Бонжур, логическая непротиворечивость - печально известный слабый вид когерентности, и теоретик когерентности истины наверняка захочет расширить трактовку когерентности, чтобы включить в нее по крайней мере вероятностные связи 67 . P будет истинно для S только в том случае, если P логически непротиворечиво с остальными утверждениями, полагаемыми S истинными, и имеются содержательные вероятностные связи между другими утверждениями, полагаемыми S истинными, и P .

Отношение когерентности может быть также интерпретировано как некоторая форма логического следования (entailment 68), понимаемого здесь как строгое логическое следование или как следование в несколько более широком смысле. Согласно этой версии, предложение когерентно с некоторым множеством утверждений если, и только если оно связано отношениями следования с элементами этого множества. Однако этот подход будет требовать дальнейшего разъяснения понятия "следование", и так далее.

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

Теперь мы можем вернуться к вопросу о том, из чего состоит наше "определенное привилегированное множество утверждений"; каков, вообще говоря, его эпистемологический статус? Это не может быть множество всех утверждений, так как это множество будет содержать противоречащие пары утверждений и, таким образом, ничто не было бы истинно. И это не может быть подмножество только истинных утверждений, потому что мы еще не располагаем анализом истины, и здесь возник бы порочный круг.

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

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

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

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

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

Итак, в рамках когерентной концепции истины понятие "определенное множество утверждений, полагаемых истинными" все еще требует дальнейшего уточнения. Применительно к концепции значения как условий истинности мы можем рассматривать его как множество всех тривиально истинных утверждений, единственным образом определяющее объем понятия истины для всех членов определенного языкового сообщества . Лингвистическое сообщество понято здесь как множество всех носителей языка L . Если мы соглашаемся с такой трактовкой понятия "определенное множество утверждений", то мы принимаем такую версию когерентной теории истины, которая является более онтологически нейтральной, чем ранее рассмотренные теории.

Как показал У.Элстон, метафизический реализм, в отличие от алетического, подразумевает принятие двух принципов:

принципа бивалентности, согласно которому каждое предложение является или истинным, или ложным,

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

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

С точки зрения когерентной теории истины мы должны отклонить как

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

принцип трансцендентности, поскольку если предложение когерентно с некоторым множеством полаганий, то его истинность не может не быть нам известна. Если бы его истинность (или ложность) не была нам известна, то мы никак не могли бы определить его когерентность.

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

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

В отличие от фундаментализма, когерентная теория обоснования - относительное новшество в истории философии. Она появляется у британских идеалистов, хотя свойственное им смешение эпистемологических и метафизических проблем затрудняет разделение их теории когерентности обоснования и теории когерентности природы истины (это различие ясно проводится только у Бланшара 73). Далее эта теория получает развитие в логическом позитивизме, в ответ на фундаменталистские представления Шлика. При обращении для обоснования к наблюдению Нейрат отождествляет утверждения наблюдения с их содержанием, а когерентность с простой логической непротиворечивостью, со всеми вытекающими из такого отождествления последствиями: у него еще нет возражения на аргумент епископа Стаббса. Такое возражение начинает появляться у Гемпеля: он определяет полагания наблюдения как те полагания подходящего содержания, которые приняты "учеными нашего круга культуры", но еще не предлагает объяснения для такой идентификации.

Более современные версии когерентизма - например, Бонжура, Хармана, Лерера - полностью переносят центр внимания с истины на обоснование. Их главные аргументы исходят из возражения фундаментализму, состоящему в том, что фундаменталист может объяснить статус предположительно базовых полаганий как подлинно обоснованных (в том смысле, что есть некоторая причина или основание для того, чтобы считать их истинными) только обращаясь к некоторым обосновательным предпосылкам и тем самым фактически отрицая статус таких полаганий как базовых.

Согласно когерентистской точке зрения, нет никакого способа обратиться для обоснования к чему-либо вне системы полаганий, потому что любой такой предполагаемый источник обоснования должен был бы заранее быть поддержан как полагание субъектом познания прежде, чем он смог бы выполнить обосновательную функцию. Следовательно, непосредственным источником обоснования будет полагание, а не внешний мир. Таким образом, когерентистская позиция - это фактически всегда скорее интерналистская, чем экстерналистская позиция; согласно ней, основание для эпистемического обоснования должно быть когнитивно доступно для субъекта познания. Возможна и экстерналистская версия когерентизма, хотя если мы принимаем экстернализм, то фундаменталистская теория обоснования дает более прямое объяснение; смысл же принятия когерентной теории как раз в том, чтобы соблюсти онтологическую нейтральность. Однако возможно дальнейшее экстерналистское требование к когерентизму. Одно из главных оснований, по которому может быть оспорена как сама когерентная концепция истины, так и ее связь с когерентной теорией обоснования, таково: даже если допустить, что определение когерентности с множеством полаганий является верификационной процедурой для определения истинности, то сама истина при этом могла бы тем не менее состоять не в чем ином, как в соответствии объективным фактам. Но этот контраргумент встречает следующее возражение: если истина заключается в соответствии внешним фактам, то когерентность с множеством полаганий никак не может быть критерием истинности, поскольку не может существовать никакой гарантии того, что сколь угодно непротиворечивое множество полаганий соответствует внешней действительности 74 .

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

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

Сторонники корреспондентной концепции истины могут даже утверждать, что когерентная теория - вообще не теория истины 77 ; следовательно, они исходят из предположения, что они знают, чем является истина, то есть они имеют определение истины. И конечно, они знают, что такое истина: для них это - соответствие фактам. Действительно, когерентная теория истины - не теория соответствия фактам. Но сторонники когерентной концепции никогда не претендовали на это.

Это различие в значениях самого термина "истина" может интерпретироваться как связанное с различием целей, для которых дается теория истины. Могут иметься по крайней мере две таких цели:

чтобы дать определение понятия "является истинным" как характеристики утверждения;

чтобы определить тестовые условия для выяснения, действительно ли имеется основание для применения характеристики "является истинным" к данному утверждению.

Согласно Николасу Решеру, резюмировавшему это различие 78 , эти два вопроса совершенно неидентичны: мы можем иметь критерий или критерии истинности (условия истинности) утверждения и все еще испытывать недостаток определения, что значит для этого утверждения быть истинным, и наоборот.

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

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

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

Итак, отношение когерентности реализуется посредством семантических связей между лингвистическими единицами, причем эти связи образуют открытое множество. Отсюда представляется возможным достаточно общий семантический подход, менее чувствительный к онтологическим требованиям - в частности, в нем снимается противопоставление семантического монизма (свойственного, например, корреспондентной теории), когда предметная область рассматривается как множество однородных объектов (элементов данного мира), и семантики возможных миров, использующей обращение к онтологически различным видам объектов: "объектам реального мира" и "объектам возможного мира". Когерентная истинность нейтральна к требованиям метафизической контроверзы реализма/анти-реализма и совместима с интуицией алетического реализма.

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

Примерно такой путь - от корреспондентности к когерентности - проделал и Дэвидсон в 1960-80-е годы - что соответствует и пути Витгенштейна от "Трактата" к "Исследованиям", и, более широко, тому возрастающему признанию роли социокультурных факторов, которое характерно для эволюции многих философов. В статье "Когерентная теория истины и знания" Дэвидсон защищает аргумент, призванный "показать, что когерентность в итоге дает корреспонденцию (coherence yields correspondence)" 79 . С такой точки зрения, мы признаем, что наши полагания взаимно поддерживают друг друга, и принимаем их именно по этой причине. Но Дэвидсон не может показать, как через доказательство когерентности наших полаганий мы делаем наше знание истинным или ложным и поэтому соответствующим или не соответствующим внешней действительности. Однако мы должны это сделать, если хотим дать теорию значения для естественного языка: мы не можем не признать его не заключающим о мире. Язык существует постольку, поскольку функционирует, а функционирует постольку, поскольку представляет собой систему интенциональных репрезентаций, направленных на мир, и для того, чтобы дать теорию этой системы, мы должны объяснить ее связь с другими основаниями нашей когнитивной практики. Мы можем отказаться трактовать перцептуальные утверждения как экзистенциальные, но это не избавит нас от необходимости дать теорию их обоснования именно как утверждений о мире, а не только о других утверждениях.

© 2003 г. В.В. Ляшов

К ВОПРОСУ О КОГЕРЕНТНОЙ ТЕОРИИ ИСТИНЫ

С чем связано обращение к полузабытому вопросу о когерентной теории истины? Общим местом в публикациях, касающихся проблем истины, всегда было деление теорий истины на корреспондентскую (логической экспликацией которой считается теория А.Тарского), когерентную и прагматическую. Сейчас признано, что эти теории отражают разные аспекты и характеристики истинного знания: гносеологический, семантический, эпистемологический и социально-культурный. С этим трудно не согласиться, но можно подвергнуть сомнению, остающуюся неизменной точку зрения, сводящую семантическую теорию истины к концепции А. Тарского.

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

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

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

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

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

Теория когерентности базируется на идее, что все истинные высказывания формируют одну взаимосвязанную систему, в которой они имеют свое определенное место согласно логическим связям. Эта фундаментальная идея берет свое начало еще в античной философии и уже просматривается у предшественников Сократа, в частности, у Парменида. Наиболее ярко она проявилась у Аристотеля во «Второй аналитике». Новую жизнь эта традиция приобрела у И. Канта и его последователей. В наше время когерентную теорию защищали Ф. Брэдли, А. Эвин, С. Кэмбел, Б. Бланшард и, конечно, Н. Решер .

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

Нас будут интересовать вторая и третья доктрины. Дж. Коген отмечает, что большинство современных исследователей «...считает, что корреспондентская теория лучше чем когерентная раскрывает природу истины, и трактует когерентность как общее условие, которому должно удовлетворять множество утверждений для того, чтобы они были признаны истинными» .

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

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

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

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

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

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

Действительно, истина детерминируется отношением знаний, выраженных в суждениях, к реальности, а в случае с когерентностью речь идет об отношении высказываний друг к другу. Как тогда перейти от одного к другому? Чтобы восполнить эту неопределенность, необходимо ответить на вопрос о том, какие сущности связывает между собой отношение когерентности? Когерентность не является отношением между всякими сужениями или уже истинными суждениями (в этом случае и проблемы бы не возникало). Это отношение между высказываниями особого сорта, обладающими определенными онтологическими и гносеологическими характеристиками. Такие высказывания, которые называются «данными», играют стержневую роль в когерентной теории истины. «Данные» - кандидаты в истинные предложения. Они таковы в том смысле, что при определенных условиях их можно охарак-

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

Далее следует обратить внимание на то, что по отношению к установлению истинности свойство, в соответствии с которым относят какое-либо высказывание к множеству данных, - не изолированная черта последнего, а «родовая», контекстуальная характеристика некоторой группы высказываний. Таким образом, при когерентном подходе имеем дело с истиной, относительно некоторого множества высказываний, которые являются «возможно» истинными, а не истинными в некотором абсолютном, актуальном смысле. Но тогда что мешает рассматривать понятие «быть истинным» относительно всей области исследуемых знаний? В таком случае абсолютная истина может вполне обоснованно признаваться относительной по отношению к базису, содержащему в себе абсолютно все возможные данные. Конечно, это - очень сильное допущение, которое мы никогда не сможем реализовать, но оно позволяет нам утверждать, что теоретическое содержание понятий абсолютная и относительная истина идентично - соответствие действительности. Например, если бы мы имели в своем распоряжении все возможные данные и на их основе проводилось определение относительной истины, тогда абсолютная истина была бы тождественна установленной таким образом относительной истине.

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

Кроме того, возникает вопрос о роли субъекта и объективных и субъективных моментах семантического понятия истины, базирующегося на теории когерентности.

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

При когерентном подходе активность познающего исследователя как раз реализуется в процессе семантического анализа в процессе построения истинностного множества. В этом случае высказывание будет истинным, если субъект-исследователь может построить некоторое множество предложений и «встроить» в него исходное высказывание. Успех этой операции зависит от деятельности по построению истинностного множества. Но каковы тогда объективные моменты, определяющие его? Конечно, если нам необходимо ответить на вопрос: что есть истина вообще, т.е. рассматривать это понятие, не соотнося его с каким-то множеством высказываний, то в этом случае решающее значение приобретает переход от понятия «истинно относительно посылок» просто к понятию «истинно». Возможность подобного перехода детерминируется сущностью множества данных, т.е. того множества высказываний, в системе которого определяется истинность отдельных высказываний. Точно так, как в дедуктивной логике переход от релятивной истины к абсолютной или фактуальной гарантируется истинностью посылок, так и в когерентном подходе этот шаг гарантируется той же самой природой кандидатов в истинные высказывания. Эго связано с тем, что данное множество имеет определенный истинностно-соотнесенный характер, т.е. некоторые исходные высказывания, входящие в него, уже должны быть истинными. Действительно, если считается, что истина заключается в когерентности высказываний друг с другом в системе, то уже предполагается, что некоторые простые высказывания в системе, с которыми соотносятся новые - истинны. Если же отвергается это, то возникает ситуация аналогичная настройке како-го-либо музыкального инструмента. Можно настроить одну струну по камертону, а остальные - на основе определенных регулятивов (количества полутонов от одной ноты к другой). И аккорд, взятый на этом инструменте, будет гармонировать с миром звуков. Но, если же произвольно настраивать ту же самую исходную струну, и далее действовать так же, то вероятность диссонанса с миром звуков велика, хотя инструмент настроен по законам гармонии. Чтобы это было не так, надо в музыке обладать абсолютным слухом или в теории познания быть идеальным исследователем. Получается, что истина -камертон, а логика когерентности - правила гармонии.

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

Литература

1. Войшвилло Е.К., Никифоров А.Л. Проблема взаимоотношения эмпирического и теоретического знаний// Диалектика научного познания. М., 1978. С. 415.

2. Ляшов В.В. Когерентная теория истинности и истинностно-значная семантика // Логико-философские исследования. М., 1991. Вып. 2.

3. Rescher N. The coherence theory oftruth. W., 1980.

4. Cohen L.J. The coherence Theory of Truth // Philosophical Studies. 1978. Vol. 34, № 4, P. 351 -360.

Проблемы классической концепции

Классическая концепция истины

Концепция, согласно которой истина есть соответствие мыслей действительности, называется классической. Она называется так потому, что является древнейшей из всех

концепций истины. Именно с нее и начинается теоретическое исследование истины.

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

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

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

Истоки классической концепции истины восходят к античной философии. Первые попытки ее теоретического осмысления были предприняты Платоном и Аристотелем. Платону принадлежит следующая характеристика понятия истины: «...тот, кто говорит о вещах в соответствии с тем, каковы они есть, говорит истину, тот же, кто говорит о них иначе,- лжет...» *. Аналогичным образом характеризует понятие истины и Аристотель в своей «Метафизике»: «...говорить о сущем, что его -нет, или о не-сущем, что оно есть,- значит говорить ложное; а говорить, что сущее есть и не-сущее не есть,- значит говорить истинное» 2.

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

" Платон. Соч. в трех томах, т. 1. М., 1968, стр. 417.

2 Аристотель. Соч. в четырех томах, т. 1. М., 1975, стр. 141.

соответствовала целям познания, включая и научное познание.

Центральным понятием классической концепции является понятие соответствия мыслей действительности. Какое содержание вкладывается в это понятие? Нужно заметить, что понятие соответствия не однозначно. В некоторых случаях оно употребляется для характеристики процесса называния, т. е. отношения между именем и вещью. В классической концепции под соответствием понимается нечто другое. Когда говорят о том, что мысль соответствует действительности, имеют в виду следующее: то, что утверждается мыслью, действительно имеет место. Понятие соответствия, таким образом, совпадает с понятиями «воспроизведение», «адекватность».

Другое важное понятие классической концепции - понятие действительности, или реальности. Когда познание ориентировано на внешний мир, то это понятие отождествляется с понятием объективного мира. Такого взгляда на действительность придерживались не только материалисты, но и объективные идеалисты, например Платон. Однако в контексте теории истины такая трактовка действительности является все же узкой. Принятие ее означало бы ограничение классической концепции рамками познания только внешнего мира. Но эта концепция претендует на универсальность, на применение понятия истины не только к мыслям, обращенным к объективному миру, но и к мыслям, относящимся к объектам любой природы, в том числе к мысленным объектам. Так, следующие два предложения:

Земля - планета Солнечной системы, Уравнение Шредингера - линейное уравнение - суть истинные предложения. Несмотря на различие референтов предложений, классическая концепция в обоих случаях рассматривает истинность предложения как его соответствие действительности. Под действительностью она понимает не только то, что является элементом внешнего мира, но и то, что просто имеет место.

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

нем случае понятие не имеет объективного содержания. Однако упомянутая логическая форма в любом случае лишена истинностного значения". В логической литературе почти общепринято считать, что носителями истинностного значения могут быть суждения или высказывания, представленные повествовательными предложениями. Например, высказывания: Атом водорода имеет один протон и Перпетуум мобиле не существует в природе - являются истинами.

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

Истина, по Хэмлину, есть свойство утверждений, представленных в виде предложений. Однако является ли данное предложение утверждением или нет - это существенно зависит от контекста. Допустим, мы переводим с английского на русский следующее предложение: Cambridge is situated in seventy mile from London.

Русским эквивалентом этого предложения будет предложение: Кембридж расположен на расстоянии семидесяти миль от Лондона.

Такое предложение, по Хэмлину, не носит характера утверждения, а рассматривается просто как перевод иностранного текста. Поэтому оно лишено истинностного значения. Однако мы можем выйти за рамки данного контекста и рассматривать его как утверждение о Кембридже. В этом случае предложение обретает истинностное значение.

Таким образом, по Хэмлину, одно и то же предложение в одном контексте будет иметь истинностное значение, а в другом - нет. Д. О’Коннор, в отличие от Хэмлина, считает, что в данном случае мы имеем дело не с относительностью понятия истины, а с двумя различ-

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

2 W. Hamlyn. The theory of knowledge. N. Y.-L., 1971.

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

Но не все утверждения, с точки зрения классической концепции, являются носителями истинностных значений. Наряду с теми, которые имеют истинностное значение, существует класс утверждений, которые не являются ни истинными, ни ложными. Утверждения, являющиеся носителями истинностных значений, характеризуются рядом специфических признаков, отличающих их от утверждений, лишенных истинностных значений. Приведем некоторые из них.

Истинными могут быть лишь правильно сформулированные в данном языке предложения. Например, тригонометрическое равенство tg 45° =1 представляет собой истинное утверждение, а неравенство tg 45°>1-ложное утверждение. Но выражение 45° tg=l не является ни истинным, ни ложным. Оно лишено смысла.

Обычно в классической концепции в качестве истинных принимаются только такие предложения, которые являются дескриптивными предложениями, т. е. имеют характер описаний. Предложения, не являющиеся дескриптивными, считаются лишенными истинностного значения. К таковым принадлежат предложения: Приходите вовремя, Вы очень хорошо сделали, что пришли вовремя, и т. д.

Чтобы предложения могли иметь истинностное значение, они должны быть не просто дескриптивными, а дескриптивно определенными. Например, x>4 или х+6=у представляют собой неопределенные утверждения и не могут быть квалифицированы ни как истинные, ни как ложные. Напротив, утверждения «Существует х такое, что x>4» и «4+6==10» являются дескриптивно определенными и вместе с тем истинными.

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

" D. O"Connor. The correspondence theory of truth. L, 1975, p. 81.

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

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

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

1. Проблема природы познаваемой реальности. Человек в своем познании непосредственно имеет дело не с объективным миром «самим по себе», а с миром в том его виде, как он им чувственно воспринимается и концептуально осмысливается. Факты, которым соответствует истинное знание и которые определяются как то, что имеет место, являются элементами не объективного,

а чувственно воспринятого и концептуально осмысленного мира.

Такая ситуация создает определенные трудности, в особенности для первых, «наивных» вариантов классической теории. О"Коннор описывает их следующим образом: «Согласно корреспондентской теории истины, факты являются не зависящими от мышления предпосылками истины, которым должны соответствовать наши убеждения, если они истинны. Но факты не являются не зависящими от мышления и не могут быть таковыми, ибо они... несут концептуальную нагрузку. Мы можем признать фактуальными только те аспекты нашего опыта, которые мы узнаем и интерпретируем посредством наших понятий»".

Согласно английскому философу П. Стросону, сами объекты, о которых говорится в утверждениях, не являются фактами. Факты связаны с утверждениями таким образом, что если мы исключаем из мира утверждения, то мы исключаем из него и факты. Стросон пишет: «Факты есть то, что утверждения (когда они истинны) утверждают. Они не являются тем, о чем утверждения говорят» 2. Факты, которым должны соответствовать утверждения, являются «псевдоматериальным коррелятом» этих утверждений. Такая трактовка фактов может иметь, по мнению Стросона, роковые последствия для корреспондентской теории и, в частности, для классической концепции истины. Если факты не являются элементами объективного мира, а представляют собой познавательное содержание истинных утверждений, то, как полагает Стросон, утверждения не могут быть истинными благодаря фактам. Ибо никакое эмпирическое утверждение не может быть истинным благодаря своему собственному значению.

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

" D. O"Connor. The correspondence theory of truth, p. 67.

2 Цит. по: G. Pitcher. Truth. Englewood Cliffs, 1964, p. 38.

концепцию истины только в ее наивной форме, указанные моменты выглядят как опровержение последней. Так, Д. Хэмлин пишет в связи с этим: «Часто говорят, что корреспондентская теория не может быть даже основой для оценки некоторого положения как истинного. Ибо... данная теория предполагает, что существует простое отношение между языком и миром, что утверждения являются копиями мира. Язык в действительности не похож на эту копию. Поэтому данная теория ошибочна» 1.

3. Проблема критерия истины. Эта проблема сыграла исключительно важную роль в развитии классической концепции. Отчасти она связана с первой проблемой. Если человек непосредственно контактирует не с миром «в себе», а с чувственно воспринятым и концептуализированным миром, то спрашивается: каким образом он может проверить, соответствуют ли его утверждения самому объективному миру?

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

В XX в. аргумент Секста Эмпирика был возрожден логиком Нельсоном, который на его основе сформулировал «парадокс Нельсона». Этот парадокс представляет определенную угрозу для тех вариантов корреспондентской теории истины, в рамках которых принимается, что критерий истинности знаний принадлежит самому знанию.

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

" D. W. Hamlyn. The correspondence theory of truth. - «The philosophical quarterly», 1962, vol. 12, p. 193.

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

4. Классическая концепция в том ее варианте, в котором истина рассматривается как соответствие не только объективной, но и любой действительности, приводит к логическому противоречию, получившему название парадокса лжеца. Этот парадокс, известный еще древним грекам (Эпименид-VI в. до н. э., Эвбулид-IV в. до н. э.), состоит в следующем. Согласно классической концепции, истина представляет собой соответствие утверждения некоторому референту. Однако она не ограничивает выбор референтов высказываний. Референтом данного высказывания может быть само это высказывание. Такого рода высказывания называются самореферентными. Пусть у нас имеется самореферентное утверждение А, которое означает: А - ложно. Возникает вопрос: истинно или ложно данное предложение Л? Допустим, что А - истинно. Но А означает: А - ложно. Следовательно, если А - истинно, то А должно быть ложным. Допустим, что А ложно. Но так как А означает: А - ложно, то признание ложности А приводит к выводу, что А истинно.

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

Вышеупомянутые проблемы оказались неразрешимыми для классической концепции в ее первоначальной, «наивной» форме. Они стимулировали двоякого рода деятельность: во-первых, попытки усовершенствовать и развить классическую теорию таким образом, чтобы трудности, с которыми она столкнулась, были преодолены без отказа от ее принципов; во-вторых, критический пересмотр классической концепции и замену ее другими, альтернативными (неклассическими) концепциями и теориями истины. Рассмотрим теперь некоторые альтернативы классической концепции - когерентную и прагматическую теории истины.

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

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

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

Версия когерентной теории истины, связанная с именем О. Нейрата, является результатом кризиса раннего

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

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

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

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

приводит к неразрешимым противоречиям - апориям («Дихотомия», «Стрела», «Ахиллес и черепаха»).

Этот вариант когерентной теории истины в несколько модифицированном виде принимается некоторыми современными западными философами и логиками. К ним относится, в частности, Н. Решер. Решер не отвергает корреспондентскую теорию истины полностью, считая ее «безусловно наилучшим образом сконструированной для ответа на вопрос о дефиниции истины» ". Поэтому понятие истины может быть принято так, как оно определяется в рамках этой теории, т. е. как соответствие знаний действительности. Однако, поскольку эта теория сталкивается с трудностями в вопросе о критерии истины, она должна уступить место когерентной концепции.

Функционирование когерентной теории как определяющей критерии истины Решер представляет себе следующим образом. Допустим, что мы имеем множество М эмпирических высказываний. Высказывания могут быть как-то связаны между собой. При этом ни одно из них не обладает истинностью само по себе. Оно может быть только кандидатом в истинные высказывания и становится таковым только относительно подмножества N тех высказываний из множества М, между которыми существует отношение взаимной когерентности. Цель когерентной теории заключается тогда в том, чтобы отделить истинные высказывания от неистинных. Ключ к решению этой проблемы состоит в нахождении во множестве М подмножества N когерентных высказываний. «Кандидаты в истины, - уточняет Решер,- квалифицируются как истины благодаря выявлению их совместимости с как можно большим числом других эмпирических высказываний» 2.

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

а) Эта теория пытается решить проблему когерентности в логическом смысле. Однако проблема когерент-

" N. Rescher. The coherence theory of truth. Oxford, 1973, p. 9.

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

б) Когерентность рассматривается как внутреннее свойство системы высказываний. Решер пишет: ««Когерентность», рассматриваемая в когерентной теории, касается вопроса об отношении одних высказываний к другим, но она не касается вопроса «когерентности» с реальностью или с фактами действительности» ". Однако в рамках такой трактовки когерентности невозможно понять, каким образом непротиворечивость знаний гарантирует их соответствие реальному миру. Очевидно, условие непротиворечивости не является достаточным условием истинности, поскольку не всякая непротиворечивая система утверждений о реальном мире соответствует реальному миру. Кроме того, это условие применительно к естественным наукам, например к физике, не всегда оказывается и необходимым. Противоречивость какой-либо теории не означает автоматически ее ложности. Она может быть показателем временных трудностей, переживаемых истинной теорией.

Итак, сторонники когерентной теории (или теорий) истины обратились к когерентности как к способу изба- -виться от трудностей, с которыми столкнулась классическая концепция истины. Но путь, который они избрали, сопряжен с еще большими трудностями. Более того, этот путь, по существу, заводит в тупик2.