Этот анализ эксплицирует логическую необходимость и возможность того или иного утверждения в терминах (а) логической возможности миров и (Ь) интенсионалов, определяемых терминами из этого утверждения. Интенсионалы я уже обсуждал. Что же касается понятия логически возможного мира, то оно относится к числу изначальных понятий: как и прежде, мы можем интуитивно представлять логически возможный мир как мир, который мог бы быть создан Богом (оставляя в стороне вопросы о самом Боге). Я не буду касаться болезненного вопроса об онтологическом статусе этих миров, но просто приму их как отправную точку, в качестве инструмента, так же как можно принять за отправную точку математику[47]. Если же говорить об объеме этого класса, то наиболее важным является то, что всякий представимый мир оказывается логически возможным — в самое ближайшее время мы более подробно обсудим это обстоятельство.
Что же касается концептуальной истины, то если мы отождествим значение с интенсионалом (первичным или вторичным), то будет несложно установить связь между истинностью по значению и логической необходимостью. Если утверждение логически необходимо, его истинность будет автоматическим побочным продуктом интенсионалов его терминов (и композиционной структуры данного утверждения). Нам не нужно будет отводить какую-либо дополнительную роль миру, так как интересующие нас интенсионалы будут удовлетворяться в любом возможном мире. Аналогичным образом, если некое утверждение истинно вследствие его интенсионалов, оно будет истинным в любом возможном мире.
Как и прежде, можно говорить о двух разновидностях концептуальной истины — в зависимости от того, отождествляем ли мы «значения» с первичными или вторичными интенсионалами, — параллельных двум разновидностям необходимой истины. Пока мы принимаем параллельные решения в двух этих случаях, положение концептуально истинно, если и только если оно необходимо истинно. «Вода есть водянистая материя» есть концептуально истинное и необходимо истинное утверждение в первом смысле; а «вода есть H20» — во втором. Только первая разновидность концептуальной истины будет, как правило, достижима априори. Вторая разновидность будет включать множество апостериорных истин, так как вторичный интенсионал зависит от того, каким окажется актуальный мир.
(Я не утверждаю, что значения могут корректно мыслиться только через интенсионалы. Значение — многогранное понятие, и некоторые из его граней могут несовершенно отображаться интенсионалами; поэтому не все согласились бы отождествить их, по крайней мере в некоторых случаях[48]. Скорее отождествление значения и интенсионала должно рассматриваться здесь в качестве своего рода условного соглашения: если мы отождествляем их, мы можем извлечь из этого отождествления самые разные полезные следствия. Не так уж много зависит от использования слова «значение». В любом случае истинность по интенсионалу — единственный вид истинности по значению, который мне понадобится.)
При должной осмотрительности мы можем также установить связь между логической возможностью утверждений и их представимостью. Можно сказать, что утверждение представимо (или представимо в качестве истинного), если оно истинно в каком-либо представимом мире. Нельзя смешивать этот смысл с другими смыслами «представимого». К примеру, в одном из смыслов утверждение представимо, если, насколько нам известно, оно истинно или если мы не знаем о его невозможности. Если говорить в этом смысле о гипотезе Гольдбаха, то представимым будет как она, так и ее отрицание. Но ложный элемент этой пары не будет считаться представимым в том смысле, который я использую, так как нет представимого мира, в котором он является истинным (он ложен в любом мире).
Согласно этому взгляду на представимость, представимость утверждения предполагает две вещи: во-первых, представимость соответствующего мира и, во-вторых, истинность данного утверждения в этом мире[49]. Это значит, что, высказывая суждения о представимости, надо удостовериться в корректном описании представляемого мира, надлежащим образом оценив истинность утверждения в данном мире. На первый взгляд могло бы показаться, что ложность гипотезы Гольдбаха представима через представление мира, где математики объявляют ее таковой; но если эта гипотеза на деле истинна, то мы неверно описываем этот мир; на деле это мир, где данная гипотеза верна, но какие-то математики ошибаются.
47
Миры должны трактоваться долингвистически, возможно, в качестве дистрибуций базовых качеств. По-видимому, лучше не рассматривать их в качестве совокупности тех или иных утверждений, поскольку подобные утверждения описывают мир, и мы видели, что они могут делать это разными способами. При рассмотрении мира в качестве совокупности утверждений мы утратили бы это различение. Быть может, миры могут рассматриваться в качестве совокупностей пропозиций (Adams 1974) при надлежащем понимании пропозиций, в качестве максимальных свойств (Stalnaker 1976), положений дел (Plantinga 1976), структурных универсалий (Forrest 1986) или же в качестве конкретных объектов, аналогичных тем, что есть в нашем мире (Lewis 1986а). Не исключено и то, что это понятие можно попросту признать элементарным. В любом случае, рассуждения о возможных мирах обоснованы не больше и не меньше, чем рассуждения о возможности и необходимости вообще. Подобно математическим понятиям, эти модальные понятия могут с пользой употребляется еще до осуществления по отношению к ним удовлетворительного онтологического анализа.
Я буду всегда рассматривать миры «качественно» и абстрагироваться от вопросов «этовости». Иными словами, я буду считать два качественно тождественных мира тождественными, и меня не будут интересовать вопросы о том, не могли ли индивиды в таких мирах иметь разные «идентичности» (некоторые авторы пытались доказать, что могли). Эти вопросы о трансмировой идентичности ставят множество интересных проблем, но они по большей части несущественны для моего использования модели возможных миров.
48
В частности, кто-нибудь мог бы отрицать равенство значения и интенсионала в случае математических терминов. Часто утверждается, что такие положения, как «существует бесконечное множество простых чисел», не являются истинными по значению, несмотря на их истинность во всех возможных мирах; те, кто высказывает этот тезис, скорее всего, воспротивились бы приравниванию значения к интенсионалу.
Другие могли бы не согласиться с тезисом о том, что первичный интенсионал термина, такого как «вода», является частью его значения; возможно, они считают, что значение данного термина исчерпывается его референцией, полагая, что первичный интенсионал имеет отношение скорее к прагматике, чем к семантике. Третьи могли бы сопротивляться тезису о том, что вторичный интенсионал является частью значения. В любом случае от использования термина «значение» ничего не зависит. Меня интересует истинность по интенсионалу независимо от того, будут ли интенсионалы значениями или нет.
49
Эта дефиниция представимости близка той, что дана Ябло (Yablo 1993):