155 (где «о» — рассматриваемый сингулярный термин, «F» — предикатное выражение, содержащее одно или более чем одно модальное понятие), например «Джон думает, что премьер-министр Дании — социал-демократ», — как предложения о различных объектах, которые указываются рассматриваемым сингулярным термином в различных возможных мирах: в этом случае речь идет об интерпретации de dicto. При этой интерпретации приведенное предложение понимается как выражающее мнение Джона о том, что, кто бы ни был премьер-министром Дании, он является социал-демократом. Мнение Джона может основываться, например, на информации о том, что данный кабинет министров составляют исключительно социал-демократы. В этом случае мнение Джона касается разных датских политиков, которые в разных возможных мирах являются премьер-министрами Дании. Эти возможные миры и являются теми мирами, которые совместимы с тем, что думает Джон. Именно в силу этой референции на разные объекты, принадлежащие разным возможным мирам, из истинности «Fa» нельзя вывести — как предписывается классическим правилом экзистенциального обобщения — истинность « 3 х Fx» (т. е. утверждение о существовании объекта, относительно которого истинно «Fx»), т. е. заключить о том, что «Fa:» истинно относительно некоторого определенного объекта. Кроме того, речь может идти о понимании предложения «Fa» как предложения об определенном объекте, который указывается (выбирается) сингулярным термином в ряде возможных миров, в том числе и в действительном мире. В этом случае имеют дело с интерпретацией de re, формально: 3 х Fx, где «Fa;», например, «Джон думает, что х является социал-демократом». Иными словами, Джон имеет в виду определенного датского политика, ему известно, кто является премьер-министром Дании, ибо иметь мнение о том, кто чем является, — значит, согласно Хин-тикке, иметь мнение об определенном индивиде, который удовлетворяет рассматриваемому предикату. Отсюда следует, что правило экзистенциального обобщения не общезначимо для любой интерпретации сингулярных терминов: его применение требует выполнения дополнительного условия, заключающегося в гарантии, что «а» выбирает один и тот же индивид во всех возможных мирах, в качестве члена которых «а» рассматривается в «Fa», т. е. в зави- 156
— 118 —
|