Однако, то общее, что заключается в позициях таких аналитических философов языка, как Майкл Даммит Dummett M A. Frege. London, Duckworth, 1974; Dummett M.A. What is a theory of meaning? (II) -- In: "Truth and Meaning" (G Evans and J. MacDowell (eds)), Oxford University Press, 1976. или Гектор-Нери Кастаньеда Castaneda H.-N. On Philosophical Method. Bloomington, Indiana University, 1981., состоит именно в том, что они особо выделяют эпистемические элементы в составе теории значения.

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

Даммит ставит исходные вопросы следующим образом Здесь и далее цит. по рус. изданию: Философия. Логика. Язык. .Сб. переводов под редакцией Д.П.Горского и В.В. Петрова. М., "Прогресс", 1987. С. 127.:

Зависит ли значение предложения от условий его истинности? Заключается ли значение слова в том вкладе, который оно вносит в детерминацию условий истинности содержащих его предложений?

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

Так, в частности, стандартная семантика Дэвидсона, основываемая им на Тарском и возводимая Даммитом к Фреге, сталкивается с проблемами подгонки к естественному языку тех технических средств, которые были созданы Фреге и Тарским для формализованных языков. И напротив, альтернативные (неаналитические par excellence) теории значения, центральным понятием которых не является понятие истины, не вызывают принципиальных возражений.

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

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

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

Во многом (т.е. в признании примата эпистемического начала в семантике) близок Гектор-Нери Кастаньеда, ученик Уилфрида Селларса.

Рассмотрим, например, предлагаемый Кастаньедой анализ предложения (*) Герой войны знает, что он сам болен.

Идея Кастаньеды такова: при наиболее естественной интерпретации предложение (*) означает,

· во-первых, что герой войны знает утверждение, которое он сам мог бы выразить, произнеся: "Я болен", и,

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

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

Поскольку Джон не осознает, что герой воины, о котором идет речь, -- это он сам, он приобретает знание de re об этом герое, не приобретая при этом того знания de re, которое имеется в виду в рассматриваемой нами интерпретации предложения (*). Иными словами, Джон не считает, что тот человек, который известен ему (по книгам) как герой войны, болен. В то же время Джон знает, что сам он болен.

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

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

Заметим, что все ключевые идеи этого анализа имеют эпистемологическую природу -- любая апелляция к "феноменологическому миру" героя войны или к его осознанию себя как субъекта, имеющего такие то характеристики, связана с определенным концепгуальным фоном. Таким образом, анализ Кастаньеды концептуально перекликается с работами Хинтикки о "Двух методах кросс-идентификации" Нintikka J. Models for Modalities. Dordrecht: D. Reidel, 1969; Hintikka J. Intentions of Intentionality and Other New Models for Modalities. Dordrecht: D. Reidel, 1975..

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

8.3 Трансляционная и теоретико-модельная семантика

Идея трансляционной семантики, понимаемой в духе Катца Katz J. J. Semantic Theory. New York Harper & Row, 1972; Katz J J. Common sense in semantics --"Notre Dame Journal of Formal Logic", 1982, vol. 23, p. 174--218; Katz J.J., P. Pоstal. An Integrated Theory of Linguistic Description. Cambridge MIT Press, 1964., заключается в том, чтобы построить отображение исследуемого языка посредством некоторого подходящего языка с четкой структурой. Таким образом, фундаментом для построения семантики призван служить язык маркеров (Маrkеrеsе), средствами которого выражаются семантические репрезентации. Понимание того или иного предложения состояло бы в умении построить его перевод на язык маркеров.

Трансляционная семантика подверглась резкой критике по целому ряду причин Lewis D. General semantics -- In: "Semantics of Natural Language" (D. Davidson and G. Harman (eds.)). Dordrecht: D Reidel, 1972; LePore E., B. Loewer. Translational semantics -- "Synthese", 1981, vol. 48, p. 121--134.. Указывалось, например, что если человек правильно переводит предложение данного языка некоторым предложением другого языка (и при этом знает, что перевод не меняет значения оригинала), то из этого еще не следует, что он понимает -- в любом разумном смысле этого слова -- предложения исходного языка. Точно так же отмечалось, что если в нашем распоряжении имеется некое пособие по переводу, то из этого еще не следует, что мы умеем устанавливать связь между рассматриваемым языком и внешним миром, -- возможно, что мы умеем связывать наш язык лишь с некоторым другим языком, но не с фрагментами внешней действительности. (Нет никаких гарантий, что существует связующее звено между языком маркеров и миром.) Неясно, стало быть, как могли бы мы узнать условия истинности предложений исходного языка даже и в том случае, когда в нашем распоряжении была бы соответствующая процедура перевода на язык маркеров.

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

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

