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

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

· Второй аспект проблемы доступа таков: обладают ли обычные субъекты познания когда-либо фактически (или могут ли обладать) чем-либо подобным рефлексивному схватыванию полного содержания своих систем полаганий, которого требует когерентная теория? Здесь, вероятно, когерентная теория должна будет согласиться, что обычные случаи обоснования являются только приближением -- и возможно, довольно отдаленным -- к идеальному обоснованию, которое она изображает.

Но обсуждение этих проблем еще не затрагивает основного фундаменталистского возражения когерентной теории обоснования -- обвинения в циркулярности. Если мы полагаем, что b₁, то мы можем также рационально предположить b₂, а если мы полагаем, что b₂, то мы можем также рационально предположить b₁; их взаимная поддержка не дает нам никакой причины для того, чтобы полагать и то, и другое. Поэтому фундаменталистский вопрос здесь таков: что делает одно полное множество связных (когерирующих друг с другом) полаганий T₁ более приемлемым, чем альтернативное полное множество связных полаганий T₂? Со скептической точки зрения, когерентизм либо дает ответ на этот вопрос, либо нет. Если такой ответ дается, то это подразумевает отказ от центрального когерентистского тезиса, так как теперь имеется причина для принятия множества полаганий T₁, которая сама не принадлежит T₁, а это -- позиция фундаментализма. Если же такой ответ не дается, то принятие T₁ произвольно.

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

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

Непересматриваемое суждение иногда определяется как такое, истина которого следует из самого того факта, что это суждение высказано. Безусловно, есть класс суждений, которые являются непересматриваемыми в этом смысле -- например, "Я существую" и "Я высказываю это суждение" (а отсюда и "Я высказываю суждение, что F есть G"); вопрос заключается в том, можем ли мы строить остальную часть нашего знания на суждениях такого вида?

Ведь непересматриваемость в этом смысле -- свойство очень многих суждений, которые далеки от того, чтобы быть бесспорно истинными. Так, пропозиция "Я существую" может быть непересматриваемой для меня, но из этого, строго говоря, вовсе не следует, что Максим Лебедев существует в некоторой описываемой этим предложением действительности. Усомниться в этом можно многими способами, начиная с тривиальных сомнений в корректности подстановки переменной (например, меня подменили в роддоме) и переходя к более сложным аргументам о способах существования субъекта, допускающим неподлинность моего восприятия мира (вроде Патнэмова аргумента о мозгах в бочке). Если вообще из того факта, что я высказываю суждение "Максим Лебедев существует", может следовать, что это суждение истинно, то лишь в том случае, если причина того, почему это суждение является собой, т.е. этим конкретным суждением, отчасти состоит в том, что оно высказано мной. Таким образом, статус непересматриваемости придается здесь суждению не его формой, не наличием в нем тех или иных элементов, не его принадлежностью к тому или иному типу, а тем единичным фактом, что оно высказано определенным человеком в определенных обстоятельствах. Причем сам этот человек не обязательно должен знать, что это суждение истинно: условием идентичности данного высказанного суждения "Я существую" в значении "Максим Лебедев существует" может быть то, что оно должно быть высказано Максимом Лебедевым, но я могу об этом и не знать, потому что я забыл, кто я (или никогда и не знал этого). Можно дать и менее субъективный, хотя и более софистичный аргумент: истинность утверждения "2•2=4" также следует из того факта, что оно высказано определенным человеком (например, мной) в определенных обстоятельствах, поскольку это утверждение необходимо истинно, а истинность необходимо истинных утверждений следует из чего угодно -- но это вовсе не означает, что мне известна таблица умножения. Таким образом, подобные непересматриваемые суждения не могут служить основанием знания, так как их непересматриваемость не дает нам никакой гарантии их истинности.

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

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

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

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

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

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

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

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

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

