Все это можно формализовать, заметив, что полное описание референции в контрфактических мирах не определяется априори сингулярно индексированной функцией
f: W —> R.
На деле референция в контрфактическом мире зависит как от этого мира, так и от того, каким является актуальный мир. Иначе говоря, понятие определяет двойственно индексированную функцию
F: W* х W —> Д,
где W* есть пространство центрированных возможных миров, a W есть пространство обычных возможных миров. Первый параметр репрезентирует контексты выражения, или возможные варианты актуального мира, второй — обстоятельства оценки, или контрфактические возможные миры. Или, что то же самое, понятие определяет семейство функций
F v : W —> R
для всякого V ∈ W*, репрезентируя возможные варианты актуального мира, где F v (w) = F(v, w). В случае «воды» если а — это мир, в котором водянистая материя есть Н 2O, то F a указывает на Н 2O в любом возможном мире. Поскольку в нашем мире вода оказалась Н 2O, эта F a конкретизирует условия корректного применения «воды» в контрфактических мирах. Если бы наш мир оказался другим миром Ь, в котором водянистая материя была бы XYZ, соответствующие условия применения конкретизировались бы посредством F&, другого интенсионала, выделяющего XYZ в любом возможном мире.
Функция F определяется априори, поскольку все апостериорные факторы оказываются включенными в ее параметры. Из F мы можем получить оба наших сингулярно индексированных интенсионала. Первичный интенсионал есть функция f: W* —> R , определяемая «диагональным» отображением f: w —> F(w, w'), где w' идентичен w , за исключением отсутствия центра. Это функция, посредством которой фиксируется референция в актуальном мире. Вторичный интенсионал есть соотнесение F a : w —> F(a,w ), где a — наш актуальный мир. Этот интенсионал вычленяет референцию в контрфактических мирах. Непосредственным следствием оказывается то, что первичный и вторичный интенсионалы совпадают в их применении к актуальному миру:
f(а) = F a(a') = F(a, а').
В обратном направлении двойственно индексированная функция F, а поэтому и вторичный интенсионал F a , обычно могут быть извлечены из первичного интенсионала f при помощи «правила», говорящего о том, каким образом вторичный интенсионал зависит от первичного интенсионала и актуального мира а. Это правило зависит от типа понятия. Для понятия, являющегося жестким десигнатором, оно состоит в том, что в мире w вторичный интенсионал указывает в w на то, на что указывает первичный интенсионал в а (или, быть может, в случае терминов естественных видов, то, что имеет такую же базовую структуру, как то, на что указывает первичный интенсионал в а). Более формально: пусть D: RxW — R будет «проективным» оператором от класса, выделяемого в каком-то мире, к членам «этого» класса в другом возможном мире. Тогда вторичный интенсионал F a есть не что иное, как функция D(f(a), — ), которую можно мыслить как dthat в ее применении к интенсионалу, данному посредством f .
У других понятий получение вторичного интенсионала из первичного будет более простым. В случае «дескриптивных» выражений, таких как «доктор», «площадь» или «водянистая материя», жесткая десигнация не играет особой роли: они применяются к контрфактическим мирам независимо от того, каким именно оказывается актуальный мир. Здесь вторичный интенсионал является простой копией первичного интенсионала (за исключением различий, связанных с центрированием). Очерченная мной модель хорошо работает с обоими видами понятий.
Термины, обозначающие свойства , такие как «теплое», могут представляться в интенсиональных рамках одним из двух способов. Интенсионал свойства можно рассматривать в качестве функции от мира к классу индивидов (индивидов, реализующих данное свойство) или же от мира к самим свойствам. Оба этих способа совместимы с предложенной моделью: в каждом из этих случаев несложно отыскать первичный и вторичный интенсионал; несложно и переходить от одной схемы к другой. Впрочем, обычно я буду действовать первым способом, принимая, что первичный интенсионал «теплого» указывает на такие вещи, которые могут считаться «теплыми» в актуальном мире в зависимости от того, каков он, тогда как вторичный интенсионал указывает на теплые вещи в контрфактическом мире, если актуальный мир является таким, каков он есть.
Читать дальше