В основе же теоретико-модельной семантики лежат некоторые ключевые идеи современной логики. Как и в математической теории моделей для логического языка, здесь речь идет о строго определенном отношении соответствия между объектным языком и некоторой подходящей теоретико-множественной сущностью. Таким образом, естественный язык трактуется как формальный--эта идея нашла отражение в самом названии известной статьи Ричарда Монтегю "Английский язык как формальный" и в содержании многих комементирующих ее работ, в первую очередь Барбары Холл Парти Montaguу R. Formal Philosophy (ed. by R. H. Thomason). New Haven, Yale University Press, 1974; Partee B. H. (ed). Montague Grammar. New York Academic Press, 1976..

Основная суть здесь в следующем. При анализе базового отношения M|=tS ("S истинно в М относительно параметра t") перед исследователем сразу же встают три вопроса:

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

б) Какие параметры включить в "t"? Следует отметить, что вся затея может стать тривиальной, если зависимость истинности от множества параметров задать слишком лобовым образом или если включить в t слишком много параметров.

в) Насколько богатую структуру предусмотреть для M? Именно здесь наиболее непосредственным образом в игру вступают философские концепции: в зависимости от своих общих онтологических взглядов исследователь будет вынужден занять здесь одну из нескольких совершенно различных позиций. Например, является ли "событие" достаточно ясной сущностью, чтобы включить его в онтологию в качестве одной из основных единиц? Модели, с которыми чувствует себя вправе оперировать исследователь, будут различаться в зависимости от его общих философских убеждений (имплицитных или эксплицитных). Если учесть, что в данном подходе модели играют роль действительности, то выбор структуры моделей приобретает решающее значение. (В этой связи примечательно, что знаменитая "ситуационная семантика" Барвайса и Перри, в сущности, предсталяет собой не что иное, как один из возможных вариантов теоретико-модельной семантики, в основе которой лежит такое понятие модели, которое больше соответствует идее "ситуации", чем идее "возможного мира" Barwise J. Scenes and other situations. -- "Journal of Philosophy", 1981, vol. 78, p. 369--397; Barwise J., Perry J. Situations and Attitudes. Cambridge - MIT Press, 1983;.)

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

Понятие языка в теоретико-модельной семантике носит столь абстрактный характер, что о естественном описании процесса понимания естественного языка или других психологических феноменов, связанных с языковым значением, говорить, по-видимому, не приходится. Что касается абстрактных данных, относящихся к условиям истинности и другим отношениям референции, то здесь теоретико-модельная семантика имеет на своем счету впечатляющие результаты. Но для исследователя семантики с более психологической ориентацией (такого, например, как Филип Джонсон-Лэйрд Johnson Laird Ph. Formal semantics and psychology --In "Processes, Beliefs, and Questions" (S. Peters and E Saarinen (eds)) Dordrecht: D Reidel, 1982; Johnson-Laird Ph. Mental Models. Cambridge, Cambridge University Press, 1983.) абстрактные условия истинности несущественны--для него ключевые вопросы касаются психологических механизмов, действующих в области языкового понимания и "вычисления" значения. И опять же, постановка проблемы в таких терминах не слишком обнадеживает: как могли бы мы продвинуться в сравнении теорий, если в основе этих теорий лежат разные базы данных? И кроме того, чем нам руководствоваться при решении вопроса о том, имеют ли феномены психологической природы решающее значение для семантики? Именно такого рода метатеоретические проблемы приобретают сегодня в семантике наибольшую актуальность.

8.4 Теоретико-игровая семантика Я.Хинтикки

