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

Я буду всегда рассматривать миры «качественно» и абстрагироваться от вопросов «этовости». Иными словами, я буду считать два качественно тождественных мира тождественными, и меня не будут интересовать вопросы о том, не могли ли индивиды в таких мирах иметь разные «идентичности» (некоторые авторы пытались доказать, что могли). Эти вопросы о трансмировой идентичности ставят множество интересных проблем, но они по большей части несущественны для моего использования модели возможных миров.

В частности, кто-нибудь мог бы отрицать равенство значения и интенсионала в случае математических терминов. Часто утверждается, что такие положения, как «существует бесконечное множество простых чисел», не являются истинными по значению, несмотря на их истинность во всех возможных мирах; те, кто высказывает этот тезис, скорее всего, воспротивились бы приравниванию значения к интенсионалу.

Другие могли бы не согласиться с тезисом о том, что первичный интенсионал термина, такого как «вода», является частью его значения; возможно, они считают, что значение данного термина исчерпывается его референцией, полагая, что первичный интенсионал имеет отношение скорее к прагматике, чем к семантике. Третьи могли бы сопротивляться тезису о том, что вторичный интенсионал является частью значения. В любом случае от использования термина «значение» ничего не зависит. Меня интересует истинность по интенсионалу независимо от того, будут ли интенсионалы значениями или нет.

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

Не исключено, что можно применить эту критику к аргументу Декарта: поскольку он может представить себя без тела, его бестелесность есть нечто возможное, и поэтому он нефизичен (так как любая физическая сущность с необходимостью телесна). «Я бестелесен» может быть представимым-1 и поэтому возможным-1, но из этого не следует, что это положение представимо-2 и возможно-2. Напротив, смысл, в котором положение «я телесен» было бы необходимым, если бы он был физическим объектом, связан с необходимостью-2, а не с необходимостью-1. (Первичный интенсионал понятия «я» указывает на индивида в центре любого мира; вторичный интенсионал указывает на Декарта в любом мире.)

Можно было бы сказать, что в метафизической необходимости нет ничего особо «метафизического». При таком взгляде она оказывается всего лишь разновидностью концептуальной необходимости с апостериорным семантическим уклоном, идущим от двумерной природы наших понятий. Подробнее о том, что апостериорная необходимость — предмет не только метафизики, но и соглашения, см. (Putnam 1983) и (Sidelle 1989, 1992).

Хорган (Horgan 1984с) развивает и обосновывает концепцию, согласно которой все высокоуровневые факты логически супервентны на микрофизических фактах. По его словам, высокоуровневые факты привязаны к микрофизическому «семантическими ограничениями», так что в мире есть лишь микрофизика и «космическая герменевтика». Нельзя, однако, не обратить внимания на то, что он избегает говорить о проблеме сознательного опыта. Среди других сторонников разного рода формулировок тезиса о логической супервентности — Джексон (Jackson 1993), Кирк (Kirk 1974) и Льюис (Lewis 1994).

Аргументы в пользу того, что факты об абстрактных сущностях логически супервентны на физическом, можно найти у Армстронга (Armstrong 1982).

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