При этом отрицание представляет собой частный случай выявления различий логического поведения опреде- 124
Существенный для последующего развития логического анализа естественного языка аргумент о том, что определенные дескрипции порождают неоднозначность, первоначально использованный Расселом при определении логического статуса пустых определенных дескрипций в случае экстенсиональных контекстов, впоследствии был применен А. Шмульяном (287) в качестве контраргумента против выдвинутой Куайном критики квантификации в модальных контекстах. Определенная дескрипция, содержащаяся в получаемом в качестве заключения предложении «Необходимо, число планет больше семи» из посылок «Девять — число планет» и «Необходимо, 9 больше 7» посредством замены тождественного, может рассматриваться как порождающая неоднозначность типа de dicto/de re; соответственно данное предложение формально получает либо интерпретацию ?[( ~~\х) {Fx)] ((~~\х) {Fx) >7), где «?» — оператор необходимости (при которой заключение полагается ложным и не следующим из посылок), либо интерпретацию [(""] х) {Fx)] ? (( ~~| х) {Fx) >7) (при которой заключение полагается истинным и следующим из рассматриваемых посылок в данном модальном контексте). В этой связи отметим, что в классическом понимании различие de dicto/de re, известное уже в средневековой логике, есть различие между приписыванием свойства модальности пропозиции {dictum — тому, что говорится), например «Возможно, что Сократ бежит», и приписыванием такого свойства определенному объекту {res, о котором идет речь), соответственно «Сократ, возможно, бежит». При по- 125 нимании de re модальности как несводимой к de dicto это различие рассматривается как способствующее возрождению аристотелевской доктрины эссенциализма, согласно которой некоторые свойства присущи объекту эссенциаль-но, необходимо. В современном, собственно логическом истолковании, когда модальности совмещаются с кванти-фикацией, речь идет соответственно о различии, выражаемом формулами О 3 xFx («Возможно, что существует объект, имеющий свойство^1») иЗж О Fx («Существует объект, который, возможно, имеет свойство F»), O(x)Fx («Необходимо, что все объекты имеют свойство F») и (x)nFx («Все объекты необходимо имеют свойство F»). Речь идет, вернее, о допустимости принятия логических отношений, выражаемых «формулами Баркан» (см. 80, 81): О3 xFx-*-3 х О Fx и (х)? Fx-^П(х)Fx. — 94 —
|