В основе теоретико-игровой семантики лежат, с одной стороны, математическая теория игр, а с другой--теоретико-модельная семантика. Как и эту последнюю, теоретико-игровую семантику интересует отношение M|=tS. Однако, в отличие от теоретико-модальной семантики, M|=tS анализируется в терминах игры, которая, говоря неформально, интерпретирует предложение S посредством процесса вычисления истинностного значения, направленного от предложения как целого к его частям. Эта игра, представляющая, таким образом, нашу основную интерпретационную (семантическую) единицу, вводит в рассмотрение параметры нового вида (такие, как "память" и "информационное множество"), которые исследователь затем стремится использовать в семантическом анализе. Все это приводит к тому, что семантика становится более процессуально-ориентированной. И неудивительно, что при таком подходе поддаются трактовке анафорические явления, дискурсивные феномены и вообще проблемы, входящие в компетенцию семантики текста. Совершенно чсно, что такие характеристики и инструменты анализа отсутствуют в теоретико-модельной семантике, где любые феномены процессуального характера не могут не оставаться исключением См., например: Hintikka J. Game theoretical semantics: Insights and prospects --"Notre Dame Journal of Formal Logic", 1982, vol. 23, p. 219--241..

Новизна теоретико-игровой семантики -- если сравнивать ее с теоретико-модельной -- носит относительный характер. С одной стороны, представляется, что многие интерпретационные правила теоретико-игровой семантики нетрудно перефразировать в терминах рекурсивных определений истинности Реacocke С. А. B. Game-theoretical semantics, quantifiers and truth. --In: "Game-theoretical Semantic" (E. Saarinen, (ed.)) Dordrecht: D. Reidel, 1979; Peасосke С. А. В. The theory of meaning in analytic philosophy.-- In: "Contemporary Philosophy" (G. Flaistadt (ed.)). The Hague: Martinus Nijhoff, 1983.. Однако в некоторых случаях теоретико-игровой аппарат приводит, по-видимому, к более естественной терминологии анализа семантических феноменов, чем аппарат теоретико-модельной семантики, основным инструментом которой является рекурсивное определение истинности.

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

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

В чем связь, по мнению Хинтикки, теоретико-игрового определения истины с теоретико-игровой семантикой? Основные черты предлагаемого теоретико-игрового определения истины (ТИОИ) таковы:

i. В нем используется понятие выигрышной стратегии (а не победы в игре, как это понимает, например, Даммит Dummett M. Truth and Other Enigmas. 1978, p.19.) -- правила, определяющего, какой ход должен сделать игрок в каждой возможной игровой ситуации для того, чтобы достичь победы вне зависимости от того, какую стратегию изберет соперник.

ii. Оно не сводится к формальным (но интерпретированным) первопорядковым языкам. Хотя в естественных языках кванторы ведут себя иначе, чем в них, ТИОИ может быть распространено на них, как и на другие логические языки.

iii. Теоретико-игровая интерпретация кванторов (предложенная Ч.С.Пирсом) используется во всех случаях, когда неприменимо тарскианское определение истины.

iv. ТИОИ дает условия истинности первопорядковых предложений, формулируя их в терминах игровых стратегий, которые сами приводимы к логическому анализу и формулировке в логических терминах (функции Сколема).

v. Собственно понятие истины является при теоретико-игровом подходе вспомогательным, поскольку при нем определяется значение квантифицированных предложений путем определения их условий истинности (таким образом Витгенштейн использует понятие языковой игры в концепции "значение как употребление"). Следует различать игры на поиск истины (truth-seeking games) (т.е. эпистемические игры) и игры на установление (или верификацию) истины (truth-establishing games) (т.е. семантические игры), где условия истинности в определенном смысле даны заранее.

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

9. Аналитическая эпистемология

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

В современной аналитической философии сформулировано большое число различных эпистемологических теорий. Эти теории часто расходятся между собой по тем или иным важным вопросам содержательного характера. Тем не менее, всех их объединяет специфический "аналитико-философский" стиль или форма философствования, для которых характерным является, во-первых, рассмотрение любых философских проблем прежде всего через призму анализа языка ("лингвистический поворот"), во-вторых, активное задействование определенной технической терминологии и, в-третьих, высокий уровень требовательности (принимаемых стандартов) по отношению к доказательности и аргументированности выдвигаемых положений. Кроме того, в значительной степени единой остается предметная область аналитических эпистемологических исследований, с ее концентрацией на знании и проблеме его обоснования. Типичной в этом отношении является эпистемологическая концепция, представленная в работе Бертрана Рассела "Проблемы философии" (1902). Russell B. The Problems of Philosophy. New York - Oxford, Oxford University Press, 1997.

