Погружение воображаемой логики Н. А. Васильева в кванторную трехзначную логику

В.И.Маркин

ПОГРУЖЕНИЕ ВООБРАЖАЕМОЙ ЛОГИКИ Н.А.ВАСИЛЬЕВА В КВАНТОРНУЮ ТРЕХЗНАЧНУЮ ЛОГИКУ1

Abstract. The aim of the paper is to provide a formalization of Nikolai Vasiliev's imaginary logic and to establish its metatheoretical relation to quantified many-valued logic. Syllogistic type calculus IL which axiomatizes the set of imaginary logic laws is formulated. The natural translation of affirmative, negative and «indifferent» (contradictory) statements of the imaginary logic into the language of quantified three-valued logic is offered. It is proved that IL system is embedded into three-valued quantified Lukasiewicz logic.

Общепризнанным считается сейчас тот факт, что российский логик начала XX века Н.А.Васильев был одним из основоположников современной неклассической логики. Однако по вопросу о том, предтечей какого именно из ее направлений он являлся, мнения расходятся. На первый взгляд, идеи о возможности построения корректной системы рассуждений, относящихся к противоречивой онтологии, которые развивались Н.А.Васильевым при создании «воображаемой неаристотелевой» логики, во многом созвучны содержательным установкам паранепротиворечивой логики. Тем не менее, некоторые исследователи (напр., Л.Хвистек, А.И.Мальцев и Н.Решер) считали его предшественником многозначной логики. Думается, основанием для такой оценки явилось то обстоятельство, что в воображаемой логике имеются суждения не двух, а трех типов качества: наряду с утвердительными и отрицательными Н.А.Васильев рассматривает так называемые «индифферентные» суждения - суждения противоречия, содержащие связку «суть и не суть зараз»; причем, все три типа суждений (если их субъект является сингулярным термином) попарно несовместимы и действует закон «исключенного четвертого» (т.е. дизъюнкция данных суждений логически истинна).

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

1 Работа выполнена при поддержке РГНФ (грант № 97-03-04352) и INTAS (Grant 95-0365). Полный вариант статьи публикуется в электронном журнале «Logical Studies» (www.logic.ru/LogStud/).

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

Вопрос о связи логического наследия казанского ученого с идеей многозначности может, на мой взгляд, решаться не только на основе анализа оригинальных васильевских текстов. Поставим этот вопрос в иной плоскости - как проблему метатеоретических взаимоотношений воображаемой логики и логики многозначной.

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

Реконструкция воображаемой логики Н.А.Васильева как особой теории силлогистического типа, формализуемой на основе классического исчисления высказываний, была осуществлена Т.П.Костюк и В.И.Маркиным в [3].

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

Элементарными формулами языка являются выражения следующих видов (у - произвольный сингулярный термин, Б и Р -общие термины):

- формы единичных суждений- I уР («уесть Р>), 12уР («уне есть Р>), 13 уР («уесть и не есть Р>);

- формы общих суждений- А1 БР («Все Бесть Р>), А2БР («Все Бне есть Р>), А3БР(«Все Бесть и не есть Р>);

- формы определенно-част ных суждений - Т1 БР («Некоторые Бесть Р, а все остальные Бне есть Р>), Т2 БР («Некоторые Бесть Р, а все остальные Бесть и не есть Р>), Т3БР («Некоторые Бне есть Р, а все остальные Бесть и не есть Р>), Т4 БР («Некоторые Бесть Р, некоторые Бне есть Р, а все остальные Бесть и не есть Р>);

- формы неопределенно-част ных суждений - 11БР («Некоторые Б есть Р>), 12 БР («Некоторые Б не есть Р>), 13 БР («Некоторые Бесть и не есть Р>).

Сложные формулы образуются с помощью пропозициональных связок.

Предлагаемая в [3] семантика воображаемой логики основана на идее сопоставления каждому общему термину нескольких экстенсиональных характеристик - его объема, антиобъема и проти-

