Реферат: Когерентная теория истины
Согласно одной из радикальных позиций, можно предположить, что определенное множество утверждений — это самое большое непротиворечивое множество утверждений, которым в настоящее время фактически верят реальные люди (такую позицию защищает, например, Дж.О.Янг)[69] .
Согласно умеренной позиции (ее некоторую разновидность представляет, например, Патнэм[70] ), искомое определенное множество состоит из тех суждений, которые будут рассматриваться как достоверные тогда, когда обычные ( ordinary ) (т.е. подобные нам) люди с конечными (т.е. так или иначе ограниченными) познавательными способностями достигли некоторого (рационального) предела реализации своих когнитивных намерений.
И, наконец, с другой радикальной позиции сторонники когерентной концепции истинности считают, что искомое определенное множество состоит из утверждений, которые выражали бы полагания некоторого всезнающего существа (версии Брэдли и других представителей британского идеализма[71] ).
Можно считать отношение когерентности отношением между утверждениями, предложениями или пропозициями, но релевантные утверждения, с которыми P связано отношением когерентности, должны быть определены в терминах пребывания фактическими или гипотетическими объектами полагания. Перечисленные выше различные версии когерентной теории истины можно получить в зависимости от того, каким образом понятие полагания используется для того, чтобы ограничить уместный класс утверждений, с которым определяемое предложение должно быть связано отношением когерентности, чтобы быть истинным. Это означает, что релевантный подкласс утверждений может изменяться от одного индивидуума или сообщества к другому, и именно когерентность с системой полаганий индивидуума или сообщества определяет в этом отношении истину.
Итак, в рамках когерентной концепции истины понятие "определенное множество утверждений, полагаемых истинными" все еще требует дальнейшего уточнения. Применительно к концепции значения как условий истинности мы можем рассматривать его как множество всех тривиально истинных утверждений, единственным образом определяющее объем понятия истины для всех членов определенного языкового сообщества . Лингвистическое сообщество понято здесь как множество всех носителей языка L . Если мы соглашаемся с такой трактовкой понятия "определенное множество утверждений", то мы принимаем такую версию когерентной теории истины, которая является более онтологически нейтральной, чем ранее рассмотренные теории.
Как показал У.Элстон, метафизический реализм, в отличие от алетического, подразумевает принятие двух принципов:
принципа бивалентности, согласно которому каждое предложение является или истинным, или ложным,
и
принципа трансцендентности, гласящего, что предложение может быть истинно даже в том случае, если нам неизвестно или даже не может быть известно, что оно истинно.
Оба принципа не являются необходимыми для алетического реализма, умеренная версия которого может принимать как многозначную логику (или, скорее, определение на континууме), так и верификационизм, оставаясь при этом версией реализма, поскольку, согласно ней, именно факты (особенности мира) будут определять, какие носители истинностного значения являются истинными; при этом факты, истинностные операторы, остаются концептуально независимыми от любой их репрезентации.
С точки зрения когерентной теории истины мы должны отклонить как
принцип бивалентности, поскольку не для каждого утверждения справедливо, что когерентным с определенным множеством утверждений является либо оно, либо, по исключительной дизъюнкции, противоречащее ему предложение,
так и
принцип трансцендентности, поскольку если предложение когерентно с некоторым множеством полаганий, то его истинность не может не быть нам известна. Если бы его истинность (или ложность) не была нам известна, то мы никак не могли бы определить его когерентность.
Это не будет означать, таким образом, отклонения алетического реализма — он остается возможным, хотя не необходимым, но будет означать нейтральность по отношению к метафизической контроверзе реализма/анти-реализма, поскольку когерентная теория может работать с такими истинностными операторами, которые были бы иррелевантны для этой контроверзы[72] .
Однако в таком случае нас могут интересовать не столько отношения наших утверждений к миру, сколько причины, по которым мы поддерживаем именно эти полагания — мы признаем, что наши полагания взаимно поддерживают друг друга, и принимаем их именно по этой причине. Следовательно, такая онтологическая редукция оставляет нас не столько с когерентной теорией истины, сколько с когерентной теорией обоснования ( justification ) знания. Последняя, вообще говоря, не обязательно подразумевает первую: применение когерентной теории обоснования может сочетаться с применением корреспондентной или, вероятно, любой иной концепции истинности.
В отличие от фундаментализма, когерентная теория обоснования — относительное новшество в истории философии. Она появляется у британских идеалистов, хотя свойственное им смешение эпистемологических и метафизических проблем затрудняет разделение их теории когерентности обоснования и теории когерентности природы истины (это различие ясно проводится только у Бланшара[73] ). Далее эта теория получает развитие в логическом позитивизме, в ответ на фундаменталистские представления Шлика. При обращении для обоснования к наблюдению Нейрат отождествляет утверждения наблюдения с их содержанием, а когерентность с простой логической непротиворечивостью, со всеми вытекающими из такого отождествления последствиями: у него еще нет возражения на аргумент епископа Стаббса. Такое возражение начинает появляться у Гемпеля: он определяет полагания наблюдения как те полагания подходящего содержания, которые приняты "учеными нашего круга культуры", но еще не предлагает объяснения для такой идентификации.
Более современные версии когерентизма — например, Бонжура, Хармана, Лерера — полностью переносят центр внимания с истины на обоснование. Их главные аргументы исходят из возражения фундаментализму, состоящему в том, что фундаменталист может объяснить статус предположительно базовых полаганий как подлинно обоснованных (в том смысле, что есть некоторая причина или основание для того, чтобы считать их истинными) только обращаясь к некоторым обосновательным предпосылкам и тем самым фактически отрицая статус таких полаганий как базовых.
Согласно когерентистской точке зрения, нет никакого способа обратиться для обоснования к чему-либо вне системы полаганий, потому что любой такой предполагаемый источник обоснования должен был бы заранее быть поддержан как полагание субъектом познания прежде, чем он смог бы выполнить обосновательную функцию. Следовательно, непосредственным источником обоснования будет полагание, а не внешний мир. Таким образом, когерентистская позиция — это фактически всегда скорее интерналистская, чем экстерналистская позиция; согласно ней, основание для эпистемического обоснования должно быть когнитивно доступно для субъекта познания. Возможна и экстерналистская версия когерентизма, хотя если мы принимаем экстернализм, то фундаменталистская теория обоснования дает более прямое объяснение; смысл же принятия когерентной теории как раз в том, чтобы соблюсти онтологическую нейтральность. Однако в озможно дальнейшее экстерналистское требование к когерентизму. Одно из главных оснований, по которому может быть оспорена как сама когерентная концепция истины, так и ее связь с когерентной теорией обоснования, таково: даже если допустить, что определение когерентности с множеством полаганий является верификационной процедурой для определения истинности, то сама истина при этом могла бы тем не менее состоять не в чем ином, как в соответствии объективным фактам. Но этот контраргумент встречает следующее возражение: если истина заключается в соответствии внешним фактам, то когерентность с множеством полаганий никак не может быть критерием истинности, поскольку не может существовать никакой гарантии того, что сколь угодно непротиворечивое множество полаганий соответствует внешней действительности[74] .
Поэтому, удерживая связь когерентной концепции истины с когерентной теорией обоснования знания, мы можем по-новому взглянуть на классический эпистемологический аргумент в пользу когерентной теории истины, основанный на представлении о том, что мы не можем "выйти вовне" нашего множества полаганий и сравнивать суждения с фактами действительности[75] . Этот аргумент может быть рассмотрен как вытекающий из когерентной теории обоснования знания. Исходя из такой теории, аргумент заключает о том, что мы можем знать только единичные факты когерентности или отсутствия когерентности определенного утверждения с определенным множеством утверждений, выражающих определенные полагания. Мы никаким образом не находимся и не можем оказаться в такой эпистемологической позиции, откуда мы могли бы заключать о том, соответствует ли то или иное предложение действительности.
Контраргумент здесь будет заключаться в том, что такой аргумент может быть рассмотрен как содержащий некорректную импликацию. Из того факта, что мы не можем знать, соответствует ли некоторое предложение действительности, мы еще не можем вывести, что оно не соответствует действительности. Даже если некто признает, что мы можем знать лишь то, когерентны ли определенные утверждения с нашими полаганиями, это само по себе еще не дает ему основания считать, что истина не состоит в соответствии объективным фактам. Если сторонники корреспондентной концепции истины принимают эту позицию, то они тем самым могут признавать, что существуют истины, которые не могут быть нам известны — например, что существует некоторая абсолютная истина, к которой мы можем лишь приближаться путем уточнения известных нам относительных истин. Или же сторонники корреспондентной концепции истины могут утверждать, как это делает Дэвидсон, что когерентность утверждения с множеством полаганий является хорошим признаком того, что предложение действительно соответствует объективным фактам и что эти факты соответствия доступны нашему знанию[76] .
Сторонники корреспондентной концепции истины могут даже утверждать, что когерентная теория — вообще не теория истины[77] ; следовательно, они исходят из предположения, что они знают, чем является истина, то есть они имеют определение истины. И конечно, они знают, что такое истина: для них это — соответствие фактам. Действительно, когерентная теория истины — не теория соответствия фактам. Но сторонники когерентной концепции никогда не претендовали на это.
Это различие в значениях самого термина "истина" может интерпретироваться как связанное с различием целей, для которых дается теория истины. Могут иметься по крайней мере две таких цели:
чтобы дать определение понятия "является истинным" как характеристики утверждения;
чтобы определить тестовые условия для выяснения, действительно ли имеется основание для применения характеристики "является истинным" к данному утверждению.
Согласно Николасу Решеру, резюмировавшему это различие[78] , эти два вопроса совершенно неидентичны: мы можем иметь критерий или критерии истинности (условия истинности) утверждения и все еще испытывать недостаток определения, что значит для этого утверждения быть истинным, и наоборот.
Но для того, чтобы делать истинные утверждения, мы будем нуждаться в релевантных критериях для успешности использования языковых выражений. Именно в этом суть концепции значения как условий истинности: она отождествляет значение с условиями истинности утверждения, и эта идентификация основана на концепции "значение как употребление", отождествляющей значение лингвистической единицы с условиями ее использования. Если мы принимаем это представление, мы должны признать, что все спецификации значения, которые не эффективны для определения правил применения знака, попросту избыточны.
Поэтому наша задача здесь заключается не в том, чтобы показать, что мы не можем знать наверное, соответствуют ли языковые выражения элементам и характеристикам некоторого внешнего (по отношению к описанию) мира. Такое скептическое заключение носило бы метафизический характер и было бы бесполезно для построения теории значения. Скорее следует признать, что факт такого соответствия иррелевантен для когерентной концепции обоснования и, соответственно, для основанной на когерентной концепции истины условие-истинностной теории значения. Для этого нам следует найти дополнительные аргументы, уточняющие когерентистские представления. Поскольку мы удерживаем наше представление о языковом сообществе как предельном истинностном операторе, постольку мы можем рассуждать здесь следующим образом.
Как мы видели, корреспондентная и когерентная концепции имеют различные представления о природе условий истинности. Согласно когерентной концепции, условия истинности утверждений состоят в других утверждениях. Согласно корреспондентной концепции, условия истинности утверждений состоят не в утверждениях, но в независимых от сознания свойствах и особенностях действительного мира. Один из способов сделать выбор в пользу той или иной концепции истины (т.е. определить, в каких случаях та или иная концепция истины является более адекватной) состоит в том, чтобы обратить внимание на процесс, которым утверждениям назначаются условия истинности. С когерентистской точки зрения, условия истинности утверждения — это те условия, при которых говорящие (на языке) утверждают это предложение в своей речевой деятельности. Это означает, что говорящие могут употреблять утверждения только при тех условиях, которые сами говорящие и другие члены языкового сообщества могут распознать как обосновывающие эти утверждения. Отсюда становится важна предполагаемая неспособность говорящих "выйти вовне" своих полаганий. Это важно потому, что те условия, при которых утверждение когерентно с полаганиями говорящих, являются единственными условиями истинности в том отношении, что они являются единственными условиями, которые говорящие могут распознавать как обоснование нашего понимания этой референции. Когда говорящие в своей речевой деятельности утверждают то или иное предложение при этих (определенных) условиях, то эти условия становятся условиями истинности утверждения.