9.1 Бертран Рассел: знание вещей и знание истин

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

Прежде всего, Рассел подробно останавливается на знании вещей, выделяя в нем два типа: знание по знакомству и знание по описанию. Выше уже шла речь об этих видах знания (см. § 2.2.6). Рассел подчеркивает, что знание вещей по знакомству значительно проще любого знания истины и логически независимо от него. Знание же вещей по описанию, наоборот, всегда включает в качестве источника и основы определенное знание истины. С какого же рода "вещами" возможно непосредственное знакомство, не нуждающееся ни в каком логическом выводе или предварительном суждении? Согласно Расселу, прежде всего, это - данные наших органов чувств. Например, сидя за письменным столом, мы непосредственно воспринимаем его цвет, форму, твердость, гладкость и т.п., и именно эти чувственные данные, составляющие в совокупности воспринимаемый нами образ стола, и суть те "вещи", с которыми мы непосредственно знакомы. Это, однако, вовсе не означает, что тем самым мы получаем непосредственное знакомство со столом как с физическим объектом! Наоборот, знание стола как физического объекта Рассел характеризует как типичный случай знания по описанию. Описание имеет тут примерно следующий вид: "Стол есть физический объект, который вызывает такие-то и такие-то ощущения", то есть мы имеем описание стола посредством чувственных данных. Здесь мысль Рассела движется вполне в русле классической феноменалистской традиции британского эмпиризма. Впрочем, Рассел не останавливается на этом, считая, что адекватный анализ нашего знания невозможен, если наряду с чувственными данными не учитывать некоторые другие виды вещей, с которыми также возможно непосредственное знакомство.

Первое, что необходимо добавить к знакомству с нашими непосредственными чувственными данными - это знакомство по памяти, то есть, знакомство с теми данными наших органов чувств, которые мы в настоящее время непосредственно не воспринимаем, но которые сохранились в нашей памяти. Этот вид знакомства делает возможным наше знание о прошлом. В качестве следующего добавления Рассел рассматривает так называемое знакомство по интроспекции, или самосознание, являющееся источником знания об отдельных состояниях нашего сознания. Мы не только видим солнце, мы осознаем наше "видение солнца", мы не только хотим есть, мы осознаем наше "желание есть". По Расселу, это "видение солнца" и "желание есть" выступают в качестве особых объектов, с которыми мы также оказываемся непосредственно знакомы. Здесь важно иметь ввиду, что самосознание вовсе не тождественно сознанию себя в целом, то есть сознанию собственного Я. Иными словами, знакомство с содержанием нашего сознания еще не означает непосредственного знакомства с собственной личностью.

"Когда мы пытаемся всмотреться в самих себя, мы по-видимому, всегда наталкиваемся на некоторые отдельные мысли и чувства, а не на "Я", которое имеет мысли и чувства". Ibid. - P.50.

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

"Мы знаем истину 'Я знаком с такими-то чувственными данными'. Трудно видеть, как бы мы могли знать эту истину, или даже понимать, что здесь имеется ввиду, если бы мы не были знакомы с чем-то, что мы зовем 'Я'". Ibid. - P.51.

Возражение, которое здесь можно выдвинуть, заключается в следующем. Не вполне ясно, почему суждение о собственном знакомстве с чем-то обязательно должно включать в качестве непосредственных конституент только "вещи" с которыми мы также должны быть непосредственно знакомы. К примеру, мы знаем истину "Юлий Цезарь был знаком с Марком Антонием". Однако, как Юлия Цезаря, так и Марка Антония мы знаем только по описанию. Так что, вполне можно себе представить, что и в суждениях о том, что Я знаком с тем-то и тем-то, некоторые из таких конституент (например, "Я") известны нам именно по описанию (примерно того же типа, который мы имели выше, в случае со столом): "Я - это духовный объект, которые обладает сознанием таких-то и таких-то чувственных данных".

