Квазиматричная логика - основа теории фактических (физических) модальностей Текст научной статьи по специальности «Математика»

Ю.В.Ивлев

КВАЗИМАТРИЧНАЯ ЛОГИКА - ОСНОВА ТЕОРИИ ФАКТИЧЕСКИХ (ФИЗИЧЕСКИХ) МОДАЛЬНОСТЕЙ*

Abstract. Quasi-matrix logic is based on generalisation of classical logic principles: bivalency (propositions take values from the domain {t (truth), f (falsity)}); consistency (aproposition can not have both the values); excluded middle (a proposition necessarily has some of these values); identity (in a complex proposition, a system of propositions, an argument one and the same proposition has one and the same value from the domain {t, f}); matrix principle - logical connectives are defined by matrices. As a result of generalisation we have quasi-matrix logic principles: the principle of fourvalency (propositions take values from the domain {tn, tc, fc, f1}); consistency: can not have more than one value from {t n, tc, f c, f 1}; the principle of excluded fifth; identity (in a complex proposition, a system of propositions, an argument one and the same proposition has one and the same value from the domain {tn, tc, f c, f 1}); the quasi-matrix principle (logical terms are interpreted as quasi-functions). Quasi-matrix logic is a logic of factual modalities.

Квазиматрица - это множество (Q,G,qfb...,qfs), где Q и G -непустые множества, Q с G; qfb...,qfs - квазифункции.

Если функцией называется соответствие, в силу которого определенный объект из некоторого множества соотносится с определенным объектом из того же или другого множества, то квазифункция - это соответствие, в силу которого некоторый объект из определенного подмножества некоторого множества соотносится с некоторым объектом из определенного подмножества того же или другого множества.

Примеры.

* Исследование поддержано РГНФ, грант 00-03-00319.

50

Квазифункция: {(а,ё) V2 (а,к), (с,ш)} = {{(а,<1), (с,ш)} V2 {(а,к), (о,ш)}}.

Квазифункция: {V 4 ((а,к), (а,п), (с,к), (с, п)), (<1,г)} = {V 4 [{(а,к), (а,г)}, {(а,п), (а,г)}, {(с,к), (а,г)}, {(с, п), (а,г)}]}

V2 и v4 - двух- и четырехместые метаязыковые строгие дизъюнкции. Будем считать, что дизъюнкция может быть вырожденной, то есть частным случаем квазифункции является функция. Тогда частным случаем квазиматрицы является матрица.

В общем случае объект, к которому применяется квазифункция, не определен. Не определено также значение квазифункции. Указана лишь подобласть области определения квазифункции, в которой этот объект содержится, и подобласть области значений, в

которой содержится объект, являющийся значением квазифункции.

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

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

На примерах (без определений) квазифункции ввели в научный оборот Х. Райхенбах (H. Reichenbach) (1932, 1935, 1936), З. Завар-ский (Z. Zavarski) (1936), Ф. Гонзес (F. Gonseth) (1938, 1941), Н. Решер (N.Rescher) (1962, 1964, 1965, 1969).

Решер рассматривает материальную импликацию и дает ее определение:

A з B t t t t f f f (t,f) t f (t,f) f

(t,f) не является значением, это выражение означает "то ли истина, то ли ложь", то есть в зависимости от конкретного содержания высказываний импликация в этих случаях может быть как истинной, так и ложной. Остальные связки определяются обычным образом.

Очевидно, что не все тавтологии классической логики высказываний вида АзВ принимают значения t при всех значениях составляющих.

Решер вводит понятие квазитавтологии. Это формула, котороя принимает только значения t или (t,f). Если довести до логического конца предложение Решера, то следует признать квазитавтологией переменную р.

Далее Решер вслед за Гонзесом (но независимо) "исправляет" определения трехзначной логики Лукасевича:

А л В

1/2 (1/2,0) 1/2