воречивой области. Модель для формул языка воображаемой логики ([^-модель) представляет собой пятерку <Э, ф, у 1, у2, у3>, где Э Ф 0, ф(у) е Б, у 1, у2, у3 - функции, сопоставляющие каждому общему термину Р подмножества Э и обладающие следующими свойствами: у1(Р) Ф 0, у 1(Р)пу2(Р) = 0, у 1(Р)пу3(Р) = 0, у2(Р)пу3(Р) = 0, у 1(Р)иу2(Р)иу3(Р) = Э. С неформальной точки зрения, у1(Р) трактуется как объем, у2(Р) как антиобъем, а у3(Р) как противоречивая область термина Р.

Условия истинности элементарных формул (для сложных формул они обычные) в 1Ь-модели <Э, ф, у1, у2, у3> задаются следующим образом:

1Т1уР\ = 1 е.т.е. ф(у) е у 1(Р), \^2уР\ = 1 е.т.е. ф(у) е у2(Р), Т3уР\ = 1 е.т.е. ф(у) е у 3(Р), \л5 = 1 е.т.е. у 1(5) с у^Р), \Л2^Р\ = 1 е.т.е. у 1(5) с у2(Р), \Л35Р\ = 1 е.т.е. у 1(5) с у3(Р), \т5 = 1 е.т.е. у^пу^Р) Ф 0

у1(5)пу 3(Р) = 0, \Т25Р\ = 1 е.т.е. у 1(5)пу1(Р) Ф 0

у1(5)пу3(Р) Ф 0, \Т35Р\ = 1 е.т.е. у 1(5)пу1(Р) = 0

у1(5)пу3(Р) Ф 0, \Т45Р\ = 1 е.т.е. уК5)пу1(Р) Ф 0

у1(5)пу3(Р) Ф 0, \ 115РР \ = 1 е.т.е. у1(5)пу1(Р) Ф 0, \Ь5р\ = 1 е.т.е. у1(5)пу2(Р) Ф 0, \Ь5Р\ = 1 е.т.е. уК5)пу3(Р) Ф 0.

Формула А истинна в модели <Э, ф, у1, у2, у3>, е.т.е. \ Л\ = 1 в данной 1Ь-модели. Формула общезначима в семантике воображаемой логики (1Ь-общезначима), е.т.е. она истинна во всякой 1Ь-модели.

Класс 1Ь-общезначимых формул аксиоматизируется посредством исчисления 1Ь, исходными силлогистическими константами которого являются 11, 12, 13, 11, 12, 13. Система 1Ь имеет следующие дедуктивные постулаты:

А0. Аксиомы классического исчисления высказываний, Л1. -(1уР& Т2уР), Л5. (11УР& з 15Р,

Л2. -(11 уР&ТгуР), Л6. (Т2УР& 11 у5) з ^БР,

и у1(5)пу2(Р) Ф 0 и

и у1(5)пу2(Р) = 0 и

и у1(5)пу2(Р) Ф 0 и

и у1(5)пу2(Р) Ф 0 и

А3. —(Ьур& 1зуР), А4. JlУPv 12уРV Ьур,

Я1. тоёиБ ропет,

А7. (I з уР & I] уБ) з 1зБР, А8. 1ББ

(I! & I, уР) з Л

Я2.

яз.

(I х & 12 уР) з А

12 8Р з А '

Я4.

1, 8Р з А

(I! & 13 уР) з А

13 8Р з А

(в правилах Я2-Я4 термин у не содержится в А).

Общие и определенно-частные высказывания могут быть введены посредством следующих определений:

А]БР^ —ЬБР& -1зБР, Т]БР^ 1]БР& ЬБР& —1зБР,

А2БР^ —1]БР& -1зБР, Т2БР^ 1]БР& —ЬБР& 1зБР,

АзБР^ —1]БР& — ЬБР, ТзБР^ —1]БР& \2БР& 1зБР,

Т4БР »I] БР & \2БР& 1з БР.

Утверждение 1. Класс теорем исчисления 1Ь совпадает с множ ест вом1Ь-общезначимых формул.

В дальнейшем нам понадобится рассмотреть более широкий, чем множество 1Ь-моделей, класс модельных структур. Обобщение понятия 1Ь-модели будет осуществляться за счет отказа от требования непустоты объемов общих терминов.

Назовем 1Ь°-моделью пятерку <Б, ф, уь у2, уз>, удовлетворяющую всем предъявляемым к 1Ь-моделям требованиям, за исключением следующего: у 1(Р) Ф 0. Условия истинности формул в моделях обоих типов одинаковы. Формулу, принимающую значение «1» в каждой 1Ь°-модели, назовем 1Ь°-общезначимойз.

Утверждение 2. Произвольная формула А 1Ъ-общезиачима, е.т.е. 1Ь°-общезначима формула 0(А) = (11Б1Б1 & 11Б2Б2 & ... & 11БтБт) з А, где Б], Б2, ..., Бт - список всех общих терминов в составе А.

