Ситуации и смысл: не-не-фрегевская (метафорическая) логика. Ii

В.Л.Васюков

СИТУАЦИИ И СМЫСЛ: НЕ-НЕ-ФРЕГЕВСКАЯ (МЕТАФОРИЧЕСКАЯ) ЛОГИКА. II.

Abstract. The paper is continuation of the early published work (cf. Logical Investigations, vol. 6, 1999). Semantics of the system of non-non-fregean (metaphorical) logics is proposed and some metamathematical results are obtained (soundness and completeness theorems are among them). It turns out that the systems of such a kind allow to give a first order treatment of Routley-Griffin's notion of relative identity. Then a pure metaphorical (non-suszkean) system of logics is proposed and metaphorical situational ontology is developed being the extension of the Wolniewicz's situational ontology. Final remarks concern the issues of the translation of systems proposed into Lesniewski's ontology.

1. Не-не-фрегевская логика: система R-NNFL

Поскольку в наиболее общем виде не-фрегевская логика может быть описана как расширение исчисления предикатов с тождеством, то представляется вполне естественным в рамках не-не-фре-гевского подхода описать не-не-фрегевскую логику как расширение системы ограниченной не-фрегевской логики R-NFL [3, с.14]. Вкратце систему R-NFL можно описать следующим образом. Логическими константами R-NFL будут —, л, v, о, V, 3. Обозначим как HB множество аксиом и правил, с помощью которых Гильберт и Бернайс построили исчисление предикатов первого порядка. Под аксиомой будем понимать подстановочный частный случай любой из схем аксиом в HB или любой из следующих схем:

1. x = x

2. x = y ^ y= x

3.

4. (x i = y i,...,xs(i) = ys(0) ^ (R,(y 1,...У:о) ^ Ri(x b...,xs(o)), i = 1,...,m А1. A = A

А2.

А3. x = y ^ (А^) = А(у)) (где А^), А(у) - любые формулы, такие, что x и y свободны в них и А (у) получается из А^) замещением некоторых вхождений x в А^) на у).

А4'.

Система R-NNFL (ограниченной не-не-фрегевской логики -restricted non-non-fregean logic) получается при расширении языка за счет связки = (подобие по смыслу), удалении А4' и добавлении следующих трех схем аксиом из [2]:

А4.

А5.

А6.

Заметим сразу, что A4 влечет

Вновь, как и в случае системы SCIS, мы получаем нетранзитивность связки = в общем случае и транзитивность связки Следовательно, у нас нет гарантии, что заменяя часть предложения на имеющую тот же самый смысл, мы сохраняем ситуацию, описываемую исходным предложением: Это будет иметь место, только если эти части будут вдобавок кореферентны. Например, в предложении из [3, с. 5]:

Джон знает, что Роби - гроссмейстер, но он не знает, что прозвище Роби просто «Роби» -ситуация изменяется или остается без изменений в зависимости от того, что знает Джон: если существует компьютерная программа РОБИ, которая играет в шахматы, то тогда то, что РОБИ будет кореференциально с (человеком) Роби, определяет прозрачность или непрозрачность нашего предложения. Если Джон знает о шахматной компьютерной программе, то ситуация остается той же самой несмотря на то, что подставляется вместо «Роби». В противном случае, замена «Роби» на «РОБИ» затрагивает всю ситуацию, поскольку и создает новое смысловое измерение и в то же время сохраняет старый смысл.

Более сложным (и более противоречивым) представляется предложение рассматривать формулу

(A = В) = (В = C) ^ (A = C) (следствие вышеприведенной теоремы и А4) в качестве утверждения о «транзитивности» =.

Следующая теорема показывает разницу между подобием и тождеством в R-NNFL (в R-NFL [3, c.10] доказуема теорема тривиальности).

Теорема =-нетривиальности. Все предложения подобия в К-NNFL являются нетривиальными, т.е. для всех ппф А,В

(КТ)  А = В тогда и только тогда, когда А = В.

Доказательство. А = В влечет  А = В по А1 и А5. Чтобы получить обратный результат, выберем любую модель

м=

для R-NFL из [2] и проверим, удовлетворяет ли следующая интерпретация правилам вывода R-NNFL. Обычные условия, которые определяют понятие выводимости, принимаем без изменений. Теперь, чтобы распространить это понятие на все формулы, добавим следующее условие:

(=) А = В выполняется при приписывании V переменным языка Ь (т.е. функции V, отображающей переменные Ь в и) если и только если существуют переменные х ь ..., хп, х/, ..., хп', ни одна из которых не связана в В, такие, что:

(a) А = В (х 1/х/, ... , Хп /хп'),

(b) v(Хl) = v(x 1'), ... , v(Хn) = v(Хn').

Но в отличие от случая

Тем не менее, нетривиальность означает, что мы можем рассматривать любую пару предложений А,В как имеющие разный смысл даже когда А = В (т.е. мы можем выбирать попарно разные смыслы каждого из двух предложений). Наоборот, в силу А5 тривиальность имеет место лишь в одну сторону, а именно, если А = В, то мы получаем А = В, но из того, что А и В имеют некоторый общий смысл, не следует, что А = В.

2. От ситуационной к смысло-ситуационной семантике

Чтобы получить семантику для R-NNFL, рассмотрим вначале ситуационную семантику для R-NFL, построенную в [3]. Пусть М = (и.Д1,. . .Дп) будет моделью R-NFL, а именно М есть реляционная структура типа (г(1),.,г(^)). Понятие ситуации в модельной структуре М = (и,Л1,....Ля) описывается следующим образом:

(81) Положим г(0) = 2 и обозначим через Л0 отношение тождества на и. Пусть 1 = 0,1,...,5 и пусть а1,...,а^еи. Тогда (Л;,а1,...,аГ(;)) и (не-Л;,а1,...,аГ(/)) являются элементарными ситуациями в М.

(82) Если для каждого ХеТ Еí есть непустое множество элементарных ситуаций в М, то {Е ХеТ} является ситуацией в М.

(83) Если S1 и 52 - ситуации в М, то (=,5^,5^) и (Ф,5 ь52) являются элементарными ситуациями в М.

(84) Ничто другое не является ни ситуацией, ни элементарной ситуацией.

(Элементарная) ситуация ^,а1,...,аг@) представляет собой такую ситуацию, что N^1,...^,-©). Аналогично ситуации (не-N^1,...^Гф), (=,£1;£2) и (Ф,^,^) суть такие ситуации, что не-Ri(a1,...,ar&), 5 = X2 и 51 Ф 52 соответственно. Элементарная ситуация ^,а1,...,аг0) ((не-Ri,ах,...,а,©), (=,51,52), (ФДА)) имеет место или является фактом, тогда и только тогда, когда Я,(аь...,ако) (не-Лг(аь...,аг1Г)), ^ = £2, Х Ф ^ соответственно)1.

