Дэвид Чалмерс - Сознающий ум. В поисках фундаментальной теории

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

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

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

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

Эти соображения свидетельствуют против чрезмерно упрощенного представления о концептуальной истине, но не против того, как я использую эти понятия. В частности, они не затрагивают класса супервентностных кондиционалов — «если A — факты о какой‑либо ситуации являют собой X, то В — факты оказываются F», где A — факты полностью специфицируют ситуацию на самом базовом уровне. Мой аргумент нуждается только в таких концептуальных истинах, и мы увидим, что ни одно из приведенных выше соображений не свидетельствует против них. Я также более детально проанализирую отношение между концептуальной и необходимой истиной и проясню их роль в понимании логической супервентности.

Отсутствие четких дефиниций — наименее ceрьезная из трудностей, связанных с концептуальны — ми истинами. Ни один из моих аргументов не зависит от существования подобных дефиниций. Иногда я отсылаю к анализу различных понятий, но эти анализы могут быть лишь приблизительными и не претендующими на указание точных необходимых и достаточных условий. Большинство понятий (к примеру, «жизнь») несколько неопределенны в своем применении и нет большого смысла пытаться устранить эту неопределенность путем искусственных уточнений. Вместо того чтобы говорить, что «система является живой, если и только если она воспроизводится, адаптируется с коэффициентом полезности 800 или выше и осуществляет метаболизм с эффективностью в 75 процентов или проявляет все это в надлежащем сочетании с такими‑то и такими‑то свойствами», мы можем просто заметить, что, если система проявляет все это в достаточной степени, она будет живой вследствие значения этого термина. Если описание соответствующих низкоуровневых фактов фиксирует данные факты о размножении, полезности, метаболизме и т. д. системы, то оно также фиксирует факты о том, является ли эта система живой , — в той мере, в какой этот вопрос вообще имеет фактуальный характер.

Мы можем обобщить это с помощью схематической диаграммы (рис. 2.1), показывающей, как высокоуровневое свойство Р могло бы зависеть от двух низкоуровневых параметров А и В, каждый из которых может принимать множество значений. Если бы у нас имелось четкое определение в терминах необходимых и достаточных условий, то ситуация напоминала бы картину слева, где черный прямоугольник изображает область реализации свойства Р. Зависимость, однако, неизменно напоминает картину справа с размытыми границами и большим участком, в котором вопрос о наличии свойства Р остается неопределенным, — при наличии, однако же, и участка, где этот вопрос определен. (Неопределенным, возможно, является, живы ли бактерии и компьютерные вирусы, но нет сомнений, что собаки — это живые существа.) При наличии примера, взятого из второго участка, реализующего А и В в степени, достаточной для реализации Р, кондиционал «если х есть А и В в этой степени, то х есть Р» оказывается концептуальной истиной, несмотря на отсутствие четкой дефиниции Р. Любая неопределенность в таких кондиционалах, в серых участках, будет отражать фактуальную неопределенность, как и должно быть. Эту картину можно напрямую расширить до зависимости свойства от любого множества факторов и до супервентностных кондиционалов в целом.

Важно, таким образом, что одно множество фактов может влечь за собой другое множество и при отсутствии четкого определения понятий второго множества в терминах первого. Указанный выше случай может быть примером этого: не существует простой дефиниции Р в терминах А и В, но факты относительно А и В сразу влекут за собой факты о Р. В качестве другого примера возьмем округлость замкнутых кривых в двумерном пространстве (рис. 2.2). Округлость наверняка нельзя точно определить в терминах более простых математических понятий. Тем не менее посмотрим на фигуру слева, характеризуемую уравнением 2х 2 + 3 у 2 = 1. В той мере, в какой округлость вообще фактуальна, фактом является то, что эта фигура округла (сравним с фигурой справа, которая уж точно не округла). Более того, этот факт вытекает из базовой характеристики данной фигуры в математических терминах — наличие этой характеристики и понятия округлости определяют факт округлости данной фигуры. Принимая во внимание, что А — факты

Рис. 2.1. Два варианта возможной зависимости свойства Р от свойств А и В

Рис. 2.2. Округлая кривая 2х 24- Ъу 2 = 1 и ее лишенный округлости товарищ могут влечь за собой В — факты без определения В — фактов в терминах A — фактов, можно заключить, что понятие логической супервентности не затрагивается отсутствием дефиниций. (Полезно помнить об этом примере, размышляя о более сложных проблемах и возражениях, связанных с логической супервентностью.)

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