Блинов Аркадий. Аналитическая философия

   Поэтому некоторые фундаменталисты – например, Дж. Мур и А. Айер – сузили класс базовых пропозиций до полаганий ощущений (так называемые пропозиции чувственных данных – sense-data propositions): вместо «Я вижу дерево» – «Как мне кажется, я вижу зеленый и коричневый высокий предмет». Но представление чувственных данных также не беспроблемно. Основных возражений здесь также два.
   В качестве основных убеждений пропозиции чувственных данных слишком бедны, чтобы обеспечить достаточное основание для множества вещей, которые мы можем знать и фактически знаем. Например, каким образом мое знание о том, что предметы существуют и тогда, когда я не вижу их и не воспринимаю эмпирически другими способами, может быть прослежено до специфических чувственных данных?
   Наше знание того способа, которым мы можем характеризовать наши ощущения (частные ощущения, доступные только индивидууму, имеющему их) зависит от нашего социального, интерсубъективного знания, во всяком случае нередуцируемого к пропозициям чувственных данных (см. § 1.1).
   Фундаменталистский ответ на эти возражения состоит в смягчении требований как
   к тому, какие пропозиции могут быть признаны базовыми, так и
   к тому, что может являться приемлемым образцом выводаот основополагающих пропозиций к не-основополагающим.
   Последнее представляет собой так называемый вывод к лучшему объяснению ⁵⁴⁸(см. подробнее ниже в § 12.2), согласно которому тот факт, что теория объясняет некоторые явления – это часть очевидности, побуждающей нас принять эту теорию. И это означает, что отношение объяснения видно прежде, чем мы полагаем, что теория истинна.
   Смягчение требований к тому, какие пропозиции могут быть признаны базовыми, породило т.н. контекстуалистские теории обоснования ⁵⁴⁹, которые предполагают, что пропозиция является базовой в том случае, если она принята в качестве таковой релевантным сообществом предполагаемых субъектов познания. Например, в разговоре с другом я могу считать, что моя причина для полагания о существовании второй луны Юпитера состоит в том, что я читал об этом в журнале «Вокруг света» – и напротив, на астрономической конференции такая причина не была бы принята. Следовательно, подобное требование о том, что может считаться базовой причиной, является контекстно-зависимым, и мы снова видим здесь сильную уступку когерентизму, а также молекуляризму.
   Фундаменталистский контраргумент здесь будет состоять в следующем. Контекстуализм, возможно, предоставляет точное описание некоторых аспектов наших эпистемических методов, но не снимает фундаментального пирронианского вопроса: что отличает базовую пропозицию от той, которая просто предлагается и принята сообществом предполагаемых субъектов познания? Эпистемологический вопрос, с такой точки зрения, состоит не в том, какие полагания обычно предлагаются и принимаются без дальнейшей причины, а в том, какие полагания должныбыть предложены и приняты без дальнейшего обоснования, если таковые вообще имеются. Если бы контекстуалисты были правы, то мы получали бы знание, присоединяясь к любому сообществу, чей эпистемологический статус может быть каким угодно. Иными словами, здесь необходимы дальнейшие ограничения.
   Альтернативный фундаментализму когерентистский подход состоит в следующем. Согласно когерентной теории обоснования, полагание делает обоснованным его когерентность с другими полаганиями – где, как и в когерентной теории истины, стандарты того, что составляет когерентность, принадлежат непосредственно самой теории. Когерентисты отрицают, что существуют базовые причины и утверждают, что все полагания получают свое обоснование, по крайней мере частично, от других полаганий. В основе такого подхода – предположение о том, что наши полагания взаимно поддерживают друг друга, образуя структуру, подобную сети («web of belief» Куайна).
   Очевидная проблема для когерентной теории состоит в том, чтобы разъяснить собственно само центральное понятие – отношение когерентности. Интуитивно ясно, что когерентность – это вопрос того, как полагания сочетаются друг с другом или соответствуют друг другу в системе полаганий, составляя организованное и структурированное целое; и ясно, что это сочетание или соответствие зависит от множества логических, инференциальных и объяснительных отношений между компонентами системы. Но разъяснение деталей этой идеи, особенно таким способом, который позволил бы непроблематичные оценки степеней сравнения когерентности, оказывается затруднено из-за ее очевидной зависимости от также непроясненных понятий – таких, как индукция, подтверждение, вероятность и объяснение.
   Наиболее сильная и требовательная концепция когерентности, защищаемая британскими идеалистами, определяет когерентную систему полаганий как такую, в которой каждый член имплицирует отношение следования (entailment) и сам следует из всех других. Однако эта сильная концепция явно нереализуема в любой действительной системе полаганий, и вряд ли обладает когнитивной ценностью, так как она сделала бы все полагания, кроме одного, избыточными и необязательными. (Правда, идеалисты трактовали отношение следования весьма широко, включая в него, например, отношения номологической необходимости).
   Противоположной крайностью является отождествление (например, некоторыми логическими позитивистами) когерентности просто с логической непротиворечивостью, так как полагания логически непротиворечивой системы могут быть полностью несвязанны друг с другом, не давая таким образом никакой очевидной причины предположить, что какое-то из них является истинным. Более того, ошибкой было бы считать полную логическую непротиворечивость даже необходимым условием для любой степени когерентности, как это делали многие когерентисты: в действительности, еще до привлечения аргументов фаллибилизма, это подразумевало бы, что очень немногие, если вообще какие-либо, из существующих систем полагания являются непротиворечивыми вообще до какой-либо степени.
   Наиболее надежная концепция когерентности, по-видимому, находится где-то между этими двумя крайностями. Логическая непротиворечивость может быть в таком случае признана высоко релевантным, но не абсолютным критерием. Кроме того, когерентность потребует и наличия инференциальных связей, а также более свободных отношений следования, а также вероятностных связей различного рода. Важный аспект этого – вероятностная непротиворечивость, то есть отсутствие таких отношений между полаганиями в системе, в силу которых те или иные полагания с высокой вероятностью не будут истинны относительно других. Еще один важный компонент когерентности – присутствие объяснительных отношений среди компонентов системы, снижающих степень, до которой полагания системы отображают необъясненные аномалии. (Если в качестве одной из разновидностей вывода принят «вывод к лучшему объяснению», то такие объяснительные отношения могут рассматриваться как разновидность инференциальных.) Например, Харман прямо отождествляет когерентность с присутствием таких объяснительных отношений ⁵⁵⁰.
   Такая умеренная концепция когерентности оказалась исторически наиболее употребительной и фактически стандартной. Однако некоторые сторонники когерентизма изобрели более специальные концепции когерентности. Например, Решер для некоторых целей употребляет стандартную концепцию когерентности, а для некоторых – весьма отличное понятие, которое вовлекает формирование максимально непротиворечивых подмножеств первоначально противоречивых данных, а затем выбор среди этих подмножеств способами, не требующими обращения к стандартной когерентности ⁵⁵¹. Кит Лерер предложил две различных версии представления, определяющего когерентность относительно собственной субъективной концепции вероятности, которой располагает субъект познания, или относительно вероятности истины. Это подразумевает, что для полагания быть согласованным с личной системой полаганий – это примерно то же, что быть расцененным как более вероятное или более разумное, чем любое релевантное конкурирующее полагание.
   Итак, вопрос о природе когерентности остается в значительной степени подлежащим дальнейшему уточнению, однако уже установленных критериев достаточно для того, чтобы сделать невозможным какой-либо решающий аргумент против когерентной теории в пользу фундаментализма. Это вызвано тем, что понятие когерентности (или чего-либо подобного, играющего по существу ту же самую роль) также является обязательным компонентом фактически и во всех фундаменталистских теориях: когерентность требуется для того, чтобы объяснить отношение между базовыми или фундаментальными полаганиями и другими, не-фундаментальными, или полаганиями «суперструктуры», в силу которого последние обоснованы относительно первых. (По этой причине построение адекватной теории когерентности не должно быть расценено как исключительно или даже прежде всего задача когерентистов, несмотря на центральную роль, которую это понятие играет в их позиции. Исследование этого понятия, например, в современной философии науки может проводиться как в рамках эпистемологически фундаменталистских, так и, вероятно, вообще любых программ.)
   Далее, адекватная когерентная теория должна отвечать на вопрос о том, является ли когерентное обоснование доступным для субъекта познания таким способом, который привел бы когерентиста к интерналистской позиции. Этот аргумент получил название «проблемы доступа».
   Предположим, что когерентная теория обоснования содержит требование когерентности с полной системой полаганий субъекта познания – как это имеет место во всех обсужденных здесь версиях теории. Тогда у этой проблемы три аспекта:
   имеет ли субъект познания адекватный доступ к своей системе полаганий;
   адекватно ли субъект познания уяснил понятие когерентности; и
   способен ли субъект познания применить понятие когерентности к своей системе полаганий таким способом, который принесет определенную оценку.
   Доступ субъекта познания к своей собственной системе полаганий весьма проблематичен в двух отношениях.
   Если такой доступ был достигнут, то возникает проблема эпистемологического статуса его результата – который можно охарактеризовать как рефлексивное мета-полагание, описывающее полное содержание системы.. Такое мета-полагание было бы очевидно контингентным и эмпирическим, и, следовательно, в любой когерентной теории должно было бы обосновываться обращением к когерентности. Но поскольку любое когерентное обоснование, которое должно быть доступным для субъекта познания, должно обратиться к такому мета-полаганию, чтобы характеризовать систему полаганий, с которой обосновываемое полагание должно согласоваться, постольку когерентное обоснование самого этого мета-полагания оказывается полностью и безвозвратно циркулярным. Здесь не поможет никакое обращение к нелинейному обоснованию, так как то, что объясняется, и есть как раз то, как возможно нелинейное когерентное обоснование.
   Бонжур предлагает решение этой проблемы с помощью того, что он называет «доксастическая презумпция». Идея состоит в том, что когерентное обоснование должно исходить из предварительного предположения о том, что схватывание субъектом познания своей полной системы полаганий по крайней мере приблизительно правильно (тогда как последующие непринципиальные исправления могут вноситься путем обращения к когерентности). Следствием этой презумпции является то, что последующее обоснование контингентно по отношению к предполагаемой правильности схватывания, а следовательно, скептический вопрос о том, действительно ли это предположение правильно, не может быть адресован когерентной теории.
   Второй аспект проблемы доступа таков: обладают ли обычные субъекты познания когда-либо фактически (или могут ли обладать) чем-либо подобным рефлексивному схватыванию полного содержания своих систем полаганий, которого требует когерентная теория? Здесь, вероятно, когерентная теория должна будет согласиться, что обычные случаи обоснования являются только приближением – и возможно, довольно отдаленным – к идеальному обоснованию, которое она изображает.
   Но обсуждение этих проблем еще не затрагивает основного фундаменталистского возражения когерентной теории обоснования – обвинения в циркулярности. Если мы полагаем, что b1, то мы можем также рационально предположить b2, а если мы полагаем, что b2, то мы можем также рационально предположить b1; их взаимная поддержка не дает нам никакой причины для того, чтобы полагать и то, и другое. Поэтому фундаменталистский вопрос здесь таков: что делает одно полное множество связных (когерирующих друг с другом) полаганий T1 более приемлемым, чем альтернативное полное множество связных полаганий T2? Со скептической точки зрения, когерентизм либо дает ответ на этот вопрос, либо нет. Если такой ответ дается, то это подразумевает отказ от центрального когерентистского тезиса, так как теперь имеется причина для принятия множества полаганий T1, которая сама не принадлежит T1, а это – позиция фундаментализма. Если же такой ответ не дается, то принятие T1 произвольно.
   Этот сильный аргумент основан на принадлежащей здравому смыслу идее о том, что некоторые утверждения, особенно перцептуальные, могут быть непосредственно обоснованы субъектом, знающим их «по знакомству», чувственно их воспринимающим. Однако, если мы считаем, что приобретаем знание о вещах не посредством некоторого сущностного усмотрения, врожденных идей или гносеологической координации, а рациональным путем, приобретая знание об их признаках, то альтернатива, которую мы отнесли было к здравому смыслу, становится менее привлекательной, так как знание о признаках вещей неизбежно вовлекает полагание или утверждение, а именно утверждение, что то, что мы знаем, есть F, или во всяком случае походит на вещи, которые являются F. Кроме того, даже если бы наше приобретение знания о вещах имело иную форму, трудно видеть, как это могло бы обосновыватьчто-либо. Если предмет моего познания – F, который является G, то это само по себе еще не способно поддержать мое утверждение «F есть G», если я не знаю F как F и также как G. Лишь постольку, поскольку я способен оценить содержание опыта, я могу использовать этот опыт в обосновании более сложных требований о мире.
   Этот аргумент может быть продолжен требованием, что любое утверждение может быть изменено; не существует вообще никаких непересматриваемых (incorrigible) утверждений – или, во всяком случае (поскольку только это здесь для нас важно), не существует таких непересматриваемых утверждений, которые способны к обеспечению оснований для знания. Основной аргумент в пользу этого таков: обычная функция утверждения – описать некоторое положение дел, которое находится вне непосредственно самого утверждения (и процесса его порождения), а значит, должна всегда иметься такая логическая возможность, которой утверждение и описываемое положение дел не могут соответствовать одновременно. Это справедливо и для тех случаев, когда положение дел находится вне сознания субъекта, и для тех, когда оно внутренне по отношению к нему. В самом деле, мы не просто принимаем наши фундаментальные классификации как основанные на объективных подобиях среди вещей – мы имеем для этого серьезное основание; мы выявляем эти подобия через восприятие. Однако это полностью совместимо с тем, чтобы принимать, как это происходит в когерентной теории обоснования, что никакие утверждения не являются непересматриваемыми, т.е. нет такого класса утверждений, которые воспринимаются как окончательные и не допускающие никакого сомнения.
   Непересматриваемое суждение иногда определяется как такое, истина которого следует из самого того факта, что это суждение высказано. Безусловно, есть класс суждений, которые являются непересматриваемыми в этомсмысле – например, «Я существую» и «Я высказываю это суждение» (а отсюда и "Я высказываю суждение, что Fесть G"); вопрос заключается в том, можем ли мы строить остальную часть нашего знания на суждениях такого вида?
   Ведь непересматриваемость в этом смысле – свойство очень многих суждений, которые далеки от того, чтобы быть бесспорно истинными. Так, пропозиция «Я существую» может быть непересматриваемой для меня, но из этого, строго говоря, вовсе не следует, что Максим Лебедев существует в некоторой описываемой этим предложением действительности. Усомниться в этом можно многими способами, начиная с тривиальных сомнений в корректности подстановки переменной (например, меня подменили в роддоме) и переходя к более сложным аргументам о способах существования субъекта, допускающим неподлинность моего восприятия мира (вроде Патнэмова аргумента о мозгах в бочке). Если вообще из того факта, что я высказываю суждение «Максим Лебедев существует», может следовать, что это суждение истинно, то лишь в том случае, если причина того, почему это суждение является собой, т.е. этим конкретным суждением, отчасти состоит в том, что оно высказано мной. Таким образом, статус непересматриваемости придается здесь суждению не его формой, не наличием в нем тех или иных элементов, не его принадлежностью к тому или иному типу, а тем единичным фактом, что оно высказано определенным человеком в определенных обстоятельствах. Причем сам этот человек не обязательно должен знать, что это суждение истинно: условием идентичности данного высказанного суждения «Я существую» в значении «Максим Лебедев существует» может быть то, что оно должно быть высказано Максимом Лебедевым, но я могу об этом и не знать, потому что я забыл, кто я (или никогда и не знал этого). Можно дать и менее субъективный, хотя и более софистичный аргумент: истинность утверждения «2?2=4» также следует из того факта, что оно высказано определенным человеком (например, мной) в определенных обстоятельствах, поскольку это утверждение необходимо истинно, а истинность необходимо истинных утверждений следует из чего угодно – но это вовсе не означает, что мне известна таблица умножения. Таким образом, подобные непересматриваемые суждения не могут служить основанием знания, так как их непересматриваемость не дает нам никакой гарантии их истинности.
   Проблема возникает потому, что обоснование знания всегда зависит от обстоятельств и от других убеждений, наличествующих у субъекта. Данная до сих пор характеристика непересматриваемости еще не подошла к тому анализу, что суждения, составляющие основания знания, не просто должны быть истинны, но также должны содержать собственное обоснование. Но никакоесуждение не может само себя обосновывать (или демонстрировать отсутствие необходимости в обосновании), потому что всегда можно представить такой контекст, в котором ему потребуется обоснование.
   Однако считать, что знание имеет основания, не равнозначно тому, чтобы считать, что оно основано на суждениях, которые являются непересматриваемыми или абсолютно самообосновывающими. Скорее это означает считать, что знание основано на суждениях, имеющих некоторую презумпциюобоснованности. Здесь возможен следующий контраргумент. Несомненно, что люди обычно правы в своих суждениях о содержании своего восприятия, и весьма разумно считать, что такие суждения несут презумпцию истины, но мы можем считать, что это так, в силу того, что мы знаем некоторые эмпирические факты, а не только в силу свойств этих высказываний. В этом отношении суждение всегда обосновано всегда в отношении других суждений, и нет никаких суждений, которые могут обосновать остальную часть наших полаганий, сами при этом не нуждаясь в обосновании.
   Поэтому валидная когерентная теория обоснования может и должна дать теорию обоснования перцептуальных утверждений, отвергающую обвинение в произвольности и нередуцируемую к фундаментализму.

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

   Исходный контраст между когерентными и фундаменталистскими теориями вновь проявляется при столкновении с эпистемической проблемой регресса. Очевидно, что обоснование некоторого полагания происходит из его логической выводимости из другого, предположительно обоснованного полагания, и что обоснование этих других полаганий может зависеть от их инференциальных отношений к другим полаганиям, и так далее, что угрожает потенциальным регрессом эпистемического обоснования ad infinitumи скептицизмом. Фундаменталистское решение этой проблемы состоит в том, что рано или поздно субъект достигнет базовых полаганий, которые эпистемически обоснованы, но их обоснование не зависит от логически выведенных отношений к дальнейшим полаганиям, и, таким образом, регресс останавливается. Когерентная теория обоснования отклоняет это фундаменталистское решение и настаивает, что любое полагание (такого рода, к которому применима теория) зависит в своем обосновании от логически выведенных отношений с другими полаганиями и в конечном счете с полной общей системой полаганий, поддерживаемой рассматриваемым субъектом. Согласно когерентной теории, обоснование этой системы полаганий логически предшествует обоснованию составляющих ее полаганий и достигается в конечном счете когерентностью системы, где когерентность зависит от того, как сильно объединена или связана система на основании инференциальных связей (включая объяснительные связи) между ее членами.
   Вообще говоря, сам критерий, по которому различаются возможные подходы к теории обоснования, может быть сформулирован как вопрос о том, существуют ли полагания и утверждения, которые не нуждаются для своего обоснования в других полаганиях и утверждениях? В основе положительного ответа на этот вопрос лежала бы здравая интуиция целесообразности: для того, чтобы мы вообще могли делать значимые утверждения о мире, нам не следует оспаривать то, что люди гораздо чаще правы, чем неправы, когда делают перцептуальные утверждения о содержании своего восприятия. Если человек говорит: «Я вижу стол перед собой» или «Это моя рука», то с нашей стороны действительно разумно, вслед за Муром, считать, что такие утверждения несут некоторую презумпцию истины. Однако мы можем так считать потому, что мы знаем некоторые эмпирические факты – или, точнее, знаем определенные формы фактуальности и определенные способы обращения с определенными классами эмпирических фактов – а не потому, что класс перцептуальных утверждений (или любой другой) обладает присущими ему свойствами, делающими возможной презумпцию истины. Источником последней будут истинностные операторы, а не носители истины. С одной стороны, истина в любом случае не может быть внутренне присущим свойством очень многих видов языковых выражений – контингентно истинных утверждений, не-аналитических утверждений и т.п. С другой стороны, даже если мы поддержим требование независимости истинностных операторов от сознания, отсюда еще никак не будет следовать, что тот или иной вид утверждений, делаемых истинными этими операторами – например, перцептуальные утверждения – может быть обоснован уже тем самым и не нуждается для своего обоснования в других утверждениях. Это означало бы, что мы отождествляем истинность и обоснованность высказываний – что, как мы видели в § 9.8, неприемлемо.
   Возникающая здесь проблема – непосредственный результат эпистемической проблемы регресса. Если мы отклоняем фундаментализм (и если бесконечный регресс обоснования также отклонен как в психологическом отношении невозможный и в любом случае эквивалентный скептицизму), то регресс эпистемического обоснования неизбежно приводит нас к кругу в обосновании. Это наиболее существенная причина, в силу которой фундаменталисты отклоняют когерентистскую альтернативу: проблема регресса дает важный аргумент в пользу фундаментализма.
   Контраргумент здесь состоит в отклонении идеи – неявно присущей большинству представлений проблемы регресса – о том, что отношения обоснования предполагают линейный, асимметричный порядок зависимости среди рассматриваемых полаганий. Вместо этого следует предположить, что обоснование является в конечном счете холистическим и нелинейным по характеру, поскольку все полагания в системе состоят в отношениях взаимной поддержки, но ни одно из них эпистемически не предшествует другим. Таким образом, циркулярности удается избежать, поскольку первичной единицей обоснования предстает сама система полаганий, а составляющие ее полагания обосновываются только деривационно, на основании их вхождения в систему соответствующего вида. Свойство системы, в силу которой происходит деривационное обоснование, определяется как когерентность. Когерентные теории не отрицают, что сенсорное наблюдение или восприятие играют важную роль в обосновании; скорее они отрицают то, что эта роль должна быть рассмотрена фундаменталистским способом. Вместо этого обоснование утверждений наблюдения в конечном счете вытекает также из соображений когерентности. Умеренные когерентные теории могут также добавлять другие требования для обоснования, таким образом отходя от чистого когерентизма, но все же отбрасывая требование фундаментализма.