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

      Согласно реалистическим представлениям, даже значительно редуцированным, такая проблема должна интерпретироваться как проблема онтологического статуса истинностных операторов. Из двух (конкурирующих) систем истинных пропозиций нам следует выбрать, тривиально, ту, которая истиннее. Но в рамках когерентной концепции мы не должны обращаться к подкреплениям «со стороны» – свойствам внешнего мира, вообще любым внеязыковым импликациям. Любое онтологическое требование здесь означало бы апелляцию к метафизическому реализму – т.е., в данном случае, к корреспондентным интуициям. Между тем когерентная теория заключает о своих предметах совершенно иными способами.
      Когерентная концепция истинности отличается от корреспондентной в двух сущностных параметрах: они дают не только различные теории отношения истинности, но и различные теории условий истинности. Согласно когерентной концепции, отношение истинности состоит в когерентности, а не соответствии, а условия истинности утверждений – это определенное множество других утверждений, а не особенности реального мира. Рассмотрим эти критерии по очереди.
      Очевидно, что недостаточно понимать отношение когерентности как просто непротиворечивость. Согласно такой точке зрения, сказать, что утверждение является когерентным с определенным множеством утверждений, значило бы попросту сказать, что утверждение не противоречит ни одному утверждению из этого множества. Такая концепция когерентности неудовлетворительна по следующей причине. Рассмотрим два утверждения, которые не принадлежат определенному привилегированному множеству утверждений. Оба эти утверждения могут быть непротиворечивы с этим множеством, и в то же время все же противоречить друг другу. Если когерентность была бы просто непротиворечивостью, то сторонник когерентной концепции должен был бы утверждать, что оба утверждения истинны (или же, что если к привилегированному множеству утверждений добавить либо P, либо не-P, то в обоих случаях оно останется когерентным) – но при том, что они противоречат друг другу, это невозможно.
      Поэтому отношение когерентности может пониматься как наличие некоторых вероятностных связей между Pи другими утверждениями, полагаемыми Sистинными. Как заметил Бонжур, логическая непротиворечивость – печально известный слабый вид когерентности, и теоретик когерентности истины наверняка захочет расширить трактовку когерентности, чтобы включить в нее по крайней мере вероятностные связи . Pбудет истинно для Sтолько в том случае, если Pлогически непротиворечиво с остальными утверждениями, полагаемыми Sистинными, и имеются содержательные вероятностные связи между другими утверждениями, полагаемыми Sистинными, и P.
      Отношение когерентности может быть также интерпретировано как некоторая форма логического следования (entailment ), понимаемого здесь как строгое логическое следование или как следование в несколько более широком смысле. Согласно этой версии, предложение когерентно с некоторым множеством утверждений если, и только если оно связано отношениями следования с элементами этого множества. Однако этот подход будет требовать дальнейшего разъяснения понятия «следование», и так далее.
      Наконец, возможно и более прямое решение – определение когерентности как отношения sui generis, подобно тому, как сторонники корреспондентной теории рассматривают корреспонденцию. В самом деле, не существует действительно принципиальных возражений против того, что общезначимая концепция когерентности может быть нередуцируема и не подлежать более дробным анализам. Поскольку любой концептуальный анализ должен иметь основу, то следует принять наличие концептуальных «атомов», из которых сформированы все другие концепции и которые сами не могут быть проанализированы. Но так как любая система имеет структуру, мы можем сказать то же самое и относительно отношений между ними. Вообще говоря, не вызывает возражений, что фундаментальная интенциональность подразумевает множество отношений sui generis, идеи которых абсолютно фундаментальны и не сводимы к любым другим отношениям. Поэтому вполне естественно считать, что человеческое сознание экземплифицирует определенные свойства (находится в определенных состояниях), в том числе свойства корреспондентности и когерентности.
      Теперь мы можем вернуться к вопросу о том, из чего состоит наше «определенное привилегированное множество утверждений»; каков, вообще говоря, его эпистемологический статус? Это не может быть множество всехутверждений, так как это множество будет содержать противоречащие пары утверждений и, таким образом, ничто не было бы истинно. И это не может быть подмножество только истинных утверждений, потому что мы еще не располагаем анализом истины, и здесь возник бы порочный круг.
      В принципе, сторонники когерентной концепции истины единодушны в том, что это определенное множество состоит из утверждений, полагаемыхистинными. Разногласия могут заключаться в том, кто и когда полагает эти утверждения истинными. Можно обозначить три парадигматические позиции по этому вопросу.
      Согласно одной из радикальных позиций, можно предположить, что определенное множество утверждений – это самое большое непротиворечивое множество утверждений, которым в настоящее время фактически верят реальные люди (такую позицию защищает, например, Дж.О.Янг) .
      Согласно умеренной позиции (ее некоторую разновидность представляет, например, Патнэм ), искомое определенное множество состоит из тех суждений, которые будут рассматриваться как достоверные тогда, когда обычные (ordinary) (т.е. подобные нам) люди с конечными (т.е. так или иначе ограниченными) познавательными способностями достигли некоторого (рационального) предела реализации своих когнитивных намерений.
      И, наконец, с другой радикальной позиции сторонники когерентной концепции истинности считают, что искомое определенное множество состоит из утверждений, которые выражали бы полагания некоторого всезнающего существа (версии Брэдли и других представителей британского идеализма ).
      Можно считать отношение когерентности отношением между утверждениями, предложениями или пропозициями, но релевантные утверждения, с которыми Pсвязано отношением когерентности, должны быть определены в терминах пребывания фактическими или гипотетическими объектами полагания. Перечисленные выше различные версии когерентной теории истины можно получить в зависимости от того, каким образом понятие полагания используется для того, чтобы ограничить уместный класс утверждений, с которым определяемое предложение должно быть связано отношением когерентности, чтобы быть истинным. Это означает, что релевантный подкласс утверждений может изменяться от одного индивидуума или сообщества к другому, и именно когерентность с системой полаганий индивидуума или сообщества определяет в этом отношении истину.
      Итак, в рамках когерентной концепции истины понятие «определенное множество утверждений, полагаемых истинными» все еще требует дальнейшего уточнения. Применительно к концепции значения как условий истинности мы можем рассматривать его как множество всех тривиально истинных утверждений, единственным образом определяющее объем понятия истины для всех членов определенного языкового сообщества. Лингвистическое сообщество понято здесь как множество всех носителей языка L. Если мы соглашаемся с такой трактовкой понятия «определенное множество утверждений», то мы принимаем такую версию когерентной теории истины, которая является более онтологически нейтральной, чем ранее рассмотренные теории.
      Как показал У.Элстон, метафизический реализм, в отличие от алетического, подразумевает принятие двух принципов:
      принципа бивалентности, согласно которому каждое предложение является или истинным, или ложным,
      и
      принципа трансцендентности, гласящего, что предложение может быть истинно даже в том случае, если нам неизвестно или даже не может быть известно, что оно истинно.
      Оба принципа не являются необходимыми для алетического реализма, умеренная версия которого может принимать как многозначную логику (или, скорее, определение на континууме), так и верификационизм, оставаясь при этом версией реализма, поскольку, согласно ней, именно факты (особенности мира) будут определять, какие носители истинностного значения являются истинными; при этом факты, истинностные операторы, остаются концептуально независимыми от любой их репрезентации.
      С точки зрения когерентной теории истины мы должны отклонить как
      принцип бивалентности, поскольку не для каждого утверждения справедливо, что когерентным с определенным множеством утверждений является либо оно, либо, по исключительной дизъюнкции, противоречащее ему предложение,
      так и
      принцип трансцендентности, поскольку если предложение когерентно с некоторым множеством полаганий, то его истинность не может не быть нам известна. Если бы его истинность (или ложность) не была нам известна, то мы никак не могли бы определить его когерентность.
      Это не будет означать, таким образом, отклонения алетического реализма – он остается возможным, хотя не необходимым, но будет означать нейтральность по отношению к метафизической контроверзе реализма/анти-реализма, поскольку когерентная теория может работать с такими истинностными операторами, которые были бы иррелевантны для этой контроверзы .
      Однако в таком случае нас могут интересовать не столько отношения наших утверждений к миру, сколько причины, по которым мы поддерживаем именно эти полагания – мы признаем, что наши полагания взаимно поддерживают друг друга, и принимаем их именно по этой причине. Следовательно, такая онтологическая редукция оставляет нас не столько с когерентной теорией истины, сколько с когерентной теорией обоснования (justification) знания. Последняя, вообще говоря, не обязательно подразумевает первую: применение когерентной теории обоснования может сочетаться с применением корреспондентной или, вероятно, любой иной концепции истинности.
      В отличие от фундаментализма, когерентная теория обоснования – относительное новшество в истории философии. Она появляется у британских идеалистов, хотя свойственное им смешение эпистемологических и метафизических проблем затрудняет разделение их теории когерентности обоснования и теории когерентности природы истины (это различие ясно проводится только у Бланшара ). Далее эта теория получает развитие в логическом позитивизме, в ответ на фундаменталистские представления Шлика. При обращении для обоснования к наблюдению Нейрат отождествляет утверждения наблюдения с их содержанием, а когерентность с простой логической непротиворечивостью, со всеми вытекающими из такого отождествления последствиями: у него еще нет возражения на аргумент епископа Стаббса. Такое возражение начинает появляться у Гемпеля: он определяет полагания наблюдения как те полагания подходящего содержания, которые приняты «учеными нашего круга культуры», но еще не предлагает объяснения для такой идентификации.
      Более современные версии когерентизма – например, Бонжура, Хармана, Лерера – полностью переносят центр внимания с истины на обоснование. Их главные аргументы исходят из возражения фундаментализму, состоящему в том, что фундаменталист может объяснить статус предположительно базовых полаганий как подлинно обоснованных (в том смысле, что есть некоторая причина или основание для того, чтобы считать их истинными) только обращаясь к некоторым обосновательным предпосылкам и тем самым фактически отрицая статус таких полаганий как базовых.
      Согласно когерентистской точке зрения, нет никакого способа обратиться для обоснования к чему-либо вне системы полаганий, потому что любой такой предполагаемый источник обоснования должен был бы заранее быть поддержан как полагание субъектом познания прежде, чем он смог бы выполнить обосновательную функцию. Следовательно, непосредственным источником обоснования будет полагание, а не внешний мир. Таким образом, когерентистская позиция – это фактически всегда скорее интерналистская, чем экстерналистская позиция; согласно ней, основание для эпистемического обоснования должно быть когнитивно доступно для субъекта познания. Возможна и экстерналистская версия когерентизма, хотя если мы принимаем экстернализм, то фундаменталистская теория обоснования дает более прямое объяснение; смысл же принятия когерентной теории как раз в том, чтобы соблюсти онтологическую нейтральность. Однако возможно дальнейшее экстерналистское требование к когерентизму. Одно из главных оснований, по которому может быть оспорена как сама когерентная концепция истины, так и ее связь с когерентной теорией обоснования, таково: даже если допустить, что определение когерентности с множеством полаганий является верификационной процедурой для определения истинности, то сама истина при этом могла бы тем не менее состоять не в чем ином, как в соответствии объективным фактам. Но этот контраргумент встречает следующее возражение: если истина заключается в соответствии внешним фактам, то когерентность с множеством полаганий никак не может быть критерием истинности, поскольку не может существовать никакой гарантии того, что сколь угодно непротиворечивое множество полаганий соответствует внешней действительности .
      Поэтому, удерживая связь когерентной концепции истины с когерентной теорией обоснования знания, мы можем по-новому взглянуть на классический эпистемологический аргумент в пользу когерентной теории истины, основанный на представлении о том, что мы не можем «выйти вовне» нашего множества полаганий и сравнивать суждения с фактами действительности . Этот аргумент может быть рассмотрен как вытекающий из когерентной теории обоснования знания. Исходя из такой теории, аргумент заключает о том, что мы можем знать только единичные факты когерентности или отсутствия когерентности определенного утверждения с определенным множеством утверждений, выражающих определенные полагания. Мы никаким образом не находимся и не можем оказаться в такой эпистемологической позиции, откуда мы могли бы заключать о том, соответствует ли то или иное предложение действительности.
      Контраргумент здесь будет заключаться в том, что такой аргумент может быть рассмотрен как содержащий некорректную импликацию. Из того факта, что мы не можем знать, соответствует ли некоторое предложение действительности, мы еще не можем вывести, что оно не соответствует действительности. Даже если некто признает, что мы можем знать лишь то, когерентны ли определенные утверждения с нашими полаганиями, это само по себе еще не дает ему основания считать, что истина не состоит в соответствии объективным фактам. Если сторонники корреспондентной концепции истины принимают эту позицию, то они тем самым могут признавать, что существуют истины, которые не могут быть нам известны – например, что существует некоторая абсолютная истина, к которой мы можем лишь приближаться путем уточнения известных нам относительных истин. Или же сторонники корреспондентной концепции истины могут утверждать, как это делает Дэвидсон, что когерентность утверждения с множеством полаганий является хорошим признаком того, что предложение действительно соответствует объективным фактам и что эти факты соответствия доступны нашему знанию .
      Сторонники корреспондентной концепции истины могут даже утверждать, что когерентная теория – вообще не теория истины ; следовательно, они исходят из предположения, что они знают, чем является истина, то есть они имеют определение истины. И конечно, они знают, что такое истина: для них это – соответствие фактам. Действительно, когерентная теория истины – не теория соответствия фактам. Но сторонники когерентной концепции никогда не претендовали на это.
      Это различие в значениях самого термина «истина» может интерпретироваться как связанное с различием целей, для которых дается теория истины. Могут иметься по крайней мере две таких цели:
      чтобы дать определение понятия «является истинным» как характеристики утверждения;
      чтобы определить тестовые условия для выяснения, действительно ли имеется основание для применения характеристики «является истинным» к данному утверждению.
      Согласно Николасу Решеру, резюмировавшему это различие , эти два вопроса совершенно неидентичны: мы можем иметь критерий или критерии истинности (условия истинности) утверждения и все еще испытывать недостаток определения, что значит для этого утверждения быть истинным, и наоборот.
      Но для того, чтобы делать истинные утверждения, мы будем нуждаться в релевантных критериях для успешности использования языковых выражений. Именно в этом суть концепции значения как условий истинности: она отождествляет значение с условиями истинности утверждения, и эта идентификация основана на концепции «значение как употребление», отождествляющей значение лингвистической единицы с условиями ее использования. Если мы принимаем это представление, мы должны признать, что все спецификации значения, которые не эффективны для определения правил применения знака, попросту избыточны.
      Поэтому наша задача здесь заключается не в том, чтобы показать, что мы не можем знать наверное, соответствуют ли языковые выражения элементам и характеристикам некоторого внешнего (по отношению к описанию) мира. Такое скептическое заключение носило бы метафизический характер и было бы бесполезно для построения теории значения. Скорее следует признать, что факт такого соответствия иррелевантен для когерентной концепции обоснования и, соответственно, для основанной на когерентной концепции истины условие-истинностной теории значения. Для этого нам следует найти дополнительные аргументы, уточняющие когерентистские представления. Поскольку мы удерживаем наше представление о языковом сообществе как предельном истинностном операторе, постольку мы можем рассуждать здесь следующим образом.
      Как мы видели, корреспондентная и когерентная концепции имеют различные представления о природе условий истинности. Согласно когерентной концепции, условия истинности утверждений состоят в других утверждениях. Согласно корреспондентной концепции, условия истинности утверждений состоят не в утверждениях, но в независимых от сознания свойствах и особенностях действительного мира. Один из способов сделать выбор в пользу той или иной концепции истины (т.е. определить, в каких случаях та или иная концепция истины является более адекватной) состоит в том, чтобы обратить внимание на процесс, которым утверждениям назначаются условия истинности. С когерентистской точки зрения, условия истинности утверждения – это те условия, при которых говорящие (на языке) утверждают это предложение в своей речевой деятельности. Это означает, что говорящие могут употреблять утверждения только при тех условиях, которые сами говорящие и другие члены языкового сообщества могут распознать как обосновывающие эти утверждения. Отсюда становится важна предполагаемая неспособность говорящих «выйти вовне» своих полаганий. Это важно потому, что те условия, при которых утверждение когерентно с полаганиями говорящих, являются единственными условиями истинности в том отношении, что они являются единственными условиями, которые говорящие могут распознавать как обоснование нашего понимания этой референции. Когда говорящие в своей речевой деятельности утверждают то или иное предложение при этих (определенных) условиях, то эти условия становятся условиями истинности утверждения.
      Итак, отношение когерентности реализуется посредством семантических связей между лингвистическими единицами, причем эти связи образуют открытое множество. Отсюда представляется возможным достаточно общий семантический подход, менее чувствительный к онтологическим требованиям – в частности, в нем снимается противопоставление семантического монизма (свойственного, например, корреспондентной теории), когда предметная область рассматривается как множество однородных объектов (элементов данного мира), и семантики возможных миров, использующей обращение к онтологически различным видам объектов: «объектам реального мира» и «объектам возможного мира». Когерентная истинность нейтральна к требованиям метафизической контроверзы реализма/анти-реализма и совместима с интуицией алетического реализма.
      Итак, мы рассмотрели теории истины в порядке возрастания их пригодности к использованию в концепции значения как условий истинности. При этом мы видели, что одновременно нарастает критерий динамичности – от статичной корреляции (или еще более ригидной корреспонденции) корреспондентной теории до постоянной верификации когерентной. Однако попытка последовательного проведения требования онтологической нейтральности в когерентной теории оставляет нас не столько с когерентной теорией истины, сколько с когерентной теорией обоснования знания, поскольку в таком случае нас могут интересовать не столько отношения наших утверждений к миру, сколько причины, по которым мы поддерживаем именно эти полагания. Поэтому для дальнейшего обсуждения связи между истиной и значением – и, в частности, возможности применения в концепции значения как условий истинности теории когерентизма – нам понадобится подробный анализ соотношения между истинностью и обоснованностью знания.
      Примерно такой путь – от корреспондентности к когерентности – проделал и Дэвидсон в 1960-80-е годы – что соответствует и пути Витгенштейна от «Трактата» к «Исследованиям», и, более широко, тому возрастающему признанию роли социокультурных факторов, которое характерно для эволюции многих философов. В статье «Когерентная теория истины и знания» Дэвидсон защищает аргумент, призванный «показать, что когерентность в итоге дает корреспонденцию (coherence yields correspondence)» . С такой точки зрения, мы признаем, что наши полагания взаимно поддерживают друг друга, и принимаем их именно по этой причине. Но Дэвидсон не может показать, как через доказательство когерентности наших полаганий мы делаем наше знание истинным или ложным и поэтому соответствующим или не соответствующим внешней действительности. Однако мы должны это сделать, если хотим дать теорию значения для естественного языка: мы не можем не признать его не заключающим о мире. Язык существует постольку, поскольку функционирует, а функционирует постольку, поскольку представляет собой систему интенциональных репрезентаций, направленных на мир, и для того, чтобы дать теорию этой системы, мы должны объяснить ее связь с другими основаниями нашей когнитивной практики. Мы можем отказаться трактовать перцептуальные утверждения как экзистенциальные, но это не избавит нас от необходимости дать теорию их обоснования именно как утверждений о мире, а не только о других утверждениях.

