Проблема смысла

При анализе пропозиций и определении их отношений не делается ссылки на язык. Последняя имеет место лишь при рассмотрении синонимии языковых выражений. Так, «а» и «&» полагаются синонимичными для данной интерпретации <Р, F> (где V — функция приписания семантических значений), если и только если F(««») = У(«6»). Хотя синонимичные предложения логически эквивалентны, обратное не обязательно имеет место для некоторых моделей, и вообще в теориях референтной семантики рассмотрение пропозиций как функций от возможных миров к истинностным значениям принципиально не связано с анализом языка — естественного или искусственного. Статус пропозиций таков, что они могут рассматриваться отвлеченно, с одной стороны, от конкретных языков и их лингвистических формулировок (т. е. выражающих их предложений), с другой—от тех речевых актов, в которых

82

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

Индивидуальный концепт как значение функции интерпретации индивидуальных выражений Крессвелл понимает как функцию (возможно, константную) от возможных миров к предметам и — аналогично Монтегю — рассматривает свойства этих концептов. Понятие предмета (физического объекта, события, состояния, процесса) или — по аналогии с базисными специфичными ситуациями — базисного индивида, в свою очередь, определяется как функция г от возможного мира w к части этого мира (при этом широкое понимание термина «базисный индивид» не обязывает Крессвелла к принятию требования пространственно-временной непрерывности базисных индивидов). Значение функции г в возможном мире w называется «манифестацией» г в w или, согласно традиции референтной семантики, экстенсией г в w. Крессвелл сознательно избегает употребления в данном контексте термина «экстенсия», так как последний наводит на мысль, что индивид является значением функции, а не, как полагается, самой функцией. В формальной семантической модели Крессвелла допускается существование того же базисного индивида в более чем одном мире, при этом его манифестация может быть разной в различных возможных мирах, что равносильно рассмотрению таких возможных миров, в которых этот индивид существует, но обладает другими свойствами.