|
Как критическое рассмотрение, так и развитие анализа Крипке в литературе относятся прежде всего к попыткам 142
Ввиду того что в формальной семантике модальной логики каждая формула оценивается относительно каждого возможного мира, при de dicto интерпретации поначалу приписывается значение ( ]х) (Fx) и G в мире w: если объект, который является значением (~~| х) (Fx) в мире w, является членом экстенсии предикатного выражения G в w, G (~] х) (Fx) приписывается истинностное значение Истина, в противном случае — Ложь. Если G( ~\x) (Fx) получает значение Истина в каждом возможном мире, тогда П[(~]х) (Fx)]G(~\x) (Fx) полагается истинным. При интерпретации de re в отличие от de dicto интерпретации после приписания значения G(~~\x)(Fx) в w (~]x)(Fx) не приписывается значения в каждом альтернативном возможном мире; берется значение (~^х) (Fx), зафиксированное в w, и соответствующий объект прослеживается в каждом другом возможном мире. При этом устанавливается, входит ли он или не входит в экстенсию G в каждом из 1 Эта высказанная А. Шмулльяном (см. 287) мысль является развитием идеи Рассела о неоднозначности, порождаемой пустыми определенными дескрипциями. Ш этих миров. В случае положительного ответа [(~\х) (Fx)]O \3G( И #) (Fx) истинно в w. Таким образом, разница между двумя интерпретациями объясняется тем, что в случае de dicto определенная дескрипция подвергается оценочной процедуре в каждом возможном мире, тогда как в случае de re значение дескрипции остается фиксированным, начиная миром w. Следовательно, семантическая роль оператора области действия определенной дескрипции заключается в указании на то, как рассматривается определенная дескрипция — в качестве жесткого или же нежесткого десигнатора '. Наконец, если дескрипция получает одно и то же значение в каждом возможном мире, то для истинного значения любого модального предложения, содержащего такую дескрипцию, в любом мире не важно, какой процедуре — de dicto или de re — следуют при определении значения предложения в этом мире. — 108 —
|