Примечательно, что Рассел не ограничивает область предметов, о которых возможно знание по знакомству, только "конкретными существующими вещами". Он утверждает, что кроме таких вещей мы также можем иметь непосредственное знакомство с универсалиями, то есть, общими идеями, такими как "белизна", "различие", "братство" и т.д. Здесь проявляется своебразный платонизм Рассела, достаточно последовательно проводимый им в книге "Проблемы философии". Правда расселовское обоснование самой возможности знания-знакомства универсалий вызывает определенные вопросы. Рассел, прежде всего, рассматривает универсалии, которые представляют так называемые "ощущаемые качества", такие как цвет, вкус и т.п. и говорит, что эти качества "проявляются" (are exemplified) в чувственных данных, с которыми мы - согласно его теории - как раз и находимся в отношении непосредственного знакомства. Здесь, конечно, легко возразить, что чувственные данные знакомят нас каждый раз с каким нибудь конкретным проявлением того или иного "качества" (цвета, вкуса и т.п.) а не с универсалией самой по себе. Рассел и сам отмечает, что, например, когда мы видим какое-нибудь белое пятно, мы всегда знакомимся с конкретным пятном. Но - продолжает он - после многократного наблюдения различных белых пятен, мы легко научаемся выделять посредством абстракции ("абстрагировать") общую им всем белизну и, тем самым, знакомимся с белизной самой по себе. Ibid. - P.101. К сожалению, Рассел не останавливается на вопросе о природе этого абстрагирования, и это существенно ослабляет его аргументацию. Ведь если предположить, что такое абстрагирование представляет собой особого рода логическую процедуру, то очевидным становится опосредованный характер полученного таким образом знания белизны. А значит, перед нами - типичный случай знания по описанию ("белизна - это понятие, являющееся результатом такой-то и такой-то операции абстрагирования"). То же самое возражение можно выдвинуть и против расселовского обоснования знания-знакомства пространственно-временных отношений и отношения сходства.

Согласно Расселу, физические объекты как таковые, равно как и сознание других людей не принадлеждат к тем предметам, которые могут быть известны нам через непосредственное знакомство. Ibid. - P.52. Знание о такого рода предметах возможно только по описанию. Под описанием (дескрипцией) Рассел подразумевает фразу вида "такой-то и такой-то", различая при этом определенную и неопределенную дескрипции (выражаемые в английском языке при помощи неопределенного и определенного артиклей соответственно). Подробно свою теорию дескрипций Рассел развил в классической статье "Об обозначении" (1905), где, в частности, рассмотрел, каким образом могут быть осмысленно эксплицированы выражения, у которых отсутствует предметное значение (такие как "нынешний король Франции"). Расселовская теория дескрипций была изложена выше в § 2.2.6. Здесь мы лишь отметим, что важность знания по описанию обусловлена тем, что оно открывает возможность выхода за пределы личного опыта. Впрочем, любое описание должно быть в принципе устранимо, что находит выражение в следующем фундаментальном принципе, принимаемом Расселом:

"Каждое высказывание, которое мы можем понять, должно состоять полностью из конституент, с которыми мы знакомы". Ibid. - P.58.

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

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

"(1) допускает, что истина имеет свою противоположность, а именно, ложь, (2) делает истину свойством убеждений, но (3) делает это свойство полностью зависимым от отношения убеждений к внешним вещам". Ibid. - P.123.

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

Подводя итоги своему исследованию видов знания, Рассел пишет:

"Мы можем теперь осуществить обзор источников нашего знания, в том порядке, как они появлялись в ходе нашего анализа. Прежде всего мы должны различать знание вещей и знание истин. Каждое из них имеет два вида, один непосредственный, а другой производный. Наше непосредственное знание вещей, которое мы назвали знакомством, бывает двух типов, в зависимости от того, является ли известная вещь конкретным предметом или универсалией. Среди конкретных предметов мы имеем знакомство с чувственными данными и (вероятно) с самими собой. Для универсалий, по-видимому, не существует принципа, по которому мы можем решить, какие из них могут быть известны по знакомству, однако ясно, что к числу тех, которые могут быть известны таким образом, относятся ощущаемые качества, пространственно-временные отношения, отношение сходства и определенные абстрактные логические универсалии. Наше производное знание вещей, которое мы называем знанием по описанию, всегда включает как знакомство с чем-то, так и знание истины. Наше непосредственное знание истины может быть названо интуитивным знанием, и известные таким образом истины могут быть названы самоочевидными истинами. Такие истины включают те, которые только утверждают, что дано в ощущениях, а также определенные абстрактные логические и арифметические принципы и (хотя и с меньшей долей уверенности) некоторые этические высказывания. Наше производное знание истины состоит из всего того, что мы можем вывести из самоочевидных истин, используя самоочевидные принципы дедукции". Ibid. - P.109.

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

