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

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

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

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

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

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

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