CC BY
36Логические исследования 2018. Т. 24. № 1. С. 75-89 УДК 164.07+510.635
Logical Investigations 2018, Vol. 24, No. 1, pp. 75-89 DOI: 10.21146/2074-1472-2018-24-1-75-89
Н.Е. ТомовА
О свойствах одного класса четырехзначных паранормальных логик
Томова Наталья Евгеньевна
Институт философии РАН.
Российская Федерация, 109240, г. Москва, ул. Гончарная, д. 12, стр. 1. E-mail: [email protected]
Статья посвящена результатам, полученным в ходе исследования одного класса четырехзначных литеральных паранормальных логик, т. е. логик, которые одновременно являются паранепротиворечивыми и параполными на уровне пропозициональных переменных и их отрицаний. Паранепротиворечивые логики допускают возможность работы с противоречивой информацией, параполные логики позволяют строить рассуждения в условиях неполной информации. С обоими типами неопределенности, как с противоречивой, так и с неполной информацией, позволяют работать паранормальные системы. В [5] рассмотрен класс четырехзначных литеральных паралогик, полученных методом комбинирования изоморфов классической логики, выделенных в четырехзначной логике Бочвара В4. В результате вместе с самими изоморфами логические матрицы, определяющие эти логики, образуют десятиэлементную верхнюю полурешетку относительно функционального вложения. В предложенной статье мы исследуем класс матриц, составляющий супремум упомянутой полурешетки. Как оказалось, матрицы этого класса обладают интересными функциональными свойствами, а именно соответствуют классу всех внешних четырехзначных функций. В статье также проводится алгоритм построения совершенной дизъюнктивной 7-нормальной формы четырехзначной внешней функции. В литературе имеются известные матрицы, которые функционально эквивалентны матрицам рассматриваемого класса. Например, одна из них это матрица, определяющая логику V [17], представляющая собой формализацию интуиций воображаемой логики Н.А. Васильева. Нами рассмотрен вопрос о соотношении всех этих систем как по классам тавтологий, так и по классам правильных заключений, порождаемых рассматриваемыми матрицами. В результате доказано, что по классу тавтологий все системы эквивалентны, однако отличаются по свойствам отношения логического следования.
Ключевые слова: четырехзначные паранормальные логики, функциональные свойства, внешние функции, тавтологии, отношение следования
1. Введение
Проблема необходимости корректной работы в условиях противоречивой и неполной информации послужила стимулом к разработке систем пара-логик. Среди паралогик выделяют паранепротиворечивые, параполные и
© Н.Е. Томова
паранормальные системы. Далее будут приведены соответствующие определения, здесь укажем, что паранепротиворечивые логики допускают возможность оперирования с противоречивой информацией, параполные логики позволяют строить рассуждения в условиях неполной информации. С обоими типами неопределенности, как с противоречивой, так и с неполной информацией, позволяют работать паранормальные системы. Данная статья посвящена исследованию свойств одного класса четырехзначных паранормальных логик. Предложено проанализировать данный класс в различных аспектах: с точки зрения функциональных свойств, классов тавтологий и отношения следования.
2. Определения
Существует несколько подходов к представлению и анализу логических систем. В нашей статье удобно представление логических систем посредством логических матриц. Введем базовые определения.
Определение 1. Пусть Var = {p,q,r... } — счетное множество пропозициональных переменных и Con = {F\,... Fn} — конечное множество пропозициональных связок, где каждой связке Fi сопоставлено натуральное число a(Fi), которое обозначает число ее аргументов. Хотя бы для одного i € {1,.. .n} имеет место a(Fi) = 0. Множество For определяется индуктивно:
(1) Var С For,
(2) Для каждого такого Fi € Con, что a(Fi) = k, Fi(Ai,... ,Ak) € For, если Ai,... ,Ak € For,
(3) Ничто иное не принадлежит For.
Алгебру формул L = {For, Fi,..., Fm) будем называть пропозициональным языком.
Пусть A = {V, fi,..., fm) алгебра того же типа, что пропозициональный язык L, где V — множество истинностных значений и fi — функция на V той же местности, что и Fi.
Определение 2. Упорядоченная пара M = {A, D), где A — алгебра того же типа, что пропозициональный язык L и D С V — непустое собственное подмножество V, называется логической матрицей для L. Элементы D будем называть выделенными значениями M.
Определение 3. Оценкой v формулы A в матрице M для языка L называется такое отображение L в A = {V, fi,..., fm), что
1. если p — пропозициональная переменная, тогда v(p) € V;
2. если А1,А2,...,Ап — формулы и ¥п — п-местная связка языка С, тогда у(Гп(А1,А2,...,Ап)) = Р^А^^А), ■■■ ,у(Ап)), где ¡п — функция на V, соответствующая Вп.
Определение 4. Некоторая формула А есть тавтология в М (сокращенно — =м А), е.т.е. для каждой оценки V в М верно, что ь(А) € В.
Определение 5. Теорией, порождаемой М, называем множество всех тавтологий в М и обозначаем как Е(М).
Определение 6. Формула В логически следует из множества формул Г = {А1, А2,..., Ап} в М (сокращенно — Г =М В), е.т.е. не существует такой оценки V в М, что v(Ai) € В для каждой Аi € Г, и v(B) € В.
Определение 7. Отношением следования, порождаемым М, называем множество Сп(М) упорядоченных пар (Г, В) таких, что для всякой оценки V в М, если v(Г) С В, то и(В) € В.
Далее представим некоторые определения, касающиеся паралогик. Существуют различные формальные и содержательные критерии, характеризующие паранепротиворечивость, параполноту и паранормальность.
При этом необходимо учитывать, что к рассмотрению матричных логик могут применены различные подходы [4, с. 30-32].
Так, если мы рассматриваем логику как теорию, т. е. как класс тавтологий, то удобен «импликативно-негативный» критерий паранепротиво-речивости С. Яськовского [12]: в системе паранепротиворечивой логики не верифицируется закон Дунса Скота А Э (—А Э В). В системе параполной логики не верифицируется закон Клавия (—А Э А) Э А) [10].
Другие авторы, например [7], [17, р. 210], определения паранепроти-воречивости и параполноты задают следующим образом. Теория Т логики Ь называется тривиальной, если все формулы Ь являются теоремами Т, в противном случае теория нетривиальна. Противоречивой теорией логики Ь называем такую теорию Т логики Ь, что для некоторой формулы А верно следующее: А и —А являются теоремами Т. Паранепротиворечивой теорией логики Ь называем такую противоречивую теорию Т логики Ь, что Т не есть тривиальная теория. Полной теорией логики Ь называем такую теорию Т логики Ь, что что для всякой формулы А верно: А или —А является теоремой Т. Параполной теорией логики Ь называем такую теорию Т логики Ь, что Т не является полной теорией логики Ь и всякая полная теория логики Ь, включающая Т, есть тривиальная теория.
Если под логикой пониманием класс умозаключений, то логика пара-непротиворечива, если и только если ее отношение логического следования не является эксплозивным (принцип эсплозивности: А, —А = В, см. [16]).
Логика параполна, если и только если имеется множество формул Г и формулы А и В такие, что Г, А И В и Г,-А = В, но Г Р В (см. [9, р. 1092]).
Необходимо отметить, что в общем случае при различных подходах к матричным логикам рассматриваемые критерии не эквивалентны1.
Логика называется паранормальной, если она одновременно является и паранепротиворечивой, и параполной.
Наше исследование касается особого класса паранормальных логик — это литеральные паранормальные логики, т. е. логики, которые одновременно обладают свойствами паранепротиворечивости и параполноты на уровне пропозициональных переменных и их отрицаний, или, другими словами, на уровне литералов (см. [13, р. 479]).
3. Класс четырехзначных паранормальных логик
В книге [5, с. 56-79] рассмотрен класс четырехзначных литеральных па-ралогик, полученных методом комбинирования изоморфов классической
логики, выделенных в четырехзначной логике Бочвара В4 [2, с. 289]. В ре-
2
зультате построена десятиэлементная верхняя полурешетка относительно функционального вложения матриц, задающих эти литеральные парало-гики и сами изоморфы.
Подробное описание полурешетки см. в [5, с. 75-76].
В настоящем исследовании мы рассмотрим свойства класса, составляющего супремум полурешетки на рис. 1. Как оказалось, этот класс обладает интересными функциональными свойствами, кроме того, в литературе имеются матрицы, которые по своим функциональным свойствам эквивалентны матрицам рассматриваемого класса. Однако возникает вопрос о сравнении всех этих матриц как по классам тавтологий, так и по классам правильных заключений, порождаемых ими. Этим вопросам и посвящено предложенное исследование.
Итак, приведем логические матрицы, соответствующие паранормальным логиками, составляющим супремум полурешетки паралогик [5, с. 69-70].
М15 = ({0, 1/3, 2/3, 1}, -4, , {1, 2/з}), М16 = ({0,1/з, 2/з, 1}, -3, ^4, {1, 1/з}).
Матричные операции -3, -4, и определены следующим образом:
хНиже мы увидим это на примере матрицы Му.
2Далее на рис. 1 в качестве элементов полурешетки указаны множества базовых операций соответствующих логических матриц. Оставлено обозначение только для супремума полурешетки и изоморфов, посредством комбинирования операций которых получены элементы, составляющие супремум.
{^3.-4} {^4,-3}
Рис. 1. Полурешетка четырехзначных паралогик
X -3Х -4Х
1 0 0
2/3 0 1
1/3 1 0
0 1 1
^3 1 2/3 1/3 0
1 1 1 0 0
2/3 1 1 0 0
1/3 1 1 1 1
0 1 1 1 1
^4 1 2/3 1/3 0
1 1 0 1 0
2/3 1 1 1 1
1/3 1 0 1 0
0 1 1 1 1
Матрицы
М = ({0,1/3,2/3, 1}, -3, ^3, {1,2/3}) и
М4 = ({0, 1/3, 2/3, 1}, -4, ^4, {1, 1/3})
соответствуют четырехзначным изоморфам классической логики, комбинация их матричных операций приводит к паранормальным системам.
3.1. Функциональные свойства
Рассмотрим функциональные свойства логических систем, определяемых матрицами М15 и М16. В связи с этим приведем некоторые определения. Пусть ^ — множество функций.
Определение 8. Замыканием будем называть множество функций, которое содержит все суперпозиции функций, принадлежащих ^, и только их.
Определение 9. Операцией суперпозиции называют операцию порождения одних функций через другие с помощью формул.
Определение 10. Пусть М = (V.,Е,В) и М' = (V',Е',В') матрицы, Е и Е' классы их базовых операций.
М' является функциональным расширением М, если [Е] С [Е']. М и М' функционально эквивалентны, если [Е] = [Е'].
В [5, с. 78] указано, что М15 и М16 функционально эквивалентны в указанном выше смысле. Приведем явное доказательство данного факта. Это следует из следующих тождеств:
(1) —4х = X ——3(х —х), х —3 У = —ЗУ —4 —3Х;
(2) —ЗХ = X —3 — 4(х —3 х), х —4 У = —4У —3 — 4Х.
Таким образом, [{—4, —3}] = [{—3, — 4}].
В [1] при построении трехзначной логики Д.А. Бочвар ввел понятие внешней функции.
Определение 11. Функция f € Е называется внешней, если f (х1,... ,хп) = 0 или f (х1,... ,хп) = 1 для любого набора истинностных значений х1,...,хп.
Пусть множество всех внешних четырехзначных функций.
По аналогии с трехзначными внешними функциями [8, с. 399] имеет место следующая теорема:
Теорема 1. Всякая внешняя функция Е(х1,..., хп) из тождественно не равная 0, представима единственным образом в виде совершенной дизъюнктивной ,1 -нормальной формы (1-с.д.н.ф.).
Алгоритм построения 1-с.д.н.ф. четырехзначной внешней функции аналогичен указанному В.К. Финном для трехзначного случая в [8, с. 399].
Рассмотрим множество всех внешних четырехзначных функций В^. Перенумеруем множество всех п-членных наборов истинностных значений (а1*\ ..., оЩ}), 3 = 1, 2,..., 4п. Каждому 3-му набору поставим в соответствие функцию
К] (хь ...,хп) ^ ,1(3) х1 Л ,1и) х2 /■■■ Л хп.
Пусть • • •, оП1 • • •, (а^,..., аП^) суть все наборы та-
кие, что / (а1\ • • •, а^}) = 1, 3 = i1,•••,is. Тогда очевидно, что / (xl,•••,xn) = К^ (Х1, • • •, хп) У ■■■ У Кгв (Х1, • • •, хп). Функция / (х1,^ • •, хп) = Кг1 (х1,^ • •, хп) У ■■■ У К^в (х1,^ • •, хп) называется 3-с.д.н.ф. четырехзначной внешней функции.
Приведем пример построения 3-с.д.н.ф. для некоторой произвольно выбранной внешней четырехзначной функции.
Пример. Пусть дана некоторая функция * из В4Х, которая определяется следующей таблицей:
* 1 2/3 1/3 0
1 1 0 0 0
2/3 1 0 0 0
1/3 1 0 0 0
0 0 0 0 0
Тогда, используя приведенный выше алгоритм построения 3-с.д.н.ф., имеем:
х * У := (((31 (х) Л 31 (у)) У (32/з(х) Л 31 (у))) У (3/з(х) Л 31 (у)))• Далее, справедлива следующая теорема:
ТЕОРЕМА 2. [{-4, ^3}] = [В4Х]. Доказательство теоремы следует из:
(1) того факта, что всякая внешняя функция, тождественно не равная 0, представима единственным образом в виде 3-с.д.н.ф. (теорема 1);
(2) алгоритма построения 3-с.д.н.ф. любой внешней функции. То есть для построения 3-с.д.н.ф. некоторой внешней функции посредством функций из некоторого множества достаточно, чтобы это множество функций содержало все 3-операторы и функции, соответствующие С-расширяющим конъюнкции и дизъюнкции3;
3Ограничение области определения функций, соответствующих таким конъюнкции и дизъюнкции, подмножеством {0,1} множества У4 есть классические тгп(х,у) и тах(х, у).
(3) следующих тождеств, принимая во внимание, что [{—4, —^э}] = [{-3, —4}]:
Jo(x) = —4(—4Х —3 x), Jl(x) = -э(х —4 -эх), J2/3(x) = -э(-4Х —3 -эх), Jl/s(x) = -э(-3Х —3 -4Х),
Х V y = -4Х —3 y, Х Л y = —4 (Х —3 -4У).
□
Таким образом, приведено доказательство того, что логические матрицы M15 и Mi6 с функциональной точки зрения соответствуют классу всех внешних четырехзначных функций.
Полученный результат можем распространить и на другие логические системы, логические матрицы которых функционально эквивалентны M15 (Mi6). Как оказалось, таких логик в литературе представлено несколько.
Это логика V [17], представляющая собой формализацию некоторых интуиций Н.А. Васильева, которые были им положены в основание его воображаемой логики. В [17, р. 208] приведена логическая матрица, соответствующая V:
Mv = ({0, 1/3, 2/3, 1}, —4, —3, Vv, Л^, {1}),4
где таблицы для —4 и —3 приведены на стр. 78, а VV и ЛV определяются так:
Vv 1 2/3 1/3 0
1 1 1 1 1
2/3 1 1 1 1
1/3 1 1 0 0
0 1 1 0 0
Лv 1 2/3 1/3 0
1 1 1 0 0
2/3 1 1 0 0
1/3 0 0 0 0
0 0 0 0 0
Очевидно, что М15 и Му функционально эквивалентны. Кроме того, в Му в качестве исходных матричных операций достаточно использовать -4 и ^3, а Уv и Лv могут введены по определению5:
4Здесь для удобства используем нашу нотацию: истинностное значение 1 из [17] в нашем обозначении — 2/з и истинностное значение 0 — 1/з.
5Учитывая ранее приведенное определение: —4х := х —3(х х).
х Vv y := —зх У,
x Av У := —з(х ^з -зу).
Исчисление V [17, p. 207] содержит весь позитивный фрагмент классической логики C2 плюс следующую аксиому для отрицания A ^ B) ^ ((~ A ^ ~ B) ^ A) с ограничением на A и B: A и B — молекулярные формулы, т. е. не являются атомарными (пропозициональными переменными). Доказывается, что если убрать это ограничение, то получим аксиоматизацию классической логики.
В [15] появляется точно такая же матрица для логики Io, построено секвенциальное исчисление генценовского типа. В работе [6] дано определение операций, погружающих классическую пропозициональную логику в Io.
В статье [11] построены иерархии паранепротиворечивых, параполных и паранормальных логик. Авторы характеризуют эти иерархии посредством обобщения т. н. семантики объединения (society semantic). В связи с нашей темой интересен четырехзначный случай иерархии паранормальных логик IraPfc — логика I2P2, имеющая следующую матрицу:
MI2P2 = ({0,1/3,2/з, 1}, —4, ^3, {1, 2/з}).
Обратим внимание, что это в точности матрица M15.
Интересно, что в работах в связи с логиками V и Io авторы так или иначе устанавливают связь этих систем с классической пропозициональной логикой. При нашем подходе явно демонстрируется связь этих систем с классической логикой на функциональном уровне: так, матрицы M15 и M16 получены как результат комбинирования изоморфов классической логики, и выше показано, что все эти матрицы M15, M16, My, Mi0 и Mi2p2 функционально эквивалентны и задают класс всех внешних четырехзначных функций.
Возникает вопрос: если будем понимать под логикой теорию, т. е. класс тавтологий в соответствующей матрице, как в этом случае будут соотноситься рассматриваемые нами системы? Таким образом, достаточно выяснить, один ли класс тавтологий задают матрицы M15, M16 и My.
Этому вопросу будет посвящен следующий раздел.
3.2. Классы тавтологий
Учитывая тот факт, что матрицы M15 и My отличаются только классом выделенных значений (в M15 D = {1, 2/з} и в My D = {1}) и то, что операции в матрицах M15, M16 и My определяются внешними функциями, понятно, что во всех этих матрицах тавтологией будет формула, при любой
оценке принимающая значение 1. Поэтому очевидно, что матрицы М15 и Му задают один и тот же класс тавтологий, и достаточно рассмотреть вопрос о соотношении классов тавтологий в матрицах М15 и Мю.
ТЕОРЕМА 3. £(^15) = ^(Мз).
Доказательство теоремы следует из факта изоморфизма матриц М15 и Мю (см. [18, СИ.3]). Покажем изоморфизм матриц относительно отображения ф.
Определим отображение ф следующим образом: ф(0) = 0, ф(1) = 1, ф(1/3) = 2/3 и ф(2/3) = 1/3. Далее несложно проверить, что
ф(х ^3 у) = ф(х) ^4 ф(у),
ф(-4Х) = -3(ф(х)),
X £ {1, 2/3} т.т.т. ф(х) £ {1, 1/3}.
Таким образом, отображение ф сохраняет матричные операции и класс выделенных значений В. Поэтому ф — матричный гомоморфизм. В то же время отображение ф — биективно, а любой биективный гомоморфизм есть изоморфизм. □
Таким образом, любая логическая матрица, функционально эквивалентная классу всех внешних четырехзначных функций, задает один класс тавтологий, независимо от выбора класса выделенных значений6. Этот класс определяет паранормальную логику.
3.3. Сравнение отношений следования
Рассмотрим вопрос о соотношении логических матриц М15, М16, Му, М10 и Мх2р2 по классам правильных заключений, порождаемых ими.
Итак, из того, что матрицы М15 и Мх2р2 совпадают, и из факта изоморфизма матриц М15 и (см. доказательство теоремы 3 и [18, СИ.3]) имеем:
Сп(М^) = Сп(Мю) = Сп(М12Р2). Также, поскольку матрицы Му и М10 совпадают, то
Сп(Му) = Сп(Ш1о).
6При этом, если рассматриваемые матрицы построены для разных пропозициональных языков, очевидно, что в силу функциональной эквивалентности матриц имеется взаимнооднозначное соответствие между классами их тавтологий.
Далее, рассмотрим Ои(М15) и Оu(Mv). Оказалось, что по классам следований эти две матрицы имеют различные дедуктивные свойства.
Cn(M^) Cn(My)
p,p q \ q p, —4P P q qP P, —4P p,p ^3 q P q p, —4p \ q qP P, —4P
Как ранее было указано на стр. 77, могут быть использованы различные критерии для паранепротиворечивости и параполноты. Так, если мы рассматриваем логику с точки зрения отношения следования, парасвойства определяются в терминах эксплозивности и имплозивности. Обратим внимание, что в матрице My отношение следования является эксплозивным, в то время как в M15 оно таковым не является. Таким образом, возникает вопрос о соотношении различных критериев для парасвойств. Так, например, для паранепротиворечивости дедуктивный критерий более сильный и предполагает выполнение «импликативно-негативного» критерия, в то время как обратное не обязательно (как это видно в случае с матрицей My). В работе [17] логика V рассматривается как теория, поэтому свойства отношения логического следования не принимаются во внимание.
Обратим внимание и на другие некоторые свойства матрицы My. Так, видим, что правило modus ponens в общем виде не сохраняет выделенное значение7, т. е. матрица My не является нормальной в смысле Лукасевича-Тарского [14, р. 134]. В данном случае оказывается достаточным, чтобы правило modus ponens сохраняло тавтологию.
Однако заметим, что различие в классах правильных заключений, порождаемых матрицами M15 и My, имеет место только на пропозициональном (литеральном) уровне, поскольку здесь оказывается существенным выбор класса выделенных значений. И, наоборот, поскольку в обеих матрицах одни и те же операции и они определяются внешними функциями, то уже в случае молекулярных формул все различия уходят. Так, на молекулярном уровне отношение логического следования в обеих матрицах будет эксплозивным, т. е. A, —A \ B (форумула A — не пропозициональная переменная), поскольку невозможна ситуация, когда v(A) € D и v(—A) € D.
С дедуктивной точки зрения отрицание —4 обладает разными свойствами в M15 и My. Здесь существенным является выбор класса выделенных значений. Так, в M15 отрицание —4 является паранепротиворечивым на пропозициональном уровне, поскольку не формирует противоречия, т. е.
7Подробно о различении формулировок правила modus ponens относительно сохранения выделенного значения и сохранения тавтологии см. в [3, c. 101].
имеется такое значение, когда v(p) € D и v(—p) € D, в то время как в Mv оно таковым не является, как следствие этого, в Mv отношение следования эксплозивно. Однако, в силу того, что матрица Mv не является нормальной в смысле Лукасевича-Тарского, по modus ponens из противоречия не может быть выведено все что угодно.
4. Заключение
Нами был рассмотрен класс четырехзначных паранормальных логик, функционально эквивалентных между собой и представляющих класс всех внешних четырехзначных функций. Некоторые логики из данного класса были получены разными авторами и имеют свою мотивацию. При этом так или иначе ими затрагивался вопрос об отношении этих систем к классической логике. В нашем исследовании [5, § 3.1] мы получили две паранормальные логические матрицы как результат комбинирования изоморфов классической логики, выделенных в четырехзначной логике Бочвара B4. Таким образом, видна связь этих систем с классической логикой на функциональном уровне.
Далее, в результате изучения свойств данного класса четырехзначных литеральных паранормальных логик установлено, что по классу тавтологий все системы эквивалентны. Таким образом, различные логические матрицы задают одну и ту же паранормальную теорию. Исследование свойств отношения логического следования в рассматриваемых паранормальных матрицах показало дедуктивные различия между ними. Здесь выявлено две группы матриц: Cn(M15) = Cn(M16) = Cn(MI2p2) и Cn(Mv) = Cn(Mi0). Установлено, что во второй группе матриц отношение следования эксплозивно, однако в силу того, что правило modus ponens не сохраняет выделенное значение, из противоречия не может быть выведено все что угодно.
Литература
[1] Бочвар Д.А. Об одном трехзначном исчислении и его применении к анализу парадоксов классического расширенного функционального исчисления // Математический сборник. 1938. Вып. 4. № 2. C. 287-308.
[2] Бочвар Д.А., Финн В.К. О многозначных логиках, допускающих формализацию анализа антиномий. 1 // Исследования по математической лингвистике, математической логике и информационным языкам М.: Наука, 1972. С. 238-295.
[3] Девяткин Л.Ю., Преловский Н.Н., Томова Н.Е. В границах трехзначности. М.: ИФ РАН, 2015. 136 с.
[4] Девяткин Л.Ю. Неклассические модификации многозначных матриц классической логики. Ч. I // Логические исследования. 2016. Т. 22. № 2. С. 27-58.
Карпенко А.С., Томова Н.Е. Трехзначная логика Бочвара и литеральные паралогики. М.: ИФ РАН, 2016. 110 с.
Попов В.М. Об одной паранормальной логике // Смирновские чтения: Материалы 4-й Международ. конф. М.: ИФ РАН, 2003. С. 46-49. Попов В.М. Секвенциальная аксиоматизация паранормальной логики PContPComp // Логические исследования. Т. 17. М., 2011. С. 240-245. Финн В.К. Аксиоматизация некоторых трехзначных исчислений высказываний и их алгебр // Философия и логика / Под ред. П.В. Таванца и В.А. Смирнова. М.: Наука, 1974. С. 398-438.
Arieli O., Avron A. Four-valued paradefinite logics // Studia Logica. 2017. Vol. 105. No. 6. P. 1087-1122.
Ciuciura J. A weakly-intuitionistic logic I1 // Logical Investigations. 2015. Vol. 21. No. 2. P. 53-60.
Fernandez V.L., Coniglio M.E. Combining valuations with society semantics // Journal of Applied Non-Classical Logics. 2003. Vol. 13(1). P. 21-46.
Jaskowski S. A propositional calculus for inconsistent deductive systems // Studia Logica. 1969. Vol. 24. P. 143-157.
Lewin R.A., Mikenberg I.F. Literal-paraconsistent and literal-paracomplete matrices // Math. Log. Quart. 2006. Vol. 52. No. 5. P. 478-493.
Lukasiewicz J., Tarski A. (1930). Investigations into the sentential calculus // Lukasiewicz J., Selected Works, North-Holland & PWN, Amsterdam & Warszawa, 1970. P. 131-152.
Popov V.M. On the logics related to A. Arruda's system V1 // Logic and Logical Philosophy. 1999. Vol. 7. P. 87-90.
Priest G, Tanaka K., Weber Z. Paraconsistent logic // Stanford Encyclohdia of Philosophy. 2013. URL: http://plato.stanford.edu/entries/logic-paraconsistent (дата обращения: 23.03.2018).
Puga L.Z, Da Costa N.C.A. On the imaginary logic of N. A. Vasiliev // Z. Math. Logik Grundl. Math. 1988. Vol. 34. P. 205-211.
Wojcicki R. Theory of Logical Calculi: Basic Theory of Consequence Operations. Dordrecht: Kluwer, 1988. 474 p.
Natalya E. Tomova
On Properties of a Class of Four-valued Paranormal
Logics
Tomova Natalya Evgen'evna
Institute of Philosophy of Russian Academy of Sciences. 12/1 Goncharnaya Str., Moscow, 109240, Russian Federation. E-mail: [email protected]
The paper is devoted to the results obtained during the investigation of a class of four-valued literal paranormal logics, i.e. logic, which are simultaneously paraconsistent and parapcomplete at the level of literals; that is, formulas that are propositional letters or their iterated negations. Paraconsistent logic allows the possibility of operating with conflicting information, parapcomplete logic allows us to build reasoning in conditions of incomplete information. With both types of uncertainty, with both inconsistent and incomplete information, paranormal systems work. In [5] the class of four-valued literal paralogics obtained by combining isomorphs of classical logic, which are contained in four-valued logic of Bochvar B4, is considered. As a result, together with the isomorphs themselves, logical matrices that correspond to these logics form a ten-element upper semilattice with respect to the functional embedding of one matrice into another. In this paper we investigate the class of matrices that make up the supremum of the said semilattice. The matrices of this class have interesting functional properties, namely, they correspond to the class of all external four-valued functions. The paper also provides an algorithm for constructing a perfect disjunctive J-normal form of a four-valued external function. As it turned out, there are well-known logics in the literature that are functionally equivalent to the logics of the class in question. For example, one of them is the logic V [17], which is a formalization of intuitions of N.A. Vasilyev's imaginary logic of. Thus, we have considered the question of the correlation of all these systems both in the class of tautologies and in the class of valid consequence relations. As a result, it is proved that all systems are equivalent in the tautological class, but they differ in the properties of the consequence relation.
Keywords: four-valued paranormal logics, functional properties, external functions, tautologies, consequence relation
References
[1] Bochvar, D.A. "Ob odnom trekhznachnom ischislenii i ego primenenii k analizu paradoksov klassicheskogo rasshirennogo funktsional'nogo ischisleniya" [On a Three-Valued Logical Calculus and its Application to the Analysis of Contradictions], Matematicheskii sbornik, 1938, Vol. 4, No. 2, pp. 287-308. (In Russian)
[2] Bochvar, A.D., Finn, V.K. "O mnogoznachnyh logikah dopuskauzchih formalizaciu analiza antinomii. 1" [On many-valued logics admitting formalization of the analysis of antinomies. 1], in: Issledovaniya po matematicheskoj lingvistike matematicheskoj logike i infomacionnym yazykam [Studies in mathematical linguistics, mathematical logic and information languages]. Moscow: Nauka, 1972, pp. 238-295. (In Russian)
Devyatkin, l.U., Prelovskiy, N.N., Tomova, N.E. V granitsakh trekhznachnosti [Within the limits of three-valuedness]. Moscow: IF RAN, 2015. 136 pp. (In Russian)
Devyatkin, l.U. "Neklassicheskie modifikatsii mnogoznachnykh matrits klassicheskoi logiki. Ch. I" [Non-classical Modifications of Many-valued Matrices of the Classical Propositional Logic. Part I.], Logical Investigations, 2016, Vol. 22, No. 2, pp. 27-58. (In Russian)
Karpenko, A.S., Tomova, N.E. Trekhznachnaya Logika Bochvara i Literal'nye Paralogiki [Bochvar's three-valued logic and literal paralogics]. Moscow: IF RAN, 2016. 110 pp. (In Russian)
Popov V.M. "Ob odnoi paranormalnoi logike" [On one paranormal logic], in: Smirnov's Readings: Proceedings of the 4th International Conference. Moscow: IF RAN, 2003, pp. 46-49. (In Russian)
Popov V.M. "Sekvencialnaja aksiomatizacija paranormalnoj logiki PContPComp" [Sequential axiomatization of paranormal logic PContPComp], Logical Investigations, 2011, Vol. 17, pp. 240-245. (In Russian)
Finn, V.K. "Aksiomatozatziya nekotoryh trehznachnyh ischislenii vyskazyvanii i ih algebr" [An axiomatization of some three-valued logics and their algebras], in: Filosofskaya logika [Philosophical Logic], ed. by P.V. Tavanez and V.A. Smirnov. Moscow: Nauka, 1974, pp. 398-438. (In Russian)
Arieli, O., Avron, A. "Four-valued paradefinite logics", Studia Logica, 2017, Vol. 105. No. 6, pp. 1087-1122.
Ciuciura, J. "A weakly-intuitionistic logic I1", Logical Investigations, 2015, Vol. 21, No. 2, pp. 53-60.
Fernandez, V.L., Coniglio, M.E. "Combining valuations with society semantics", Journal of Applied Non-Classical Logics, 2003, Vol. 13(1), pp. 21-46.
Jaskowski, S. "A propositional calculus for inconsistent deductive systems", Studia Logica, 1969, Vol. 24, pp. 143-157.
Lewin, R.A., Mikenberg, I.F. "Literal-paraconsistent and literal-paracomplete matrices", Mathematical Logic Quarterly, 2006, Vol. 52, No. 5, pp. 478-493. Lukasiewicz, J., Tarski, A. (1930). "Investigations into the sentential calculus", in: Selected Works, ed. by J. Lukasiewicz, North-Holland & PWN, Amsterdam & Warszawa, 1970, pp. 131-152.
Popov, V.M. "On the logics related to A. Arruda's system V1", Logic and Logical Philosophy, 1999, Vol. 7, pp. 87-90.
Priest, G., Tanaka, K., Weber, Z. "Paraconsistent logic", in: Stanford Encyclohdia of Philosophy. 2013 [http://plato.stanford.edu/entries/logic-paraconsistent, accessed on 23.03.2018].
Puga, L.Z., Da Costa, N.C.A. "On the imaginary logic of N. A. Vasiliev", Z. Math. Logik Grundl. Math., 1988, Vol. 34, pp. 205-211.
Wojcicki, R. Theory of Logical Calculi: Basic Theory of Consequence Operations. Dordrecht: Kluwer, 1988. 474 pp.