Отрицание наличия самообосновываемых утверждений может принимать форму следующего требования, которое можно рассматривать как верификационистское или анти-скептическое: поскольку мы можем поддерживать утверждения лишь другими утверждениями или критиковать и отклонять утверждения лишь в свете других утверждений, постольку требование о наличии фактов, полностью независимых от этих утверждений -- фактов, которым они могут соответствовать или не соответствовать -- должно быть отброшено. Это согласуется с представлением о том, что полная структура наших обоснований и наших обоснованных полаганий может не отражать действительность. С подобной точки зрения, если бы существовали такие факты, о которых мы никогда не могли бы что-либо знать, то они не могли бы и иметь никакого значения для нас: по словам Брэдли, они были бы "полностью иррелевантным призраком" и "ложной и пустой абстракцией" Bradley F.H. Appearance and Reality. L., 1893. P. 131.. По мнению Иоахима, корреспондентную идею делает "настолько абсурдной" то, что она разделяет наши утверждения, с одной стороны, и действительность, которой они соответствуют, с другой, как логически различные роды вещей без какой бы то ни было возможности рациональной теории их взаимосвязи. (В самом деле, единственный выход для корреспондентной теории -- объявить эту взаимосвязь отношением sui gеneris, так как ее невозможно ни объяснить в терминах чего-либо еще, ни редуцировать к чему-либо.) Однако только в том случае, если такая взаимосвязь доступна интеллектальному постижению, она существует "для сознания" и может быть понята мной и другими людьми. В противном случае истина может быть, вообще говоря, чем угодно, а сам термин "истина" пуст Joachim H.H. The Nature of Truth. Ox., 1906. P. 51..

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

Вот как может выглядеть эта последняя позиция. Когерентная теория обоснования отрицает наличие класса утверждений или полаганий, которые некоторым образом обосновывали бы сами себя и которые давали бы нам возможность обосновывать суждения, не принадлежащие к этому классу. Однако было бы вполне совместимо с самой ортодоксальной когерентной теорией истины считать, что такой класс есть. Можно считать, что такой привилегированный классе состоит из наших перцептуальных утверждений, и считать, что они обосновывают сами себя, в том смысле, что всякий раз, когда они вообще высказаны, они могут считаться обоснованными; Умеренная версия такого подхода может состоять в том, что они обладают некоторой презумпцией обоснованности, которая может быть опровергнута очевидными противоречащими свидетельствами в конкретных случаях, но которая в отсутствие такого свидетельства позволяет утверждению считаться не нуждающимся ни в каком дальнейшем обосновании. Высказывание таких утверждений тогда составляло бы требование о характере той когерентной системы, которая здесь составляет истину; это требование будет состоять в том, что для некоторого класса значений p из "S утверждает, что p" следует "S обоснованно утверждает, что p".

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

Представления о таком классе базовых утверждений оказались в центре знаменитой дискуссии о протокольных предложениях, где наличие такого класса отстаивал прежде всего Мориц Шлик См.: Schlick M. 'The Foundations of Knowledge' -- in: Ayer A.J. (ed.) Logical Positivism. N.Y.: Free Press, 1959.. Согласно Шлику, это -- перцептуальные утверждения, выражающие факты непосредственного наблюдения. Они не нуждаются ни в каком обосновании, автоматически обоснованны и истинны в силу самого сделанного утверждения. Всякий раз, когда мы стремимся проверить более сложную гипотезу, мы обращаемся для этого к опыту, а обращение к опыту должно пониматься как обращение к утверждениям этого рода, дающим нам "неоспоримую точку контакта между знанием и действительностью". С такой точки зрения, следует отбросить когерентную теорию истины, потому что утверждения наблюдения дают нам надежную истину, которая не состоит в когерентности, и именно их средствами оцениваются истинностные значения других утверждений.

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

Однако здесь появляется дилемма: являются ли утверждения наблюдения подлинными сообщениями о некоторых состояниях дел или нет? Если да, то они всегда могут быть ошибочными, причем двумя способами.

(1) Если они выражены словами, то всегда возможно, что говорящий -- по забывчивости или оговорившись -- использует неправильное слово.

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

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

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

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

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