2 Доказательство представлено в кандидатской диссертации Т.П.Костюк «Реконструкция логических систем Н.А.Васильева средствами современной логики», защищенной в июне 1999 г. в МГУ им. М.В.Ломоносова.

3 Класс 1Ь "-общезначимых формул аксиоматизирует исчисление 1Ь° - 1Ь без аксиом вида А8 - 11ББ. 1Ь° не может претендовать на роль адекватной формализации воображаемой логики, поскольку в нем недоказуемы некоторые законы последней (напр., модусы третьей фигуры силлогизма).

Покажем сначала, что из 1Ь-общезначимости формулы А следует 1Ь°-общезначимость 0(А). Рассмотрим произвольную 1Ь-общезначимую формулу А. Предположим, что 0(А) не является 1Ь°-общезначимой формулой. Тогда существует 1Ь°-модель <Э, ф, 1, у2, уз>, в которой 9(А) ложна, т.е. 111Б1Б11 = 111Б2Б2| = ... = 11БтБт| =1, а |а| = 0. В силу условий истинности формул с силлогистической константой 11 имеем: у^Б,) Ф 0 для любого 1 < 1 < т. Строим модель <Э, ф, у1', у2', уз'> следующим образом: функции у1', у2', у з' сопоставляют каждому Б, те же подмножества Э, что и функции у1, у2, уз, а для любого отличного от Б, общего термина Ру 1'(Р) = Э, у2'(Р) = уз'(Р) = 0. Сингулярным терминам приписываются те же значения, что и в исходной модели. Очевидно, что <Э, ф, у1', у2', уз'> является 1Ь-моделью, причем значение формулы А остается в ней таким же, как и в исходной модели: |А | = 0 в <Э, ф, у 1', у2', уз'>. Это противоречит исходному допущению об 1Ь-общезначимости формулы А.

Продемонстрируем теперь справедливость обратного утверждения. Предположим, что 0(А) является 1Ь°-общезначимой формулой, т.е. истинна во всякой 1Ь°-модели. Поскольку класс 1Ь-моделей является подмножеством класса 1Ь°-моделей, и условия истинности формул в них совпадают, формула Э(А), т.е. (11Б1Б1 & 11Б2Б2 & ... & 11БтБт) з А, истинна во всякой 1Ь-модели. Кроме того, в каждой 1Ь-модели у1(Б,) Ф 0, откуда следует, что 111Б1Б11 = 111Б2Б21 = ... = 111 БтБт = 1. Поэтому и формула А истинна во всякой 1Ь-модели, т.е. 1Ь-общезначима. Утверждение 2 доказано.

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

Введем семантическую функцию приписывающую значения предметным переменным и релятивизированную относительно некоторой 1Ь°-модели: g(х)eD для произвольной переменной х. Свяжем с 1Ь°-моделью <Э, ф, у1', у2', уз'> функцию означивания Vg, сопоставляющую термам языка Ьз при некотором приписывании g элементы Э, а формулам - элементы множества {1, 1/2, 0}:

