О законе непротиворечия и эксплозивности следования в логиках

Н. Е. Томова

Аннотация


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

Полный текст:

PDF

Литература


Войшвилло Е. К. О паранепротиворечивой логике P1 Сетте. Труды научно-исследовательского семинара логического центра Института философии РАН. М., 1998.

Arenhart J. R. B. Paraconsistent Contradiction in Context. Saberes: Revista Interdisciplinar de Filosofia e Educação 1, 2016, p. 5–17.

Arruda A. I., da Costa N. C. A. Le schéma de la séparation et les calculs Jn. Mathematica Japonicae 19, 1974, p. 183–186.

Béziau J.-Y. The future of paraconsistent logic. Logical Studies 2, 1999, p. 1–23.

da Costa N. C. A. On the theory of inconsistent formal systems. Notre Dame Journal of Formal Logic 11.4, 1974, p. 497–510.

D’Ottaviano I. M. L., da Costa N. C. A. Sur un probléme de Jaśkowski. Comptes Rendus Hebdomadaires des Séances de l’Académie des Sciences. Séries A–B 270.21, 1970, p. 1349–1353.

Jaśkowski S. A propositional calculus for inconsistent deductive systems. Studia Logica 24, 1969, p. 143–157.

Johansson I. Der Minimalkalkil, ein reduzierter intuitionistischer Formalismus. Compositio Mathematica 4, 1936, S. 119–136.

Priest G. The logic of paradox. Journal of Philosophical Logic 8, 1979, p. 219–241.

Carnielli W. A., Coniglio M. E., Rodrigues A. Recovery operators, paraconsistency and duality. Logic Journal of the IGPL 28.5, 2020, p. 624–656.

Urbas I. Paraconsistency. Studies in Soviet Thought 39, 1990, p. 343–354.




DOI: https://doi.org/10.52119/LPHS.2024.55.27.008

Ссылки

  • На текущий момент ссылки отсутствуют.




(c) 2024 Н. Е. Томова

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