О критерии паранормальности для $n$-значных логических матриц

Article Sidebar

PDF
Опубликован: 19.12.2021
DOI: https://doi.org/10.21146/2074-1472-2021-27-2-121-132
Ключевые слова:
паранепротиворечивость, параполнота, паранормальность, n-значные логические матрицы, изоморфы

Main Article Content

Наталья Евгеньевна Томова
Институт философии РАН

Аннотация

В результате обобщения на $n$-значный случай алгоритма конструирования литеральных паранепротиворечивых/параполных логик посредством комбинирования изоморфов классической логики получаем классы паранепротиворечивых, параполных и паранормальных логик. Паранормальные логики – логики, которые одновременно и паранепротиворечивы, и параполны. В качестве критерия паранепротиворечивости логики взят критерий неверифицируемости закона Дунса Скота в соотвествующей логической матрице. В качестве критерия параполноты логики взят критерий неверифицируемости закона Клавия в соотвествующей логической матрице.
В статье рассмотрен тип $n$-значных логических матриц, определеяющих паранормальные системы. Исследован вопрос о классе тавтологий, определяемом этим типом матриц. Доказано, по классу тавтологий исследуемые матрицы совпадают с представленными в литературе четырехзначными паранормальными матрицами логик $\mathbf V$, $\mathbf{I^1P^1}$.

Скачивания

Данные скачивания пока не доступны.

Article Details

Как цитировать
Томова Н. Е. О критерии паранормальности для $n$-значных логических матриц // Логические исследования / Logical Investigations. 2021. Т. 27. № 2. C. 121-132.
Выпуск
Том 27 № 2 (2021)
Раздел
Неклассические логики

Copyright (c) 2021 Наталья Евгеньевна Томова

Лицензия Creative Commons

Это произведение доступно по лицензии Creative Commons «Attribution-NonCommercial» («Атрибуция — Некоммерческое использование») 4.0 Всемирная.

Литература

Девяткин, 2016 – Девяткин Л.Ю. Неклассические модификации многозначных матриц классической логики. Ч. I // Логические исследования. 2016. Т. 22. № 2. С. 27–58.
Томова, 2018 – Томова Н.Е. О свойствах одного класса четырехзначных паранормальных логик // Логические исследования / Logical Investigations. 2018. Т. 24. № 1. С. 75–89.
Томова, 2020 – Томова Н.Е. Об одном классе n-значных литеральных паранепротиворечивых / параполных логик // Логические исследования / Logical Investigations. 2020. Т. 26. № 2. С. 144–159.
Bolc, 1992 – Bolc L., Borowik P. Many-Valued Logics 1: Theoretical Foundations. Springer-Verlag Berlin Heidelberg, 1992. 288 p.
Ciuciura, 2015 – Ciuciura J. A weakly-intuitionistic logic I1 // Logical Investigations. 2015. Vol. 21. No. 2. P. 53–60.
Fern´andez, 2001 – Fern´andez V.L. Semˆantica de Sociedades para L´ogicas n-valentes. Campinas: IFCH-UNICAMP, 2001. 126 p.
Fern´andez, Coniglio, 2003 – Fern´andez V.L., Coniglio M.E. Combining valuations with society semantics // Journal of Applied Non-Classical Logics. 2003. Vol. 13. No. 1. P. 21–46.
Jaskowski, 1969 – Ja´skowski S. A propositional calculus for inconsistent deductive systems // Studia Logica. 1969. Vol. 24. P. 143–157.
Karpenko, 1999 – Karpenko A.S. Ja´skowski’s criterion and three-valued paraconsistent logics // Logic and Logical Philosophy. 1999. Vol. 7. P. 81–86.
Lewin, Mikenberg, 2006 – Lewin R.A., Mikenberg I.F. Literal-paraconsistent and literal-paracomplete matrices // Math. Log. Quart. 2006. Vol. 52. No. 5. P. 478–493.
Popov, 1999 – Popov V.M. On the logics related to A. Arruda’s system V1 // Logic and Logical Philosophy. 1999. Vol. 7. P. 87–90.
Puga, Da Costa, 1988 – 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.
Sette, 1973 – Sette A.M. On propositional calculus P1 // Mathemetica Japonicae. 1973. Vol. 18. P. 173–180.
Sette, Carnielli, 1995 – Sette A.M., Carnielli W.A. Maximal weakly-intuitionistic logics // Studia Logica. 1995. Vol. 55. No. 1. P. 181–203.
W´ojcicki, 1984 – W´ojcicki R. Lectures on Propositional Calculi. Wroclaw: Ossolineum, 1984. 292 p.