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

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

Этот анализ эксплицирует логическую необходимость и возможность того или иного утверждения в терминах (а) логической возможности миров и (Ь) интенсионалов, определяемых терминами из этого утверждения. Интенсионалы я уже обсуждал. Что же касается понятия логически возможного мира, то оно относится к числу изначальных понятий: как и прежде, мы можем интуитивно представлять логически возможный мир как мир, который мог бы быть создан Богом (оставляя в стороне вопросы о самом Боге). Я не буду касаться болезненного вопроса об онтологическом статусе этих миров, но просто приму их как отправную точку, в качестве инструмента, так же как можно принять за отправную точку математику [30]. Если же говорить об объеме этого класса, то наиболее важным является то, что всякий представимый мир оказывается логически возможным — в самое ближайшее время мы более подробно обсудим это обстоятельство.

Что же касается концептуальной истины, то если мы отождествим значение с интенсионалом (первичным или вторичным), то будет несложно установить связь между истинностью по значению и логической необходимостью. Если утверждение логически необходимо, его истинность будет автоматическим побочным продуктом интенсионалов его терминов (и композиционной структуры данного утверждения). Нам не нужно будет отводить какую‑либо дополнительную роль миру, так как интересующие нас интенсионалы будут удовлетворяться в любом возможном мире. Аналогичным образом, если некое утверждение истинно вследствие его интенсионалов, оно будет истинным в любом возможном мире.

Как и прежде, можно говорить о двух разновидностях концептуальной истины — в зависимости от того, отождествляем ли мы «значения» с первичными или вторичными интенсионалами, — параллельных двум разновидностям необходимой истины. Пока мы принимаем параллельные решения в двух этих случаях, положение концептуально истинно, если и только если оно необходимо истинно. «Вода есть водянистая материя» есть концептуально истинное и необходимо истинное утверждение в первом смысле; а «вода есть H 20» — во втором. Только первая разновидность концептуальной истины будет, как правило, достижима априори. Вторая разновидность будет включать множество апостериорных истин, так как вторичный интенсионал зависит от того, каким окажется актуальный мир.

(Я не утверждаю, что значения могут корректно мыслиться только через интенсионалы. Значение — многогранное понятие, и некоторые из его граней могут несовершенно отображаться интенсионалами;

поэтому не все согласились бы отождествить их, по крайней мере в некоторых случаях [31]. Скорее отождествление значения и интенсионала должно рассматриваться здесь в качестве своего рода условного соглашения: если мы отождествляем их, мы можем извлечь из этого отождествления самые разные полезные следствия. Не так уж много зависит от использования слова «значение». В любом случае истинность по интенсионалу — единственный вид истинности по значению, который мне понадобится.)

При должной осмотрительности мы можем также установить связь между логической возможностью утверждений и их представимостью. Можно сказать, что утверждение представимо (или представимо в качестве истинного), если оно истинно в каком‑либо представимом мире. Нельзя смешивать этот смысл с другими смыслами «представимого». К примеру, в одном из смыслов утверждение представимо, если, насколько нам известно, оно истинно или если мы не знаем о его невозможности. Если говорить в этом смысле о гипотезе Гольдбаха, то представимым будет как она, так и ее отрицание. Но ложный элемент этой пары не будет считаться представимым в том смысле, который я использую, так как нет представимого мира, в котором он является истинным (он ложен в любом мире).

Согласно этому взгляду на представимость, представимость утверждения предполагает две вещи: во — первых, представимость соответствующего мира и, во — вторых, истинность данного утверждения в этом мире [32]. Это значит, что, высказывая суждения о представимости, надо удостовериться в корректном описании представляемого мира, надлежащим образом оценив истинность утверждения в данном мире. На первый взгляд могло бы показаться, что ложность гипотезы Гольдбаха представима через представление мира, где математики объявляют ее таковой; но если эта гипотеза на деле истинна, то мы неверно описываем этот мир; на деле это мир, где данная гипотеза верна, но какие‑то математики ошибаются.

На практике для вынесения суждения о представимости нужно лишь рассмотреть представимую ситуацию — небольшую часть мира, — а затем удостовериться в ее корректном описании. Если имеется представимая ситуация, в которой утверждение оказывается истинным, то, разумеется, будет иметься и представимый мир, в котором оно окажется истинным. Так что этот метод будет давать осмысленные результаты, не напрягая при этом наши когнитивные ресурсы необходимостью представления целого мира!

Иногда утверждается, что такие примеры, как «вода есть Н 20», показывают, что из представимости не следует возможность, но, на мой взгляд, вопрос этот не столь однозначен. В действительности есть две разновидности представимости, которые мы могли бы назвать представимостью-1 и представимостью-2 в зависимости от того, оцениваем ли мы какое‑то утверждение в представимом мире сообразно первичным или сообразно вторичным интенсионалам входящих в него терминов. Утверждение «вода есть XYZ» представимо-1, так как представим мир, в котором оно (оцениваемое сообразно первичным интенсионалам) будет истинным, но не представимо-2, поскольку нельзя представить мир, в котором данное утверждение (оцениваемое сообразно вторичным интенсионалам) будет истинным. Два этих вида представимости в точности отражают два упомянутых выше вида логической возможности.

Представимость утверждения зачастую отождествляется с представимостью-1 (в этом смысле представимо, что «вода есть XYZ»), поскольку представимость такого рода достижима априори. Возможность же утверждения чаще всего отождествляется с возможностью-2 (в этом смысле невозможно, что «вода есть XYZ»). При таком рассмотрении из представимости не следует возможность. Но это не меняет того, что представимость-1 влечет возможность-1, а представимость-2 — возможность-2. Надо просто быть осмотрительным и не говорить о представимости-1, когда речь идет о возможности-2. Иными словами, надо быть осмотрительным и не давать описание представляемого мира (скажем, мира XYZ) через первичные интенсионалы, когда лучше было бы делать это через вторичные [33].