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

В семантическом плане это связывается с принятием определенной концепции возможных миров: в случае однородной концепции этих миров, означающей, что в других возможных мирах существуют лишь те объекты, которые существуют в действительном мире, но отличаются от последних своими свойствами и отношениями, «формулы Баркан» полагаются вполне приемлемыми. Ситуация меняется в разнородной концепции возможных миров, согласно которой объекты, не существующие в действительном мире, могут существовать в других возможных мирах.

В логическом анализе естественного языка различию de dicto/de re придается существенная роль как при рассмотрении статуса сингулярных терминов, прежде всего определенных дескрипций, так и в связи с экстраполяцией этого различия на эпистемические модальности и рассмотрением приемлемости и следствий квантификации, что, в нашем понимании, неотделимо от рассмотрения языковых выражений как в большей или меньшей степени прозрачных относительно определенных концептуальных систем (см. гл. V).

Проведение различия между собственными именами и определенными дескрипциями служит Расселу основой для объяснения информативности утверждений вроде «Венера—утренняя звезда», «Скотт является автором «Вэ-верлея»» и т. д. Информативность таких утверждений обеспечивается тем, что по крайней мере один из терминов утверждаемого тождества является эксплицитной или скрытой дескрипцией, а не логически собственным именем. Аналогично объясняется непарадоксальность утверждений

126

отрицания существования вроде «Круглый квадрат не существует» : возможность таких — не только осмысленных, но и истинных — утверждений показывает, что выражение «круглый квадрат» не является логически собственным именем '.

Отсюда делается вывод, что любое предложение, грамматическое подлежащее которого кажется именующим несуществующий объект, должно быть подвергнуто такому логическому анализу, в результате которого это подлежащее элиминируется в логической парафразе предложения. В рассмотренном случае такой анализ дает следующую парафразу: «Ложно, что имеется один и только один объект, который является круглым и квадратным». Формально это выглядит так: ~ ((За;) (у) (Fy & Gy<—*у=х)), где «F» — «круглый», «G» — «квадратный». Предложения, имеющие вид «такой-то объект является таким-то» (т. е. . имеет такое-то свойство), например «Автор «Вэверлея» является поэтом», тогда анализируются в конъюнкцию трех предложений, а именно как в рассматриваемом случае: «Кто-то написал «Вэверлея»», «Самое большое один человек написал «Вэверлея»», «Любой, кто написал «Вэверлея», является поэтом». Формально это обозначается следующим образом: 3 xFxce(x) (у) ((Fx&Fy)-+x=y)&(x) (Fx-^Gx), где «.F» — «написал «Вэверлея»», «<?» — «поэт».