(а) что это утверждение принадлежит к такому типу выражений, что оно должно быть истинным всякий раз, когда оно служит объектом чьего-то полагания, и

(б) что оно действительно, фактически служит объектом чьего-то полагания.

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

Именно в полемике по утверждениям наблюдения (между Шликом и отчасти Рейхенбахом, с одной стороны, и Нейратом, отчасти Карнапом и Гемпелем -- с другой) корреспондентистские взгляды, изначально принятые в логическом позитивизме, сменяются умеренной когерентной теорией. Последняя в этой дискуссии оказывается связана с конвенционалистскими представлениями; таким образом, в Венском кружке оказываются сформированными те элементы, которые определили позицию позднего Витгенштейна и питали его эффектные интуиции о значении как употреблении (cм. § 3.5).

Как мы видели, один из путей обсуждения этой проблемы состоит в том, чтобы сосредоточиться на том факте, что наблюдательные или перцептуальные полагания являются когнитивно непроизвольными; они просто производят впечатление на наблюдателя ненамеренным, принудительным, не-инференциальным способом скорее, чем посредством какого бы то ни было вида вывода или другого явного или неявного дискурсивного процесса. Однако, согласно когерентной теории, тот факт, что полагание имеет этот статус, сам по себе еще не говорит ничего о том, обосновано ли оно, и если да, то как. В самом деле, нет никакой причины считать, что все когнитивно непроизвольные полагания тем самым обоснованы. У нас нет причин считать так даже о большинстве когнитивно непроизвольных полаганий, так как в эту категорию наряду с полаганиями, следующими из восприятия, войдут догадки и иррациональные непроизвольные убеждения. Но предположим, для наиболее обычных систем полаганий, что система включает полагание в том смысле, что когнитивно непроизвольные полагания определенных родов (объединенные общим предметом, очевидным способом сенсорного получения, отраженным в содержании полагания, и различными сопутствующими факторами) при указанных (или, возможно, "нормальных") условиях с высокой вероятностью истинны. Тогда становится возможным дать такую причину обоснования для подобного полагания, что она обращается к его когнитивному статусу как непроизвольного и наблюдательного, но все же делает это таким способом, что обоснование зависит от когерентности системы фоновых полаганий с требованием, что полагание этого рода, полученное таким образом, истинно. Такое полагание было бы достигнуто не инференциально, но тем не менее обосновано обращением к отношениям выводимости и когерентности См.: Sellars W. Science, Perception and Reality. London: Routledge & Kegan Paul, 1963..

Остающиеся здесь проблемы таковы.

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

(1) полагания относительно условий;

(2) общее полагание относительно надежности когнитивно непроизвольного полагания рассматриваемого рода; и

(3) полагания относительно возникновения обосновываемого полагания, включая полагание, что оно было действительно когнитивно непроизвольно.

При этом к ним применимы следующие аргументы.

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

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

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

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

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

Обсуждение утверждений наблюдения приводит нас к рассмотрению общих возражений когерентной теории обоснования.

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

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

(1) Абсолютные идеалисты решают эту проблему, принимая наряду с когерентной теорией обоснования также и когерентную теорию истины, редуцируя зазор между когерентным обоснованием и когерентной истинностью (хотя совершенно явна эта стратегия только у Бланшара См.: Blanshard B. The Nature of Thought. L., 1939.). Согласно такому представлению, истина по существу идентифицирована с протяженным во времени обоснованием; отсюда поиск обоснованных полаганий должен вести в конечном счете к обнаружению истинных.

