Некоторые философы и лингвисты были вдохновлены тем, что понятие возможных миров предлагает новый путь как для логики модальных высказываний, так и для интенсиональной семантики логики и естественных языков. Например, необходимо истинные высказывания истинны во всех возможных мирах; возможно истинные высказывания истинны в некоторых; а истинное контрфактическое высказывание истинно в некоторых мирах, но не в мире произносящего его индивида.
Получив набор возможных миров для квантификации, формальная логика модальных высказываний становится богаче. Благодаря квантификации по возможным мирам можно получить интенсиональную семантику, хотя и более сложным путем. Так как значение или интенсионал высказывания – это то, по чему идет отбор возможных миров, в которых это высказывание истинно, то каждое предложение может быть истолковано как функция от возможных миров по истинностным значениям. Точно так же свойство может быть представлено как функция от возможных миров по множествам, элементы которых обнаруживают это свойство в каждом мире. Другие виды обозначающих терминов могут быть концептуально реконструированы похожими способами.
Даже такой краткий набросок семантики возможных миров говорит о важности спецификации тех возможных миров, по которым происходит квантификация, и здесь мнения расходятся. Дэвид Льюис, к примеру, осуществляет квантификацию по сплошному ряду миров, которые только можно себе представить. Сол Крипке сосредоточивает внимание на возможных мирах, которые могут быть приняты по соглашению. Возможны и средние позиции между этими двумя точками зрения[48].
Сторонники этих позиций обсуждают множество вопросов, большая часть которых не имеет отношения к настоящему предмету Но все участники обсуждений, кажется, принимают, вместе с Куайном, что все может быть сказано на любом языке. Если, согласно моей предпосылке, это допущение неверно, требуется дополнительное обсуждение.
Вопросы, связанные с семантикой модальных высказываний или с интенсионалами слов и строк, из них состоящих, ipso facto являются вопросами о высказываниях и словах в определенном языке. Для их решения важны только те возможные миры, которые постулируются этим языком. Расширение квантификации с целью включения миров, доступных только посредством обращения к другим языкам, кажется в лучшем случае бесполезным, а в некоторых случаях это может послужить источником ошибок и путаницы. Один важный род путаницы уже был упомянут – историк, пытающийся представить старую науку в своем собственном языке.
По крайней мере в применении к историческому развитию сила и эффективность аргументов семантики возможных миров требуют их ограничения мирами, доступными посредством данного словаря, мирами, которые могут быть постулированы участниками данного языкового сообщества или культуры[49].
До настоящего времени я занимался