9.2 Знание и мнение. Проблема обоснованности знаний

Содержание пропозиционального знания обычно выражается посредством некоторого высказывания. Другой характерной особенностью такого рода знания является то, что оно представляет собой функцию человеческих убеждений. Например, если некто знает, что Земля вращается вокруг Солнца, то он должен быть в этом убежден, то есть он должен по крайней мере считать, или полагать, что Земля вращается вокруг Солнца. Здесь важно иметь ввиду, что используемый в англоязычной философской литературе аналитического направления термин "belief" не имеет однозначного русского эквивалента. Его можно перевести и как "мнение", и как "вера", и как "убеждение". Наиболее близким по значению является термин "убеждение", истолковываемый при этом максимально нейтрально, без какой-либо эмоционально-психологической нагруженности. В этом смысле "Х убежден, что А" следует понимать просто как "Х считает, что А", или "Х полагает, что А", или "по мнению Х, имеет место А". Именно в этом значении и будет в дальнейшем использоваться термин "убеждение" и его возможные эквиваленты. Вообще в современной аналитической эпистемологии категории убеждения (мнения) уделяется достаточно большое внимание. Многие исследователи отмечают, что теория познания не может ограничиться лишь анализом феномена собственно знания. Необходимо учитывать гораздо более широкий класс "пропозициональных установок", среди которых убеждения занимают далеко не последнее место.

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

Традиция анализа знания через его сопоставление с категорией убеждения имеет давнюю историю и восходит по крайней мере к диалогам Платона "Менон" и "Теэтет". Так, в диалоге "Теэтет" критически анализируются три различные определения знания: (1) знание как чувственное восприятие; (2) знание как правильное мнение и (3) знание как правильное мнение с объяснением. И хотя Платон последовательно отвергает каждое из этих определений, сам подход к рассмотрению знания через его противопоставление убеждению, мнению или вере укоренился в философии и стал классическим. Эта классическая традиция получила дальнейшее развитие в аналитической эпистемологии, где в качестве одной из центральных задач всегда считалось нахождение адекватного определения категории знания. Ее решение должно дать нам ответ на вопрос, что такое знание, или что значит "знать". Каковы те необходимые и достаточные условия, выполнение которых позволяет утверждать, что субъект Х действительно знает, что имеет место некоторый факт, скажем А?

В аналитической философии широкое распространение получило так называемое "традиционное определение знания", в соответствии с которым знание есть обоснованное истинное убеждение. См. напр. Chisholm R.M. Perceiving: A Philosophical Study. Ithaca - New York: Cornell University Press, 1957. - P.16; Ayer A.J. The Problem of Khowledge. London: Macmillan, 1956. - P.34; Moser P.K., Mulder D.H., Trout J.D. The Theory of Knowledge. A Thematic Introduction. New York - Oxford: Oxford University Press, 1998. - P.14-17. Согласно этому определению, Х знает что А, если и только если в совокупности выполняются следующие три условия:

(1) Х считает, что А;

(2) А является истинным;

(3) Убеждение Х в том, что имеет место А, определенным образом обосновано. Данное определение по существу перекликается с платоновской дефиницией знания как "правильного мнения с объяснением". Сформулировав это определение, Платон подверг его критике, так как считал, что подлинное знание возможно только относительно "мира идей", что конечно же не является убедительным аргументом для тех, кто не признает существование такого рода мира. В любом случае, с точки зрения аналитической философии, платоновская трактовка знания является слишком узкой, ограничиваясь лишь своего рода "высшим знанием", не оставляя пространства для "обыденного знания" и по существу отрицая его возможность.