(2) Решер дает прагматический аргумент: практический успех, который является результатом использования последовательной системы, делает вероятным, что полагания системы по крайней мере приблизительно истинны (в смысле соответствия независимой действительности). Такие образом, Решер пытается сочетать когерентные, прагматические и корреспондентные интуиции. Однако требование практического успеха также должно быть предположительно когерентного характера, и это угрожает проекту циркулярностью См.: Rescher N. The Coherence Theory of Truth. Oxford: Oxford University Press, 1973; Rescher N. `Foundationalism, Coherentism, and the Idea of Cognitive Systematization' -- Journal of Philosophy, 1974, 71 (19): 695-708; Rescher N. Methodological Pragmatism. New York: New York University Press, 1977..

(3) Бонжур дает априорный "метаобосновательный" аргумент, опирающийся на рационалистическую и фундаменталистскую концепцию априорного знания и заключающий, что система полаганий, которая остается когерентной на протяжении относительно долгого времени, при получении очевидного ввода наблюдательной информации, вероятно, будет приблизительно истинна (снова в смысле корреспондентной истины). Главная причина этого состоит в том, что только приблизительная истина может объяснить длительную когерентность при поступлении новых наблюдений. В дополнение к защите общей теории априорного предполагаемого обоснования, такой подход должен также показать, что скептические объяснения полаганий (например, их создание Декартовым демоном) априорно менее вероятны, чем корреспондентное объяснение соответствия действительности См.: BonJour L. The Structure of Empirical Knowledge. Cambridge, MA: Harvard University Press, 1985..

(4) Подход Лерера состоит в том, чтобы строить альтернативные концепции обоснования, которые привлекают гипотетическую замену ошибочного полагания в индивидуальной системе полаганий на исправленные альтернативы, а затем требуют, чтобы первоначально обоснованные индивидуальные полагания остались обоснованными после таких замен; в итоге такие полагания составляют знание. Главная трудность здесь состоит в том, что при таком подходе "индивидуальное обоснование", которое существует до гипотетических замен, само по себе не ведет к установлению истины, даже при том, что такое индивидуальное обоснование -- единственный вид обоснования, который вообще когда-либо фактически известен субъекту познания См.: Lehrer K. Knowledge. Oxford: Oxford University Press, 1974; Lehrer K. Theory of Knowledge. Boulder CO: Westview Press, 1990..

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

По замечанию Дэвидсона,

Нейрат, Карнап и Гемпель были правы, отказываясь от поиска основного вида очевидности, на котором может покоиться наше знание о мире. Такая очевидность не является ни доступной, ни необходимой. Однако они, возможно, не сумели оценить, почему она не необходима. Она не необходима, потому что каузальные отношения между нашими полаганиями, речью и миром также дают интерпретацию нашего языка и наших полаганий Davidson D. Empirical Content. -- In: Truth and Interpretation (ed. by E. LePore) Ox., 1986. P. 332..

11. Конструктивистская парадигма и расширенные теории референции

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

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

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

Ответ может учитывать три аспекта.

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

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

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

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

Это ведет к третьему пункту в ответе на предполагаемый парадокс анализа.

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

Это разграничение точности (accuracy) и адекватности (adequacy), введенное Гудменом в "Структуре явления", во многом обусловило важную для современной аналитической философии тенденцию ослабления семантического критерия, налагаемого на исследования. Главное перемещение в этом направлении происходит от синонимии или аналитичности к вполне экстенсиональному критерию. При этом сам Гудмен считает коэкстенсивность definienda и их definientiae все еще слишком сильным критерием. Неформализованное использование неопределенно и непоследовательно (противоречиво) многими способами, и отражение этих особенностей в объяснении вовсе не непременно увеличивает объяснительную силу definientiа. Неясные случаи не могут быть прояснены в соответствии с таким требованием, как коэкстенсивность; в то же время случайный отход от неформализованных ясных случаев оправдан стремлением построить хорошую теорию. Кроме того, неудовлетворительность требования коэкстенсивности указывает на качественно отличную и более глубокую проблему: в науке и обыденном языке возможны (и весьма многочисленны) случаи альтернативных истолкований предикатов -- истолкований, которые являются полностью неразличимыми в отношении любых критериев, уместных в тех теориях, к которым они принадлежат; однако альтернативы не просто не коэкстенсивны -- они очевидным образом не пересекаются.

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

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