9. Аналитическая эпистемология
В аналитической философии теория познания всегда занимала особое и даже привилегированное положение, будучи одной из тех немногих философских дисциплин, правомерность принадлежности которой к философии практически никогда не ставилась под сомнение. Изучение человеческого познания, его предпосылок, природы и границ традиционно считается здесь важнейшей задачей философского исследования. Обычно познание понимается как процесс приобретения знаний, то есть как процесс, в ходе которого происходит переход от незнания к знанию. Интересно отметить, что принятый в англоязычной философской литературе термин эпистемология чаще всего истолковывается именно как теория знания (theory of knowledge), что вполне соответствует той центральной роли, которую категория знания играет в подавляющем большинстве концепций аналитической эпистемологии. Такие темы как: что такое знание; как мы приобретаем знание; чем знание отличается от «простого мнения»; до каких пределов мы можем полагаться на знание других людей; что мы можем противопоставить характерному для скептицизма отрицанию возможности знания – занимают подобающее место в исследованиях по аналитической теории познания.
В современной аналитической философии сформулировано большое число различных эпистемологических теорий. Эти теории часто расходятся между собой по тем или иным важным вопросам содержательного характера. Тем не менее, всех их объединяет специфический «аналитико-философский» стиль или форма философствования, для которых характерным является, во-первых, рассмотрение любых философских проблем прежде всего через призму анализа языка («лингвистический поворот»), во-вторых, активное задействование определенной технической терминологии и, в-третьих, высокий уровень требовательности (принимаемых стандартов) по отношению к доказательности и аргументированности выдвигаемых положений. Кроме того, в значительной степени единой остается предметная область аналитических эпистемологических исследований, с ее концентрацией на знании и проблеме его обоснования. Типичной в этом отношении является эпистемологическая концепция, представленная в работе Бертрана Рассела «Проблемы философии» (1902).417
9.1 Бертран Рассел: знание вещей и знание истин
В теории познания Рассела важную роль играет различие между двумя видами знания: знанием вещей и знанием истин. Эти виды соответствуют двум разным смыслам, в которых вообще может использоваться слово «знать». Прежде всего оно применяется в том смысле, в котором мы знаем «данные, поставляемые нашими органами чувств». Другой возможный смысл относится к нашим мнениям или убеждениям, к тому, что согласно Расселу, называется суждениями.
Прежде всего, Рассел подробно останавливается на знании вещей, выделяя в нем два типа: знание по знакомству и знание по описанию. Выше уже шла речь об этих видах знания (см. § 2.2.6). Рассел подчеркивает, что знание вещей по знакомству значительно проще любого знания истины и логически независимо от него. Знание же вещей по описанию, наоборот, всегда включает в качестве источника и основы определенное знание истины. С какого же рода «вещами» возможно непосредственное знакомство, не нуждающееся ни в каком логическом выводе или предварительном суждении? Согласно Расселу, прежде всего, это – данные наших органов чувств. Например, сидя за письменным столом, мы непосредственно воспринимаем его цвет, форму, твердость, гладкость и т.п., и именно эти чувственные данные, составляющие в совокупности воспринимаемый нами образ стола, и суть те «вещи», с которыми мы непосредственно знакомы. Это, однако, вовсе не означает, что тем самым мы получаем непосредственное знакомство со столом как с физическим объектом! Наоборот, знание стола как физического объекта Рассел характеризует как типичный случай знания по описанию. Описание имеет тут примерно следующий вид: «Стол есть физический объект, который вызывает такие-то и такие-то ощущения», то есть мы имеем описание стола посредством чувственных данных. Здесь мысль Рассела движется вполне в русле классической феноменалистской традиции британского эмпиризма. Впрочем, Рассел не останавливается на этом, считая, что адекватный анализ нашего знания невозможен, если наряду с чувственными данными не учитывать некоторые другие виды вещей, с которыми также возможно непосредственное знакомство.
Первое, что необходимо добавить к знакомству с нашими непосредственными чувственными данными – это знакомство по памяти, то есть, знакомство с теми данными наших органов чувств, которые мы в настоящее время непосредственно не воспринимаем, но которые сохранились в нашей памяти. Этот вид знакомства делает возможным наше знание о прошлом. В качестве следующего добавления Рассел рассматривает так называемое знакомство по интроспекции, или самосознание, являющееся источником знания об отдельных состояниях нашего сознания. Мы не только видим солнце, мы осознаем наше «видение солнца», мы не только хотим есть, мы осознаем наше «желание есть». По Расселу, это «видение солнца» и «желание есть» выступают в качестве особых объектов, с которыми мы также оказываемся непосредственно знакомы. Здесь важно иметь ввиду, что самосознание вовсе не тождественно сознанию себя в целом, то есть сознанию собственного Я. Иными словами, знакомство с содержанием нашего сознания еще не означает непосредственного знакомства с собственной личностью.
"Когда мы пытаемся всмотреться в самих себя, мы по-видимому, всегда наталкиваемся на некоторые отдельные мысли и чувства, а не на "Я", которое имеет мысли и чувства".418
В этой связи Рассел ставит следующий вопрос: можно ли утверждать, что кроме отдельных состояний нашего сознания, мы непосредственно знакомы также и с нашим Я? Ответ самого Рассела на этот вопрос звучит достаточно осторожно: хотя возможность непосредственного знакомства с нашим Я кажется весьма правдоподобной, все же нельзя однозначно утверждать, что такое знакомство несомненно имеет место. Колебания Рассела станут понятны, если ознакомиться с возможными доводами, которые он выдвигает в пользу такого рода знакомства. По существу, эти доводы выглядят не слишком убедительно. Рассел пишет:
«Мы знаем истину 'Я знаком с такими-то чувственными данными'. Трудно видеть, как бы мы могли знать эту истину, или даже понимать, что здесь имеется ввиду, если бы мы не были знакомы с чем-то, что мы зовем 'Я'».419
Возражение, которое здесь можно выдвинуть, заключается в следующем. Не вполне ясно, почему суждение о собственном знакомстве с чем-то обязательно должно включать в качестве непосредственных конституент только «вещи» с которыми мы также должны быть непосредственно знакомы. К примеру, мы знаем истину «Юлий Цезарь был знаком с Марком Антонием». Однако, как Юлия Цезаря, так и Марка Антония мы знаем только по описанию. Так что, вполне можно себе представить, что и в суждениях о том, что Я знаком с тем-то и тем-то, некоторые из таких конституент (например, "Я") известны нам именно по описанию (примерно того же типа, который мы имели выше, в случае со столом): «Я – это духовный объект, которые обладает сознанием таких-то и таких-то чувственных данных».
Примечательно, что Рассел не ограничивает область предметов, о которых возможно знание по знакомству, только «конкретными существующими вещами». Он утверждает, что кроме таких вещей мы также можем иметь непосредственное знакомство с универсалиями, то есть, общими идеями, такими как «белизна», «различие», «братство» и т.д. Здесь проявляется своебразный платонизм Рассела, достаточно последовательно проводимый им в книге «Проблемы философии». Правда расселовское обоснование самой возможности знания-знакомства универсалий вызывает определенные вопросы. Рассел, прежде всего, рассматривает универсалии, которые представляют так называемые «ощущаемые качества», такие как цвет, вкус и т.п. и говорит, что эти качества «проявляются» (are exemplified) в чувственных данных, с которыми мы – согласно его теории – как раз и находимся в отношении непосредственного знакомства. Здесь, конечно, легко возразить, что чувственные данные знакомят нас каждый раз с каким нибудь конкретным проявлением того или иного «качества» (цвета, вкуса и т.п.) а не с универсалией самой по себе. Рассел и сам отмечает, что, например, когда мы видим какое-нибудь белое пятно, мы всегда знакомимся с конкретным пятном. Но – продолжает он – после многократного наблюдения различных белых пятен, мы легко научаемся выделять посредством абстракции («абстрагировать») общую им всем белизну и, тем самым, знакомимся с белизной самой по себе.420 К сожалению, Рассел не останавливается на вопросе о природе этого абстрагирования, и это существенно ослабляет его аргументацию. Ведь если предположить, что такое абстрагирование представляет собой особого рода логическую процедуру, то очевидным становится опосредованный характер полученного таким образом знания белизны. А значит, перед нами – типичный случай знания по описанию («белизна – это понятие, являющееся результатом такой-то и такой-то операции абстрагирования»). То же самое возражение можно выдвинуть и против расселовского обоснования знания-знакомства пространственно-временных отношений и отношения сходства.
Согласно Расселу, физические объекты как таковые, равно как и сознание других людей не принадлеждат к тем предметам, которые могут быть известны нам через непосредственное знакомство.421 Знание о такого рода предметах возможно только по описанию. Под описанием (дескрипцией) Рассел подразумевает фразу вида «такой-то и такой-то», различая при этом определенную и неопределенную дескрипции (выражаемые в английском языке при помощи неопределенного и определенного артиклей соответственно). Подробно свою теорию дескрипций Рассел развил в классической статье «Об обозначении» (1905), где, в частности, рассмотрел, каким образом могут быть осмысленно эксплицированы выражения, у которых отсутствует предметное значение (такие как «нынешний король Франции»). Расселовская теория дескрипций была изложена выше в § 2.2.6. Здесь мы лишь отметим, что важность знания по описанию обусловлена тем, что оно открывает возможность выхода за пределы личного опыта. Впрочем, любое описание должно быть в принципе устранимо, что находит выражение в следующем фундаментальном принципе, принимаемом Расселом:
«Каждое высказывание, которое мы можем понять, должно состоять полностью из конституент, с которыми мы знакомы».422
Этот редукционистский принцип, утверждающий сводимость любого знания в конечном счете к знанию по знакомству, объясняет, между прочим, почему Рассел должен был допустить возможность непосредственного знакомства с универсалиями – ведь любое высказывание обязательно содержит хотя бы один термин, представляющий общее понятие. Следовательно, без возможности знакомства с универсалиями полная сводимость к знанию по знакомству оказалась бы просто невозможной.
Переходя теперь к знанию истин, прежде всего следует отметить, что в отличие от знания вещей, здесь мы сталкиваемся с совершенно новой проблемой – проблемой возможной ошибочности того, что мы можем принимать за знание. Как уже отмечалось в § 2.2.7, теория истины Рассела, являясь по существу корреспондентной,
«(1) допускает, что истина имеет свою противоположность, а именно, ложь, (2) делает истину свойством убеждений, но (3) делает это свойство полностью зависимым от отношения убеждений к внешним вещам».423
Развивая свою теорию истины, Рассел задействует понятие факта (превратившееся затем в центральное понятие его философии логического атомизма). Убеждение истинно, если ему соответствует некоторый факт, и ложно, если соответствующего факта нет. Вообще, с точки зрения позднейшей терминологии, более адекватным было бы называть этот вид знания именно «знанием фактов». Ведь знание, как правило, истолковывается как нечто, относящееся ко внеязыковой действительности (или действительности, выходящей за пределы сознания). В свою очередь, действительность («мир») – согласно философии логического атомизма – есть не что иное, как совокупность фактов, каждый из которых представляет собой особую конфигурацию предметов («вещей»). Таким образом, если наше убеждение истинно, то это как раз означает, что мы знаем соответствующий факт. Однако в «Проблемах философии» Рассел предпочитает вести речь именно о знании истин, так что вопрос о взаимоотношении терминов «истина», «факт», «пропозиция», «суждение» в их отношении к знанию, оставляет здесь впечатление некоторой непроясненности.
Подводя итоги своему исследованию видов знания, Рассел пишет:
"Мы можем теперь осуществить обзор источников нашего знания, в том порядке, как они появлялись в ходе нашего анализа. Прежде всего мы должны различать знание вещей и знание истин. Каждое из них имеет два вида, один непосредственный, а другой производный. Наше непосредственное знание вещей, которое мы назвали знакомством, бывает двух типов, в зависимости от того, является ли известная вещь конкретным предметом или универсалией. Среди конкретных предметов мы имеем знакомство с чувственными данными и (вероятно) с самими собой. Для универсалий, по-видимому, не существует принципа, по которому мы можем решить, какие из них могут быть известны по знакомству, однако ясно, что к числу тех, которые могут быть известны таким образом, относятся ощущаемые качества, пространственно-временные отношения, отношение сходства и определенные абстрактные логические универсалии. Наше производное знание вещей, которое мы называем знанием по описанию, всегда включает как знакомство с чем-то, так и знание истины. Наше непосредственное знание истины может быть названо интуитивным знанием, и известные таким образом истины могут быть названы самоочевидными истинами. Такие истины включают те, которые только утверждают, что дано в ощущениях, а также определенные абстрактные логические и арифметические принципы и (хотя и с меньшей долей уверенности) некоторые этические высказывания. Наше производное знание истины состоит из всего того, что мы можем вывести из самоочевидных истин, используя самоочевидные принципы дедукции".424
Осуществленное Расселом различие между знанием вещей и знанием истин (знанием фактов) является в настоящее время общепринятым и соответствует характерному для многих аналитических эпистемологических концепций делению знания на предметное (предикативное) и пропозициональное знание. Кроме того, иногда еще выделяют и так называемое практическое знание, как практическое умение что-либо делать. Следует, однако, отметить, что предикативное и практическое знание обычно трактуются в аналитической философии как подчиненные или вспомогательные его виды. В качестве основного вида знания, знания в собственном смысле, рассматривается именно пропозициональное знание, то есть знание о том, что имеет место тот или иной факт. К анализу пропозиционального знания мы сейчас и переходим.
9.2 Знание и мнение. Проблема обоснованности знаний
Содержание пропозиционального знания обычно выражается посредством некоторого высказывания. Другой характерной особенностью такого рода знания является то, что оно представляет собой функцию человеческих убеждений. Например, если некто знает, что Земля вращается вокруг Солнца, то он должен быть в этом убежден, то есть он должен по крайней мере считать, или полагать, что Земля вращается вокруг Солнца. Здесь важно иметь ввиду, что используемый в англоязычной философской литературе аналитического направления термин "belief" не имеет однозначного русского эквивалента. Его можно перевести и как «мнение», и как «вера», и как «убеждение». Наиболее близким по значению является термин «убеждение», истолковываемый при этом максимально нейтрально, без какой-либо эмоционально-психологической нагруженности. В этом смысле "Х убежден, что А" следует понимать просто как "Х считает, что А", или "Х полагает, что А", или "по мнению Х, имеет место А". Именно в этом значении и будет в дальнейшем использоваться термин «убеждение» и его возможные эквиваленты. Вообще в современной аналитической эпистемологии категории убеждения (мнения) уделяется достаточно большое внимание. Многие исследователи отмечают, что теория познания не может ограничиться лишь анализом феномена собственно знания. Необходимо учитывать гораздо более широкий класс «пропозициональных установок», среди которых убеждения занимают далеко не последнее место.
К важнейшими характеристиками наших убеждений относят их интенциональность и репрезентативность. Убеждения всегда суть убеждения в чем-то (или о чем-то), они призваны выполнять функцию представления некоторой реальности и обеспечивать ориентацию человека в мире. Благодаря своей репрезентирующей роли, убеждения могут иметь истинностное значение. Если наши убеждения некорректно представляют ту реальность, которую призваны репрезентировать, они являются ложными, если же убеждения адекватно представляют мир, то они являются истинными.
Традиция анализа знания через его сопоставление с категорией убеждения имеет давнюю историю и восходит по крайней мере к диалогам Платона «Менон» и «Теэтет». Так, в диалоге «Теэтет» критически анализируются три различные определения знания: (1) знание как чувственное восприятие; (2) знание как правильное мнение и (3) знание как правильное мнение с объяснением. И хотя Платон последовательно отвергает каждое из этих определений, сам подход к рассмотрению знания через его противопоставление убеждению, мнению или вере укоренился в философии и стал классическим. Эта классическая традиция получила дальнейшее развитие в аналитической эпистемологии, где в качестве одной из центральных задач всегда считалось нахождение адекватного определения категории знания. Ее решение должно дать нам ответ на вопрос, что такое знание, или что значит «знать». Каковы те необходимые и достаточные условия, выполнение которых позволяет утверждать, что субъект Х действительно знает, что имеет место некоторый факт, скажем А?
В аналитической философии широкое распространение получило так называемое «традиционное определение знания», в соответствии с которым знание есть обоснованное истинное убеждение.425 Согласно этому определению, Х знает что А, если и только если в совокупности выполняются следующие три условия:
(1) Х считает, что А;
(2) А является истинным;
(3) Убеждение Х в том, что имеет место А, определенным образом обосновано. 426
Образцом такого подхода вполне может служить концепция пропозиционального знания, представленная в книге Рассела «Проблемы философии».427 Важно отметить (это подчеркивает также и Рассел), что знание недостаточно определять просто как истинное убеждение, так как наши убеждения могут оказаться истинными случайным образом, в силу всего лишь «эпистемического везения». Например, я могу считать – не имея на то никаких особых оснований –, что мой лучший друг в тот или иной момент времени находится дома (просто потому, что мне так кажется). Если я при этом случайно окажусь прав, и мой друг в указаный момент времени действительно будет находиться дома, то это вовсе не будет означать, что я в самом деле знал этот факт.
Рассмотрим другой пример, несколько модифицируя пример, который также можно найти в упомянутой книге Рассела. Пусть г-н Х ошибочно полагает, что роман «Два капитана» написал Катаев, а затем вполне закономерно делает отсюда вывод, что фамилия автора «Двух капитанов» начинается на букву "К". Это последнее убеждение г-на Х является истинным, поскольку фамилия настоящего автора – «Каверин» – тоже начинается на букву "К". Тем не менее, это истинное убеждение вовсе не образует знания, и вряд ли правомерным будет утверждать, что г-н Х в самом деле знает, что фамилия автора романа «Два капитана» начинается на букву "К". В самом деле, если мы спросим г-на Х, почему он считает, что фамилия автора «Двух капитанов» начинается на букву "К", то в ответ мы, скорее всего, получим следующее объяснение: так как автором романа «Два капитана» является Катаев, то, следовательно, фамилия автора этого романа начинается на букву "К". Для всякого, кому по крайней мере известно, что Катаев вовсе не писал «Двух капитанов», такого рода объяснение, конечно же, не может служить доводом в пользу последнего утверждения г-на Х. Истинность этого утверждения обусловлена всего лишь случайным совпадением и есть результат все того же эпистемического везения. Подлинное знание и простое эпистемическое везение несовместимы.
Таким образом, для того чтобы наше убеждение, даже будучи истинным, могло претендовать на статус знания, мы должны располагать обоснованием истинности этого убеждения. А значит, важнейшей проблемой теории познания оказывается проблема выяснения и уточнения возможных критериев обоснованности убеждений, то есть ответ на вопрос о том, что означает для убеждения, быть обоснованным. В аналитической эпистемологии можно выделить два основных подхода к решению этой проблемы, которые обычно обозначают как «интернализм» и «экстернализм».428Интернализм требует, чтобы обоснование того или иного убеждения оставалось исключительно «внутренним делом» познающего субъекта и не задействовало никаких «внешних факторов», ограничиваясь только ссылками на убеждения субъекта и его эпистемические состояния. Родрик Чизом формулирует это требование следующим образом:
«Если субъект S имеет внутреннее основание для убеждения в определенной вещи, то это может быть чем-то, что он может знать всего лишь посредством рассмотрения своего собственного состояния сознания».429
Согласно же экстернализму, при обосновании убеждений могут и должны использоваться не только внутренние состояния носителя убеждений но и дополнительные внешние факторы.
В рамках интерналистской стратегии обоснования убеждений наибольшее распространение получило два рода концепций: теории фундаменталистского типа и теории когерентистского типа. Фундаменталистские теории430 исходят из положения, что наше знание (в целом) должно иметь то, что может быть названо «основаниями». В качестве такого рода оснований среди возможных убеждений обычно выделяют некоторый ограниченный класс «эпистемически базисных» положений («фундамент»), имеющих определенного рода «эпистемически привелигированный» статус. Предполагается, что базисные убеждения не нуждаются в дополнительном обосновании, они являются самоочевидными. Все остальные убеждения получают свое обоснование посредством той или иной процедуры сведения к базисным убеждениям. Фундаментализм был характерен для теоретико-познавательных концепций Нового времени (как эмпиризма, так и рационализма), и именно на эту классическую традицию в теории познания опираются его современные версии в аналитической философии. Конкретные теории отличаются здесь по своей трактовке следующих двух основных вопросов. Во-первых, что представляют собой эпистемически базисные убеждения; что именно гарантирует их привелигерованную роль и закрепляет за ними статус «основоположений» нашего знания? Во-вторых, какого рода процедуры обеспечивают переход от базисных убеждений к небазисным; в силу чего базисные положения обосновывают все остальные убеждения?
Возвращаясь еще раз к теории знания Рассела, можно сделать вывод, что в части, относящейся к пропозициональному знанию, она представляет собой типичную теорию фундаменталистского типа. А именно, по степени обоснованности Рассел делит знание истин на интуитивное и выводное. Интуитивное знание является самоочевидным, что обеспечивает его непогрешимость. Согласно Расселу, истина является самоочевидной в первом и наиболее абсолютном смысле, если мы знакомы с фактом, который соответствует этой истине. Любое знание истины в конечном счете основывается на интуитивном знании. Рассел отмечает, что поскольку попытка предоставить всеобъемлющее доказательство для любой истины обречена на бесконечный регресс, то необходимо признать существование самоочевидного знания, постигаемого интуитивно. К такого рода знанию Рассел относит знание логических постулатов, некоторых этических принципов, а также непосредственных истин восприятия (таких как – «данное пятно является красным» или «это красное пятно имеет круглую форму»). Выводное же знание должно логически следовать из самоочевидных истин, что и служит его обоснованием.
В противоположность фундаментализму, теории когерентистского типа431 отрицают существование каких-либо эпистемически привелигированных базисных убеждений. Все убеждения имеют «равноправный» эпистемический статус и то или иное убеждение получает свое обоснование не через сведение к некоторому выделенному классу «основоположений», а посредством его сопоставления со всем множеством остальных убеждений. В этом случае обоснованность убеждения зависит от того, насколько оно «согласуется» с остальными убеждениями. Центральную роль здесь играет так называемое отношение когерентности или связности, которое и призвано обеспечить взаимную согласованность всей системы убеждений субъекта. Конкретные теории различаются в зависимости от той или иной трактовки этого отношения.
Экстерналистский подход к проблеме обоснованности наших убеждений опирается на точку зрения, в соответствии с которой невозможно достичь такого рода обоснования, не выходя за пределы самих убеждений или состояний сознания познающего субъекта. В частности, должны приниматься во внимание специфические характеристики самого когнитивного процесса, в ходе которого мы приходим к нашим убеждениям. Некоторые разновидности экстернализма подчеркивают, что этот процесс должен быть надежным. То есть, убеждения могут считаться обоснованными, если они получены в ходе надежного когнитивного процесса. Слабость такого подхода заключается в том, что надежность процесса приобретения убеждений часто зависит от случайных обстоятельств. Например, обычно данные наших органов чувств считаются вполне надежным источником познания. Однако известно, что в тех или иных конкретных обстоятельствах эти данные вполне могут вводить нас в заблуждение. Таким образом, ссылка на надежность когнитивного процесса превращает обоснованность наших убеждений в случайное обстоятельство. Более предпочтительным выглядит реализация экстерналистской стратегии через использование понятия вероятности. Здесь учитывается, что истинность наши убеждений часто имеет ту или иную степень вероятности. В свою очередь, оценка вероятности убеждений (например, их физической вероятности), как правило, требует привлечения «объективных факторов», выходящих за пределы сознания познающего субъекта. Такого рода теория, которую иногда обозначают как «Бейесианская эпистемология» (по имени английского математика Томаса Бейеса (1702-1761), который занимался теорией вероятностей), получила широкое распространение в философии науки.
В общем виде условие обоснованности принимается подавляющим большинством теоретико-познавательных концепций аналитической философии. Если субъект обоснованно убежден в истинности высказывания А, то он должен располагать адекватными свидетельствами в пользу того, что А имеет место. Рассмотренные выше направления различаются прежде всего трактовкой того, что может быть принято в качестве такого рода адекватных свидетельств. Важно, однако, иметь ввиду, что убеждение, даже будучи хорошо обоснованным, может, тем не менее, оказаться ложным (принцип фаллибилизма, или погрешимости). Так, например, геоцентрическая модель Птолемея располагала многочисленными свидетельствами в свою пользу (включая данные органов чувств), но все же была ложной. Поэтому было бы некорректно утверждать, что Птолемей и его последователи знали, что Солнце вращается вокруг Земли. Существенным условием знания остается истинность соответствующего убеждения.
9.2.1 Проблема Гетье
Итак, традиционное определение знания выделяет в качестве его необходимых и достаточных условий: (1) наличие соответствующего убеждения, (2) истинность этого убеждения и (3) его обоснованность. Эта точка зрения считалась общепринятой и практически не подвергалась сомнению влоть до появления в 1963 году статьи Эдмунда Гетье под весьма примечательным названием «Является ли обоснованное истинное убеждение знанием?»432 Эта небольшая статья (всего 3 страницы!) оказала существенное влияние на ход развития аналитической теории познания в ХХ столетии. Можно даже утверждать, что она решающим образом изменила характер и содержание дискуссий по проблеме знания. Вот как описывает эту ситуацию Джон Поллок:
«В период, непосредственно предшествовавший публикации поворотной статьи Гетье „Является ли обоснованное истинное убеждение знанием?“, этот анализ <знания как обоснованного истинного убеждения> принимался фактически каждым исследователем в области эпистемологии. Затем Гетье опубликовал свою статью и в одночастье изменил направление развития эпистемологии».433
В статье, о которой идет речь, строятся два эффективных контрпримера для традиционного определения знания, убедительно показывающие, что условия (1) – (3) являются необходимыми, но отнюдь не достаточными условиями знания. Иными словами, Гетье демонстрирует, что возможны случаи, когда мы располагаем обоснованным истинным убеждением, которое, тем не менее, не образует знания.
Анализ Гетье опирается на следующие положения. Во-первых, обоснованное убеждение – каким бы надежным не казалось его обоснование – в некоторых случаях вполне может оказаться ложным (см. выше пример с геоцентрической моделью Птолемея). Во-вторых, если убеждение А является обоснованным и из Алогически следует убеждение В, то В также является обоснованным. Общая схема контрпримеров, которые приводит Гетье, такова. Предположим, некто, например Х обоснованно убежден в том, что имеет место А, но при этом А все же является ложным (хотя Х уверен в обратном). Представим себе, что Х логически корректным образом выводит из своего убеждения А новое убеждение В. Ясно, что Х будет убежден в том, что имеет место В и при этом обоснованность этого нового убеждения будет ничуть не ниже, чем обоснованность убеждения А (что обеспечивается процедурой логического вывода). Теперь предположим, что высказывание В, в силу некоторого случайного стечения обстоятельств, оказывается истинным. Тогда имеем: Х обоснованно убежден, что В и В является истинным. То есть, выполняются все три условия традиционного определения знания. Тем не менее оказывается, что в этом случае мы далеко не всегда можем утверждать, что Х знает, что В!
Сконструируем конкретный контпример, следуя принципиальной схеме, предложенной Гетье. Для этого вернемся к уже рассмотренному выше случаю с авторством романа «Два капитана». Предположим, г-н Х никогда не читал этот роман и более того – никогда о нем не слыхал. Однажды Х идет в книжный магазин, видит там последнее издание романа «Два капитана» и покупает его. Книга вышла в очень солидном государственном издательстве, имеющем многолетнюю историю и в высшей степени солидную репутацию, что касается качества полиграфии, редактирования, корректуры и т.п. Раньше Х довольно часто покупал книги этого издательства и он полностью уверен в профессионализме его работников. Однако предположим, что из-за ужасной ошибки и грубого недосмотра, на обложке и во всех выходных данных экземпляра романа, купленного г-ном Х, в качестве его автора обозначен В.Катаев. (Ошибка была в скорости замечена и все бракованные экземпляры были изъяты из продажи, но Х об этом не знает!) Таким образом, г-н Х, конечно же, будет убежден в следующем:
(а) Автором романа «Два капитана» является Катаев.
Это его убеждение будет вполне обоснованным (хотя и ложным!). В самом деле, трудно себе представить более надежные свидетельства в пользу данного убеждения, чем те, которыми располагает г-н Х. Пусть теперь г-н Х логически корректно выводит из убеждения (а) новое убеждение:
(б) Фамилия автора романа «Два капитана» начинается на букву "К".
Ясно, что убеждение (б) ничуть не менее обосновано, чем убеждение (а). Более того, высказывание (б) оказывается, к тому же, истинным! Итак: г-н Х имеет обоснованное истинное убеждение в том, что фамилия автора романа «Два капитана» начинается на букву "К", однако все равно мы не можем утверждать, что Х знает, что фамилия автора романа «Два капитана» начинается на букву "К". Истинность убеждения (б) есть результат случайного совпадения начальных букв двух фамилий, поэтому (б) не образует знания.
Выше, когда рассматривался вопрос, почему недостаточно определять знание просто как истинное убеждение, обращалось внимание на недопустимость принятия в качестве знания положения, которое оказывается истинным благодарая простому эпистемическиму везению. Предполагалось, что именно условие обоснованности позволит исключить такого рода нежелательные ситуации. Однако, как показывают контрпримеры Гетье, это условие само по себе далеко не всегда блокирует разрушительное для знания действие фактора эпистемического везения.
Таким образом, мы сталкиваемся с проблемой, которая и получила название проблемы Гетье: как следует модифицировать традиционное определение знания, чтобы избежать трудностей, связанных с подобными контрпримерами? И если традиционное определение знания как обоснованного истинного убеждения является недостаточным, то какого рода определение может и должно быть предложено вместо него? Проблема Гетье вызвала оживленную дискуссию, которая не завершена до сих пор. Было выдвинуто множество разнообразных предложений, направленных на преодоление этой проблемы, но пока нельзя сказать, что проблема получила окончательное решение. Тем не менее, большинство исследователей сходятся на том, что поскольку стандартные условия (1) – (3) оказываются недостаточными, то традиционное определение знания должно быть расширено за счет дополнительного, четвертого условия, которое предотвратило бы проблемы, связанные с контрпримерами Гетье. Но что это должно быть за условие?
Рассмотрим кратко некоторые из таких возможных дополнительных условий.
(4) Убеждение в том, что имеет место А, не должно быть выведено ни из какого ложного утверждения (то есть, знание не может быть основано на ложном убеждении).434
Это условие является, так сказать, «непосредственной реакцией» на контрпримеры Гетье и его принятие действительно блокирует их. Однако, оказывается, что могут быть сконструированы другие контрпримеры, в которых не задействуются никакие процедуры вывода, но которые достигают аналогичного эффекта. Пусть, например, Х видит мяч, кажущийся ему красным, и на этом основании Х считает, что мяч является красным. Пусть этот мяч действительно красный, то есть убеждение Х является истинным и, по-видимому, вполне обоснованным. Но предположим, что незаметно для Х мяч особым образом освещен, так что, даже если бы он не был красного цвета, он все равно казался бы красным. В этом случае, нельзя утверждать, что Х знает, что мяч красный, несмотря на то, что он имеет об этом обоснованное истинное убеждение, которое к тому же не выведено ни из какого ложного утверждения.435 Более того, данное убеждение получено не путем какого-то логического вывода, а в результате непосредственно эмпирического наблюдения. Тем не менее, оно оказывается истинным только по счастливой случайности – здесь мы опять сталкиваемся с эпистемическим везением и условие (4) не предотвращает его.
(4() Убеждение А должно быть каузально детерминировано тем фактом, который делает А истинным.436
Принятие этого условия характерно для каузальной теории познания. В соответствиии с этой теорией, например, я знаю, что на столе лежит книга, если книга действительно лежит на столе и этот факт причинным образом (путем воздействия на мои органы зрения) обуславливает соответствующее мое убеждение. В целом эта теория представляется слишком узкой. Сомнительно, чтобы все наше знание в самом деле каузально вызывалось конкретными фактами. Не вполне ясно также, как средствами одного лишь каузального объяснения может быть обосновано знание общих высказываний и, тем более, априорное знание.
(4(() Субъект Х имеет убедительные доводы в пользу А, такие что если бы А не имело места, то Х не располагал этими убедительными доводами.437
Это условие, опять же, хотя и предотвращает контрпримеры самого Гетье, все же не срабатывают в других случаях, например в случае с освещенным красным мячом, рассмотренным выше. Тот факт, что Х видит красный цвет мяча является конечно же убедительным доводом в пользу убеждения, что мяч красный. Однако в данном примере, даже если бы мяч был не красный, Х все равно бы видел красный цвет (в силу особой освещенности мяча).
(4((() Не существует никакого истинного высказывания В, такого что если бы оно было добавлено к множеству убеждений субъекта Х, то его убеждение в том, что имеет место А перестало бы быть обоснованным.438
Однако и для этого условия были построены опровергающие его контрпримеры.439
Подводя итоги, можно сделать вывод, что никакая современная концепция знания не может игнорировать проблему Гетье, которая служит своеобразной «лакмусовой бумажкой» адекватности любой такого рода концепций и их объясняющей силы.
«Многие современные эпистемологи считают, что пробема Гетье является эпистемологически важной. Целая ветвь эпистемологии занята поисками точного понимания природы – к примеру, существенных компонентов – пропозиционального знания. Точное понимание пропозиционального знания предполагает анализ такого рода знания с точки зрения проблемы Гетье. Таким образом, эпистемологам необходимо надежное решение проблемы Гетье, каким бы сложным это решение не оказалось».440
Содержание пропозиционального знания обычно выражается посредством некоторого высказывания. Другой характерной особенностью такого рода знания является то, что оно представляет собой функцию человеческих убеждений. Например, если некто знает, что Земля вращается вокруг Солнца, то он должен быть в этом убежден, то есть он должен по крайней мере считать, или полагать, что Земля вращается вокруг Солнца. Здесь важно иметь ввиду, что используемый в англоязычной философской литературе аналитического направления термин "belief" не имеет однозначного русского эквивалента. Его можно перевести и как «мнение», и как «вера», и как «убеждение». Наиболее близким по значению является термин «убеждение», истолковываемый при этом максимально нейтрально, без какой-либо эмоционально-психологической нагруженности. В этом смысле "Х убежден, что А" следует понимать просто как "Х считает, что А", или "Х полагает, что А", или "по мнению Х, имеет место А". Именно в этом значении и будет в дальнейшем использоваться термин «убеждение» и его возможные эквиваленты. Вообще в современной аналитической эпистемологии категории убеждения (мнения) уделяется достаточно большое внимание. Многие исследователи отмечают, что теория познания не может ограничиться лишь анализом феномена собственно знания. Необходимо учитывать гораздо более широкий класс «пропозициональных установок», среди которых убеждения занимают далеко не последнее место.
К важнейшими характеристиками наших убеждений относят их интенциональность и репрезентативность. Убеждения всегда суть убеждения в чем-то (или о чем-то), они призваны выполнять функцию представления некоторой реальности и обеспечивать ориентацию человека в мире. Благодаря своей репрезентирующей роли, убеждения могут иметь истинностное значение. Если наши убеждения некорректно представляют ту реальность, которую призваны репрезентировать, они являются ложными, если же убеждения адекватно представляют мир, то они являются истинными.
Традиция анализа знания через его сопоставление с категорией убеждения имеет давнюю историю и восходит по крайней мере к диалогам Платона «Менон» и «Теэтет». Так, в диалоге «Теэтет» критически анализируются три различные определения знания: (1) знание как чувственное восприятие; (2) знание как правильное мнение и (3) знание как правильное мнение с объяснением. И хотя Платон последовательно отвергает каждое из этих определений, сам подход к рассмотрению знания через его противопоставление убеждению, мнению или вере укоренился в философии и стал классическим. Эта классическая традиция получила дальнейшее развитие в аналитической эпистемологии, где в качестве одной из центральных задач всегда считалось нахождение адекватного определения категории знания. Ее решение должно дать нам ответ на вопрос, что такое знание, или что значит «знать». Каковы те необходимые и достаточные условия, выполнение которых позволяет утверждать, что субъект Х действительно знает, что имеет место некоторый факт, скажем А?
В аналитической философии широкое распространение получило так называемое «традиционное определение знания», в соответствии с которым знание есть обоснованное истинное убеждение.425 Согласно этому определению, Х знает что А, если и только если в совокупности выполняются следующие три условия:
(1) Х считает, что А;
(2) А является истинным;
(3) Убеждение Х в том, что имеет место А, определенным образом обосновано. 426
Образцом такого подхода вполне может служить концепция пропозиционального знания, представленная в книге Рассела «Проблемы философии».427 Важно отметить (это подчеркивает также и Рассел), что знание недостаточно определять просто как истинное убеждение, так как наши убеждения могут оказаться истинными случайным образом, в силу всего лишь «эпистемического везения». Например, я могу считать – не имея на то никаких особых оснований –, что мой лучший друг в тот или иной момент времени находится дома (просто потому, что мне так кажется). Если я при этом случайно окажусь прав, и мой друг в указаный момент времени действительно будет находиться дома, то это вовсе не будет означать, что я в самом деле знал этот факт.
Рассмотрим другой пример, несколько модифицируя пример, который также можно найти в упомянутой книге Рассела. Пусть г-н Х ошибочно полагает, что роман «Два капитана» написал Катаев, а затем вполне закономерно делает отсюда вывод, что фамилия автора «Двух капитанов» начинается на букву "К". Это последнее убеждение г-на Х является истинным, поскольку фамилия настоящего автора – «Каверин» – тоже начинается на букву "К". Тем не менее, это истинное убеждение вовсе не образует знания, и вряд ли правомерным будет утверждать, что г-н Х в самом деле знает, что фамилия автора романа «Два капитана» начинается на букву "К". В самом деле, если мы спросим г-на Х, почему он считает, что фамилия автора «Двух капитанов» начинается на букву "К", то в ответ мы, скорее всего, получим следующее объяснение: так как автором романа «Два капитана» является Катаев, то, следовательно, фамилия автора этого романа начинается на букву "К". Для всякого, кому по крайней мере известно, что Катаев вовсе не писал «Двух капитанов», такого рода объяснение, конечно же, не может служить доводом в пользу последнего утверждения г-на Х. Истинность этого утверждения обусловлена всего лишь случайным совпадением и есть результат все того же эпистемического везения. Подлинное знание и простое эпистемическое везение несовместимы.
Таким образом, для того чтобы наше убеждение, даже будучи истинным, могло претендовать на статус знания, мы должны располагать обоснованием истинности этого убеждения. А значит, важнейшей проблемой теории познания оказывается проблема выяснения и уточнения возможных критериев обоснованности убеждений, то есть ответ на вопрос о том, что означает для убеждения, быть обоснованным. В аналитической эпистемологии можно выделить два основных подхода к решению этой проблемы, которые обычно обозначают как «интернализм» и «экстернализм».428Интернализм требует, чтобы обоснование того или иного убеждения оставалось исключительно «внутренним делом» познающего субъекта и не задействовало никаких «внешних факторов», ограничиваясь только ссылками на убеждения субъекта и его эпистемические состояния. Родрик Чизом формулирует это требование следующим образом:
«Если субъект S имеет внутреннее основание для убеждения в определенной вещи, то это может быть чем-то, что он может знать всего лишь посредством рассмотрения своего собственного состояния сознания».429
Согласно же экстернализму, при обосновании убеждений могут и должны использоваться не только внутренние состояния носителя убеждений но и дополнительные внешние факторы.
В рамках интерналистской стратегии обоснования убеждений наибольшее распространение получило два рода концепций: теории фундаменталистского типа и теории когерентистского типа. Фундаменталистские теории430 исходят из положения, что наше знание (в целом) должно иметь то, что может быть названо «основаниями». В качестве такого рода оснований среди возможных убеждений обычно выделяют некоторый ограниченный класс «эпистемически базисных» положений («фундамент»), имеющих определенного рода «эпистемически привелигированный» статус. Предполагается, что базисные убеждения не нуждаются в дополнительном обосновании, они являются самоочевидными. Все остальные убеждения получают свое обоснование посредством той или иной процедуры сведения к базисным убеждениям. Фундаментализм был характерен для теоретико-познавательных концепций Нового времени (как эмпиризма, так и рационализма), и именно на эту классическую традицию в теории познания опираются его современные версии в аналитической философии. Конкретные теории отличаются здесь по своей трактовке следующих двух основных вопросов. Во-первых, что представляют собой эпистемически базисные убеждения; что именно гарантирует их привелигерованную роль и закрепляет за ними статус «основоположений» нашего знания? Во-вторых, какого рода процедуры обеспечивают переход от базисных убеждений к небазисным; в силу чего базисные положения обосновывают все остальные убеждения?
Возвращаясь еще раз к теории знания Рассела, можно сделать вывод, что в части, относящейся к пропозициональному знанию, она представляет собой типичную теорию фундаменталистского типа. А именно, по степени обоснованности Рассел делит знание истин на интуитивное и выводное. Интуитивное знание является самоочевидным, что обеспечивает его непогрешимость. Согласно Расселу, истина является самоочевидной в первом и наиболее абсолютном смысле, если мы знакомы с фактом, который соответствует этой истине. Любое знание истины в конечном счете основывается на интуитивном знании. Рассел отмечает, что поскольку попытка предоставить всеобъемлющее доказательство для любой истины обречена на бесконечный регресс, то необходимо признать существование самоочевидного знания, постигаемого интуитивно. К такого рода знанию Рассел относит знание логических постулатов, некоторых этических принципов, а также непосредственных истин восприятия (таких как – «данное пятно является красным» или «это красное пятно имеет круглую форму»). Выводное же знание должно логически следовать из самоочевидных истин, что и служит его обоснованием.
В противоположность фундаментализму, теории когерентистского типа431 отрицают существование каких-либо эпистемически привелигированных базисных убеждений. Все убеждения имеют «равноправный» эпистемический статус и то или иное убеждение получает свое обоснование не через сведение к некоторому выделенному классу «основоположений», а посредством его сопоставления со всем множеством остальных убеждений. В этом случае обоснованность убеждения зависит от того, насколько оно «согласуется» с остальными убеждениями. Центральную роль здесь играет так называемое отношение когерентности или связности, которое и призвано обеспечить взаимную согласованность всей системы убеждений субъекта. Конкретные теории различаются в зависимости от той или иной трактовки этого отношения.
Экстерналистский подход к проблеме обоснованности наших убеждений опирается на точку зрения, в соответствии с которой невозможно достичь такого рода обоснования, не выходя за пределы самих убеждений или состояний сознания познающего субъекта. В частности, должны приниматься во внимание специфические характеристики самого когнитивного процесса, в ходе которого мы приходим к нашим убеждениям. Некоторые разновидности экстернализма подчеркивают, что этот процесс должен быть надежным. То есть, убеждения могут считаться обоснованными, если они получены в ходе надежного когнитивного процесса. Слабость такого подхода заключается в том, что надежность процесса приобретения убеждений часто зависит от случайных обстоятельств. Например, обычно данные наших органов чувств считаются вполне надежным источником познания. Однако известно, что в тех или иных конкретных обстоятельствах эти данные вполне могут вводить нас в заблуждение. Таким образом, ссылка на надежность когнитивного процесса превращает обоснованность наших убеждений в случайное обстоятельство. Более предпочтительным выглядит реализация экстерналистской стратегии через использование понятия вероятности. Здесь учитывается, что истинность наши убеждений часто имеет ту или иную степень вероятности. В свою очередь, оценка вероятности убеждений (например, их физической вероятности), как правило, требует привлечения «объективных факторов», выходящих за пределы сознания познающего субъекта. Такого рода теория, которую иногда обозначают как «Бейесианская эпистемология» (по имени английского математика Томаса Бейеса (1702-1761), который занимался теорией вероятностей), получила широкое распространение в философии науки.
В общем виде условие обоснованности принимается подавляющим большинством теоретико-познавательных концепций аналитической философии. Если субъект обоснованно убежден в истинности высказывания А, то он должен располагать адекватными свидетельствами в пользу того, что А имеет место. Рассмотренные выше направления различаются прежде всего трактовкой того, что может быть принято в качестве такого рода адекватных свидетельств. Важно, однако, иметь ввиду, что убеждение, даже будучи хорошо обоснованным, может, тем не менее, оказаться ложным (принцип фаллибилизма, или погрешимости). Так, например, геоцентрическая модель Птолемея располагала многочисленными свидетельствами в свою пользу (включая данные органов чувств), но все же была ложной. Поэтому было бы некорректно утверждать, что Птолемей и его последователи знали, что Солнце вращается вокруг Земли. Существенным условием знания остается истинность соответствующего убеждения.
9.2.1 Проблема Гетье
Итак, традиционное определение знания выделяет в качестве его необходимых и достаточных условий: (1) наличие соответствующего убеждения, (2) истинность этого убеждения и (3) его обоснованность. Эта точка зрения считалась общепринятой и практически не подвергалась сомнению влоть до появления в 1963 году статьи Эдмунда Гетье под весьма примечательным названием «Является ли обоснованное истинное убеждение знанием?»432 Эта небольшая статья (всего 3 страницы!) оказала существенное влияние на ход развития аналитической теории познания в ХХ столетии. Можно даже утверждать, что она решающим образом изменила характер и содержание дискуссий по проблеме знания. Вот как описывает эту ситуацию Джон Поллок:
«В период, непосредственно предшествовавший публикации поворотной статьи Гетье „Является ли обоснованное истинное убеждение знанием?“, этот анализ <знания как обоснованного истинного убеждения> принимался фактически каждым исследователем в области эпистемологии. Затем Гетье опубликовал свою статью и в одночастье изменил направление развития эпистемологии».433
В статье, о которой идет речь, строятся два эффективных контрпримера для традиционного определения знания, убедительно показывающие, что условия (1) – (3) являются необходимыми, но отнюдь не достаточными условиями знания. Иными словами, Гетье демонстрирует, что возможны случаи, когда мы располагаем обоснованным истинным убеждением, которое, тем не менее, не образует знания.
Анализ Гетье опирается на следующие положения. Во-первых, обоснованное убеждение – каким бы надежным не казалось его обоснование – в некоторых случаях вполне может оказаться ложным (см. выше пример с геоцентрической моделью Птолемея). Во-вторых, если убеждение А является обоснованным и из Алогически следует убеждение В, то В также является обоснованным. Общая схема контрпримеров, которые приводит Гетье, такова. Предположим, некто, например Х обоснованно убежден в том, что имеет место А, но при этом А все же является ложным (хотя Х уверен в обратном). Представим себе, что Х логически корректным образом выводит из своего убеждения А новое убеждение В. Ясно, что Х будет убежден в том, что имеет место В и при этом обоснованность этого нового убеждения будет ничуть не ниже, чем обоснованность убеждения А (что обеспечивается процедурой логического вывода). Теперь предположим, что высказывание В, в силу некоторого случайного стечения обстоятельств, оказывается истинным. Тогда имеем: Х обоснованно убежден, что В и В является истинным. То есть, выполняются все три условия традиционного определения знания. Тем не менее оказывается, что в этом случае мы далеко не всегда можем утверждать, что Х знает, что В!
Сконструируем конкретный контпример, следуя принципиальной схеме, предложенной Гетье. Для этого вернемся к уже рассмотренному выше случаю с авторством романа «Два капитана». Предположим, г-н Х никогда не читал этот роман и более того – никогда о нем не слыхал. Однажды Х идет в книжный магазин, видит там последнее издание романа «Два капитана» и покупает его. Книга вышла в очень солидном государственном издательстве, имеющем многолетнюю историю и в высшей степени солидную репутацию, что касается качества полиграфии, редактирования, корректуры и т.п. Раньше Х довольно часто покупал книги этого издательства и он полностью уверен в профессионализме его работников. Однако предположим, что из-за ужасной ошибки и грубого недосмотра, на обложке и во всех выходных данных экземпляра романа, купленного г-ном Х, в качестве его автора обозначен В.Катаев. (Ошибка была в скорости замечена и все бракованные экземпляры были изъяты из продажи, но Х об этом не знает!) Таким образом, г-н Х, конечно же, будет убежден в следующем:
(а) Автором романа «Два капитана» является Катаев.
Это его убеждение будет вполне обоснованным (хотя и ложным!). В самом деле, трудно себе представить более надежные свидетельства в пользу данного убеждения, чем те, которыми располагает г-н Х. Пусть теперь г-н Х логически корректно выводит из убеждения (а) новое убеждение:
(б) Фамилия автора романа «Два капитана» начинается на букву "К".
Ясно, что убеждение (б) ничуть не менее обосновано, чем убеждение (а). Более того, высказывание (б) оказывается, к тому же, истинным! Итак: г-н Х имеет обоснованное истинное убеждение в том, что фамилия автора романа «Два капитана» начинается на букву "К", однако все равно мы не можем утверждать, что Х знает, что фамилия автора романа «Два капитана» начинается на букву "К". Истинность убеждения (б) есть результат случайного совпадения начальных букв двух фамилий, поэтому (б) не образует знания.
Выше, когда рассматривался вопрос, почему недостаточно определять знание просто как истинное убеждение, обращалось внимание на недопустимость принятия в качестве знания положения, которое оказывается истинным благодарая простому эпистемическиму везению. Предполагалось, что именно условие обоснованности позволит исключить такого рода нежелательные ситуации. Однако, как показывают контрпримеры Гетье, это условие само по себе далеко не всегда блокирует разрушительное для знания действие фактора эпистемического везения.
Таким образом, мы сталкиваемся с проблемой, которая и получила название проблемы Гетье: как следует модифицировать традиционное определение знания, чтобы избежать трудностей, связанных с подобными контрпримерами? И если традиционное определение знания как обоснованного истинного убеждения является недостаточным, то какого рода определение может и должно быть предложено вместо него? Проблема Гетье вызвала оживленную дискуссию, которая не завершена до сих пор. Было выдвинуто множество разнообразных предложений, направленных на преодоление этой проблемы, но пока нельзя сказать, что проблема получила окончательное решение. Тем не менее, большинство исследователей сходятся на том, что поскольку стандартные условия (1) – (3) оказываются недостаточными, то традиционное определение знания должно быть расширено за счет дополнительного, четвертого условия, которое предотвратило бы проблемы, связанные с контрпримерами Гетье. Но что это должно быть за условие?
Рассмотрим кратко некоторые из таких возможных дополнительных условий.
(4) Убеждение в том, что имеет место А, не должно быть выведено ни из какого ложного утверждения (то есть, знание не может быть основано на ложном убеждении).434
Это условие является, так сказать, «непосредственной реакцией» на контрпримеры Гетье и его принятие действительно блокирует их. Однако, оказывается, что могут быть сконструированы другие контрпримеры, в которых не задействуются никакие процедуры вывода, но которые достигают аналогичного эффекта. Пусть, например, Х видит мяч, кажущийся ему красным, и на этом основании Х считает, что мяч является красным. Пусть этот мяч действительно красный, то есть убеждение Х является истинным и, по-видимому, вполне обоснованным. Но предположим, что незаметно для Х мяч особым образом освещен, так что, даже если бы он не был красного цвета, он все равно казался бы красным. В этом случае, нельзя утверждать, что Х знает, что мяч красный, несмотря на то, что он имеет об этом обоснованное истинное убеждение, которое к тому же не выведено ни из какого ложного утверждения.435 Более того, данное убеждение получено не путем какого-то логического вывода, а в результате непосредственно эмпирического наблюдения. Тем не менее, оно оказывается истинным только по счастливой случайности – здесь мы опять сталкиваемся с эпистемическим везением и условие (4) не предотвращает его.
(4() Убеждение А должно быть каузально детерминировано тем фактом, который делает А истинным.436
Принятие этого условия характерно для каузальной теории познания. В соответствиии с этой теорией, например, я знаю, что на столе лежит книга, если книга действительно лежит на столе и этот факт причинным образом (путем воздействия на мои органы зрения) обуславливает соответствующее мое убеждение. В целом эта теория представляется слишком узкой. Сомнительно, чтобы все наше знание в самом деле каузально вызывалось конкретными фактами. Не вполне ясно также, как средствами одного лишь каузального объяснения может быть обосновано знание общих высказываний и, тем более, априорное знание.
(4(() Субъект Х имеет убедительные доводы в пользу А, такие что если бы А не имело места, то Х не располагал этими убедительными доводами.437
Это условие, опять же, хотя и предотвращает контрпримеры самого Гетье, все же не срабатывают в других случаях, например в случае с освещенным красным мячом, рассмотренным выше. Тот факт, что Х видит красный цвет мяча является конечно же убедительным доводом в пользу убеждения, что мяч красный. Однако в данном примере, даже если бы мяч был не красный, Х все равно бы видел красный цвет (в силу особой освещенности мяча).
(4((() Не существует никакого истинного высказывания В, такого что если бы оно было добавлено к множеству убеждений субъекта Х, то его убеждение в том, что имеет место А перестало бы быть обоснованным.438
Однако и для этого условия были построены опровергающие его контрпримеры.439
Подводя итоги, можно сделать вывод, что никакая современная концепция знания не может игнорировать проблему Гетье, которая служит своеобразной «лакмусовой бумажкой» адекватности любой такого рода концепций и их объясняющей силы.
«Многие современные эпистемологи считают, что пробема Гетье является эпистемологически важной. Целая ветвь эпистемологии занята поисками точного понимания природы – к примеру, существенных компонентов – пропозиционального знания. Точное понимание пропозиционального знания предполагает анализ такого рода знания с точки зрения проблемы Гетье. Таким образом, эпистемологам необходимо надежное решение проблемы Гетье, каким бы сложным это решение не оказалось».440
9.3 Эпистемическая логика
В качестве эффективного инструмента реконструкции и анализа теоретико-познавательных контекстов и проблем обычно используется особый вид интенсиональной логики – эпистемическая логика. Это направление современной неклассической логики было инициировано пионерской работой Я.Хинтикки «Знание и убеждение» (1962). Основная идея этой работы заключается в интерпретация понятий знания и убеждения как особого рода (эпистемических) модальных операторов, которые добавляются к языку обычной классической логики. Хинтикка, в частности, использует операторы Ка (для знания) и Ва (для убеждения), где выражения Кар и Вар обозначают утверждения "а знает, что р" и "а считает (полагает, убежден, думает), что р" соответственно. "Здесь а есть имя некоторого лица, личное местоимение или, возможно, конечное описание некоторого человека, а р есть независимое повествовательное предложение".441 В дальнейшем изложении, чтобы избежать излишней технической детализации, мы будем использовать эпистемические операторы без явной ссылки на конкретного субъекта познания (т.е. индекс а будет опускаться); при этом всегда неявно подразумевается наличие некоторого фиксированного субъекта. Кр означает тогда "(некто) знает, что р" (или просто "р известно"), Вр – "(некто) полагает, что р". Иногда наряду с операторами знания и убеждения вводятся и другие аналогичные эпистемические операторы, например для «сомневается», «опровергает» и т.п.
Аппарат эпистемической логики позволяет ставить и успешно решать задачи выявления формальных (логических) свойств операторов знания и убеждения (а значит и соответствующих понятий), формулировки аксиом, выражающих эти свойства, и установления взаимосвязи между данными операторами и понятиями. При этом активно задействуются результаты философского анализа понятий знания и убеждения. Начнем с оператора убеждения. Для этого оператора, дополнительно к аксиомам классической логики, можно принять следующие постулаты:
В1. В(р ( q) ( (Вр ( Вq). (Каждый должен быть убежден в истинности всех следствий принимаемых им допущений.)
B2. Bp ( (B(p. (Невозможно одновременно быть убежденным в истинности какого-нибудь высказывания и его отрицания – рациональный субъект не должен принимать противоречия.)
B3. Bp ( BBp. (Если некто считает, что р, то он также убежден в том, что он так считает.)
B4. (Bp ( B(Bp. (Если некто не считает, что р, то он должен быть убежден в том, что он так не считает.)
Первые два постулата говорят о том, что мы имеем здесь дело не с дескриптивным, а с рационализированным понятием убеждения. Это понятие выражает не фактические убеждения того или иного конкретного субъекта в том или ином конкретном случае, а принципы, которым должны подчиняться рациональные убеждения вообще.442 Последние два постулата выражают то обстоятельство, что мы не можем ошибаться касательно того, в чем мы убеждены, а в чем – нет. Субъект всегда имеет определенность относительно высказываний о собственных убеждениях.
Перейдем теперь к оператору знания. Для этого оператора обычно принимаются следующие основополагающие постулаты:
K1. Kp ( p. (Если высказывание известно, то оно истинно; знание высказывания влечет за собой его истинность.)
K2. K(р ( q) ( (Kр ( Kq). (Если известно, что высказывание p влечет за собой высказывание q, а также известно p, то известно и q)
K3. Kp ( KKp. (Если некто знает какое-то высказывание, то он также знает, что он это знает.)
Во многих системах эпистемической логики принимается следующее правило вывода, которому должен подчиняться оператор знания: Если высказывание р является доказанным, то доказанным является и высказывание Кр (правило «навешивания» оператора знания). Согласно этому правилу, познающий субъект знает все теоремы логики (логическое всеведение). Это, конечно, довольно сильная идеализация, к тому же небесспорная. Имеется обширная логико-философская литература, посвященая обсуждению этого принципа и рассмотрению различных доводов за и против его принятия.
Следующей важной задачей является установление взаимосвязи между операторами знания и убеждений. Эта взаимосвязь, в основном, фиксируется посредством следующего постулата:
KB1. Kp ( Bp. (Если некто знает, что р, то он также считает, что р.)
Постулаты К1 и КВ1 отражают то понимание, что необходимыми условиями знания высказывания являются как его истинность, так и убежденность в нем со стороны некоторого субъекта. В некоторых системах эпистемической логики эти условия считаются также и достаточными, в результате чего получаем следующее определение знания:
Определение 1. Кр ( Вр ( р. (Некто знает, что р, если и только если он убежден, что р и р является истинным.)
Несмотря на то, что, как было показано в предыдущем параграфе, с философской точки зрения это определение является явно неполным, его вполне можно использовать для целей логического анализа в качестве рабочего определения. Если же ввести дополнительный «оператор обоснованности» – Jp (читается как "р является обоснованным"), то можем сформулировать следующее определение знания как обоснованного истинного убеждения:
Определение 2. Кр ( Вр ( Jp ( р.
Перечисленные постулаты делают возможным формальный анализ понятий знания и убеждения в рамках определенной системы аксиом. Такой анализ осуществляется в ходе доказательства новых теорем. В качестве примера, покажем, как доказывается теорема, выражающая невозможность противоречивости знания: Кр ( (К(р. В скобках после каждого шага доказательства дается обоснование данного шага.
1. Kp ( Bp (постулат КВ1)
2. Bp ( (B(p (постулат В2)
3. Kp ( (B(p (из 1 и 2 по транзитивности)
4. K(p ( B(p (частный случай постулата КВ1)
5. (B(p ( (K(p (из 4 по контрапозиции)
6. Kp ( (K(p (из 3 и 5 по транзитивности).
То есть, если некто знает, что р, то неверно, что он знает (р – нельзя одновременно знать как р, так и (р, что и требовалось доказать.
Другая интересная теорема, устанавливающая связь между понятиями знания и убеждения, непосредственно следует из постулатов К3 и КВ1: Kp ( ВKp. Эта теорема по существу говорит о том, что если мы что-то знаем, то мы обязательно должны быть убеждены в самом факте нашего знания.
Философское значение эпистемической логики заключается также в том, что сама постановка вопроса, следует ли принимать в качестве аксиом те или иные эпистемические формулы, способна стимулировать обсуждение соответствующих эпистемологических проблем, в частности проблемы философского обоснования соответствующих эпистемологических принципов. Так например, из вышеприведенных аксиом нельзя вывести следующие формулы: Вp ( КВp и (Вp ( K(Вp, которые утверждают, что если мы в чем-то убеждены или не убеждены, то сам факт наличия или отсутствия этого убеждения должен быть нам известен. Можно было бы рассмотреть возможность принятия этих формул в качестве дополнительных аксиом. Это, однако, требует предварительного содержательного оправдания данных принципов.
9.4 Реализм и антиреализм: теоретико-познавательный аспект
Спор о реальности или нереальности «внешнего мира» вообще и объектов познания в частности, известный как спор между представителями реализма и его противниками и имеющий очень солидную философскую традицию, занимает также видное место в современной аналитической философии и эпистемологии. Следует отметить, что на ранней стадии развития аналитической философии, прежде всего во взглядах раннего Витгенштейна и представителей Венского кружка (Карнап), довольно распространенной была позиция, объявлявшая такого рода спор и его исходный вопрос просто бессмысленным, беспредметным и разделяющим в этом отношении судьбу остальных «метафизических псевдовопросов».443 Однако примерно в тоже самое время Мур и другие представители британского крыла аналитической философии восприняли этот вопрос вполне серьезно, посвятив много усилий «опровержению идеализма» и отстаиванию «здравого смысла».
Говоря максимально обобщенно, любая версия реализма утверждает «объективное» существование определенного рода сущностей, и в зависимости от характера этих сущностей можно вести речь об онтологическом (метафизическом), теоретико-познавательном, научном, математическом, этическом и т.п. реализме. При этом, в основе любой разновидности реализма лежит онтологический реализм, предполающий принятие двух следующих онтологических тезисов:
(1) Имеется непустая область объектов, называемая «внешним миром», элементы которой «реально» существуют.
(2) Эти объекты существуют, обладают различными свойствами и находятся в различных отношениях друг к другу независимо от чьих-либо ощущений, суждений, убеждений, мыслей, языковой практики, концептуальных схем и т.п.
Итак, всякий реализм имеет как минимум два аспекта:
"Во-первых, это утверждение о существовании. Столы, камни, луна и так далее, существуют, точно также как и следующие факты: бытие стола в качестве квадратного, бытие камня как состоящего из гранита, бытие луны в качестве шарообразной и желтой. Второй аспект реализма ... касается независимости. Тот факт, что луна существует и является шарообразной не зависит ни от чьих слов или мыслей, когда-либо высказанных или подуманных по этому поводу".444
Как уже было сказано, существует множество разновидностей реализма. Так, если утверждается независимое от сознания существование таких абстрактных объектов как множества, числа, общие понятия, то тогда мы имеем дело с понятийным реализмом или платонизмом; если речь идет о том, что основные научные понятия представляют действительно существующие объекты и процессы, то имеет место научный реализм; если же принимается объективное существование моральных норм и ценностей, то налицо – этический реализм. «Наивный» реализм рассматривает, в качестве реально существующих, совокупность обычных «макроскопических» предметов окружающего нас мира. Теоретико-познавательный реализм добавляет к вышеупомянутым онтологическим тезисам еще один, так называемый эпистемологический тезис:
(3) Реально существующие и образующие «внешний мир»объекты могут быть предметом человеческого опыта и познания.
Можно отметить, что хотя эпистемологический тезис и предполагает принятие обоих онтологических тезисов, вполне возможно принять тезисы (1) и (2) без того, чтобы разделять тезис (3). Примером здесь может служить трансцендентальный идеализм Канта, с его признанием объективного существования «вещи в себе», которая, тем не менее, не может быть дана нам в качестве предмета познания.
Вообще, позиция, противоположная реализму, может быть сформулирована по-разному, в зависимости от того, отрицается у тех или иных сущностей «модус существования» или же «модус независимости от сознания». Так, например, номинализм, инструментализм и ряд других аналогичных течений, отвергают первый онтологический тезис. Позиция же, отвергающая второй онтологический тезис, обычно называется идеализмом, классическим представителем которого был Беркли, утверждавший, что все без исключения предметы имеют ментальную природу и являются идеями нашего сознания. В современной философии идеализм берклианского толка давно уже вышел из моды, и в аналитической философии отрицание тезиса (2) обычно принимает форму семантического антиреализма, который был выдвинут и особенно интенсивно разрабатывался в работах Майкла Даммита.445
Но прежде чем перейти к более подробному рассмотрению концепции Даммита, остановимся на некоторых общих моментах, характерных для спора между реалистами и их оппонентами. Прежде всего важно отметить, что в чистом виде, как реализм, так и его противоположность встречаются довольно редко. Как правило, эти позиции проявляются в виде определенной тенденции. Кроме того, многие философы являются реалистами относительно одних сущностей и антиреалистами – относительно других. Например, Рассел занимает довольно отчетливую позицию метафизического реализма и платонизма, когда в «Проблемах философии» утверждает существование особого «мира универсалий». В то же время, в его теории познания явно проявляются идеалистические элементы, когда он требует сводимости всякого знания к знанию по знакомству, а последнее основывает на знакомстве с нашими чувственными данными. Далее, несмотря на то, что на первый взгляд кажется, что реализм выражает точку зрения здравого смысла, критическое рассмотрение позволяет выявить в нем ряд слабых мест, на которые и обращают внимание его противники. Прежде всего, это проблемы эпистемологического характера. В самом деле, если мир совершенно не зависит от нашего сознания, то как вообще возможно адекватное знание об этом мире? Аналогичная проблема может быть поставлена касательно взаимоотношения языка и мира: если предполагается, что выражения языка призваны обозначать (представлять, описывать) явления, предметы, факты и т.п. внешнего мира, то каким образом обеспечивается и как вообще возможна такого рода репрезентативная связь между ними? Здесь мы сталкиваемся с проблемой репрезентации. Поэтому реализм часто обвиняют в том, что он, по крайней мере в тенденции, ведет к скептицизму, так как реалистическая позиция неизбежно означает разрыв между сознанием и миром.
Сравнительно недавно спор между реализмом и антиреализмом вновь вышел на передний план, благодаря работам Даммита, в которых он попытался перевести дискуссию из области метафизики в область семантики и философии языка. Такого рода «переключение» является типичным для аналитической философии. Не в последнюю очередь это достигается за счет переформулировки самой исходной проблемы в семантических терминах. Даммит начинает с того, что определяет (и, по существу, вводит) понятие семантического реализма и дает характеристику его основных принципов. Затем он подвергает эти принципы критике и противопоставляет этой позиции свою концепцию семантического антиреализма. В целом, в семантической интерпретации Даммита, основное расхождение между реализмом и антиреализмом лучше всего может быть охарактеризовано не как спор о существовании или несуществовании тех или иных сущностей, а как спор об определенных семантических свойствах определенного класса высказываний. Даммит пишет:
«Я характеризую реализм как положение, в соответствии с которым утверждения, входящие в обсуждаемый класс, обладают объективным истинностным значением, независимо от наших средств его познания: они являются истинными или ложными в силу реальности, существующей независимо от нас. Антиреализм противопоставляет этому точку зрения, что утверждения обсуждаемого класса могут быть поняты только через отсылку к такого рода вещам, которые мы рассматриваем в качестве основания для утверждений этого класса».446
Итак, в результате «семантического переосмысления», проблема реализма смещается в плоскость прояснения условий истинности того или иного предложения (или класса предложений). При этом как реалисты, так и антиреалисты практически не расходятся в трактове эффективно проверяемых высказываний. Проблема возникает только тогда, когда речь заходит о предложениях, условия истнности которых невозможно установить в принципе. Например, в случае неразрешимых предложений математики, или утверждений, проверка истинности которых потребовала бы задействовать процедуры, заведомо превосходящие все мыслимые человеческие способности. Типичным примером такого рода утверждений являются некоторые высказывания о далеком прошлом, вроде следующего: «Миллион лет назад данный участок земли был покрыт льдом». Про такие высказывания говорят, что они имеют «реалистские условия истинности», то есть условия истинности, которые принципиально «выходят за пределы всякого возможного распознавания» (или обоснования). Но даже относительно таких предложений реалист, в отличие от антиреалиста, утверждает, что они обладают определенным истинностным значением, пусть мы никогда и не узнаем, каким именно.
Таким образом, семантический реализм принимает принцип бивалентности, утверждая, что любое высказывание является истинным либо ложным, независимо от того, располагаем ли мы возможностью однозначно установить истинностное значение этого высказывания. Впрочем, принятие принципа бивалентности не столько характеризует реалистическую позицию по существу, сколько является наиболее показательным индикатором этой позиции. Если же попытаться дать более полную содержательную характеристику семантического реализма, то следует отметить, что он опирается на такие принципы: (1) только что упомянутый принцип бивалентности; (2) принцип трансцендентности, в соответствии с которым любое высказывание обязательно обладает истинностным значением, даже если возможность его установления принципиально выходит за пределы человеческих способностей (т.е. допускаются такие условия истинности, которые даже потенциально не могут быть обоснованы); (3) принцип понимания, в соответствии с которым понять высказывание – значит указать условия его истинности (даже если эти условия никогда не могут быть установлены); (4) принцип независимости, в соответствии с которым факты имеют место независимо от описывающих их высказываний; (5) принцип корреспонденции, утверждающий, что высказывание является истинным, если оно соответствуют некоторому факту.
Семантический антиреализм отбрасывает все эти принципы. Даммит выдвигает два основных довода против семантического реализма, так называемые «довод приобретения» и «довод проявления». Первый из этих доводов ставит под сомнение саму возможность овладения языком (или приобретения языковых знаний), при допущений реалистских условий истинности. В самом деле, мы обучаемся языку (учимся понимать предложения того или иного, в том числе и нашего собственного, языка) посредством научения принимать эти предложения в качестве истинных в определенных ситуациях, и отвергать их как ложные в других ситуациях. А это предполагает способность распознавать, в каких случаях то или иное положение дел имеет место, а в каких случаях – нет. Но если предложение обладает реалистскими условиями истинности, то по самой своей природе наличие соответствующего положения дел никогда не может быть обосновано (или распознано). Следовательно, если бы принципы семантического реализма были приняты, мы никогда не смогли бы понять такого рода предложений, а значит, никогда не смогли бы овладеть даже собственным языком. Другой довод против семантического реализма обращает внимание на то, что наше понимание предложений языка должно проявляться в определенных практических действиях, связанных, в частности, с использованием языка. Если речь идет об эффективно проверяемых предложениях, то их понимание проявляется в практической способности отличать те ситуации, в которых они являются истинными от ситуаций, в которых они являются ложными и в соответствующих действиях. Но при помощи какого рода практических способностей можем мы проявить (продемонстрировать) наше понимание предложений, обладающих реалистскими условиями истинности, то есть условиями истинности, которые принципиально не могут быть установлены на практике? Даммит утверждает, что таких практических способностей просто не существует.
Таким образом, мы имеем здесь два типа возражений, которые ставят под сомнение возможность решения реализмом репрезентационной проблемы. «Довод приобретения» утверждает, что если пытаться реконструировать взаимоотношение между сознанием и независимым от сознания миром на основе реалистских принципов (1) и (2), то невозможно объяснить, каким образом мы приобретаем знание того или иного языка. В соответствии же с «доводом проявления», когнитивное и языковое поведение субъекта не предоставляет никаких свидетельст в пользу того, что такого рода взаимосвязь вообще существует.
Один из возможных «реалистских ответов» на первое возражение заключается в том, что для понимания предложений, в том числе обладающих реалистскими условиями истинности, вовсе не обязательно всегда уметь точно распознавать ситуации, при которых они являются истинными. Для этого – в соответствии с принципом композициональности – вполне достаточно понимать значения его конституент и способ связи этих конституент друг с другом. Именно таким образом мы и научаемся понимать подавляющее большинство предложений нашего языка, а вовсе не через эффективное распознавание условий их истинности. В ответ на второе возражение, защитники реализма часто ссылаются на обычную рассужденческую практику, в ходе которой мы убедительно демонстрируем наше понимание даже неразрешимых высказываний тем, что успешно применяем к ним принципы классической логики и осуществляем на их основе разнообразные логические выводы. Другой возможный ответ на это возражение заключается в том, что наряду с непосредственным указанием условий истинности предложений, допускаются и иные способы проявления нашего понимания.
«В случае разрешимых предложений носитель языка может проявить понимание условий истинности непосредственным образом, через осуществление подходящей процедуры, ведущей к распознанию этого утверждения как истинного или ложного. Когда утверждение не является эффективно разрешимым, ... носитель языка очевидно не может проявить понимание его условий истинности путем определения его истинностного значения. Однако напрашивается мысль, что он, тем не менее, может продемонстрировать свое понимание и иным способом».447
По существу, концепция семантического антиреализма тесно связана с верификационизмом. Высказывание объявляется осмысленным, если имеется эффективный метод распознавания тех условий, при которых оно является истинным или ложным, то есть, если высказывание оказывается верифицируемым. Причем верифицируемость здесь следует понимать в достаточно широком смысле: в случае физических утверждений речь может идти об экспериментальной проверяемости, в случае математических утверждений – о доказуемости и т.д. Другой важной особенностью концепции Даммита является настороженное отношение к классической логике (поскольку в ней принимается принцип бивалентности) и стремление заменить ее интуиционистской логикой с ее конструктивным понятием истины и отрицанием закона исключенного третьего.
9.5 Парадокс познаваемости и кризис антиреализма
Довольно чувствительный удар по антиреализму в целом и по его верификационистской разновидности в частности был нанесен с открытием так называемого «парадокса познаваемости», обычно приписываемого Ф.Фитчу. В литературе часто встречается обозначение этого парадокса именно как «парадокса Фитча». Действительно, Фитч был первым, кто (в 1963 году) опубликовал парадокс познаваемости,448 хотя при этом и отметил, что обязан данным открытием анонимному рецензенту его статьи, представленной в 1945 году для публикации в Journal of Symbolic Logic. Впрочем, еще больше десяти лет после своего опубликования, парадокс, о котором идет речь, оставался практически не замеченным. Лишь после того как в 1979 году этот парадокс был фактически переоткрыт Хартом,449 охарактеризовавшим его как «несправедливо игнорируемую логическую жемчужину», он стал предметом углубленного анализа в работах многих исследователей, работающих в области логики и эпистемологии.
Парадокс познаваемости примечателен прежде всего тем, что он дает один из самых ярких примеров необычайной плодотворности применения логического анализа для исследования философских проблем, в частности, проблем эпистемологии. В этом плане он является парадигматическим для аналитической философии. По существу, здесь чисто логическими средствами демонстрируется, что классический тезис о познаваемости мира (тезис теоретико-познавательного оптимизма) влечет за собой абсурдные следствия и является самопротиворечивым. А значит, данный тезис должен быть отброшен, или же, по крайней мере, пересмотрен с целью его существенной корректировки.
Интересно отметить, что теоретико-познавательный оптимизм является одним из ключевых принципов концепции семантического антиреализма Даммита. Согласно принимаемой им верификационистской теории истины, предложение может иметь истинностное значение в том и только том случае, когда оно является верифицируемым, или эффективно проверяемым. Значит, если высказывание является истинным, то возможен эффективный метод проверки его истинности. Очевидно, что при таком понимании любая истина является познаваемой, иными словами, любое истинное высказывание в принципе может быть познано. Здесь тезис познаваемости формулируется без дополнительной отсылки к какой-либо «внешней реальности», то есть, в терминах одних лишь лингвистических и семантических понятий, и прежде всего, понятия истины.
Однако учитывая, что каждое истинное утверждение с необходимостью репрезентирует некоторый факт, а именно, тот факт, который делает его истинным, антиреалистский тезис познаваемости естественным образом может быть переформулирован и в терминах возможности познания фактов. Важно иметь ввиду, что, с точки зрения антиреализма, факты не есть нечто объективное и независящее от нашей языковой и познавательной практики. Вести речь о существовании того или иного факта можно только в том случае, если имеется эффективный метод проверки, позволяющий установить это существование. Как следствие, антиреализм верификационистского толка отрицает существование непознаваемых фактов; любой факт, если он действительно имеет место, может быть познан.
В данном утверждении речь идет о возможности познания фактов. С логической точки зрения, это означает, что здесь задействуется комбинация оператора возможности – "(", и оператора знания – "K". Пусть высказывание А представляет некоторый факт. Тогда "(А" означает "возможно, что А", а "KА" означает "известно, что А"; выражение же "факт А может быть познан" запишется как "(KА". В целом же тезис "Если факт А имеет место, то он в принципе может быть познан" в символической записи примет следующий вид:
А ( (KА. (Принцип познаваемости)
Парадокс, однако, заключается в том, что этот принцип, в совокупности с некоторыми другими, довольно очевидными условиями, принимаемыми для оператора знания, влечет за собой определенные абсурдные следствия. Покажем, как это происходит. Прежде всего, будем иметь в виду, что для оператора знания должны выполняться следующие принципы.
KА ( А. (I)
K(А ( В) ( (KА ( KА). (II)
Первое условие есть не что иное как постулат К1 из § 9.3, который утверждает, что знание факта влечет за собой его наличие. Если какой-либо факт известен, то этот факт действительно имеет место. В самом деле, если мы действительно знаем, что какой-либо факт существует, то невозможно себе представить, что его нет, в противном случае наше «знание» оказалось бы вовсе не знанием, а заблуждением. Условие (II) представляет собой распределенность знания относительно конъюнкции. Если мы знаем сложный (конъюнктивный) факт «А и В», то мы знаем как А, так и В. Это утверждение вполне очевидно и вряд ли нуждается в каком-то дополнительном обосновании. Оно может быть легко доказано в рамках эпистемической логики, в которой принимается аксиома К2, а также правило «навешивания» оператора знания (см. § 9.3).
Теперь предположим, что имеет место какой-то конкретный факт (обозначим его р), который в настоящий момент еще неизвестен. То есть:
р ( (Kр.
Применив к этому предположению принцип познаваемости, получим:
(K(р ( (Kр).
Принцип распределенности оператора знания относительно конъюнкции (условие II) позволяет вывести отсюда:
((Kр ( K(Kр).
Наконец, применяя к выражению K(Kр постулат К1 (условие I) о том, что знание факта влечет его наличие (K(Kр ( (Kр), выводим следующее утверждение:
((Kр ( (Kр).
Содержательно данное утверждение читается как "возможно, что факт р известен и не известен одновременно" – очевидное противоречие! Это означает, что наше исходное предположение было неверным, а верно его отрицание:
((р ( (Kр)
В рамках классической логики это эквивалентно следующему утверждению:
р ( Kр.
Иными словами: Если факт имеет место, то он уже сейчас (актуально) является известным, то есть, любой имеющий место факт в настоящее время оказывается известным! Абсурдность данного утверждения бросается в глаза. Однако, как показал несложный логический анализ, это абсурдное утверждение является неизбежным следствием тезиса о познаваемости мира. В этом и состоит парадокс познаваемости – из того, что мир познаваем, следует, что мир познан.
Каким же образом следует реагировать на эту ситуацию? В ходе анализа парадокса познаваемости различными исследователями было предложено несколько возможных вариантов такой реакции. Прежде всего представляют интерес попытки спасти принцип познаваемости (пусть даже в несколько усеченном виде) путем выработки той или иной стратегии решения возникшего парадокса. В целом, эти попыки можно разделить на две большие группы: (1) пересмотр тех или иных логических принципов, которые задействуются в процессе вывода парадокса; (2) принятие тех или иных ограничений для самого принципа познаваемости.
В соответствии со стратегией первого типа, причину получения парадоксального следствия следует искать в самом процессе его логического вывода. В этом случае парадокс может быть блокирован, если модифицировать те или иные логические принципы, применяемые в процессе вывода. Одно из предложений состоит в том, что нужно отказаться от применения в эпистемических контекстах классической логики. В частности, поскольку в интуиционистской логике невозможен преход от ((р ( (Kр) к р ( Kр, то вместо классической следует использовать интуиционистскую логику. Тем более, что в интуиционистской логике истинность высказывания, будучи конструктивным понятием, часто интерпретируется в смысле его верифицируемости (возможности построения определенной конструкции, обосновывающей высказывание). Таким образом, вывод нежелательного утверждения предотвращается на предпоследнем шаге. Однако, по мнению многих исследователей, замена классической логики на интуиционистскую все же не спасает принцип познаваемости. Во-первых, даже в рамках интуиционистской логики, из этого принципа остается выводимым утверждение ((р ( (Kр), смысл которого заключается в том, что не существует неизвестных фактов. Это уже само по себе достаточно парадоксально. Кроме того, хотя в интуиционистской логике из этого утверждения и не следует высказывание вида р ( Kр, но вполне следует его контрапозиция: (Kр ( (р. То есть, если факт неизвестен, то его не существует. Это последнее утверждение также выглядит довольно-таки нелепо. Почему, из того, в общем-то случайного, обстоятельства, что в настоящее время тот или иной факт никому неизвестен, должно следовать, что этого факта вообще не существует? Ведь то что неизвестно сегодня, вполне может стать известным завтра. Поэтому, можно сделать вывод, что для преодоления парадокса познаваемости замена классической логики на интуиционистскую оказывается неэффективной. Имеются также предложения использовать вместо классической не интуиционистскую, а какую-нибудь другую логику, например паранепротиворечивую, или логику конструктивной ложности Нельсона. Эти предложения, однако, страдают тем недостатком, что они во-многом делаются ad hoc, то есть, единственным доводом в пользу использования той или иной логической системы, является просто тот факт, что в ней вывод парадоксального утверждения обрывается на том или ином шаге. Однако вряд ли само по себе это может служить достаточным доводом для отказа от классической логики. Так что в целом, стратегия преодоления парадокса познаваемости путем простого ограничения используемых логических средств нуждается в дополнительном обосновании и сомнительно, что это обоснование вообще может быть дано.
Другая стратегия элиминации парадокса познаваемости состоит в том, чтобы каким-то образом ограничить (модифицировать) сам принцип познаваемости, так чтобы вывод парадоксального следствия из такого модифицированного принципа стал невозможен. В качестве примера, можно привести предложение Н.Теннанта ограничить принцип познаваемости так, чтобы он распространялся только на те высказывания, которые Теннант называет «картезианскими»450. Высказывание А называется картезианским, если и только если утверждение, что А известно (KA) непротиворечиво. Тогда модифицированный принцип познаваемости формулируется следующим образом:
А ( (KА, где А является картезианским.
Парадокс познаваемости в этом случае вывести невозможно, поскольку подстановка высказывания р ( (Kр вместо А оказывается теперь невозможной. В самом деле, как было показано выше, высказывание K(р ( (Kр) является противоречивым, а значит утверждение р ( (Kр не является картезианским. Основные возражения против модификации Теннанта, как и ограничительной стратегии вообще, разделяются на два класса: во-первых, опять же обращают внимание на то, что чаще всего единственным доводом в пользу этих ограничений оказывается то обстоятельство, что их принятие препятствует выводу парадоксального утверждения; во-вторых, в большинстве случаев можно показать, что хотя то абсурдное следствие, о котором речь шла выше, действительно оказывается невыводимым, но все же, даже при наличии тех или иных ограничений (например, «картезианского ограничения»), из принципа познаваемости вытекают другие, не менее абсурдные следствия. Мы не имеем здесь возможности подробно разбирать эти возражения. Отметим только, что «картезианское ограничение», предлагаемое Теннантом, в некотором смысле оказывается слишком сильным, поскольку оно превращает принцип познаваемости в своего рода тавтологию. Действительно, требование, чтобы высказывание А являлось картезианским, означает, что знание А не должно быть логически невозможным, то есть, если А является картезианским высказыванием, то логически возможно знать А. В этом случае, все о чем говорит нам модифицированный принцип познаваемости, сводится к следующему: "Если А таково, что его знание является логически возможным, то знание А возможно." Ясно, что такого рода принцип не слишком информативен, в отличие от классического тезиса о познаваемости мира.
Подводя итоги обсуждению парадокса познаваемости, можно сделать вывод, что его открытие явилось одним из самых интересных и значительных достижений аналитической эпистемологии последних десятилетий. По существу, этот парадокс ставит под сомнение интерпретацию верификационизма в смысле потенциальной способности предложений быть проверяемыми. Если верификационизм и может быть сохранен, то лишь в его самом жестком варианте – как требование наличия актуальной верификации (а не потенциальной верифицируемости) для каждого осмысленного предложения. В любом случае, несмотря на все попытки спасти принцип познаваемости мира, пока нельзя сказать, что они были достаточно успешны. Допущение потенциальной познаваемости неизбежно приводит к абсурдному выводу об актуальном всезнании познающего субъекта. А значит, сам тезис о познаваемости является абсурдным и должен быть отброшен. Мир никогда не может быть познан до конца – существуют факты, которые неизвестны, не могут быть известны и всегда останутся таковыми.
9.6 Динамика знаний и убеждений
Примечательной особенностью эпистемической логики в стиле Хинтикки (§ 9.3) является ее статичность. При построении такого рода логических систем существенным образом задействуется идеализация, в соответствии с которой эпистемические утверждения относятся к определенному (фиксированному) моменту времени, а также запрет на привлечение новой информации и на изменение субъектом своего мнения в ходе рассуждения. Неоднократно обращалось внимание на то, что эти идеализации не позволяют адекватно объяснить, каким же образом происходит рост нашего знания и как вообще такой рост оказывается возможным. Поэтому, в последние годы в аналитической эпистемологии все большее значение приобретает проблема динамики знаний. Можно даже утверждать, что здесь происходит своеобразный «динамический поворот», выражающийся в том, что в теоретико-познавательных концепциях центр тяжести постепенно смещается в сторону построения особых когнитивных моделей, призваных эксплицировать сам процес изменения наших знаний и убеждений и сформулировать основные принципы такого рода изменений. Это во многом происходит под влиянием потребностей computer science, которая находит в теории познания своего рода философский фундамент для своих концептуальных построений. Показательна в этом отношении вышедшая в 1988 году книга Питера Герденфорса (род. в 1949, ныне профессор по когнитивным наукам в университете г. Лунд, Швеция) «Знание в движении», имеющая подзаголовок «Моделирование динамики эпистемических состояний»,451 которая в значительной степени обобщает многочисленные исследования, образующие новое перспективное направление современной научной эпистемологии, за которым закрепилось общее название "belief revision" (ревизия убеждений).
Как уже отмечалось выше, в аналитической философии имеется широкий консенсус относительно того, что сущности, с которыми должна иметь дело теория познания, нельзя ограничивать только сферой собственно знания, так как это означало бы неоправданное сужение самого предмета эпистемологии. При построении теоретической модели познавательной деятельности, необходимо учитывать не только те ее результаты, которые обладают стопроцентной достоверностью и являются несомненно истинными (то есть, знание в строгом смысле), но также и все те положения, которые субъект «всего лишь» считает истинными. Совокупность таких положений образует «мнения» субъекта (по тому или иному вопросу), или множество его "убеждений" (в широком смысле).452 Это вовсе не означает, что понятие знания является излишним и должно быть полностью элиминировано. Скорее, речь идет о переходе к более общему понятию, объединяющему старые категории знания и мнения, – понятию эпистемического состояния субъекта.
Сам процесс познания может быть представлен теперь не как движение от незнания к знанию, а как смена одних убеждений другими, осуществляемая в ходе их перманентного критического пересмотра. Собственно говоря, не подлежит сомнению тот факт, что время от времени, в силу различных причин (например, в результате изменения нас самих или изменения окружающей нас действительности), мы подвергаем наши убеждения пересмотру, с целью решить, какие из них устарели и должны быть отброшены, а какие нужно сохранить и, быть может, развить дальше. Это как раз и делает актуальным проблему построения адекватных когнитивных моделей, которые позволили бы объяснить, каким образом происходит изменение убеждений и как вообще возможно само это изменение.
Герденфорс подчеркивает, что разрабатываемая им эпистемологическая теория является «концептуалистской», в том смысле, что она
«не предполагает никакой отсылки к 'внешнему миру' вне эпистемических состояний субъекта. Это правда, что эпистемические импульсы, в общем, имеют своим источником такую 'реальность', но я утверждаю, что эпистемические состояния и изменения таких состояний, также как и критерии рациональности, управляющие эпистемической динамикой, могут и должны быть сформулированы независимо от фактических связей между эпистемическими импульсами и внешним миром».453
Иными словами, данная теория является онтологически нейтральной и одинаково совместимой как с реализмом, так и с антиреализмом. Равным образом, здесь не затрагивается вопрос о конкретной природе «эпистемических импульсов», то есть о том, почему люди пересматривают свои убеждения. Причины, которые время от времени побуждают людей пересматривать то, во что они раньше верили, в большинстве случаев выходят за рамки чистой теории познания и их рассмотрение не является собственно эпистемологическим вопросом. Далее, для построения эпистемологической теории абсолютно не существенны психолингвистические (или психофизические) процессы, происходящие в голове субъекта в тот момент, когда он меняет свое мнение, и обеспечивающие психологический механизм такого изменения. По существу, знания и убеждения субъекта рассматриваются здесь как некоторое объективированное знание, как мир объективного содержания мышления («третий мир» Карла Поппера). Этот «мир» представляет собой некоторую (и довольно сильную) эпистемологическую идеализацию, необходимую для создания теоретической модели познавательной деятельности. При таком понимании, вопрос о конкретном материальном носителе убеждений перестает быть существенным, и наличие человеческого мозга вообще не является обязательным. В принципе, такого рода убеждения могут быть смоделированы как результат деятельности «идеального субъекта», например, как состояние компьютера или компьютерной программы.
Основными понятиями, образующими каркас рассматриваемой когнитивной модели, являются понятие «эпистемического состояния» и понятие «познавательной операции».454 Первое из этих понятий служит для представления возможного состояния познающего субъекта в некоторый момент времени. Предполагается, что такого рода состояние является заданным, если известны все те положения, которые индивид принимает в данный момент времени, то есть, в истинности, которых он убежден. Таким образом, эпистемическое состояние субъекта есть ни что иное, как множество его убеждений в широком смысле. С логической точки зрения оно может быть описано как некоторое множество высказываний (а именно, множество всех тех высказываний, относительно которых субъект верит, что они являются истинными).
Важно отметить, что аналитическая эпистемология, как правило, имеет дело с рациональным субъектом, то есть, субъектом, познавательная деятельность которого организована рациональным образом. В этой связи возникает вопрос о том, когда субъект может считаться рациональным, а это есть вопрос о критериях рациональности, которым должны подчиняться эпистемические состояния субъекта. Герденфорс принимает следующие два требования рациональности:
(1) Множество убеждений субъекта должно быть непротиворечивым.
(2) Субъект обязан принимать все логические следствия принимаемых им убеждений.
Убеждения, удовлетворяющие данным требованиям, считаются рациональными.455 Эти требования являются, впрочем, довольно сильными идеализациями. Так, например, в действительности убеждения субъекта иногда (а возможно и часто) могут противоречить друг другу. Можно, однако, считать, что противоречивые убеждения не представляют особого теоретического интереса, поскольку не совсем ясно, каким образом такого рода убеждения могут быть подвергнуты рациональному анализу. Поэтому, если вдруг обнаруживается, что множество убеждений индивида является противоречивым, то такое положение дел считается ненормальным и рациональный индивид, в соответствии с требованием непротиворечивости, обязан предпринять все необходимые действия для устранения противоречия, или, по крайней мере, для его изоляции. Что касается второго требования, то его не следует понимать в том смысле, что субъект действительно осознает все логические следствия своих убеждений. Скорее, это требование отражает эпистемические обязательства рационального субъекта. Так, например, если индивид верит, что все люди смертны, а также верит, что Сократ человек, то тогда он обязан принять утверждение, что Сократ смертен, даже если он явным образом никогда не задумывался над этим последним вопросом. Если же этот индивид, вопреки своим первым двум убеждениям, будет отказываться принять истинность последнего утверждения, то такой индивид будет признан нерациональным (или иррациональным), что, по-видимому, является вполне обоснованным.
Второе требование иногда формулируется еще и следующим образом:
(2() Множество убеждений субъекта должно быть замкнуто по отношению логического следования.
Формально это может быть представлено с помощью особой операции замыкания – Cn. Пусть Х есть некоторое множество высказываний. Тогда Cn(Х) есть множество всех логических следствий из Х, которое называется замыканием Х. Операция Cn должна удовлетворять следующим стандартным условиям:
(а) X ( Cn(X);
(b) Если X ( Y, то Cn(X) ( Cn(Y)
(c) Cn(X) = Cn(Cn(X)).
Используя операцию замыкания, и принимая во внимание критерии рациональности, вводится следующее понятие «системы убеждений»:
Определение 1. Х есть (неабсурдная) система убеждений, если и только если: (1) Существует высказывание А, такое что А ( Х; (2) X = Cn(X).
Если первое условие данного определения не выполняется, то это означает, что система убеждений включает все возможные утверждения языка, а значит, является противоречивой. Такая система убеждений называется абсурдной. 456
Следующее важное понятие – это понятие «познавательной операции» или «познавательного действия». Именно это понятие дает возможность отразить основные типы изменения наших систем убеждений. Пусть К есть некоторая система убеждений. Тогда относительно К возможны следующие познавательные операции, которые могут привести к изменению К:
1. Расширение. Эта операция применяется, когда мы хотим расширить наши убеждения за счет добавления новых убеждений к уже имеющимся. При этом мы надеемся, что полученная в результате новая система убеждений будет непротиворечивой, хотя одна лишь операция расширения сама по себе, конечно, не может этого гарантировать. Обозначим операцию расширения посредством "+". Таким образом, если К – имеющаяся система убеждений, а А – некоторое высказывание, то К + А есть результат расширения К посредством высказывания А.
2. Сокращение. Эта операция применяется, когда мы считаем нужным отказаться от некоторого убеждения, иными словами, когда мы удаляем это убеждение из нашей системы убеждений. Эта операция обозначается посредством "(": К ( А есть результат сокращения системы убеждений К за счет высказывания А.
3. Ревизия. Эта операция применяется, если мы пришли к необходимости признать истинность некоторого высказывания, которое является несовместимым с нашей прежней системой убеждений. В этом случае мы добавляем данное высказывание к нашей системе убеждений, и одновременно осуществляем пересмотр (ревизию) наших старых убеждений с целью сделать их совместимыми с вновь принятым высказыванием. Если операцию ревизии обозначить посредством "*", то тогда К * А будет результатом ревизии системы убеждений К относительно высказывания А.
Ни одна из этих познавательных операций не сводится к простому механическому одноразовому действию. Так, например, если мы расширяем имеющуюся систему убеждений за счет некоторого высказывания, недостаточно просто добавить это высказывание к множеству старых убеждений. Ведь то, что получится в результате, также должно быть системой убеждений, то есть, по определению 1, новое множество убеждений должно быть замкнуто по отношению логического следования. Иными словами, при добавлении нового убеждения к уже имеющимся, мы должны добавить к ним также и все логические следствия, которые отсюда вытекают. С другой стороны, если мы осуществляем сокращение наших знаний, недостаточно просто удалить некоторое высказывание из нашей системы убеждений. Дело в том, что мы должны также исключить и все те высказывания, из которых удаляемое высказывание логически следует, поскольку если этого не сделать, то удаляемое высказывание фактически вовсе не будет удалено, а неявным образом сохранится в системе убеждений. Далее, если два различных высказывания совместно влекут удаляемое убеждение, то одно из этих высказываний также должно быть удалено, и здесь мы оказываемся в ситуации выбора, который далеко не всегда является тривиальным.
Очевидно, что расширение и сокращение убеждений представляют собой в значительной степени идеальные познавательные действия, которые в чистом виде встречаются довольно редко. Наиболее типичной эпистемической операцией является ревизия, и процесс развития убеждений чаще всего происходит именно путем их пересмотра. В этой связи возникает интересный теоретический вопрос – является ли ревизия независимой познавательной операцией и нельзя ли попробовать свести ее к двум другим, то есть определить ревизию через расширение и сокращение. Оказывается, что такое сведение вполне возможно. По существу, операция ревизии представляет собой некоторое комплексное действие, заключающееся в том, что субъект должен (1) включить некоторое новое высказывание А в свою систему убеждений и (2) принять все необходимые меры к тому, чтобы новая система убеждений была непротиворечивой. Первое из этих действий достигается путем расширения имеющейся системы убеждений за счет А, в то время как вторая цель может быть достигнута посредством предварительного удаления (А (отрицание А) из системы убеждений (сокращение). Иными словами, операция ревизии может быть эксплицирована как результат последовательного осуществления двух подопераций: (1) сокращение посредством (А и (2) расширение за счет А. Таким образом, приходим к следующему определению, известному в литературе как «равенство Леви»:
Определение 2.К * А = (К ( (А) + А.
Это определение имеет очень большое эвристическое значение, поскольку с его принятием проблема теоретической экспликации процесса изменения рациональных убеждений сводится к рассмотрению двух сравнительно простых познавательных операций – расширению и сокращению. Рассмотрим первую из этих операций. Очевидно, что расширение можно довольно легко определить, используя аппарат теории множеств. А именно, если мы хотим расширить нашу систему убеждений К за счет высказывания А, мы должны «механически» добавить это высказывание к К (осуществить теоретико-множественное объединение), а затем замкнуть получившееся множество высказываний К посредством операции замыкания Cn:
Определение 3. К + А = Cn(К ( {А})
При помощи данного определения операция расширения убеждений вводится однозначным образом, не оставляя пространства для различных ее истолкований. А это значит, что вся проблема пересмотра наших убеждений фактически эквивалентна проблеме определения операции сокращения. Как ни парадоксально это звучит, но если мы хотим получить ответ на вопрос о том, каким образом осуществляется изменение (а значит и развитие) нашего знания, мы должны ответить на вопрос, как происходит сокращение наших убеждений. Принимая же оптимистическую точку зрения, в соответствии с которой в процессе развития знания происходит его рост, мы приходим к следующему кардинальному выводу: проблема роста знания сводима к проблеме сокращения убеждений. Иными словами, если мы хотим понять, как осуществляется прирост наших знаний, мы должны понять, каким образом мы отказываемся от наших убеждений. И если бы для операции сокращения удалось найти такое же четкое определение, как определение 3 для расширения, то тогда проблема теоретической экспликации механизма развития знаний была бы решена однозначным образом.
Однако установлено, что однозначно определить операцию сокращения невозможно. Основной причиной этого является отмеченная выше возможность «альтернативных ходов», неизбежное появление при осуществлении сокращения ситуации неопределенности, когда субъект оказывается перед выбором, какое из нескольких высказываний удалить из системы своих убеждений, а какое оставить, и при этом не существует никаких чисто логических предпочтений в пользу того или иного высказывания. Поэтому, возможны несколько альтернативных подходов к определению операции сокращения, в зависимости от того, насколько «радикальны» (или, наоборот, осторожны) мы хотим быть в процессе отказа от тех или иных убеждений.
Самым «перестраховочным» является так называемое «сокращение полного пересечения» (full meet contraction), которое требует удалять из систем убеждений слишком многое, даже то, что иногда желательно было бы сохранить. Например, если субъект стоит перед выбором – отказаться от одного из каких-либо двух высказываний, то сокращение полного пересечения удаляет оба эти высказывания, что далеко не всегда представляется оправданным. С другой стороны, наименее надежной операцией является так называемое «сокращение максимального выбора» (maxichoice contraction), недостаток которого состоит в том, что оно не оставляет возможности действовать достаточно осторожно. Так, если мы находимся перед выбором – удалить либо высказывание А, либо – высказывание В и при этом не имеем абсолютно никаких резонов предпочесть одно из этих высказываний другому, может оказаться полезным отбросить оба эти высказывания, чтобы быть полностью уверенным в наших убеждениях. Например, пусть мы полагали, что госпожа Иванова имеет ровно два ребенка – мальчика и девочку, а затем узнали, что на самом деле ребенок у Ивановой только один, при этом о поле ребенка ничего не было сказано. Естественно, мы не можем сохранить оба имевшиеся ранее у нас убеждения «Иванова имеет мальчика» и «Иванова имеет девочку». И хотя «объективно» одно из этих высказываний является истинным, но, поскольку мы не получили достаточно точной информации, будет разумным отбросить (по крайней мере пока, до получения необходимых уточняющих данных) оба эти убеждения и признать, что мы не уверены ни в том, что госпожа Иванова имеет мальчика, ни в том, что она имеет девочку. В рамках сокращения максимального выбора такого рода стратегия оказывается невозможной.
Поэтому наибольшее признание получила операция, называемая «сокращением частичного пересечения» (partial meet contraction), определяемая посредством некоторой функции предпочтения, отбирающей те из возможных кандидатов на сокращение, которые являются более «предпочтительными», более «достойными сохранения». При этом, сокращения полного пересечения и максимального выбора оказываются частными случаями сокращения частичного пересечения. Кроме того, свойства данной операции могут быть охарактеризованы посредством некоторого набора постулатов, которые должны для нее выполняться. Иными словами, операция частичного сокращения допускает построение определенной аксиоматической теории. Опишем кратко наиболее важные из этих постулатов, как они представлены в книге Герденфорса.457
1. "Постулат замыкания" (closure): если К является системой убеждений, то К ( А также есть система убеждений.
(К ( А должно быть замкнуто по отношению логического следования, если таковым является само К.)
2. "Постулат успеха" (success): если А ( Cn((), то А ( К ( А.
(Успех сокращения, очевидно, заключается в том, что удаляемое высказывание не должно принадлежать результирующей системе убеждений. Однако, сокращение не может быть успешным, если мы попытаемся удалить из наших убеждений логически истинное высказывание (то есть закон логики). Тот факт, что высказывание А является логической теоремой можно обозначить посредством А ( Cn((), поэтому постулат успеха имеет в качестве условия требование, что А не является теоремой логики.)
3. "Постулат включения" (inclusion): К ( А ( К
(Получившаяся в результате сокращения система убеждений должна составлять подмножество исходной системы убеждений.)
4. "Постулат пустоты" (vacuity): если А ( К, то К ( А = К.
(Если мы попытаемся «удалить» из нашей системы убеждений высказывание, которое в действительности вовсе не принадлежит этой системе, то наша система убеждений просто останется без изменений – никакого сокращения фактически не произойдет.)
5. "Постулат восстановления" (recovery): К ( (К ( А) + А.
(В соответствии с этим постулатом, все наши убеждения должны быть восстановлены, если мы вначале сократим систему убеждений посредством высказывания А, а затем возвратим А в нашу систему убеждений.)
6. "Постулат экстенсиональности" (extensionality): если А ( В ( Cn((), то К ( А = К ( В.
(Если два высказывания логически эквивалентны, то результат удаления из системы убеждений любого из этих высказываний по отдельности будет тем же самым.)
Эти постулаты в совокупности адекватно характеризуют операцию сокращения частичного пересечения и позволяют выявить многие ее важные свойства.
Представленное в данном параграфе направление исследований может служить примером прикладной эпистемологии, когда теория познания находит разнообразные применения не только в логике и методологии, но также и за пределами собственно философии. В рамках этого направления, исследуются такие проблемы как укорененность убеждений, вероятностные модели эпистемической динамики, условные высказывания (так называемый «тест Рамсея»), научное объяснение, каузальные убеждения и многие другие.
* * *
Выше были изложены лишь некоторые из наиболее типичных теоретико-познавательных проблем и подходов к их решению, характерных для современной аналитической эпистемологии. В завершение главы, остановимся кратко на некоторых других важных темах, которые интенсивно обсуждаются исследователями, работающими в аналитической теории познания. Среди таких тем можно выделить проблему скептицизма и проблему источников нашего знания (в частности, возможности и характера априорного знания). Следует особо отметить, что сам факт заинтересованного рассмотрения этих проблем философами аналитического направления недвусмысленно указывает на свойственное аналитической философии стремление к преемственности с классическими философскими концепциями и направлениями.
Так, скептицизм представляет собой давнюю философскую традицию, истоки которой можно проследить, начиная уже с Платоновой академии. Точно такой же богатой историей располагает и критика скептической позиции. Классический («академический») скептицизм утверждает, что мы не можем знать, существует ли реальность (а если да, то какова природа этой реальности), отличная от нашего непосредственного опыта.458 Это утверждение получает самое разнообразное оформление в конкретных скептических концепциях. Прежде всего, следует различать между «глобальным» и «локальным» скептицизмом. Согласно глобальному скептицизмому мы ни о чем не можем иметь никакого знания, то есть любое знание принципиально невозможно. Локальный же скептицизм отрицает возможность адекватного знания тех или иных конкретных феноменов или областей, например, внешнего мира, сознания других людей, прошлого, моральных истин или Бога. Далее, скептическая позиция может быть направлена либо против возможности знания как такового, либо же против возможности обоснования знания (или же против того и другого вместе). Кроме того, можно выделить так называемые «скептицизм первого порядка» и «скептицизм второго порядка». Первопорядковый (непосредственный) скептицизм относится собственно к нашему знанию тех или иных фактов, скептицизм же второго порядка ставит под сомнение возможность знания о самом знании, то есть он утверждает, что мы не можем знать, что мы что-то знаем.459
Наиболее пристальное внимание в современной аналитической эпистемологии уделяется локальному скептицизму первого порядка, который ставит под сомнение возможность нашего знания внешнего мира. Такого рода скептицизм опирается на то обстоятельство, что единственным источником нашей информации о внешнем мире является наш собственный субъективный опыт, иными словами любое свидетельство о фактах внешнего мира неизбежно зависит от данных, поставляемых нашими органами чувств, и в этом смысле имеет субъективный характер. Однако, – подчеркивают скептики, – такого рода опыт вовсе не исключает альтернативных возможностей, в частности, возможности ошибки или «тотального заблуждения»: вполне можно представить себе ситуацию, когда наш субъективный опыт был бы в точности тем же самым, даже если бы внешняя реальность была абсолютно другой, или ее вообще не существовало.460
Большинство аналитических философов занимает анти-скептическую позицию, в то же время считая, что скептицизм выполняет важную методологическую функцию, поскольку в процессе опровержения скептицизма и критического анализа доводов в его пользу, мы углубляем также и наше понимание самого феномена знания. Среди основные стратегий преодоления скептицизма, которые можно найти в современной аналитической философии, следует назвать: (1) эпистемологический экстернализм, (2) теорию «релевантных альтернатив» и (3) семантический экстернализм.461 Эпистемологический экстернализм утверждает, что для того, чтобы обладать надежными и обоснованными истинными убеждениями (то есть, знать что-либо), вовсе не обязательно знать, что наши убеждения являются таковыми. Главное, чтобы наши убеждения объективно были надежными, обоснованными и истинными – в этом случае они и дают нам знание, безотносительно, знаем ли мы этот последний факт или нет. Концепция «релевантных альтернатив» отстаивает точку зрения, что знание того или иного факта предполагает исключение всех релеватных (то есть, имеющих отношение к делу) альтернатив этому факту, и что скептическая альтернатива обычно, то есть при «нормальных условиях», не является релевантной. Таким образом, поскольку скептическая альтернатива существованию внешнего мира не является релевантной, то тот факт, что наш опыт не в состоянии исключить возможность этой альтернативы, вовсе не свидетельствует в пользу истинности скептицизма как такового. Семантический экстернализм отрицает саму возможность того, что значение языковых выражений и наше понимание этих выражений, может остаться совершенно без изменений, если предположить, что окружающий нас мир полностью изменится. Согласно семантическому экстернализму, то как мы воспринимаем те или иные предметы, то что бы думаем о мире, непосредственно зависит от тех понятий, которыми мы располагаем, а понятия, в свою очередь, зависят от внешнего мира, в котором мы живем. Иными словами, люди живущие в различных «мирах» неизбежно должны иметь разные понятия, следовательно, должны иметь различные мнения, убеждения, а в конечном итоге – и знания. Это, однако, означает, что скептическая ссылка на возможность «глобального обмана» со стороны органов чувств не является корректной и сама должна быть подвергнута сомнению.
Еще одной важной проблемой, которая находится в центре внимания философов аналитического направления, является проблема априорного знания. Эта проблема имеет непосредственное отношение к вопросу о месте и роли чувственного опыта в процессе приобретения знаний. Рамки ее обсуждения были во-многом очерчены еще Кантом, который полагал, что важнейшей характеристикой априорных суждений является их необходимость: если А известно a priori, то А является необходимо истинным и наоборот. Не так давно обсуждению этой проблемы был придан новый импульс в работах С.Крипке, который – в противовес точке зрения Канта – выдвинул ряд доводов в пользу того, что некоторые случайно истинные высказывания могут быть известны a priori, в то время как некоторые необходимо истинные высказывания могут быть известны только a posteriori.462 При этом Крипке опирается на понимание необходимости как истины во всех «возможных мирах» (соответственно, случайность есть истинность лишь в некоторых «возможных мирах»). Крипке предлагает и подробно анализирует примеры случайных априорных и необходимых апостериорных высказываний. В качестве примера первого рода он рассматривает высказывание «Хранящийся в Париже метровый эталон имеет один метр в длину», а в качестве примера второго рода – высказывание «Утренняя звезда есть Вечерняя звезда» (напомним, что как «Утренняя звезда», так и «Вечерняя звезда» обозначают одну и ту же планету – Венеру). Априорный характер первого высказывания очевиден, в то же время оно является случайно истинным, так как вполне можно представить себе возможный мир, в котором парижский метровый эталон имеет длину, отличную от одного метра. Второе же высказывание имеет апостериорный характер (его истинность может быть установлена только в результате соответствующих астрономических наблюдений), однако оно является необходимым – не существует такого возможного мира в котором имена «Утренняя звезда» и «Вечерняя звезда» обозначают разные планеты. Примеры Крипке и его концепция имен как «жестких десигнаторов» получила широкое обсуждение в современной философской литературе, посвященной проблеме источников нашего знания и его обоснования.
ТЕЛЕГРАМКанал с обзорами, анонсами новинок и книжными подборками
Книжный Вестник
Бот для удобного поиска книг (если не нашлось на сайте)
Поиск книг
Свежие любовные романы в удобных форматах
Любовные романы
О психологии, саморазвитии и личностном росте
Саморазвитие
Детективы и триллеры, все новинки
Детективы
Фантастика и фэнтези, все новинки
Фантастика
Отборные классические книги
Классика
ВКОНТАКТЕБиблиотека с любовными романами, которая наверняка придётся по вкусу женской части аудитории
Любовные романы
Библиотека с фантастикой и фэнтези, а также смежных жанров
Фантастика
Самые популярные книги в формате фб2
Топ фб2
книги