Образцом такого подхода вполне может служить концепция пропозиционального знания, представленная в книге Рассела "Проблемы философии". Russell B. The Problems of Philosophy. New York - Oxford, Oxford University Press, 1997. - P.131-140. Важно отметить (это подчеркивает также и Рассел), что знание недостаточно определять просто как истинное убеждение, так как наши убеждения могут оказаться истинными случайным образом, в силу всего лишь "эпистемического везения". Например, я могу считать - не имея на то никаких особых оснований -, что мой лучший друг в тот или иной момент времени находится дома (просто потому, что мне так кажется). Если я при этом случайно окажусь прав, и мой друг в указаный момент времени действительно будет находиться дома, то это вовсе не будет означать, что я в самом деле знал этот факт.

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

Таким образом, для того чтобы наше убеждение, даже будучи истинным, могло претендовать на статус знания, мы должны располагать обоснованием истинности этого убеждения. А значит, важнейшей проблемой теории познания оказывается проблема выяснения и уточнения возможных критериев обоснованности убеждений, то есть ответ на вопрос о том, что означает для убеждения, быть обоснованным. В аналитической эпистемологии можно выделить два основных подхода к решению этой проблемы, которые обычно обозначают как "интернализм" и "экстернализм". См. напр. Pollock J.L. Contemporary Theories of Knowledge. Totowa: Rowman and Littlefield, 1986. Интернализм требует, чтобы обоснование того или иного убеждения оставалось исключительно "внутренним делом" познающего субъекта и не задействовало никаких "внешних факторов", ограничиваясь только ссылками на убеждения субъекта и его эпистемические состояния. Родрик Чизом формулирует это требование следующим образом:

"Если субъект S имеет внутреннее основание для убеждения в определенной вещи, то это может быть чем-то, что он может знать всего лишь посредством рассмотрения своего собственного состояния сознания". Chisholm, R. Theory of Knowledge. 3^rd ed., Englewood Cliffs: Prentice Hall, 1989. - P.7.

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

В рамках интерналистской стратегии обоснования убеждений наибольшее распространение получило два рода концепций: теории фундаменталистского типа и теории когерентистского типа. Фундаменталистские теории См. напр. Carnap, R. Der logische Aufbau der Welt. Hamburg: Meiner, 1998; Lewis, C.I. An Analysis of Knowledge and Valuation. LaSalle: Open Court, 1946; Goodman, N. The Structure of Appearence. Cambridge: Harvard University Press, 1951. исходят из положения, что наше знание (в целом) должно иметь то, что может быть названо "основаниями". В качестве такого рода оснований среди возможных убеждений обычно выделяют некоторый ограниченный класс "эпистемически базисных" положений ("фундамент"), имеющих определенного рода "эпистемически привелигированный" статус. Предполагается, что базисные убеждения не нуждаются в дополнительном обосновании, они являются самоочевидными. Все остальные убеждения получают свое обоснование посредством той или иной процедуры сведения к базисным убеждениям. Фундаментализм был характерен для теоретико-познавательных концепций Нового времени (как эмпиризма, так и рационализма), и именно на эту классическую традицию в теории познания опираются его современные версии в аналитической философии. Конкретные теории отличаются здесь по своей трактовке следующих двух основных вопросов. Во-первых, что представляют собой эпистемически базисные убеждения; что именно гарантирует их привелигерованную роль и закрепляет за ними статус "основоположений" нашего знания? Во-вторых, какого рода процедуры обеспечивают переход от базисных убеждений к небазисным; в силу чего базисные положения обосновывают все остальные убеждения?

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

В противоположность фундаментализму, теории когерентистского типа См. напр. Lehrer, K. Knowledge. Oxford: Oxford University Press, 1974; Quine, W.V. and J. Ullian, The Web of Belief. 2^nd ed. New York: Random Housе, 1978. отрицают существование каких-либо эпистемически привелигированных базисных убеждений. Все убеждения имеют "равноправный" эпистемический статус и то или иное убеждение получает свое обоснование не через сведение к некоторому выделенному классу "основоположений", а посредством его сопоставления со всем множеством остальных убеждений. В этом случае обоснованность убеждения зависит от того, насколько оно "согласуется" с остальными убеждениями. Центральную роль здесь играет так называемое отношение когерентности или связности, которое и призвано обеспечить взаимную согласованность всей системы убеждений субъекта. Конкретные теории различаются в зависимости от той или иной трактовки этого отношения.