Элементарные ситуации и ситуации имеют различный теоретико-множественный тип (поэтому ни одна элементарная ситуация не является ситуацией в строгом смысле этого слова). Поскольку же каждая элементарная ситуация с однозначно соответствует ситуации {{с}}, то элементарная ситуация с отождествляется с {{с}}. Каждое множество элементарных ситуаций Е однозначно определяет ситуацию {Е}. Будем говорить, что {Е} имеет место, или является фактом, если фактами являются все сеЕ. По условиям (82) и (84) для некоторого семейства {Е¿еТ} непустых множеств элементарных ситуаций 5 = {Еí: ¿еТ}, где 5 - некоторая произвольная ситуация. Будем говорить, что ситуация 5 имеет место, или является фактом, если и только если существует ¿еТ, такое, что {Е^ есть факт (т.е. 5 можно рассматривать как некоторый вид «онтологической» дизъюнкции конъюнкций элементарных ситуаций).

Обозначим класс всех ситуаций из М посредством SM. Для каждого кардинального числа а SM включает подкласс мощности а, отсюда SM является действительным классом, а не множеством, если различать классы и множества.

Существенным моментом является то, что мы расширим наш язык за счет добавления имен а,а 1,а2... для элементов универсума и из М. Сами элементы, соответствующие а,а1,а2..., будем обозначать через а,а1,а 2... .

Функция В из множества всех предложений в класс всех ситуаций называется Я^ЕЬ-допустимой интерпретацией тогда и только тогда, когда выполняются следующие условия:

С) В(Дг-(аь...,а(0) есть факт, е. т. е. ^(а1,„.,ак0), где I = 0,1,...,«; а1,...,акоеи;

1 Следует иметь в виду, что настоящее рассуждение ведется в метаязыке, а не в языке, что и объясняет запись (т.е. следует обращать внимание на различие между а1,...,а(1) и аь...,а, N1,- N и Яь.. -Л и т.д.).

(и) В(АлВ) есть факт, е. т. е. В(А) и В(В) — факты;

(ш) D(AvB) есть факт, е. т. е. хотя бы одна из ситуаций В(А) и

В(В) есть факт;

(1у) В(А^В) есть факт, е. т. е. неверно, что В(А) — факт, а В(В) не факт;

(у) В(А-^В) есть факт, е. т. е. либо В(А) и В(В) — факты, либо В(А) и В(В) не факты;

(у1) D(—A) есть факт, е. т. е. В(А) не факт;

(уп) В(УхА) есть факт, е. т. е. для всех аеи фактами являются В(А(а/х));

(уш) В(ЗхА) есть факт, е. т. е. для некоторого аеи, В(А(а/х)) есть факт;

(к) В(А = В) есть факт, е. т. е. В(А) = В(В); (х) ДА(а/х)) = В(В(а/х)), если а = Ь.

Пусть теперь (©¿) будет некоторым семейством отношений эквивалентности на Sм, удовлетворяющих двум следующим условиям:

(a) (©¿)е совместимо с =, т.е. для любых Д1,Д2 еSM из Д = Д2 следует, что всегда найдется некоторое © ^ (по крайней мере, одно) из (©¿) ге/, такое, что © ¿(ДьД);

(b) (©¿)¿е1 совместимо с фактуальностью, т.е. отношение ©^ определено либо на фактах, либо на не-фактах, нет никаких «смешанных» случаев;

(c) (©¿)¿е1 не тотально, т.е. всегда ©г-с Sм х SМ (и никогда не ©¿= Sм х Sм).

R-NNFL-допустимая интерпретация получается при добавлении к списку условий для R-NFL-допустимой интерпретации еще одного дополнительного условия:

(х1) В(А = В) есть факт, е. т. е. существует, по крайней мере, хотя бы одно ©,е(©,) ¿е1, для которого ©¿(В(А),В(В)).

Понятие истины определяется как относительно модели М, так и относительно допустимой интерпретации в М. Предложение А истинно в М при В тогда и только тогда, когда ДА) есть факт. Заметим, что каждое приписывание V в и соответствует единственным образом функции v, отображающей переменные во множество имен элементов и и определенной как v(x) = а тогда и только тогда, когда v(x) = а Для данной ппф А и приписывания V обозначим через А^] предложение, которое получается замещением каждой переменной х, содержащейся в А, на v(x). Теперь будем говорить, что ппф А выполняется при приписывании V и интерпретации В тогда и

только тогда, когда В(А[у]) есть факт. Наконец, будем говорить, что А истинна при интерпретации В тогда и только тогда, когда она выполняется для всех приписываний V при В.

Теорема непротиворечивости R-NNFL. Пусть хАо для множества ппф X и ппф А 0, а и есть универсум модели М. Тогда для каждой допустимой интерпретации В в М А0 истинна при В всякий раз, когда истинны все АеХ.

Доказательство. Стандартное. Достаточно просто проверить, что множество всех ппф А , истинных при В, замкнуто относительно всех правил вывода R-NNFL.

Чтобы доказать полноту R-NNFL, мы модифицируем доказательство из [3] путем «расширения» его на случай =-связки. Для данного множества ппф X и произвольной формулы А 0 определяем (!) X]А0 тогда и только тогда, когда для каждой модели и каждой допустимой интерпретации В в М А 0 истинна при В всякий раз, когда истинны все А еХ.

Теорема полноты Я^ОТЬ. Пусть X и А0 будут как описано выше. ТогдаX А 0 тогда и только тогда, когда X | А 0.

Доказательство. Доказательство импликации слева направо сводится к теореме непротиворечивости. Чтобы получить доказательство в обратную сторону, допустим, что X  А 0. Добавим к нашему языку множество Т индивидных констант таким образом, чтобы в расширенном языке было множество ппф X*, для которого выполняются следующие условия:

(1) X с X*;

(2) для каждой ппф А либо AеX*, либо —А^^*,

(3) если A(a/x)еX* для всех аеТ, то VxAеX*,

(4) если ЗхА^^*, то существует такая аеТ, что A(a/x)еX*,

(5) X* А0.

Поскольку R-NNFL фактически представляет собой аксиоматическое расширение R-NFL, доказательство существования расширенного за счет Т языка и X* с требуемыми свойствами проводится так же, как если бы речь шла о R-NFL.

Когда X* уже дано, следующий шаг заключается в определении модели 3. Универсум 3 представляет собой фактор-множество Т/г, где эквивалентность -г определяется следующим образом:

а -г Ь тогда и только тогда, когда а = Ь еX*. Теперь для каждого  = 0,1,...,« определяем отношение Ri3 как

Ri3(|a 1|г,...,|аг(г)|г) тогда и только тогда, когда Лг(a1,...,ar(г))еX*.

Третий шаг заключается в демонстрации того, что имеется допустимая интерпретация В, которая делает правомочными все

АеХ, но не А0. Теперь мы рекурсивно определяем некоторый специальный класс ситуаций в 3. Выберем любую аеТи положим

0+ = (Ло,а,а).

Далее, для любого ординального числа £ > 0 определим

£+ = (=МХ+Х < £}Мх+:* < £}), £- = (Ф,^(Х+:Х < < £}).

Легко видеть, что