10.8 Различение между истинностью и обоснованностью знания

      Мы можем знать некоторый факт только в том случае, если мы имеем истинное полагание о нем. Однако, поскольку не все, а только некоторые истинные полагания являются знанием, то один из центральных вопросов эпистемологии – что обращает просто истинное полагание в полноценное знание?
      Как известно, виды знания неоднородны. Я могу знать, какпереустановить операционную систему на своем компьютере; я могу знать какого-то человека; я могу знать, чтобитва при Ватерлоо произошла в 1815 году. В первом случае я обладаю навыком; во втором – я знаком с кем-то; в третьем – я знаю факт. Эти виды знания могут быть разграничены более чем одним способом. С одной стороны, можно считать, что знание человека, места или вещи не должно быть рассмотрено как нечто большее (или меньшее), чем знание некоторых фактов об этом человеке, месте или вещи и обладание навыком отличать этого человека, место или вещь от других. С другой стороны, знание фактов зависит от знакомства со специфическими предметами. Редукция одной формы познания к другой очевидно неоднозначна; наиболее известной (по крайней мере, наиболее важной для нас здесь) в этой связи дистинкцией является восходящее к Расселу различение между знанием по знакомству и знанием по описанию. Именно знание фактов – так называемое пропозициональное знание, в противоположность знанию по знакомству или владению навыками, представляет основной интерес при обсуждении связи условий истинности со значением. Исходный вопрос здесь может быть сформулирован так: при каких условиях мое полагание должно считаться знанием, или – какие из моих полаганий должны считаться знанием?
      Этот вопрос предполагает, что знание – разновидность полагания, однако можно предположить и нечто иное – а именно, что знание и полагание взаимно исключительны: например, на вопрос «Ты так считаешь?» мы можем ответить «Нет, не считаю – я просто это знаю». Но аналогичным образом мы можем на вопрос «Ты рад?» ответить «Нет, я не рад – я счастлив», где утверждение о том, что я счастлив, никак не отрицает того, что я рад, а следовательно, этот ответ мог бы быть перефразирован так: я не просто рад, я счастлив. В данном случае произошло сужение экстенсионального значения: не всякая радость – счастье, но всякое счастье – радость. Аналогичным образом утверждение «Я не просто полагаю это; я знаю это» не поддерживает предположение, что полагание и знание взаимно исключительны; скорее напротив, это свидетельствует о том, что знание (по крайней мере, пропозициональное) – разновидность полагания. Каковы же здесь будут критерии сужения? Ясно, что не всякое полагание – знание, но каким именно должно быть полагание, чтобы оно могло считаться знанием?
      Очевидно, прежде всего – истинным, но этого так же очевидно недостаточно – по следующим трем причинам.
      Истинное полагание может быть основано на дефектном рассуждении. Предположим, что я полагаю, что курение – главная причина рака легких, потому что я вывожу это из того факта, что я знаю двух курильщиков, которые умерли от рака легких. Обобщение истинно, но моего свидетельства очевидности здесь недостаточно, чтобы считать это мое полагание знанием (выборка из двух человек могла быть статистически нерелевантна, теоретически велика вероятность совпадений, и т.п.).
      Истинное полагание может быть основано на ложном полагании. Воспользовавшись формой известного примера Рассела, предположим, что я истинно полагаю, что фамилия президента России в 2000 году начинается на букву 'П', но при этом это мое истинное полагание основано на ложном полагании, что президент – Алексей Подберезкин. Мое истинное полагание, что имя президента начинается с буквы 'П', не является знанием, потому что оно основано на ложном полагании.
      И наконец, даже некоторые истинные полагания, следующие из правильного рассуждения, основанного на истинном полагании, все же еще не являются знанием. Предположим, что я полагаю (истинно), что мои соседи сейчас находятся дома. Мое полагание основано на правильном рассуждении от моего истинного полагания, что я вижу свет в их окнах и что, в прошлом, свет был только тогда, когда они были дома. Но предположим, далее, что на этот раз свет был включен в отсутствие хозяев гостем, приходящей домработницей или грабителем, а сами соседи только что вошли в дом и еще просто не успели подойти к выключателю. В этом случае, несмотря на совпадениемоего истинного в конечном счете полагания с истинным в конечном счете положением дел, я не буду на самом деле знать, что мои соседи дома.
      Итак, для того, чтобы быть знанием, истинное полагание должно обладать еще некоторым свойством. Мы можем так и определить его: свойство, которое, будучи добавлено к истинному полаганию, обращает его в знание, назовем обоснованием ; тогда знание – это истинное обоснованное полагание. Уточнение понятия обоснования является предметом обширнейших эпистемологических дискуссий, но в наиболее общей форме мы скажем, что полагание обосновано в том случае, когда мы обладаем им в силу доступных нам релевантных причин. В истории философии насчитывается множество подходов к теории обоснования, но их общая отправная точка такова: обоснованное полагание – то, которым мы располагаем нев силу простой когнитивной случайности. Понятие случайности здесь предстает в наиболее общем виде – скорее как не-инференциальность, чем как противопоставление контингентных истин необходимым. Платон обращается к этой интуиции в «Теэтете»; во второй «Аналитике» Аристотеля теория перехода от незнания первооснов науки к их познанию предназначена продемонстрировать, что существуют надежные познавательные механизмы, результаты которых никоим образом не являются случайными; Декарт предлагает методы приобретения полаганий, которые должны с необходимостью вести к истине; Локк подчеркивает, что если люди приходят к своим полаганиям случайно, то они не свободны от критики, даже если эти полагания истинны. Поэтому базисом для понятия обоснованности полагания является представление о его неслучайности. Иными словами, если о пропозиции известно, что она не случайна, а выведена из определенных причин, удовлетворяющих определенным требованиям, то, с когнитивной точки зрения, это означает и то, что она истинна, и то, что она выступает как чье-либо полагание. Следовательно, теория обоснования должна объяснить, что делает полагание не-случайноистинным с когнитивной точки зрения.
      Это может подразумевать, что обоснование должно быть определено или проанализировано в отношении или в терминах истины. Можно, например, утверждать, что понятие обоснования предполагает понятие истины. Это весьма традиционный способ рассмотрения отношения между истиной и обоснованием, но он не является философски нейтральным. Возможно и обратное требование: истина должна быть определена или проанализирована в терминах обоснования или одного из его (приблизительных) синонимов, например обоснованной или гарантированной утверждаемости (warranted assertibility). Это требование может принимать различные формы: истина должна быть проанализирована как обоснование словоупотреблений, как максимальное обоснование, как обоснование в идеальных обстоятельствах и т.д. Однако, как заметил Ричард Рорти, тезис «истина как обоснование» часто утверждается как окольный путь выражения некоторой другой доктрины.