Сознающий ум

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

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

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

Рис. 2.2. Округлая кривая 2х² + 3 у² = 1 и ее лишенный округлости товарищ

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

Ревизуемость

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

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