Независимо от этих и, возможно, других авторов я пришел к сходным соображениям в конце шестидесятых - начале семидесятых годов при разработке модальной логики. Мне представлялось неудовлетворительным существовавшее тогда положение дел в модальной логике. Было разработано много "логических систем", но не было известно, какие модальные понятия в них представлены. Даже не было известно, логические или фактические (физические) модальные понятия необходимости, возможности и т. д. ими определяются. И уж конечно не шла речь о типах фактических модальностей. Не было известно, могут ли эти "логические системы" использоваться для исследования рассуждений. Размышления над сложившимся положением дел в области модальной логики привели к тому, что я выделил в современных исследованиях по логике два направления: собственно логику и подражание логике. Собственно логика имеет своим предметом формы мыслей. Эту логику Х. Карри называет философской логикой. Подражание логике - это некоторая система, например алгебраическая, которая в каком-то отношении сходна с философской логикой (может быть сходна только в отношении некоторых значков). Далее под логикой я буду иметь в виду современную логику в смысле философской логики Карри.

Как в любой другой науке, в логике можно выделить две ступени развития - эмпирическую и теоретическую. Одним из свойств теории является ее способность объяснять явления. Таким свойством обладает, на мой взгляд, моя концепция логических модальностей, основы которой представлены в [4 и 5]. Теория фактических модальностей, которая может основываться на квазиматричной логике, находится в стадии разработки.

Разработку квазиматричной логики я начал с построения системы, которую назвал минимальной модальной логикой.

Минимальная модальная логика - (Символы языка: □, —, з.) Известно утверждение Я. Лукасевича о невозможности определения модальных операторов "необходимо" (□) и "возможно" (◊) в терминах "истина" и "ложь". Это утверждение является верным лишь в случае истолкования указанных операторов в качестве функций. При истолковании их в качестве квазифункций определение в указанных терминах возможно.

Рассмотрим формулу ПА. Пусть А имеет значение f (ложь). Тогда формула ПА тоже имеет значение £, так как несуществующее положение дел нельзя считать необходимым (логически или фактически). Таким образом, получена одна строка таблицы:

□Л f f

Пусть формула А имеет значение t (истина). Какое значение в этом случае имеет формула ПА? Значение не определено. Формула □А имеет то ли значение ^ то ли значение £ Эту ситуацию обозначим так: Рассуждая аналогично, устанавливаем, что при значении f формулы А значение формулы ОА неопределено. Определения знаков отрицания и импликации обычные. Выделенное значение - 1.

Принцыпы построения классической логики высказываний и логики 8гаш:

Принципы классической логики Принципы квазиматричной логики

