Второй аспект развиваемого мной взгляда на значение не столь обычен и имеет больше следствий. Два человека могут использовать набор взаимосвязанных терминов одинаковым образом, но применять в своей деятельности различные (в принципе совершенно несвязанные) наборы координат поля. Примеры приведены далее, а пока можно подумать над следующей метафорой. США могут быть нанесены на карту с помощью разных систем координат. Индивиды с разными картами будут определять положение, скажем, Чикаго, посредством различных пар координат. Но все они тем не менее будут устанавливать местонахождение одного и того же города, при условии, что карты масштабированы таким образом, что сохраняют относительное расстояние между элементами, нанесенными на карту. Метрика, сопутствующая каждому из различных наборов координат, должна, таким образом, быть выбрана так, чтобы сохранять структурные геометрические отношения внутри нанесенной на карту территории[46].

Обрисованные только что посылки имеют следствия для продолжающихся дебатов по семантике возможных миров. Ее суть я кратко изложу, прежде чем связать ее с тем, что было только что сказано. О возможном мире часто говорится как о том, каким мог бы быть наш мир, и это неформальное описание очень хорошо для наших настоящих целей[47].

Так, в нашем мире у Земли есть только один естественный спутник (Луна), но существуют другие возможные миры, почти такие же, как наш, отличные лишь тем, что там Земля имеет два или более спутника или не имеет ни одного. («Почти» предусматривает корректировку феноменов, при которой законы природы останутся неизменными, а количество спутников может варьироваться.) Также существуют возможные миры, похожие на наш в меньшей мере: там, скажем, нет Земли или нет планет, и даже такие, где законы природы отличаются от наших.

Некоторые философы и лингвисты были вдохновлены тем, что понятие возможных миров предлагает новый путь как для логики модальных высказываний, так и для интенсиональной семантики логики и естественных языков. Например, необходимо истинные высказывания истинны во всех возможных мирах; возможно истинные высказывания истинны в некоторых; а истинное контрфактическое высказывание истинно в некоторых мирах, но не в мире произносящего его индивида.

Получив набор возможных миров для квантификации, формальная логика модальных высказываний становится богаче. Благодаря квантификации по возможным мирам можно получить интенсиональную семантику, хотя и более сложным путем. Так как значение или интенсионал высказывания – это то, по чему идет отбор возможных миров, в которых это высказывание истинно, то каждое предложение может быть истолковано как функция от возможных миров по истинностным значениям. Точно так же свойство может быть представлено как функция от возможных миров по множествам, элементы которых обнаруживают это свойство в каждом мире. Другие виды обозначающих терминов могут быть концептуально реконструированы похожими способами.

Даже такой краткий набросок семантики возможных миров говорит о важности спецификации тех возможных миров, по которым происходит квантификация, и здесь мнения расходятся. Дэвид Льюис, к примеру, осуществляет квантификацию по сплошному ряду миров, которые только можно себе представить. Сол Крипке сосредоточивает внимание на возможных мирах, которые могут быть приняты по соглашению. Возможны и средние позиции между этими двумя точками зрения[48].

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