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

При этом мы надеемся, что полученная в результате новая система убеждений будет непротиворечивой, хотя одна лишь операция расширения сама по себе, конечно, не может этого гарантировать. Обозначим операцию расширения посредством "+". Таким образом, если К– имеющаяся система убеждений, а А– некоторое высказывание, то К+ Аесть результат расширения Кпосредством высказывания А.
      2. Сокращение. Эта операция применяется, когда мы считаем нужным отказаться от некоторого убеждения, иными словами, когда мы удаляем это убеждение из нашей системы убеждений. Эта операция обозначается посредством "(": К( Аесть результат сокращения системы убеждений Кза счет высказывания А.
      3. Ревизия. Эта операция применяется, если мы пришли к необходимости признать истинность некоторого высказывания, которое является несовместимым с нашей прежней системой убеждений. В этом случае мы добавляем данное высказывание к нашей системе убеждений, и одновременно осуществляем пересмотр(ревизию) наших старых убеждений с целью сделать их совместимыми с вновь принятым высказыванием. Если операцию ревизии обозначить посредством "*", то тогда К* Абудет результатом ревизии системы убеждений Котносительно высказывания А.
      Ни одна из этих познавательных операций не сводится к простому механическому одноразовому действию. Так, например, если мы расширяем имеющуюся систему убеждений за счет некоторого высказывания, недостаточно просто добавить это высказывание к множеству старых убеждений. Ведь то, что получится в результате, также должно быть системой убеждений, то есть, по определению 1, новое множество убеждений должно быть замкнуто по отношению логического следования. Иными словами, при добавлении нового убеждения к уже имеющимся, мы должны добавить к ним также и все логические следствия, которые отсюда вытекают. С другой стороны, если мы осуществляем сокращение наших знаний, недостаточно просто удалить некоторое высказывание из нашей системы убеждений. Дело в том, что мы должны также исключить и все те высказывания, из которых удаляемое высказывание логически следует, поскольку если этого не сделать, то удаляемое высказывание фактически вовсе не будет удалено, а неявным образом сохранится в системе убеждений. Далее, если два различных высказывания совместновлекут удаляемое убеждение, то одно из этих высказываний также должно быть удалено, и здесь мы оказываемся в ситуации выбора, который далеко не всегда является тривиальным.
      Очевидно, что расширение и сокращение убеждений представляют собой в значительной степени идеальныепознавательные действия, которые в чистом виде встречаются довольно редко. Наиболее типичной эпистемической операцией является ревизия, и процесс развития убеждений чаще всего происходит именно путем их пересмотра. В этой связи возникает интересный теоретический вопрос – является ли ревизия независимойпознавательной операцией и нельзя ли попробовать свести ее к двум другим, то есть определитьревизию через расширение и сокращение. Оказывается, что такое сведение вполне возможно. По существу, операция ревизии представляет собой некоторое комплексное действие, заключающееся в том, что субъект должен (1) включить некоторое новое высказывание Ав свою систему убеждений и (2) принять все необходимые меры к тому, чтобы новая система убеждений была непротиворечивой. Первое из этих действий достигается путем расширенияимеющейся системы убеждений за счет А, в то время как вторая цель может быть достигнута посредством предварительногоудаления ( А(отрицание А) из системы убеждений ( сокращение). Иными словами, операция ревизии может быть эксплицирована как результат последовательного осуществления двух подопераций: (1) сокращение посредством ( Аи (2) расширение за счет А. Таким образом, приходим к следующему определению, известному в литературе как «равенство Леви»:
       Определение 2. К* А= ( К( ( А) + А.
      Это определение имеет очень большое эвристическое значение, поскольку с его принятием проблема теоретической экспликации процесса изменения рациональных убеждений сводится к рассмотрению двух сравнительно простых познавательных операций – расширению и сокращению. Рассмотрим первую из этих операций. Очевидно, что расширение можно довольно легко определить, используя аппарат теории множеств. А именно, если мы хотим расширить нашу систему убеждений Кза счет высказывания А, мы должны «механически» добавить это высказывание к К(осуществить теоретико-множественное объединение), а затем замкнуть получившееся множество высказываний Кпосредством операции замыкания Cn:
       Определение 3. К+ А= Cn( К( { А})
      При помощи данного определения операция расширения убеждений вводится однозначным образом, не оставляя пространства для различных ее истолкований. А это значит, что вся проблема пересмотра наших убеждений фактически эквивалентна проблеме определения операции сокращения. Как ни парадоксально это звучит, но если мы хотим получить ответ на вопрос о том, каким образом осуществляется изменение (а значит и развитие) нашего знания, мы должны ответить на вопрос, как происходит сокращение наших убеждений. Принимая же оптимистическую точку зрения, в соответствии с которой в процессе развития знания происходит его рост, мы приходим к следующему кардинальному выводу: проблема роста знания сводима к проблеме сокращения убеждений. Иными словами, если мы хотим понять, как осуществляется прирост наших знаний, мы должны понять, каким образом мы отказываемся от наших убеждений. И если бы для операции сокращения удалось найти такое же четкое определение, как определение 3 для расширения, то тогда проблема теоретической экспликации механизма развития знаний была бы решена однозначным образом.
      Однако установлено, что однозначно определить операцию сокращения невозможно. Основной причиной этого является отмеченная выше возможность «альтернативных ходов», неизбежное появление при осуществлении сокращения ситуации неопределенности, когда субъект оказывается перед выбором, какое из нескольких высказываний удалить из системы своих убеждений, а какое оставить, и при этом не существует никаких чисто логических предпочтений в пользу того или иного высказывания. Поэтому, возможны несколько альтернативных подходов к определению операции сокращения, в зависимости от того, насколько «радикальны» (или, наоборот, осторожны) мы хотим быть в процессе отказа от тех или иных убеждений.
      Самым «перестраховочным» является так называемое «сокращение полного пересечения» ( full meet contraction), которое требует удалять из систем убеждений слишкоммногое, даже то, что иногда желательно было бы сохранить. Например, если субъект стоит перед выбором – отказаться от одного из каких-либо двух высказываний, то сокращение полного пересечения удаляет обаэти высказывания, что далеко не всегда представляется оправданным. С другой стороны, наименее надежной операцией является так называемое «сокращение максимального выбора» ( maxichoice contraction), недостаток которого состоит в том, что оно не оставляет возможности действовать достаточно осторожно. Так, если мы находимся перед выбором – удалить либо высказывание А, либо – высказывание Ви при этом не имеем абсолютно никаких резонов предпочесть одно из этих высказываний другому, может оказаться полезным отбросить оба эти высказывания, чтобы быть полностью уверенным в наших убеждениях. Например, пусть мы полагали, что госпожа Иванова имеет ровно два ребенка – мальчика и девочку, а затем узнали, что на самом деле ребенок у Ивановой только один, при этом о поле ребенка ничего не было сказано. Естественно, мы не можем сохранить оба имевшиеся ранее у нас убеждения «Иванова имеет мальчика» и «Иванова имеет девочку». И хотя «объективно» одно из этих высказываний является истинным, но, поскольку мы не получили достаточно точной информации, будет разумным отбросить (по крайней мере пока, до получения необходимых уточняющих данных) обаэти убеждения и признать, что мы не уверены ни в том, что госпожа Иванова имеет мальчика, ни в том, что она имеет девочку. В рамках сокращения максимального выбора такого рода стратегия оказывается невозможной.
      Поэтому наибольшее признание получила операция, называемая «сокращением частичного пересечения» ( partial meet contraction), определяемая посредством некоторой функции предпочтения, отбирающей те из возможных кандидатов на сокращение, которые являются более «предпочтительными», более «достойными сохранения». При этом, сокращения полного пересечения и максимального выбора оказываются частными случаями сокращения частичного пересечения. Кроме того, свойства данной операции могут быть охарактеризованы посредством некоторого набора постулатов, которые должны для нее выполняться. Иными словами, операция частичного сокращения допускает построение определенной аксиоматической теории. Опишем кратко наиболее важные из этих постулатов, как они представлены в книге Герденфорса.
      1. " Постулат замыкания" (closure): если Кявляется системой убеждений, то К( Атакже есть система убеждений.
      ( К( Адолжно быть замкнуто по отношению логического следования, если таковым является само К.)
      2. " Постулат успеха" (success): если А( Cn((), то А( К( А.
      (Успех сокращения, очевидно, заключается в том, что удаляемое высказывание не должно принадлежать результирующей системе убеждений. Однако, сокращение не может быть успешным, если мы попытаемся удалить из наших убеждений логически истинное высказывание (то есть закон логики). Тот факт, что высказывание Аявляется логической теоремой можно обозначить посредством А( Cn((), поэтому постулат успеха имеет в качестве условия требование, что Ане является теоремой логики.)
      3. " Постулат включения" (inclusion): К( А( К
      (Получившаяся в результате сокращения система убеждений должна составлять подмножество исходной системы убеждений.)
      4. " Постулат пустоты" (vacuity): если А( К, то К( А= К.
      (Если мы попытаемся «удалить» из нашей системы убеждений высказывание, которое в действительности вовсе не принадлежит этой системе, то наша система убеждений просто останется без изменений – никакого сокращения фактически не произойдет.)
      5. " Постулат восстановления" (recovery): К( ( К( А) + А.
      (В соответствии с этим постулатом, всенаши убеждения должны быть восстановлены, если мы вначале сократим систему убеждений посредством высказывания А, а затем возвратим Ав нашу систему убеждений.)
      6. " Постулат экстенсиональности" (extensionality): если А( В( Cn((), то К( А= К( В.
      (Если два высказывания логически эквивалентны, то результат удаления из системы убеждений любого из этих высказываний по отдельности будет тем же самым.)
      Эти постулаты в совокупности адекватно характеризуют операцию сокращения частичного пересечения и позволяют выявить многие ее важные свойства.
      Представленное в данном параграфе направление исследований может служить примером прикладной эпистемологии, когда теория познания находит разнообразные применения не только в логике и методологии, но также и за пределами собственно философии. В рамках этого направления, исследуются такие проблемы как укорененность убеждений, вероятностные модели эпистемической динамики, условные высказывания (так называемый «тест Рамсея»), научное объяснение, каузальные убеждения и многие другие.
       * * *
      Выше были изложены лишь некоторые из наиболее типичных теоретико-познавательных проблем и подходов к их решению, характерных для современной аналитической эпистемологии. В завершение главы, остановимся кратко на некоторых других важных темах, которые интенсивно обсуждаются исследователями, работающими в аналитической теории познания. Среди таких тем можно выделить проблему скептицизмаи проблему источников нашего знания (в частности, возможности и характера априорногознания). Следует особо отметить, что сам факт заинтересованного рассмотрения этих проблем философами аналитического направления недвусмысленно указывает на свойственное аналитической философии стремление к преемственностис классическими философскими концепциями и направлениями.
      Так, скептицизм представляет собой давнюю философскую традицию, истоки которой можно проследить, начиная уже с Платоновой академии. Точно такой же богатой историей располагает и критика скептической позиции. Классический («академический») скептицизм утверждает, что мы не можем знать, существует ли реальность (а если да, то какова природа этой реальности), отличная от нашего непосредственного опыта. Это утверждение получает самое разнообразное оформление в конкретных скептических концепциях. Прежде всего, следует различать между «глобальным» и «локальным» скептицизмом. Согласно глобальному скептицизмому мы ни о чем не можем иметь никакого знания, то есть любое знание принципиально невозможно. Локальный же скептицизм отрицает возможность адекватного знания тех или иных конкретных феноменов или областей, например, внешнего мира, сознания других людей, прошлого, моральных истин или Бога. Далее, скептическая позиция может быть направлена либо против возможности знания как такового, либо же против возможности обоснования знания (или же против того и другого вместе). Кроме того, можно выделить так называемые «скептицизм первого порядка» и «скептицизм второго порядка». Первопорядковый (непосредственный) скептицизм относится собственно к нашему знанию тех или иных фактов, скептицизм же второго порядка ставит под сомнение возможность знания о самом знании, то есть он утверждает, что мы не можем знать, что мы что-то знаем.
      Наиболее пристальное внимание в современной аналитической эпистемологии уделяется локальному скептицизму первого порядка, который ставит под сомнение возможность нашего знания внешнего мира. Такого рода скептицизм опирается на то обстоятельство, что единственным источником нашей информации о внешнем мире является наш собственный субъективный опыт, иными словами любое свидетельство о фактах внешнего мира неизбежно зависит от данных, поставляемых нашими органами чувств, и в этом смысле имеет субъективный характер. Однако, – подчеркивают скептики, – такого рода опыт вовсе не исключает альтернативных возможностей, в частности, возможности ошибки или «тотального заблуждения»: вполне можно представить себе ситуацию, когда наш субъективный опыт был бы в точности тем же самым, даже если бы внешняя реальность была абсолютно другой, или ее вообще не существовало.
      Большинство аналитических философов занимает анти-скептическую позицию, в то же время считая, что скептицизм выполняет важную методологическую функцию, поскольку в процессе опровержения скептицизма и критического анализа доводов в его пользу, мы углубляем также и наше понимание самого феномена знания. Среди основные стратегий преодоления скептицизма, которые можно найти в современной аналитической философии, следует назвать: (1) эпистемологический экстернализм, (2) теорию «релевантных альтернатив» и (3) семантический экстернализм. Эпистемологический экстернализм утверждает, что для того, чтобы обладать надежными и обоснованными истинными убеждениями (то есть, знать что-либо), вовсе не обязательно знать, что наши убеждения являются таковыми. Главное, чтобы наши убеждения объективно былинадежными, обоснованными и истинными – в этом случае они и дают нам знание, безотносительно, знаем ли мы этот последний факт или нет. Концепция «релевантных альтернатив» отстаивает точку зрения, что знание того или иного факта предполагает исключение всех релеватных(то есть, имеющих отношение к делу) альтернатив этому факту, и что скептическая альтернатива обычно, то есть при «нормальных условиях», не является релевантной. Таким образом, поскольку скептическая альтернатива существованию внешнего мира не является релевантной, то тот факт, что наш опыт не в состоянии исключить возможность этой альтернативы, вовсе не свидетельствует в пользу истинности скептицизма как такового. Семантический экстернализм отрицает саму возможность того, что значение языковых выражений и наше понимание этих выражений, может остаться совершенно без изменений, если предположить, что окружающий нас мир полностью изменится. Согласно семантическому экстернализму, то как мы воспринимаем те или иные предметы, то что бы думаем о мире, непосредственно зависит от тех понятий, которыми мы располагаем, а понятия, в свою очередь, зависят от внешнего мира, в котором мы живем. Иными словами, люди живущие в различных «мирах» неизбежно должны иметь разные понятия, следовательно, должны иметь различные мнения, убеждения, а в конечном итоге – и знания. Это, однако, означает, что скептическая ссылка на возможность «глобального обмана» со стороны органов чувств не является корректной и сама должна быть подвергнута сомнению.
      Еще одной важной проблемой, которая находится в центре внимания философов аналитического направления, является проблема априорного знания. Эта проблема имеет непосредственное отношение к вопросу о месте и роли чувственного опыта в процессе приобретения знаний. Рамки ее обсуждения были во-многом очерчены еще Кантом, который полагал, что важнейшей характеристикой априорных суждений является их необходимость: если Аизвестно a priori, то Аявляется необходимо истинным и наоборот. Не так давно обсуждению этой проблемы был придан новый импульс в работах С.Крипке, который – в противовес точке зрения Канта – выдвинул ряд доводов в пользу того, что некоторые случайно истинные высказывания могут быть известны a priori, в то время как некоторые необходимо истинные высказывания могут быть известны только a posteriori. При этом Крипке опирается на понимание необходимости как истины во всех «возможных мирах» (соответственно, случайность есть истинность лишь в некоторых «возможных мирах»). Крипке предлагает и подробно анализирует примеры случайных априорных и необходимых апостериорных высказываний. В качестве примера первого рода он рассматривает высказывание «Хранящийся в Париже метровый эталон имеет один метр в длину», а в качестве примера второго рода – высказывание «Утренняя звезда есть Вечерняя звезда» (напомним, что как «Утренняя звезда», так и «Вечерняя звезда» обозначают одну и ту же планету – Венеру). Априорный характер первого высказывания очевиден, в то же время оно является случайно истинным, так как вполне можно представить себе возможный мир, в котором парижский метровый эталон имеет длину, отличную от одного метра. Второе же высказывание имеет апостериорный характер (его истинность может быть установлена только в результате соответствующих астрономических наблюдений), однако оно является необходимым – не существует такого возможного мира в котором имена «Утренняя звезда» и «Вечерняя звезда» обозначают разные планеты. Примеры Крипке и его концепция имен как «жестких десигнаторов» получила широкое обсуждение в современной философской литературе, посвященной проблеме источников нашего знания и его обоснования.

10. Понятие истины и его применение в аналитической философии

10.1 Аналитическое понятие истины

      Понятие истины в концепции значения как условий истинности очевидно должно отвечать своему функциональному предназначению, т.е. должно соответствовать определению
      (D1) Истина – такое свойство предложений (или других носителей истинности), благодаря которому мы знаем их значение.
      Задача в том, чтобы сопоставить этому функциональному определению некоторое структурное.
      Алан Уайт начинает свою известную книжку «Истина» с замечания:
      «Что такое истина?» («What is truth?») и «Что является истинным?» («What is the truth?» – два совершенно разных вопроса. Второй – вопрос о том, какие именно вещи являются истинными; первый – о том, что значит сказать, что они истинны .
      Этот подход развивали Николас Решер, предложивший различать истину как дефиницию и истину как критерий (сама идея, в свою очередь, в аналитической традиции восходит к Айеру ), Родрик Чизом и другие. Когда мы рассматривали представления Витгенштейна, Тарского, Дэвидсона и Даммита, мы обсуждали второй вопрос. Теперь наш вопрос здесь – первый: «Что такое истина?» Его можно принять за вопрос о нашем обычном понятии истины; или, если таких понятий у нас несколько – как это, по всей вероятности, обстоит с нами на самом деле – то это вопрос, в существующем контексте, по меньшей мере об одном из этих понятий: семантическом. Это тривиально справедливо для концепции значения как условий истинности, но не только для нее, а также и для более широких эпистемологических контекстов. По выражению Майкла Девитта, семантическое понятие истины «занимает нас ровно постольку, поскольку оно играет роль в нашей лучшей теории мира» ; точнее говоря, это регулятив нашей когнитивной деятельности.
      Мы можем охарактеризовать последнюю, поддержав более или менее общепринятый как в современной аналитической философии, так и в эпистемологии тезис о том, что знание – это истинное обоснованное убеждение(true justified belief). В таком случае мы сможем дать следующее определение истины:
      (D2) Истина – такое свойство обоснованных убеждений (или других носителей истинности), благодаря которому мы их знаем ( de reили de dicto).
      Удерживая представление о связи истины со значением, т.е. в рамках концепции значения как условий истинности, мы скажем:
      (D3) Истина – такое свойство обоснованных убеждений (или других носителей истинности), благодаря которому мы знаем их значение.
      Сравнив это определение с (D1), мы увидим, что принятие такого подхода обяжет нас показать, каким образом может быть установлена эквивалентность между токенами предложений и обоснованными полаганиями как носителями истинности. Но сначала рассмотрим возможности применения для целей этого исследования различных теорий истины.
      При этом за рамками рассмотрения останутся те теории, которые очевидно неприменимы в концепции значения как условий истинности. Это прежде всего:
      теория элиминативизма – когда истина достигнута, пропозиции исчезают и остается только действительность;
      теория идентичности – когда носитель истины (например, пропозиция) является истинным, то он идентичен своему истинностному фактору (например, факту), и истина и состоит в этой идентичности.
      Они не понадобятся нам здесь по тривиальным причинам, т.к. это – не теории языковых выражений.
      С другой стороны, принятый подход позволит нам сгруппировать различные виды дефляционных теорий, нынешнее развитие которых показывает их отчетливую тягу к обособлению. Такие теории, как дисквотационная, просентенциальная и минималистская, будут рассмотрены совместно, т.к. относительно Т-предложений их действие проявляется одинаково и состоит в поддержке дефляционного тезиса.

10.2 Корреспондентная теория истины

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