(a) все ситуации вида £+ - факты,

(b) ни одна ситуация вида £- не есть факт.

(c) = £2+ тогда и только тогда, когда £Г = £2- тогда и только тогда, когда £1 = £2.

Для любой пары ппф А 1, А 2 определим:

А1 ~ А 2 тогда и только тогда, когда А1 = А 2 еХ*

Поскольку X* дедуктивно замкнуто (как следует из условий (1)-(5), наложенных на это множество), то ~ является отношением эквивалентности. Заметим также, что АеХ* тогда и только тогда, когда |А|~ с X*.

Припишем каждому классу |А|~ ординал £А таким образом, что £А = £В только если |А|~ = |В|~, т.е. различные классы требуют различных ординалов.

Теперь для любого произвольного предложения А положим:

Г£а+, если АеХ*, Дп (А) = ^

1£а", если АёХ*.

Легко проверить, что Вп представляет собой допустимую интерпретацию R-NFL, при которой А0 ложна, хотя все АеХ истинны. Чтобы расширить эту интерпретацию на R-NNFL, положим, что (©¿)¿е/ есть семейство отношений эквивалентности на множестве Н всех наших ординалов £, удовлетворяющее следующим условиям:

(ё) (©¿)совместимо с =, т.е. для любых £1,£2еН из £1 = £2 следует, что всегда имеется некоторое (по крайней мере одно) ©, из (©,)ге/, такое, что ©¿(£1,£2);

(е) отношения из (© ¿) ¿е1 определены либо на позитивных ситуациях £+, либо на негативных ситуациях £-, нет никаких «смешанных» случаев.

Если для любой пары ппф А1 А 2 мы определим

А1 « А2 тогда и только тогда, когда А1 = А2 е X*, то « будет рефлективным, симметричным и нетранзитивным отношением в силу свойств =. Ясно, что последнее свойство может быть источником будущих осложнений. Чтобы обойти эту нетранзитивность, рассмотрим некоторое семейство («¿) ¿е/ отношений

эквивалентности и определим

для некоторого из («¿) ¡е1 А1 А 2 т.т.т., когда А1 = А 2 еX*, где есть отношение эквивалентности. Фактически подобное определение, с одной стороны, позволяет рассматривать нетранзитивность = как случай, когда А1 «1 А2 и А2 А3, а с другой стороны, ~ также подпадает под это определение. Заметим, что АеX* тогда и только тогда, когда |А|да  С X*. Припишем каждому классу |А|^ ординал таким образом, что для некоторого ©  из (© г)ге/ мы имеем ©г(^А,^В) только, если А|^ = |В|~. Далее, вновь для любого произвольного предложения А положим

если AеX*,

Вп (А) = \

если A^_X*.

Легко убедиться, что Вп представляет собой допустимую интерпретацию R-NNFL, при которой А0 ложна, хотя все AеX истинны. Таким образом, X © А0, что и завершает доказательство.

3. Стандартная интерпретация

Теорема ^-тривиальности [3, с.10] влечет за собой в качестве следствия нарушение принципа «кореференциальности эквивалентных», который гласит:

(СЕ) Если А В и В | А, то А = В. Если мы заменим этот принцип на принцип «смыслового подобия эквивалентных»

(БЕ) Если А В и В А, то А = В, то возникает вопрос, нарушается ли в R-NNFL этот принцип. Во-первых, теорема =-нетривиальности не означает, что (БЕ) имеет место: поскольку по А5 (БЕ) является следствием (СЕ) для А,В, таких, что А = В, то (БЕ) должно нарушаться.

Р.Вуйцицкий в [3] считает (СЕ)-принцип ошибочным, однако принимает следующий ограниченный принцип кореференциаль-ности эквивалентных:

(ЯСЕ) Если А | В и В | А, и ^(А) = F(B), то А и В обозначают одни и те же ситуации,

где F(A) обозначает множество нелогических констант, которые встречаются в А (область А). R-NNFL нарушает как (СЕ), так и (ЯСЕ), будучи расширением R-NFL (не говоря уже о нарушении (БЕ), о котором речь шла выше). Однако естественным образом возникает вопрос о =-аналоге (ЯСЕ). Каково должно быть условие, которое мы должны ввести вместо F(A) = F(B)?

Скорее всего искомый =-аналог (ЯСЕ) будет выглядеть сле-

дующим образом:

(Я^Б) Если АВ и В А, и ДА) п ДВ) Ф 0, то А и В обозначают ситуации, подобные в некотором смысле. Чтобы показать, как работает (Я8Б), введем помимо понятия необходимого (абсолютного) равенства

(/) (Р ~ в) о Ух(Р(х) о в(х)) и понятия (случайного) равенства-совпадения

(£) (Р = в) о Ух(Р(х) - в(х)) из Я-ОТЬ еще и понятие подобия: (И) (Р * в) о 3х(Р(х) = в(х)). 3-форма (И) вызвана тем, что отношение подобия определяется принципом подобия

а * Ь о 3ф(ф(а) о ф(Ь)), в отличие от равенства, определяемого принципом Лейбница

а = Ь о Уф(ф(а) о ф(Ь). Принятие (ЯСБ)-принципа позволяет, например, заменить ) на

(£ ) (Р = в) - Ух(Р(х) о в(х)), так как Р = в логически эквивалентно Ух(Р(х) о в(х)) и поскольку Е(Р = в) = {Р,в} = ДУх(Р(х) о в(х))), то приходим к заключению, что (Р = в) - Ух(Р(х) о в(х)). В случае (И) мы имеем Е(Р * в) п ^3х(Р(х) о в(х))) Ф 0 и, соответственно, заключаем, что (Р * в) = 3х(Р(х) о в(х)).

Теперь, используя (Я8Б)-принцип, мы можем ввести «стандартную» интерпретацию в рамках R-NNFL. Для начала обогатим наше понятие модели путем введения отношения подобия * между ситуациями следующим образом:

(85) Если Д1 и Д2 являются ситуациями в М, то как (*,Д1,Д2), так и (*/*,Д1,Д2) представляют собой элементарные ситуации в М, где * есть отношение подобия, т.е. бинарное рефлексивное, симметричное и нетранзитивное отношение. Определение «стандартной»2 интерпретации, являющееся расширением определения из [3], выглядит следуюшим образом:

(11) {(Я;(аь...,а г(г) ))}еВ(Лг(аь...,аг (0)),

(12) {(=,В(А),В(В))}еВ(А = В),

(13) Если ^А) = ^В) и, более того, А,В логически эквивалентны, т.е. АВ и В А, то В(А) = В(В),

(14) {(*,В(А),В(В))}еВ(А * В),

(15) Если ^А) п ^В) Ф 0 и, более того, А,В логически эквивалентны, т.е. АВ и В А, то В(А) * В(В).

2 Под стандартной интерпретацией в [3] понимается допустимая интерпретация, удовлетворяющая некоторым условиям, которые должны гарантировать, что о ситуации, приписанной этой интерпретацией предложению, имеет смысл говорить как описываемой этим предложением.

Теорема существования. Для каждой модели М множество стандартных интерпретаций непусто.

Доказательство. Примем некоторые вспомогательные обозначения:

(Л) - ^ ,а!,...,аг0) = (не-ф,а1,...,аг©),

(12) - (=,51,52) = (Ф,51,52),

(13) - («,51,52) = («/«,^1,52),

(14) - с = с, для каждой элементарной ситуации с,

(15) для любой ситуации 5 = {Е¿еТ} определим Ее-5 тогда и только тогда, когда для каждого ¿еТ имеется с1еЕтакая, что Е = {-с,: ¿еТ}.

Определим функцию 10 в ситуации в М, удовлетворяющую следующим условиям:

(10 1) 100(^^1,...,а^))) = ^,а1,...,аг&),

(102) 10(—А) = -10(А),

(103) 1 о(AvB) = 10(А) и 10(В),

(104) 10(А=В) = (=10(А),10(В)),

(105) 10(А=В) = («,10(А),10(В)),

(106) 10(ЗхА(х)) = 1{10(А(а/х): аеи(М)},

(107) 10(АлВ) = 10(—(—Av—В), 10(А^В) = 10{^В), МАоВ) = 10((А^В)л(В^А)), Ь^хА(х)) = 10(—Зх—А(х)).

Очевидным образом 10 представляет собой допустимую интерпретацию, обладающую всеми дефектами R-NFL-допустимой интерпретации. В качестве последнего шага для каждого предложения А определяем:

(1м) 1м(А) = 1{10(В): F(A) = F(B) или F(A)nF(B) Ф 0; А В и В | А}. Как нетрудно заметить, функция 1М выполняет как условия, которым она должна удовлетворять, чтобы представлять собой R-NFL-допустимую интерпретацию, так и (101)-(10 5). Таким образом, она представляет собой пример, который нам нужен, чтобы завершить доказательство.

Предложение 1. Пусть В будет стандартной интерпретацией в М. Тогда для любого предложения А

если Ее1М(А), то ЕеВ(А). Доказательство. Заметим, что условия (13) и (15) эквивалентны условию

В(А) = [{В(В): F(A) = F(B) или ДА)г^(В) Ф 0; А В и В А}. Остальное очевидно.

4. Относительное тождество и относительная кореференциальность

Подчеркнем еще раз, что тождество само по себе отнюдь не является таким простым понятием, как это кажется на первый взгляд. Современные исследователи проблемы тождества делят предложения с тождеством на два синтаксических класса. Предложения из первого класса имеют вид «а есть то же самое, что и Ь» или «а тождественно Ь» (абсолютные утверждения тождества, символически а = Ь), в то время как предложения из второго класса имеют вид «а есть то же самое Ф, что и Ь», где Ф представляет собой общее имя (относительное утверждение тождества, символически а = Ф Ь).

При рассмотрении относительного тождества наибольший интерес вызывают два тезиса. Р.Роутли и Н.Гриффин формулируют их следующим образом: «Первый представляет собой утверждение, что (Я) две сущности могут быть одной и той же по отношению к некоему общему имени, но различными по отношению к другому; второй состоит в том, что (Б) утверждения абсолютного тождества семантически неполны» [7, с.66].

Трудно составить мнение о точном значении (Б), поскольку у его защитников отсутствует консенсус как по вопросу о природе семантической неполноты абсолютного тождества, так и по вопросу о типе этой неполноты. Любая комбинация этих двух тезисов принимается кем-нибудь из исследователей: П.Т.Гич принимает (Я) и (Б); Д.Одегард принимает (Я), но отвергает (Б); Л.Стивенсон принимает (Б), но отвергает (Я) (точно так же поступает и Д.Уиггинс); Ф.Фелдман, Дж.Перри и Дж.Нельсон отвергают оба тезиса.

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

означает их тождество по смыслу, т.е. тождество лишь в некотором смысле.

Главная идея подхода Роутли-Гриффина к относительному тождеству заключается в том, что каждое относительное отношение тождества =Ф влечет неразличимость в области свойств, детерминированных принимаемым понятием рассматриваемого относительного тождества. Отсюда для каждого отношения относительного тождества = Ф будет существовать множество свойств ЛФ, такое, что Ф-тождество влечет неразличимость по отношению к свойствам из ЛФ, или ЛФ -неразличимость. Чтобы формулировать теории в расширенной второпорядковой логике, необходимо добавить к классической второпорядковой логике новую предикатную константу (отношение) Л и правило образования выражений с ее помощью:

(БЯ) Если Ф и у - одноместные предикаты, то ЛФ(у) - правильно построенная формула.

Константа Л подразумевает функцию, заданную на свойствах, или некоторое отношение между свойствами. Отношение Л обеспечивает ограничение, в терминах которого можно логически охарактеризовать относительное тождество следующим образом:

х =Ф у тогда и только тогда, когда для каждого у, такого, что ЛФ(у), у(х) тогда и только тогда, когда у(у). Таким образом, формальная теория относительного тождества, развитая в [7], логически оказывается следствием ограниченной (второпорядковой) квантификации. Соответственно, для классической теории относительного тождества используется следующее определение [7, с.70]: Б0. (иуеЛф)А = # (иу)(Лф (у)^А),

где и есть универсальный квантор, интерпретируемый нереферен-циально по индивидным переменным, пробегающим как по возможным и невозможным, так и по действительным объектам. Интуитивно ЛФ(у) можно понимать как «у является элементом множества свойств ЛФ, определяемых Ф».

Первая из предлагаемых Гриффином и Роутли теорий (Теория 1) получается добавлением следующего определения [7, с.70]: Б1. х = ф у = #(иуеЛф)(у(х) -о- у(у)).

Вторая теория (Теория 2) получается заменой Б1 на иное определение [7, с.74]:

Б2. х = ф у = # (иу)(Ф(х) л Ф(х) л (Лф (у) ^ (у(х) — у(у)))), т.е. х =Ф у — (Ф(х) л Ф(х) л (иуеЛф )(у(х) — у(у))).

Наше предложение (которое нетрудно предугадать) касается

константного символа А: давайте попробуем использовать в этой роли связку подобия по смыслу =. Обогатим язык R-NNFL за счет тернарной связки =

Как и в [7], мы получаем две теории путем добавления А6 ' и А6' ' к R-NNFL: R-NNFL(1) и R-NNFL(2) соответственно.

Предложение 2. В R-NNFL(1) имеют место следующие схемы теорем:

х =Ф х

х = Ф у ^ у =Ф х

х = Ф у л у =Ф г ^ х =Ф г

х = Ф у л Ф = у ^ (у(х) о у(у)) (подстановочность

относительно-тождественных) Все они справедливы также и в R-NNFL

Доказательство. Рефлексивность следует из А6 ' и у(х)о у(х). Симметричность получаем из А6 ' (А6 '' ) и (у(х) о у(у)) ^ (у(у) о у(х)), транзитивность - из А6 ' (А6 '' ) и (у(х) о у(у)) л (у(у) о у(г)) ^ (у(х) о у(г)), подстановочность относительно-тождественных - из А6 ' (А6 '') и (у(х) о у(у)) ^ (Ф = у ^ (у(х) о у (у))). Рефлексивность ' в R-NNFL(2) мы получаем ввиду того, что из Ф = у ^ (у(х) о у(у)) следует Ф(х) ^ Ф(х) л (Ф = у ^ (у(х) о у(х))).

Таким образом, =(-) имеет все свойства относительного тождества. Семантика как R-NNFL(1), так и R-NNFL(2) будет очевидным образом той же, что и для R-NNFL (интерпретация =(_) получается путем комбинирования интерпретаций = и о согласно правым сторонам А6 и А6 ).

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

А7 '. А -ф В о (Ф = у ^ (у(А) - у(В))) А7' '. А -ф В о (Ф(А) л Ф(В) л (Ф = у ^ (у(А) - у(В)))), где ограничения, накладываемые на у(А), у(В), таковы же, как и в А2. Очевидным образом мы получаем системы R-NNFL(11), R-NNFL(12), R-NNFL(21) и R-NNFL(22) при условии соответствующего добавления аксиом А7 ' и/или А7 ' ' к R-NNFL(1) или R-NNFL(2).

Предложение 3. В R-NNFL

A =Ф B ^ B =Ф A (симметричность) A B л B С ^ A С (транзитивность) A B л Ф = y ^ (y(A) - y(B)) (подстановочность

относительно-тождественных) Все они справедливы также и в R-NNFL

Доказательство. Рефлексивность следует из 7' и y(A) - y(A). Симметричность получаем из А7' (A7'') и (y(A) - y(B)) ^ (y(B) -y(A)), транзитивность - из А7' (A7'') и (y(A) - y(A)) л (y(B) -y(C)) ^ (y(A) - y(C)), подстановочность относительно-тождественных - из А7' (A7'') и (y(A) - y(B)) ^ (Ф = у ^ (y(A) - y(B))). Рефлексивность' в R-NNFL(12) и R-NNFL(22) мы получаем ввиду того, что из Ф = у ^ (y(A) - y(B)) следует Ф(A) ^ ф(A) л (Ф = у ^ (y(A) - y(A))).

Вновь, семантические рамки остаются без изменения, поскольку семантика R-NNFL позволяет расширить интерпретацию на = (_) (интерпретация = (_) получается путем комбинирования интерпретаций = и =).

5. Метафорическая (не-сушковская) логика

Простейшая пропозициональная система метафорической логики может быть получена путем отбрасывания аксиом, содержащих связку тождества. Отсюда система SCSS (the Sentential Calculus with Sense Similarity - пропозициональное исчисление с подобием по смыслу) получается добавлением следующих аксиом к аксиомам и правилам вывода классической логики: (B1) A = A

Продолжая систематически предыдущее исследование, обнаруживаем, что в подобной системе картина становится обратной: скрытое допущение, что кореференциальность является максимальным случаем подобия по смыслу, может стать необходимым условием для оправдания метафорического подхода.

В русле предыдущей аргументации мы приходим к не-сушков-ской логике путем отбрасывания аксиом А1-А4 ' системы ограниченной не-фрегевской логики R-NFL и замене их следующими аксиомами: С1. А = А

С2.

Асимметрия С2 и С3 не случайна: кореференциальность в А3, которая в правой части С3 заменена на подобие по смыслу, тесно связана с тождеством. Но нужна ли в нашем случае (не корефе-ренциальности, а подобия по смыслу) столь сильная связь? Напомним, что согласно тезису Фреге референция сложного выражения определяется референцией его компонент. Следовательно, используя С3, мы получаем точную референциальную конструкцию, в то время как в С2 получаем лишь конкретно детерминированное совпадение (с точностью до некоторого смысла).

Чтобы ослабить С3, мы можем либо вообще отказаться от тождества (т.е. с самого начала, не рассматривая вообще А1-А4 , браться за первопорядковые системы, обогащенные за счет С1-С4), либо заменить его другой связкой, более подходящей к данному случаю. Отсюда возникает предложение использовать в этой роли отношение подобия, которое в [2] было определено как

УхУуЗДх * у ^-^(х)о^у)) (где * означает отношение подобия). Ясно, что в таком случае следует заменить схемы 1-4 и С3 на следующие: 1'. х * х 2'. х * у ^ у * х

3'. (Я1(у ь...^)) ^ Яг(х и...^))) ^ (х 1 * у и...^^) * у^)), 1 = 1,...,Ш С3'. (А(х/с)) = А (у/с)) ^ х * у (где А(х/с), А(у/с) - любые формулы, такие, что х и у свободны в них, с явно фигурирует в А и А(у/с) получается из А(х/с) замещением некоторых вхождений х в А(х/с) на у).

Семантические последствия принятия этих схем аксиом очевидны. Вместо равенства мы теперь имеем отношение подобия,

которое нетранзитивно, что влечет, в свою очередь, что элементарные ситуации также определяются относительно отношения подобия. Таким образом, ситуационная семантика метафорической логики со схемами аксиом 1-3, С1-С3', С4 (которую мы назовем системой R-NSL, т.е. ограниченной не-сушковской логикой) может быть получена путем отбрасывания семантических постулатов для интерпретации кореференциальности.

На первый взгляд система R-NSL представляется чересчур аморфной, чтобы служить базисом дальнейших рассмотрений. Можно заметить, что обогащая язык R-NS путем введения тернарной связки =

Легко проверить, что связка = (_) будет нетранзитивной, что означает, что мы имеем дело с относительным подобием по смыслу. Это можно понимать так, что каждое относительное подобие по смыслу =(-) содержит указание на неразличимость предложений по смыслу относительно их некоторого смысла, определяемого Ф.

До сих пор наиболее противоречивым, по-видимому, кажется введение отношения подобия проделанное выше. Но, согласно Фреге, для того, чтобы понять, на какой именно объект указывает имя, необходимо знать, как распознать объект вновь как тот же самый. М.Даммит пишет в связи с этим: «Фреге был первым, кто ясно видел, что мы используем совершенно разные критерии тождества для объектов разного рода, и видел, что уже этого одного достаточно, чтобы требовать, что собственное имя должно иметь смысл, состоящий в более чем просто ассоциации имени со своим референтом» [4, р. 179]. Однако, если наш метафорический подход претендует на то, чтобы отвечать всем требованиям более чем «простой ассоциации» имени со своим референтом, то нам требуются некоторые семантические идеи, которые могли бы быть достаточно сильными, чтобы пролить свет на эти ассоциации. Ключевой идеей будет, по-видимому, аналогия с так называемой онтологией ситуаций, которая подсказывает нам возможную интерпретацию.

6. Метафорическая онтология: ситуации, возможные миры и точки зрения

Формальная онтология ситуаций, которая была разработана Б.Вольневичем в [12], представляет собой обобщение семантики Витгенштейна для пропозициональных языков, основанное на решетке элементарных ситуаций. Максимальные ситуации являются возможными мирами, образующими логическое пространство; минимальные ситуации суть логические атомы, делящиеся по измерениям. Верификатор высказывания А представляет собой элементарную ситуацию, такую, что если она действительна, то она делает А истинной. Референт (или объект) высказывания представляет собой ситуацию, которая является множеством всех ее минимальных верификаторов (максимальные ситуации образуют ее локус). Ситуации образуют булеву алгебру, а булева алгебра локусов является ее представлением.

В работе [13] Вольневич применяет эту теорию для получения типологии метафизических систем, интерпретируя их как различные онтологии ситуаций. Четыре системы при этом рассмотрены им во всех деталях: диахронический атомизм Юма, детерминизм Лапласа, синхронический атомизм Юма и логический атомизм Витгенштейна. Он также обсуждает отношение этих теорий к ситуационной семантике Перри и Барвайса.

Более формально онтология ситуаций может быть описана следующим образом. Пусть Б(А) есть ситуация, представленная высказыванием А. Элементарным ситуациям соответствуют либо атомарные высказывания, либо их конъюнкция: если А есть такая конъюнкция, то Б(А) = х для некоторых хеБЕ". Здесь БЕ" есть универсум элементарных высказываний, состоящий из двух частей: множества БЕ собственных (т.е. случайных) элементарных ситуаций и двух несобственных ситуаций - пустой о и невозможной Я. То есть, БЕ" = БЕ и {о,А,}.

Элементарная ситуация может случиться (быть получена) в другой: х<у. Это частичное упорядочение, такое, что о<х<А, для каждого хеБЕ". Объединение х;у = sup{x,y} соответствует конъюнкции, пересечение х!у = 1п/{х,у] не имеет очевидного эквивалента в классическом пропозициональном языке.

Элементарная ситуация либо верифицирует данное высказывание, либо фальсифицирует, либо нейтральна к нему. Элементарная ситуация, верифицирующая А, является верификатором А.

Минимальные элементы БЕ, если они имеются, представляют собой логические атомы (или состояния дел). Максимальные элементы являются логическими точками (или возможными мирами),

логическое пространство есть вся совокупность логических точек. Назовем Min а = {хеа: не y < x, для всех уеа} минимумом а, и схожим образом Max а - максимумом. Тогда SA = Min SE и SP = Max SE, при условии, что SE не пусто. В противном случае SP = {о} = Qo и SA = {Я} = Л.

Для любого we SP множество R = {xeSE': x<w} является максимальным идеалом SE''. Подобные множества называются реализациями, а R будет их полной совокупностью.

Ситуациями являются некоторые множества элементарных ситуаций (SE'- множеств): SE с P(SE'). Два SE''- множества ¥-эквивалентны тогда и только тогда, когда они пересекаются с одними и теми же реализациями, т.е.

(1) а ~v ß тогда и только тогда, когда VReR^nR = 0 тогда и

только тогда, когда ßnR = 0). Полагая ¥(а) = U|а|v для любых а с SE'' (где = {ß: а ~v ß}, т.е. класс эквивалентности), множество ситуаций определяется как

S = {S с SE'': S = Min ¥(а) для некоторого а с SE'' }. Множество возможных миров определяется как

M = {M с SE'': M = Max (¥(а) - Л) для некоторого а с SE''}. Элементы M называются логическими локусами. Ясно, что при этом M = P(SP).

Отображения S: L ^ S и M: L ^ M (где L - язык, в котором мы работаем) определяют соответствующие интерпретации. При первой интерпретации получаем следующее очевидное условие: (i) A = B тогда и только тогда, когда S(A) = S(B). Расширяя теперь онтологию ситуаций Вольневича на случай метафорической или не-не-фрегевской логики, мы можем модифицировать (1) путем введения понятия S-подобия. Назовем два SE''-множества S-подобными, если и только если они пересекают некоторую (по крайней мере, одну) реализацию, т.е.

(2) а ~s ß тогда и только тогда, когда BReR^nR = 0 тогда и

только тогда, когда ßnR = 0). Затем, полагая Т(а) = U{ß: а ~ s ß} для некоторого а с SE, получаем:

T = {Т с SE: Т = Max (Т(а) - Л - Q0) для некоторого а с SE}. Элементы T называются точками зрения. Таким образом, точки зрения определяются смыслами, обеспечивающими подобие ситуаций. Ясно, что а ~v ß влечет а ~s ß. Заметим также, что а ß будет нетранзитивным отношением.

Определим отображение Т: L ^ T, представляющее собой соответствующую интерпретацию во множестве точек зрения. Условие интерпретации для связки подобия по смыслу будет выглядеть следующим образом:

(и) А = В тогда и только тогда, когда Т(А) п Т(В) Ф 0. Пусть Л(^) будет реализацией, порожденной возможным миром w. Следуя [13, р. 272], допускаем, что для У(А)3 справедливо следующее условие:

А истинно в w тогда и только тогда, когда У(А) п Л^) Ф 0. Нетрудно прийти к заключению, что, по (2), если А = В истинна в некотором мире, то А — В также будет истинна в этом мире (при соответствующей интерпретации).

До сих пор все шло без осложнений. Тем не менее, хотелось бы знать, будет ли тождество объектов зависеть от рассматриваемых ситуаций или точек зрения. Ввиду печально знаменитых трудностей с тождеством объектов в возможных мирах современные исследователи всегда рассматривают эту проблему с некоторой осторожностью. А ведь возможные миры также встроены в рамки ситуационной онтологии в качестве максимальных элементов БЕ.

У нас не возникает никаких трудностей, пока мы имеем дело с пропозициональным исчислением. Но в системах типа R-NFL все эти проблемы, несомненно, не должны быть игнорируемы. В связи с этим, в частности, хотелось бы знать, почему у нас так богата структура референтов выражений (например, булева алгебра ситуаций) и, в то же время, почему у нас так бедна структура референтов собственных имен (просто множество объектов).

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

Поскольку элементарные ситуации отвечают атомарным высказываниям (или их конъюнкции), то мы можем очевидным образом перейти теперь к модели М для R-NNFL. Но чтобы остаться в рамках ситуационной онтологии, предположим, что имеется функция БО: S ^ Р(и), приписывающая каждой ситуации соответствующую подобласть имен. Обычно предполагается, что равенство уже определено на универсуме и.

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

3 То есть, вводя некоторую функцию интерпретации V.

ствования функции SD'l: и ^ ^(8) из универсума во множество подмножеств ситуаций.

Заметим, что элементарные ситуации определяются подмножествами имен элементов универсума и из М (и наоборот). Как следствие, можно ассоциировать с каждым именем множество ситуаций, в которые это имя должно быть вовлечено. В R-NFL из аксиомы 4 следует, что все тождественные имена будут неразличимы во всех элементарных ситуациях. В R-NNFL картина совершенно противоположна: ситуации диктуют именам их тождество (в некотором смысле), т.е. как раз неразличимость в некоторой элементарной ситуации (и в неэлементарной также, согласно С3 ) является решающей для признания тождественности двух имен с некоторой точки зрения. В то же время некоторая характерная черта определяет атомарность имен: лишь те, которые тождественны с точки зрения, определяемой аксиомой 3' , считаются атомарными, поскольку мы всегда можем предположить, что имеются имена, чье тождество с некоторой точки зрения определяется исключительно С3 .

Таким образом, онтология ситуаций косвенным образом входит в игру, индуцируя структуру имен (соответственно, объектов). Следующее наблюдение проясняет это влияние.

Поскольку £(А) = £(В) может быть переписано как £(А) с £(В) и £(В) с £(А), то Вольневич в [13, р.404] вводит следующее условие:

(ш) из А выводимо В тогда и только тогда, когда 5(А) с S(B). Отталкиваясь от этого условия, автором было предложено в работе [1] ввести не-фрегевскую связку когда А ^ В означает «А (референциально) приводит к В». Следуя интерпретации систематических ограничений Барвайса-Перри, которые позволяют одной ситуации содержать информацию о другой, мы просто говорим о примитивном отношении между референтами-ситуациями (отношении вовлечения), достаточном для наших целей. При этом аксиомы, связанные со связкой тождества, преобразуются следующим образом: Ах1. А ^ А

Ах2.

При этом вновь возникающие трудности с не-фрегевской аксиомой А3 преодолеваются путем «расщепления» = т.е. путем введения новой связки ◄ (х<у читается «х ситуационно влечет у») и следующих схем аксиом:

01. х ◄ х

02.

03. (х 1 ◄ yb...,Xs(0 ◄ ys(i)) ^ (Ri(yi,...ys(i))^Ri(xi,...,Xs(i))), i = 1,...,m Ax2. х ◄ у^-(А(х) ^ A(y)) (где А(х), A(y) - любые формулы, такие,

что х и y свободны в них и A

Есть ли возможность провести подобное расщепление и для связки =? С точки зрения онтологии ситуаций мы можем сделать это, если заменим (2) на следующее определение: (3) а ^ s в тогда и только тогда, когда ЗЛеЩесли апЛ = 0, то и впЛ = 0).

Будем называть подобные а и в S-вовлеченными, что означает, что а детерминирует пересечение в с некоторой реализацией. Затем, полагая Тр(а) = Т(а) = 11{в: а в} для некоторого а с SE, получаем:

Tp = {Т с SE: Т = Мах (Т(а) - Л - ^0) для некоторого а с SE}. Элементы Tp представляют собой предвзятые точки зрения. Заметим, что будет антисимметричным и нетранзитивным отношением.

Пусть теперь отображение Тр: L ^ Tp будет представлять собой соответствующую интерпретацию во множестве предвзятых точек зрения. Условие интерпретации для связки вовлечения по смыслу ^ (т.е. являющейся результатом расщепления =) будет выглядеть следующим образом:

(ii) A ^ В тогда и только тогда, когда Тр(А)  Тр(B), где A ^ B означает «А референциально в некотором смысле приводит к В» , а  является отношением вовлечения по смыслу, определяемым следующим условием:

а  в тогда и только тогда, когда ЗхеаЗуев(х ^ у) Теперь, если мы принимаем ситуационную онтологию предвзятых точек зрения, то напрашивается следующее преобразование метафорических аксиом В1-В3: (B1) A ^ A

Следующим напрашивающимся шагом будет расщепление связки ведущее к использованию связки < вовлечения с предвзятой точки зрения. Более того, это влечет за собой следующую трансформацию аксиом 01,03, С1-С3 (аксиома 02 отбрасывается

ввиду нетранзитивности <|):

04. х < х

05. (х 1 < у 1,...,х.(1) < у.(1)) ^ (^(уь...^))^^ (х 1,...,х.(1))), 1 = 1,...,ш Сх1. А ^ А

Сх2.

Суммируя, можно сказать, что предложенная в рамках мейнон-говской интерпретации совокупность систем позволяет нам говорить о более гибкой, чем у Вольневича, ситуационной онтологии, где у нас имеется универсум референтов как для имен, так и для предложений, взаимно координированных. Само по себе расщепление равенства = на связки ◄ и < приводит на ум связку в системы онтологии Лесьневского, но подобный тезис требует отдельного подтверждения или опровержения.

Все же заметим, что если последовать этой аналогии, то удается сформулировать, например, в рамках R-NNFL некоторую версию аристотелевской силлогистики в смысле Я.Лукасевича, подобно тому, как это делает Я.Слупецкий в [10]. Напомним в связи с этим аксиомы системы Лукасевича:

(a) SaS

(b) SiS

(c) МаР л SaM ^ SaP (а) МаР л MiS ^ SiP

Чтобы получить подобные аксиомы в системе метафорической онтологии (например, версии не-не-фрегевской логики со связками ^◄Х воспользуемся следующими определениями терминов силлогистики:

БЫ. х[а]у о У2

Легко удостовериться, что при подобной интерпретации аксиомы Лукасевича справедливы в соответствующих системах метафорической онтологии, за исключением (Ь). Однако то же самое происходит и в онтологии Лесьневского, как это показывает Слупецкий [10, р. 85].

7. Замечания по поводу перевода в системы Лесьневского

Напомним, что до сих пор мы имели дело с ограниченной не-фрегевской логикой, в то время как ее наиболее общая форма может быть описана как расширение исчисления предикатов с равенством PCI, получающееся

(i) Добавлением связки тождества к PCI;

(ii) Добавлением к PCI переменных, пробегающих по ситуациям, и некоторых операторов (в частности, кванторов), связывающих эти переменные.

Р.Вуйцицкий в связи с этим в [3] замечает, что в этом случае не-фрегевская логика становится расширением как PCI, так и Прототетики Лесьневского. Последнее становится еще более очевидным, если принять во внимание, что кванторы связывают также пропозициональные переменные.

Тем не менее, здесь возникает проблема, связанная с экстен-сиональноситью, о которой предостерегал Р.Сушко. Он пишет: «Математическое содержание теории ситуаций явственно булево-алгебраическое. Разумно, поэтому, ожидать, что будут обнаружены многочисленные связи между теорией ситуаций и стандартными математическими понятиями и теориями. Теория ситуаций, в том виде как она представлена здесь, может быть подкреплена другими математическими понятиями и аксиомами. Таким образом, можно строить и изучать не-фрегевскую логику и, наверное, гёделевскую арифметику. Можно добавить к теории ситуаций понятия и принципы теоретико-множественного рода, касающиеся абстрактных объектов (классов, отношений, функций, атрибутов и им подобных). В то же время сталкиваемся лицом к лицу с принципом экстенсиональности. Читателя можно предостеречь против смешения принципа экстенсиональности абстрактных объектов с фрегевской аксиомой экстенсиональности логики, которая гарантируется аксиомой инвариантности. Несомненно, существует множество значений слов "экстенсионал" и "экстенсиональность"» [11, pp.123-124].

Упомянутая Сушко аксиома инвариантности формулируется им следующим образом:

«Если F является «-местным функтором и P есть «-местный предикат, то следующие формулы являются аксиомами инвариантности для F и P:

(5.1) х 1 х«+1 л ... л х« х 2« ^ Fx 1 ...хп F хп+1... х2п

(5.2) х 1 = х«+1 л ... л хп = х2п ^ Рх 1 ... хп = P х«+1 ... х2п

Если % является одноместной связкой и & есть бинарная

связка, то следующие формулы являются аксиомами инвариантности для % и &:

(5.4) (р = д) л (д = г) ^ ((р & г) = (д & *))» [11, р. 109].

Их эквивалентом в R-NNFL являются, очевидным образом, схемы аксиом 4,А2. В элементарной Прототетике Лесьневского, по-видимому, в качестве подобного эквивалента можно рассматривать закон экстенсиональности [9, р. 56]: У/,р,д

Последнее вполне вероятно ввиду того, что данная формулировка эквивалентна следующему утверждению [8, р. 411]:

Ур,д,г^((р о д л г о 5) ^ УДДр,г) о Ад,*))), которое явно намекает на аксиому Сушко (5.4) выше. Заметим, также, что отнюдь не случайно в Прототетике закон экстенсиональности является теоремой, а не аксиомой системы. Сам Лесь-невский в связи с этим писал: «Я перехожу к следующему этапу в развитии прототетики, рассматривая такой вопрос: посредством каких аксиом и директив должна быть усилена система 88, обсужденная в предыдущем разделе, для того, чтобы получить из нее систему обычного пропозиционального исчисления, к которому добавляется тезис

Ур,д Д((р о д) ^ (Др) оД(д))) вместе со всеми его последствиями? Я нуждаюсь в построении системы, в которой, наряду со многим другим, было бы доказуемо как раз такое утверждение, потому что всегда после 1922 этот тезис так много значил для меня как никакое другое утверждение пропозиционального исчисления вообще. (В последующем разделе я буду, вначале на техническом и редакторском основаниях, занят несколько более непосредственно различными теоретическими сомнениями, которые могут возникнуть относительного этого утверждения)» [6, р. 438].

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

Однако обратим внимание на то, что при добавлении переменных, пробегающих по ситуациям, мы фактически получаем систему с более чем одной семантической категорией, что равносильно переходу от прототетики к системе онтологии. И здесь ситуация становится технически более прозрачной.

Во-первых, в онтологии Лесьневского имеются два тождества -экстенсиональное тождество и собственно тождество, вводимые

следующими определениями: D1.3. X=z Yо Vx(xsXо xsY) D2.3. x = y о xsy лysx

Во-вторых, следует принять во внимание, что в неэлементарной онтологии Лесьневского (т.е. в полной системе онтологии) эпсилон отнюдь не понимается исключительно как функтор, образующий высказывание из двух аргументов, являющихся именами, т.е. его категория, или тип, не обязана обязательно быть (s;n,n) (см. [5, p. 273]). Это приводит к следующей трансформации D1.3 и D2.3:

D3.3. Ф = z ¥ о Vф(фsФ о D4.3. ф = у о фsу л ^ф

Таким образом, единообразный перевод выражений со связками кореференциальности и равенства должен, по-видимому, основываться на следующих определениях: DFL1. tr(A = B) = A = z B DFL2. tr(x = y) = x =Z y

Однако чтобы перевести выражения со связкой подобия по смыслу = и подобия -г, нам потребуется следующим образом модифицировать определения в онтологии Лесьневского, вводя новые понятия: D5.3. X «z Y о 3x

При использовании этих определений (экстенсионального подобия) искомый перевод будет основываться на определениях следующего вида: DFL3. tr(A = B) = A «z B DFL4. tr(x г y) = x «Z y

Что касается связок референциального вовлечения ^ и ситуационного вовлечения ◄, то в этом случае следует воспользоваться силлогистическим функтором а в онтологии Лесьневского: D7.3. XaY о Vx

Требуемые переводы будут основываться на следующих определениях:

DFL3. tr(A ^ B) = AаB DFL4. tr(x ◄ y) = xаy

Наконец, чтобы получить переводы выражений со связками вовлечения по смыслу ^ и вовлечения с предвзятой точки зрения <1, то здесь, прежде всего, вновь надо модифицировать определения онтологии следующим образом: D9.3. Xa*Yо 3x

Окончательно получаем, что в этом случае переводы должны основываться на определениях вида: DFL5. tr(A ^ В) = Аа*В DFL6. tr(x < y) = xa*y

На первый взгляд кажется, что мы пренебрегли предостережением Сушко о смешении экстенсиональностей, занимаясь переводом референциальности подобным образом. Наличие в онтологии Лесьневского алгебры имен может казаться как раз эквивалентом «структурализации» ситуаций, о которой говорил Сушко. Однако заметим, что эта структура индуцируется пропозициональной структурой и, следовательно, полностью естественна и не ведет к разрушению или дополнительной модификации семантики. Тем не менее, этот вопрос требует дополнительного исследования.

ЛИТЕРАТУРА

1. Васюков В.Л. Не-фрегевская логика и Пост-Трактатная онтология // Труды научно-исследовательского семинара логического центра Института философии РАН 1997,.М., 1998. С. 131-138.

2. Васюков В.Л. Ситуации и смысл: не-не-фрегевская (метафорическая) логика. I // Логические исследования. Вып. 6, М., 1999.

3. Вуйцицкий Р. Формальное построение ситуационной семантики // Синтаксические и семантические исследования неэкстенсиональных логик. М., 1989. С. 5-28.

4. DummettM. Frege: Philosophy of Language. 2nd ed. Harvard University Press, Cambridge, Massachusetts, 1981.

5. Hiz H. Descriptions in Russel's Theory and in Ontology // Studia Logica. Vol. 36, No 4. 1977. P. 271-283.

6. Lesniewski S. Collected Works. PWN-Kluwer, Warszawa-Dordrecht, 1992.

7. Routley R. and Griffin N. Towards a Logic of Relative Identity // Logique et Analyse. 1979. P. 65-83.

8. Rickey V.F. A Survey of Lesniewski's Logic // Studia Logica. Vol. 36. No 4. 1977. P. 405-426.

9. Slupecki J. S.Lesniewski's Protothetic // Studia Logica. No 1. 1953. P. 44112.

10. Slupecki J. S.Lesniewski's Calculus of Names // Lesniewski's Systems. Ontology and Mereology / J.T.J.Srzednicki and V.F.Rickey (eds.), PWN-Kluwer, Wroclaw-Dordrecht, 1984. P. 59-122.

11. Suszko R. Non-Fregean Logics and Theories // Acta Logica. Vol. 11. No 2. 1968. P. 105-125.

12. Wolniewicz B. A Formal Ontology of Situations // Studia Logica. Vol. 41. No 4. 1982. P. 381-413.

13. Wolniewicz B. Logical Space and Metaphysical Systems // Studia Logica. Vol. 42. No 2/3. 1983. P. 269-284.