Vg(X = ^Х; Vg(У = Ф(у);

Vg(Pt) = 1, е.т.е. Vg(i)eyШ Vg(Pt) = 0, е.т.е. Vg(i)ey2(P);

Vg(Pt) = !/2, е.т.е. Vg(t)eV 3(P); Vg(-F) = 1 - Vg(F);

Vg(F& G) = min (VS(F), Vg(G));

Vg(Fv G) = max(Vg(F), Vg(G));

Vg(F^ G) = min (1, 1 - Vg(F) + Vg(G));

Vg(V=F) = 1, е.т.е. Vg'(F) = 1 для любого g' = g;

Vg(VaF) = 0, е.т.е. Vg'(F) = 0 для некоторого g' = g;

Vg(VaF) = 1/2, е.т.е. Vg'(F) = V2 для некоторого g' = g и не существует g' = g такое, что Vg' (F) = 0;

Vg(3aF) = 1, е.т.е. Vg'(F) = 1 для некоторого g' = g;

Vg(3aF) = 0, е.т.е. Vg'(F) = 0 для любого g' = g;

Vg(3aF) = 1/2, е.т.е. Vg'(F) = V2 для некоторого g' = g и не

=

существует g' = g такое, что Vg' (F) = 1 (выражение g' = g означает, что g' отличается от g не более, чем

приписыванием для а).

Формула F значима в 1Ь°-модели <D, ф, yi', y2', y3'>, е.т.е. Vg(F) = 1 для любого приписывания g. Назовем формулу Ь3-обще-значимой, е.т.е. она значима в любой 1Ь°-модели.

Как известно, в трехзначной логике Лукасевича выразимы так называемые j -операторы - операторы, репрезентирующие одноместные функции, которые одному из трех значений сопоставляют 1, а двум другим 0. Операторы необходимости (j1), невозможности (j2) и случайности (j3) могут быть определены следующим образом:

j 1F=Df -(fd -F); 'j2F=Di -(-fd F);

j3F=Df (Fd -F) & (-fD F).

Очевидно, что Vg(j1F) = 1, если Vg(F) = 1, в противном случае - Vg(j1F) = 0; Vg(j2F) = 1, если Vg(F) = 0, в противном случае - Vg(j2F) = 0; Vg(j3F) = 1, если Vg(F) = V2, в противном случае - Vg(j 3F) = 0.

Приступим теперь к решению главной задачи работы -погружению воображаемой логики Н.А.Васильева в кванторную

трехзначную логику. В качестве последней рассмотрим квантор-ный одноместный вариант Ьз. Выбор именно этой системы трехзначной логики, вообще говоря, не принципиален, исчисление 1Ь погружаемо в любую систему кванторной трехзначной логики, в которой, во-первых, выразимы j -операторы, во-вторых, стандартные связки при классических аргументах (1, 0) принимают те же значения, что и в классической логике, в-третьих, формулы типа Уа/ (За/) принимают значение 1, е.т.е. при любом (при некотором) значении а / имеет значение 1, и принимают значение 0, е.т.е. при некотором (при любом) значении а / имеет значение 0; условия принятия этими формулами значения 1/2 несущественны.

Зададим сначала отображение * класса формул 1Ь в множество формул кванторной трехзначной логики Лукасевича:

(11 уР)* = jl Ру (12 уР)* = j2Pу (I з уР)* = jзPv, (11 БР)* = Зл(ЬБх& jlPX, (12БР)* = Зл(ЬБх& j2PX, (1зБР)* = Зл(ЬБх& jзPх), (—А)* = —А*,

(А В* = А*  В*, где  - любая бинарная связка.

Покажем, что утверждение о 1Ь°-общезначимости произвольной силлогистической формулы А равносильно утверждению о Ьз-общезначимости ее перевода А*. С этой целью докажем предварительно две леммы.

Лемма 1. Дя любой формулы А языка воображаемой логики, для любой\Ъ°-модели <Э, ф, у1, у 2, у з> и для любого приписывания g верно: Vg(A*) = 1 илиVg(A*) = 0.

Индукцией по длине А несложно показать, что результаты переводов как элементарных, так и сложных формул языка воображаемой логики не могут принять значение 1/2. Лемма 1 доказана.

Лемма 2. Дя любой формулы А языка воображаемой логики и длялюбой1Ь°-модели<Э, ф, у1, у2, уз> верно: |а|= 1, е.т.е. А* значима в данной модели.

Доказательство ведется индукцией по числу пропозициональных связок в составе формулы А.

Пусть А есть I к уР, где 1 < к < з.

| !куР\ = 1, е.т.е. ф(у) е ук(Р, е.т.е. для любого g Vg(PУ) есть 1 (при к=1), 0 (при к=2) или 1/2 (при к=3), е.т.е. для любого g Vg(jkPv) = 1, е.т.е. jkPvзначима в модели <Э, ф, у1, у 2, уз>, е.т.е. IkуP* значима в модели <Э, ф, у1, у 2, у з>.

Пусть А есть 1кБР, где 1 < к < з.

11кБР| = 1, е.т.е. у1(5)^ук(Р) Ф 0, е.т.е. существует dеD такой, что dеу1(Бl и dеуk(P), е.т.е. для любого g существует

g, = g такой, что УЁ'

х

или 1/2 (при к=3), е.т.е. для любого g существует g, = g такой, что

х

Ув'(|1 ¿к) = 1 и УВ'(|кР(( = 1, е.т.е. для любого % существует g, = g

х

такой, что У§'(|15(& )кРХ) = 1, е.т.е. для любого % Ув(Зх(Ь5Х& |кР() = 1, е.т.е. Зх(|15Х& jкРХ) значима в модели <Э, ф, уь у2, у3>, е.т.е. 1к5Р* значима в модели <Б, ф, уь у2, у3>.

Рассмотрим далее случай, когда А - сложная формула. Предположим, что утверждение леммы верно для ее подформул.

Пусть А есть —В.

I— В| = 1, е.т.е. |в| = 0, е.т.е. |в| Ф 1, е.т.е. (по индуктивному допущению) неверно, что В* значима в модели <Э, ф, у 1, у2, у3>, е.т.е. (в силу Леммы 1 и замкнутости формулы В*) —В* значима в данной модели, е.т.е. (по определению *) (—В)* значима в данной модели.

Пусть А есть В&С.

| В&С| = 1, е.т.е. |В| = 1 и | С| = 1, е.т.е. (по индуктивному допущению) В* и С* значимы в модели <Э, ф, уь у 2, у 3 >, е.т.е. (в силу Леммы 1) В* & С* значима в данной модели, е.т.е. (по определению *) (В&С)* значима в данной модели.

Случай, когда А есть В\/Срассматривается аналогично.

Пусть А есть ВзС.

| ВзС| = 1, е.т.е. | В| Ф 1 и | С| = 1, е.т.е. (по индуктивному допущению) В* не значима, а С* значима в модели <Э, ф, у1, у2, у3>, е.т.е. (в силу Леммы 1 и замкнутости формулы В*) В* з С* значима в данной модели, е.т.е. (по определению *) (ВзС)* значима в данной модели. Лемма 2 доказана.

Утверждение 3. Произвольная формула А языка воображ ае-мой логики являет с я 1Ь° -общезначимой, е.т .е. Ъ3-общезначим ее перевод А*.

Формула А 1Ь°-общезначима, е.т.е. |а| =1 в каждой 1Ь°-модели <Э, ф, у 1, у2, у3>, е.т.е. (в силу Леммы 2) А* значима в каждой такой модели, е.т.е. А* является Ь3-общезначимой формулой. Утверждение 3 доказано.

По существу, мы продемонстрировали, что перевод * погружает систему 1Ь° (1Ь без схемы А8) в кванторную трехзначную логику Лукасевича.

Зададим теперь аналогичную адекватную операцию и для самой системы 1Ь:

©(А) = (3(| 1 Б(& 3^1^2(& ... & 3(1 ¿тк) з А*,

где A - произвольная формула воображаемой логики, а S, S2, ..., Sm - список всех общих терминов в ее составе.

Перевод © выражает предпосылку о непустоте всех общих терминов в составе любого суждения воображаемой логики. Как показано в [2], подобная экзистенциальная предпосылка принималась и самим Н.А.Васильевым для атрибутивных суждений.

Утверждение 4. Перевод © равносилен в L3 композиции переводов 0 и*.

По определению 0, 0(A)* = ((ISS & IS2S2 & ... & ISmSm) з A)*. Преобразуем правую часть, согласно определению *: (I1 SS & Il S2S2 & ... & IiSmSm)* 3 A* = (ISS* & I1S2S2* & ... & I1SmSm*) 3 A* = (3^(j1Six & jSX & 3x(j1S2x & j1S2x) & ... & 3x(j1SnX & j1Smx)) 3 A*. Очевидно, что полученная формула равносильна в L3 формуле ©(A). Утверждение 4 доказано.

Основываясь на Утверждениях 1-4, докажем погружаемость формализованной воображаемой логики Н.А.Васильева - исчисления IL - в кванторную трехзначную логику Лукасевича.

Теорема. Произвольная формула A языка воображаемой логики доказуема в системе IL, е.т.е. ее перевод ©(A) является L 3 - общезна чимым.

Согласно Утверждению 1 доказуемость формулы A в системе IL равносильна ее IL-общезначимости. В соответствии с Утверждением 2, IL-общезначимость формулы A имеет место, е.т.е. 0(A) является ^°-общезначимой формулой. Последнее, согласно Утверждению 3, означает L3-общезначимость ее *-перевода 0(A)* и - с учетом Утверждения 4 - L3-общезначимость формулы ©(A).

ЛИТЕРАТУРА

1. ВасильевН.А Воображаемая логика. Избранные труды. М.: Наука,

1989.

2. Карпинская О.Ю, МааркинВ.И. К вопросу об адекватной реконструк-

ции ассерторической силлогистики Н.А.Васильева // Второй Российский Философский Конгресс «XXI век: будущее России в философском измерении». Том 1: Онтология, гносеология и методология науки, логика. Часть 1. Екатеринбург, 1999.

3. Костюк Т.П., Маркин В.И Формальная реконструкция воображаемой

логики Н.А.Васильева // Современная логика: проблемы теории, истории и применения в науке (V Общероссийская научная конференция). СПб., 1998.