(1) принцип двухзначности - высказывания принимают значеня из области {1, п принцип двухзначности

(2) принцип непротиворечия (высказывание не может иметь оба значения) принцип непротиворечия

(3) принцип исключенного третьего принцип исключенного третьего

(высказывание обязательно принимает значение из указанной области)

(4) принцип тождества: в сложном высказывании, системе высказываний, аргументации одно и то же высказывание принимает одно и то же значение из области {1;^} принцип тождества

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

Семантически построенной системе адекватно исчисление Бтт, которое является расширением классического исчисления высказываний (КИВ) за счет добавления двух новых схем аксиом: □ЛзЛ, ЛзОА. Исчисление 8тт является более бедной системой, чем основная модальная логика Я. Лукасевича, так как формула □Л=—1О—А в ней не доказуема.

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

Определение альт ернаивнойинт ерпрет ации.

Если Р - пропозициональная переменная, то ||Р|| е (1, f}.

Если ||А|| и ||В|| определены, то ||—Л|| = 1 « ||Л|| = £

||ЛзВ|| = г » ||А|| = f или ||В|| = 1;

||Л|| = f ^ ||ПЛ|| = f;

||Л|| = 1 ^ ||ПЛ|| е (1,

||Л|| = 1 ^ ||0Л|| = 1;

||Л|| = f ^ ||0Л|| е (1,

Формула выполнима, если и только если она истинна при некоторой альтернативной интерпретации. Формула общезначима, если и только если она истинна при каждой альтернативной интерпретации. В качесстве метатеоремы о семантической полноте доказано утверждение: существует альтернативная интерпретация || ||©, при которой каждая формула из © является истинной. (© - максимальное совместимое с 8тт множество формул.)

Четырехзначные квазиматричные логические системы

Значения 1п, 1е, Р, ? понимаются так: высказывание, принимающее значение 1п, описывает положение дел, которое имеет место в действительности и которое однозначно детерминировано какими-либо обстоятельствами; высказывание, принимающее значение 1е, описывает положение дел, которое имеет место в действительности и которое не детерминировано однозначно теми или иными обстоятельствами; высказывание, принимающее значение Р, описывает положение дел, которого нет в действительности и отсутствие которого не детерминировано однозначно теми или иными обстоятельствами; высказывание, принимающее значение ^ описывает положение дел, которое не имеет места в действительности и отсутствие которого однозначно детерминировано какими-либо обстоятельствами.

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

Принципы классической логики Принципы квазиматричной логики

(1) принцип двухзначности - высказывания принимают значеня из области 11, А принцип четырехзначности: {1п, 1е, ?, п

(2) принцип непротиворечия (высказывание не может иметь оба значения) принцип непротиворечия: не может иметь более одного значения из {1п, 1е, ?, п

(3) принцип исключенного третьего принцип исключенного пятого

(высказывание обязательно принимает значение из указанной области)

(4) принцип тождества: в сложном высказывании, системе высказываний, аргументации одно и то же высказывание принимает одно и то же значение из области принцип тождества: одно и то же значение из области {1п, 1е, е, п

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

Логические термины те же, что и в 8 Определения логических терминов:

а Ь с d е Г

А -А □А ОА □А ОА □А ОА □А ОА □А ОА □А ОА

1" Г Ь Ь 1" 1" 1" 1" 1с 1с 1с 1с г 1

1с Г Г Ь Гс 1с Г1 1" Гс 1с Г1 1" Г1 1"

Г 1" Г Г Г Г1 Г1 Г1 Гс Гс Г1 Гс Г Г

Г 1с Г Ь Гс 1с Г1 1" Гс с Г1 1" Г1 1"

§ ь

□Л ОЛ □Л ОЛ □Л ОЛ

ь ь 1" 1" 1е 1е

Г0 1е Г г Г 1

Г Г Г1 Г1 Г0 г0

Г0 1е Г 1 Г 1

в в

(-) 3 1" 1е Г1 Ге ( ) 3 1" 1е Г1 Ге

1" 1" 1е Г1 Ге 1" 1" 1е Г1 Ге

Л 1е 1" 1е Г0 Ге Л 1е 1 "| 1е 1е Ге Ге

Г1 1" 1" 1" 1" Г1 1" 1" 1" 1"

г 1" 1е 1е 1е Ге 1" 1е 1е 1"| 1е

в

(+) 3 1" 1е Г1 Г

1" 1" 1е Г1 Ге

Л 1е 1' 1е 1е Г0 Ге

Г1 1" 1" 1" 1"

Г01 "| 1е 1е 1е 1"| 1е

Знаки 1 и Г соответственно понимаются как сокращения для выражений 1"/ Iе и VI Г0.

На основе приведенных определений строятся логические системы

8а", 8а, 8а+, 8Ь", 8Ь, 8Ь+, 8е", 8е, 8е+, 8d-, Sd, Sd+, 8е", 8е, 8е+, 8Г ", 8Г, 81"+, 8§" , 8§, 8§+, 8Ь", 8Ь, 8Ь+, 81", 81, 81+. Малая буква в названии системы соответствует способу определения модальных терминов, знаки +, - и отсутствие этих знаков соответствуют способу определения импликации. Выделенными значениями являются 1" и 1е.

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

Пусть дана формула ШЛ. При значении 1 подформулы Л, значение ШЛ, как уже было сказано, не определено, то есть ситуация, описываемая высказыванием Л, имеет место в действительности, но она детерминирована, например, однозначно или же не однозначно. В первом случае формуле ПЛ следует приписать значение 1 а во втором г. То есть в первом случае высказывание Л оценивается как истинное и фактически необходимое, в нашей терминологии имеет значение 1п. Какое значение в этом случае принимает формула ШЛ? Если положение дел, описываемое высказыванием Л, однозначно терминировано какими-либо обстоятельствами, то

эти последние тоже могут быть детерминированы или не детерминированы какими-то иными обстоятельствами. То есть формула □A тоже получает оценку tn (или tc) и т. д. Такие ситуации имеют место как в субъективной, так и в объективной действительности.

Виды однозначной и неоднозначной детерминации в биологии рассмотрены В.Ю. Ивлевым в [1, 2].

Формализацией семантически заданных систем являются исчисления, содержащие в качестве общей части все схемы аксиом классического исчисления высказываний, правило modus ponens, а также следующие схемы аксиом:

□A^A; —□—A^OA; OA^—□—A; —OA=>D(A=>B); DB^D(A^B); OB^O(A^B); O—A=>O(A=>B); O(A3B)3(DA3OB).

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

Sa-: □(A3B)3)(OA^nB).

Sa: □(A^B)^(DA^QB); D(A^B)^(OA^OB);

□(A^B)^(OA^(O—Bd(—A^—B))).

Sa+: □(A^B)^(DA^QB); D(A3B)3(OA^OB).

Sb-: □(A^B)^)(OA^DB); DA^DDA; ODA^OA; OA^ODA; □A^DOA; DOA^DA; OOA^OA.

Sb: □(A^B)^(DA^DB); D(A^B)^(OA^OB);

□(A^B)^(OA^(O—Bd(—A^—B))) DA^DDA; ODA^OA; OA^ODA; □A^DOA; DOA^DA; OOA^OA.

Sb+: □(A^B)^(DA^QB); D(A^B)^(OA^OB); DA^DDA; ODA^OA; OA^ODA; DA^DOA; DOA^DA; OOA^OA.

Исчисления Sc-, Sd-, Se-, Sf-, Sg- , Sh- , Si- содержат схему аксиом D(A3B)3)3(OA3DB).

Исчисления Sc, Sd, Se, Sf, Sg, Sh, Si содержат схемы аксиом □(A^B)^(DA^QB); D(A^B)^(OA^OB);

□(A^B)^(OA^(O—Bd(—A^—B))).

Исчисления Sc+, Sd+, Se+, Sf+, Sg+, Sh+, Si+ содержат схемы аксиом □(A^B)^(DA^DB); D(A=>B)=>(OA=>OB);.

Исчисления, в обозначении которых имеется одна и та же малая буква, например исчисления 8е", 8е, 8е+, отличаются только множествами схем аксиом

{□(ЛзВ)з(ОЛзПВ)}, {□(ЛзВ)з(ПЛзПВ); П(ЛзВ)з(ОЛзОВ); □(ЛзВ)з(ОЛз(О—Вз(—Лз—В)))}, {□(ЛзВ)з(ПЛзПВ);

□(ЛзВ)з(ОЛзОВ)}.

Остальные дополнительные схемы аксиом этих исчислений одни и те же.

Приведем эти последние дополнительные схемы аксиом.

Исчисления 8е", 8е, 8е+. ПЛзШЛ; ООЛзОЛ; ОПЛзПЛ; ОЛзПОЛ.

Исчисления Sd-, 8d, 8d+. ОЛ , где Л - модализированная формула. Исчисления 8е", 8е, 8е+. ООЛ; О—ПЛ; —ОЛзОШЛ; □ЛзО—ОЛ; ОПЛз(ЛзПЛ); ОПЛз(ОЛзЛ); Лз(О—ЛзПОЛ); —Лз(ОЛзПОЛ).

Исчисления 8Г ", 8Г, 8Г+. ОПЛз(ЛзПЛ); ОПЛз(ОЛзЛ); Лз(О—ЛзПОЛ); —Лз(ОЛзПОЛ).

Исчисления 8§" , 8§, 8§+. Лз(—ПЛзОПЛ); —Лз(ОЛзОПЛ); □ОЛз(ЛзПЛ); □ОЛз(ОЛзЛ).

Исчисления 8Ь" , 8Ь, 8Ь+. ПЛзШЛ; ОПЛзОЛ; ПЛзПОЛ; ООЛзОЛ.

Исчисления 81" , 81, 81+. ООЛ; О—ПЛ; —ОЛзОПЛ; □ЛзО—ОЛ.

Для доказательства семантической полноты каждого из исчислений 8Ь", 8е", 8d-, Sd, 8е" (семантики этих исчислений являются матричными) доказана следующая лемма. Пусть аь...,ап - все различные переменные, входящие в формулу Б, а Ьь...,Ьп - истинностные значения этих переменных. Пусть Л; есть Па1; а1 л О—а1, —Оа1 или —а1 л Оа1 в зависимости от того, есть ли Ь; 1", 1е, Г1 или Г0; пусть Б есть ШБ, Б л О—Б, —ОБ или —Б л ОБ в зависимости от того, принимает ли Б значение 1", 1е, Г1, Г0 при значениях Ь^...,Ьп переменных аь...,ап. Тогда Л1,...,Лп ^ Б*.

(^ - знак следования.) Доказательство проведено методом возвратной математической индукции.

Семантики остальных исчислений являются (собственно) квазиматричными. При доказательстве метатеорем о семантической полноте этих исчислений используются понятия альтернативных интерпрпретаций. Сформулируем это понятие для системы 8а+.

Альтернативная интерпретация - это функция || ||, определяемая следующим образом.

Если Р - пропозициональная переменная, то ||Р|| е {1;п, 1е, Р3, Р1}.

Если ||А|| и ||В|| определены, то ||-А|| = 1п ||А|| = ||-А|| = 1е » ||А|| = Г; ||-А|| = Р « ||А|| = 1п; ||-А|| = Р « ||А|| = 1е;

||АзБ|| = Р (||А|| = 1п и ||В|| = fc) или (||А|| = ^ и ||В|| = fc), или (||А|| = 1с и ||В|| = ?); ||А=>Б|| = Р » ||А|| = 1п и ||В|| = если или (||А|| = 1п и ||В|| = tе), или (||А|| = Р и ||В|| = О, то ||ЛзБ|| = 1е; если ||А|| = ? или ||В|| = tn, то ||ЛзБ|| = 1п; если или ||Л|| = ||В|| = tе, или (||Л|| = fc и ||Б|| = 1е), или ||Л|| = ||В|| = Г, то ||ЛзБ|| е{1п, 1е);

||А|| = 1п ^ ||ПА|| е {1п, 1е}; если или ||Л|| = tе, или ||Л|| = fc, или ||А|| = то ||ПА|| е {Г, ?};

||А|| = Р ^ ||ОА|| е {Г, :Р}; если или ||Л|| = ^ или ||Л|| = tе, или ||А|| = Г, то ||ОА|| е {1п, 1е}.

В качестве метатеоремы о семантичекой полноте доказывается утвверждение: множество формул А, совместимое с исчислением, выполнимо. Множество формул А расширяется до максимального совместимого с исчислением множества формул ©. Вводится функция || ||0 такая, что для произвольной формулы Л верно: ||А||0 = 1п Ае© и ПАе©; ||А||0 = 1е Ае© и О-Ае©; ||А||0 = Р ^ -Ае© и -ОАе©; ||А||0 = £ ^ -Ае© и ОАе©. Индукцией по числу вхождений логических терминов в формулу доказывается, что функция ||Л||0 является альтернативной интерпретацией.

Очевидно, что функция ||Л||0 приписывает выделенное значение каждой формуле из А.

8Г - квазиматричная трехзначная логика. (Язык содержит те же символы.) Вводятся значения п, е, 1, которые соответственно читаются "необходимо", "случайно", "невозможно". Положение дел необходимо, если и только если оно однозначно детерминировано какими-либо обстоятельствами; положение дел случайно, если и только если ни оно, ни его отсутствие не детерминировано однозначно какими-либо обстоятельствами; положение дел невозможно, если и только если его отсутствие однозначно детерминировано какими-либо обстоятельствами. Фактически здесь и выше оценки положений дел я переношу на высказывания. К сожалению, мне не удалось подобрать соответствующих подходящих терминов для оценки высказываний.

Логика 8Г основана на следующих обобщениях принципов классической логики:

Принципы классической логики Принципы квазиматричной логики 8Г

(1) принцип двухзначности -высказывания принимают значеня из области (1, :} принцип трехзначности: из области (п, с, 1}

(2) принцип непротиворечия (высказывание не может иметь оба значения) принцип непротиворечия: не может иметь более одного значения из из области (п, с, 1}

(3) принцип исключенного третьего (высказывание обязательно принимает значение из указанной области) принцип исключенного четвертого

(4) принцип тождества: в сложном высказывании, системе высказываний, аргументации одно и то же высказывание принимает одно и то же значение из области {1,:} принцип тождества: принимает одно и то же значение из области (п, с, 1}

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

Определения логических терминов:

В

А -А □А ОА 3 п с 1

п 1 п п п п с 1

с с 1 п А с п п|с с

1 п 1 1 1 п п п

п|с понимается как "то ли п, то ли с". Выделенное значение - п.

Соответствующее исчисление включает все схемы аксиом КИВ, в которых метасимволы А, В, С обозначают модализирован-

ные формулы, modus ponens, правило Геделя, все схемы аксиом исчисления Sc+, дополнительные по отношению к КИВ, а также схемы: DA^OA; —A з—DA; —OA3—A; A3OA.

Альтернативная интерпретация - это функция || ||, определяемая следующим образом.

Если P - пропозициональная переменная, то ||P|| е {n, c, i}.

Если ||A|| и ||B|| определены, то ||—A|| = n ^ ||A|| = i; ||—A|| = c ^ ||A|| = c; ||—A|| = i » ||A|| = n;

если ||A|| = i или ||B|| = n, то ||АзВ|| = n; если ||A|| = ||B|| = с, то ||АзВ|| е {n, c}; если ||A|| = c и ||B|| = i, то ||АзВ|| = c; ||A|| = n ||B|| = i » ||A3B|| = i;

||DA|| = n ||A|| = n; если ||A|| = c или ||A|| = i, то ||DA|| е i;

||OA|| = i » ||A|| = i; если ||A|| = n или ||A|| = c, то ||OA|| = n.

Метатеорема о семантической полноте формулируется и доказывается так же, как и в предшествующем случае.

Некоторые особенности этой логической системы.

Во-первых, в ней имеет место правило Геделя.

Во-вторых, все производные правила вывода классического исчисления высказываний, являясь правилами вывода данного исчисления, применимы в выводе лишь к модализированным формулам. Некоторые (по крайней мере некоторые) прямые правила вывода натурального исчисления высказываний применимы и к немодализированным формулам, например, правило: AvB, — A ^ B. Такие непрямые правила, как правило дедукции

Г, A ^ В

Г ^ A^B

и приведения к абсурду

Г, A ^ B; Г, A ^ —B

Г ^ -А

не применимы к немодализированным формулам в выводе. Однако применимым к любым формулам в выводе является ослабленное правило приведения к абсурду

Г, А ^ В; Г, А ^ -В

Г ^ О-А

Можно выявить зависимости между исчислениями. 8т1п включается (по множеству теорем) в каждое из приведенных исчисле-

ний, кроме 8г. 8 включается в каждое из исчислений, кроме и 8г. Эти и некоторые другие отношения между исчислениями можно представить наглядно.

Стрелка обозначает включение (по множеству теорем) исчисления в каждое из исчислений, находящихся в овале, или включение каждого из исчислений, находящихся в овале или прямоугольнике, в соответствующее ему исчисление, находящегося в овале или прямоугольние, например, исчисление 8а" включается в исчисления 8Ь", 8е", 8^, 8е", 8Г ", 8g", 8Ь" , 81"; а 81, - в 8е; 8с+ - в 8с и т. д. Двойная стрелка указывает, что исчисление 8с+ имеет наибольшее количество теорем, общих с исчилением 8Г.

Открытым является вопрос о возможности построения алгебраических и реляционных семант ик для приведенных сист ем. Исчисление 8 не имеет иквазиматричной семант ики

ЛИТЕРАТУРА

1. Ивлев В.Ю. "Необходимость", "случайность", "возможность" в биологии и их философские обобщения // Категории. Философский журнал. 1997, № 2.

8

8

г

2. Ивлев В. Ю. Категории необходимости, случайности и возможности: их смысл и методологическая роль в научном познании // Философия и общество. 1997, № 3.

3. Ивлев В. Ю, Ивлев Ю. В. Проблема построения теории фактических модальностей // Логические исследования. Вып. 7. М., 2000.

4. ИвлевЮ. В. Модальная логика. М., 1991.

5. ИвлевЮ. В. Содержательная семантика модальной логики. М., 1985.

6. Ивлев Ю. В. Квазифункциональная логика // НТИ, сер. 2. Информ. процессы и системы. 1992, № 6.

7. Ивлев Ю. В. Таблицы истинности для модальной логики. // Вестн. Моск. ун-та. Сер. Философия. 1973, № 6.

8. Карпенко А С. Многозначные логики. М., 1997.

9. Финн В. К. О некоторых характеристических истинностных таблицах классической логики и трехзначной логики Я. Лукасевича // Исследования логических систем. М., 1970.

10. Rescher N. Many-valued logic. N.Y., 1969.