Сознающий ум. В поисках фундаментальной теории
Шрифт:
Мы можем обобщить это с помощью схематической диаграммы (рис. 2.1), показывающей, как высокоуровневое свойство Р могло бы зависеть от двух низкоуровневых параметров А и В, каждый из которых может принимать множество значений. Если бы у нас имелось четкое определение в терминах необходимых и достаточных условий, то ситуация напоминала бы картину слева, где черный прямоугольник изображает область реализации свойства Р. Зависимость, однако, неизменно напоминает картину справа с размытыми границами и большим участком, в котором вопрос о наличии свойства Р остается неопределенным, — при наличии, однако же, и участка, где этот вопрос определен. (Неопределенным, возможно, является, живы ли бактерии и компьютерные вирусы, но нет сомнений, что собаки — это живые существа.) При наличии примера, взятого из второго участка, реализующего А и В
Важно, таким образом, что одно множество фактов может влечь за собой другое множество и при отсутствии четкого определения понятий второго множества в терминах первого. Указанный выше случай может быть примером этого: не существует простой дефиниции Р в терминах А и В, но факты относительно А и В сразу влекут за собой факты о Р. В качестве другого примера возьмем округлость замкнутых кривых в двумерном пространстве (рис. 2.2). Округлость наверняка нельзя точно определить в терминах более простых математических понятий. Тем не менее посмотрим на фигуру слева, характеризуемую уравнением 2х2 + 3 у2 = 1. В той мере, в какой округлость вообще фактуальна, фактом является то, что эта фигура округла (сравним с фигурой справа, которая уж точно не округла). Более того, этот факт вытекает из базовой характеристики данной фигуры в математических терминах — наличие этой характеристики и понятия округлости определяют факт округлости данной фигуры. Принимая во внимание, что А — факты могут влечь за собой В-факты без определения В-фактов в терминах A-фактов, можно заключить, что понятие логической супервентности не затрагивается отсутствием дефиниций. (Полезно помнить об этом примере, размышляя о более сложных проблемах и возражениях, связанных с логической супервентностью.)
Рис. 2.1. Два варианта возможной зависимости свойства Р от свойств А и В
Рис. 2.2. Округлая кривая 2х2 + 3 у2 = 1 и ее лишенный округлости товарищ
Этот момент можно выразить замечанием, что «значение» понятия, релевантное в большинстве случаев, является не дефиницией, а интенсионалом: функцией, специфицирующей то, каким образом понятие применяется в различных ситуациях. Иногда интенсионал можно выразить в дефиниции, но, как показывают наши случаи, это не обязательно. Но пока можно отсылать к фактам о том, как понятия применяются в различных ситуациях, у нас будут интенсионалы; и мы вскоре увидим, что этим обычно и будет исчерпываться «значение», нужное для моих аргументов.
Второе возражение, выдвинутое Куайном (Quine 1951), состоит в том, что предполагаемые концептуальные истины всегда могут быть пересмотрены перед лицом достаточных эмпирических свидетельств. К примеру, если какие-то данные вынуждают меня пересмотреть различные базовые положения какой-то теории, то не исключено, что положение, некогда представлявшееся концептуально истинным, может оказаться ложным.
Это верно в случае многих предположительно концептуальных истин, но неприменимо к рассматриваемым нами супервентностным кондиционалам, которые имеют следующий вид: «если низкоуровневые факты оказываются такими-то, высокоуровневые факты будут такими-то». Факты, специфицированные в антецеденте этого кондиционала, на деле включают все релевантные эмпирические факторы. Эмпирические свидетельства могут показать нам ложность антецедента этого кондиционала, но не ложность его самого. В предельном случае можно сделать так, чтобы антецедент полностью специфицировал низкоуровневые факты о мире. Сама полнота антецедента гарантирует нерелевантность эмпирических свидетельств для истинностного значения кондиционала. (Эта картина несколько осложняется существованием апостериорных необходимостей, о которых вскоре пойдет речь. Здесь меня интересуют только эпистемические кондиционалы,
Хотя соображения о ревизуемости могут быть реальным доводом в пользу отсутствия многих простых концептуальных истин, ничто в них не говорит против наличия того лимитированного, комплексного типа концептуальных истин, который был предметом моего рассмотрения. Итогом этих соображений является то, что условия истинности высокоуровневых положений могут и не быть легко локализуемыми, так как на них могли бы косвенно влиять самые разные факторы; но это не ставит под угрозу глобальные условия истинности, выражаемые супервентностными кондиционалами. В самом деле, если значение определяет функцию от возможных миров к классам референции (интенсионал), и если возможные миры допускают конечное описание (скажем, в терминах размещения базовых качеств в этих мирах), то в результате мы автоматически получаем громадный класс концептуально истинных кондиционалов.
Традиционно считалось, что все концептуальные истины познаваемы априори, как и все необходимые истины, и что классы априорных истин, необходимых истин и концептуальных истин близкородственны или даже совпадают по своему объему. Книга Сола Крипке «Именование и необходимость» (Kripke 1972) покоробила эту картину. В ней доказывалось существование большого класса необходимо истинных положений, истинность которых не является чем-то, что познается априори. Примером является положение «вода есть Н2О». Мы не можем знать о его истинности априори; вполне можно предположить (или вполне можно предположить в начале изысканий), что вода состоит из чего-то другого, возможно XYZ. Крипке доказывает, что, невзирая на это, если исходить из того, что вода есть Н2О в актуальном мире, получается, что вода есть Н2О во всех возможных мирах. Из этого следует, что «вода есть Н2О» — необходимая истина, несмотря на то что она апостериорна по своей природе.
Это создает ряд трудностей для предложенной мной модели. К примеру, согласно некоторым толкованиям, эти необходимые истины оказываются концептуальными истинами, из чего следует, что не все концептуальные истины познаются априори. Согласно альтернативным толкованиям, подобные положения не являются концептуальными истинами, но тогда разрушается связь между концептуальной истиной и необходимостью. В различных частях этой книги я использую априорные методы, чтобы удостовериться в необходимости; но именно такие процедуры, как нередко утверждается, ставятся под вопрос концепцией Крипке.
По размышлении я полагаю, что можно показать, что эти сложности не вносят существенных изменений в мои аргументы; но дело стоит того, чтобы прояснить, что тут, собственно, происходит. Я потрачу некоторое время для создания систематической модели, позволяющей справляться с этими проблемами, которые будут периодически напоминать о себе. В частности, я покажу, как можно естественным путем выразить крипкеанские интуиции в двумерной картине значения и необходимости. Эта модель представляет собой синтез идей, высказанных Крипке, Патнэмом, Капланом, Столнейкером, Льюисом, Эвансом, Дэвисом, Хамберстоуном и другими авторами, рассматривавшими эти двумерные феномены.
Согласно традиционному взгляду на референцию, восходящему к Фреге, но выраженному здесь в современной терминологии, понятие определяет некую функцию f: W—>R от возможных миров к референтам. Подобная функция зачастую именуется интенсионалом; вместе со спецификацией мира w она определяет экстенсионал f(w). Сам Фреге считал, что каждое понятие имеет смысл, который, как предполагалось, определяет референт данного понятия в зависимости от состояния мира; так что эти смыслы тесно соотносятся с интенсионалами. Смысл нередко трактовали в качестве значения соответствующего понятия.
Более современные исследования привели к признанию того, что никакой единичный интенсионал не может выполнить всю ту работу, которую должно выполнять значение. Картина, полученная Крипке, усложнила ситуацию, показав, что референция в актуальном мире и референция в контрфактическом мире определяются совершенно разными механизмами. В известном отношении крипкеанская картина словно бы разбивает фрегеанскую картину на два отделенных друг от друга уровня.
Эту крипкеанскую интуицию можно выразить, сказав, что на деле с понятием связано два интенсионала. Иными словами, существуют две совершенно разные схемы зависимости референта понятия от состояния мира. Во-первых, это зависимость, фиксирующая референцию в актуальном мире сообразно тому, каким является этот мир: если он является таким-то, то понятие будет выделять одно, если каким-то другим — другое. Во-вторых, это зависимость, определяющая референцию в контрфактических мирах при условии фиксации референции в актуальном мире. Каждой из этих зависимостей соответствует свой интенсионал. Я буду называть эти интенсионалы соответственно первичным и вторичным.