Сознающий ум

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

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

Из всего этого следует, что часто упоминаемое различение «логической» и «метафизической» возможности, восходящее к крипке — анским примерам, — в соответствии с которым считается логически, но не метафизически возможным, что вода есть XYZ, — это различие не на уровне миров, а в лучшем случае на уровне утверждений. В этом смысле утверждение «логически возможно», если оно истинно в каком-то мире при его оценке сообразно первичным интенсионалам; и оно «метафизически возможно», если оно истинно в каком-то мире при его оценке сообразно вторичным интенсионалам. Само пространство миров в обоих случаях одинаково[51].

Важнее всего то, что ни один из рассмотренных выше случаев не дает оснований полагать, что какие-либо из представимых миров невозможны. Любая обеспокоенность относительно провала между представимостью и возможностью касается лишь утверждений, а не миров: либо мы используем какое-то утверждение для некорректного описания представимого мира (как в крипкеанском случае и во втором гольдбаховском случае), либо мы утверждаем, что оно представимо, вообще не представляя мир (как в первом гольдбаховском случае). Кажется поэтому, что нет основания отрицать, что из представимости мира следует его возможность. В дальнейшем я буду исходить из этого тезиса о логической возможности; любая вариация возможности, когда из представимости не будет следовать возможность, будет, таким образом, более узким классом. Кто-то мог бы счесть, что существует более узкая разновидность «метафизически возможных миров», но основания верить в наличие подобного класса должны были бы быть совершенно независимыми от стандартных оснований, рассмотренных мной. В любом случае при рассмотрении вопросов, связанных с объяснением, на первый план выходит именно логическая возможность. (Более сильная «метафизическая» модальность могла бы в лучшем случае понадобиться при обсуждении онтологии, материализма и т. п. Я буду говорить о ней в надлежащем месте в главе 4.)

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