Параконсистентная логика и ее место в латиноамериканской философии
- Авторы: де М. Нуньес Фильо Н.1,2
-
Учреждения:
- Бразильский открытый университет
- Федеральный университет Санта-Катарины
- Выпуск: Том 29, № 3 (2025): ФИЛОСОФИЯ В ЛАТИНСКОЙ АМЕРИКЕ
- Страницы: 673-686
- Раздел: ФИЛОСОФИЯ В ЛАТИНСКОЙ АМЕРИКЕ
- URL: https://journal-vniispk.ru/2313-2302/article/view/325467
- DOI: https://doi.org/10.22363/2313-2302-2025-29-3-673-686
- EDN: https://elibrary.ru/CVFVSV
- ID: 325467
Цитировать
Полный текст
Аннотация
В исследовании представлен обзор параконсистентной логики, прослеживается ее историческое происхождение и развитие в рамках того, что можно назвать латиноамериканской школой параконсистентности. Такая характеристика, по общему признанию, является смелой, учитывая различные теоретические корни параконсистентности и спорный характер ее интерпретации. Соответственно, в нашем обсуждении эта тема рассматривается как с исторической, так и с формальной точек зрения, подчеркивая ключевые моменты в развитии параконсистентной логики в латиноамериканском контексте. Особое внимание уделяется обширной и систематической работе Ньютона К.А. да Косты в Бразилии, чей вклад сыграл центральную роль в формировании параконсистентной логики как зрелой и влиятельной области знаний. Кроме того, мы кратко рассмотрим, как параконсистентная логика бросает вызов классической логике, заставляя ее пересмотреть свои выводы в свете параконсистентных принципов. В конечном счете эта статья направлена на то, чтобы поместить параконсистентность в более широкий контекст, описанный выше, исследуя ее влияние и выявляя ее ключевые теоретические и практические особенности в современной философской мысли.
Об авторах
Нуньес де М. Нуньес Фильо
Бразильский открытый университет; Федеральный университет Санта-Катарины
Автор, ответственный за переписку.
Email: lauro.filho@ufsc.br
ORCID iD: 0000-0002-4489-876X
доктор философии, профессор
Бразилия, 88040-900, Флорианополис, ул. Агронома Андрея Кристиана ФеррейраСписок литературы
- Arruda AI. A survey of paraconsistent logic. In: Arruda AI, Chuaqui R, da Costa NCA, editors. Mathematical Logic in Latin America: Proceedings of the IV Latin American Symposium on Mathematical Logic. New York: Elsevier North-Holland; 1980. P. 1-41. https://doi.org/10.1016/S0049-237X(09)70477-X
- Gomes EL, D’Ottaviano IL. Para além das Colunas de Hércules, uma história da paraconsistência: de Heráclito a Newton da Costa. Campinas: Editora da Unicamp; 2017.
- Łukasiewicz J. Du Principe de contradiction chez Aristote. Paris: L’éclat; 2000.
- Markin V, Zaitsev D, editors. The logical legacy of Nikolai Vasiliev and modern logic. Switzerland: Springer International Publishing; 2017. https://doi.org/10.1007/978-3-319-66162-9
- Jaśkowski S. A propositional calculus for inconsistent deductive systems. Logic and Logical Philosophy. 2004;7(7):35-56. doi: 10.12775/LLP.1999.003
- da Costa NCA. Sistemas formais inconsistentes: thesis, 1963. Curitiba: Editora UFPR; 1993.
- da Costa NCA, Alves EH. A semantical analysis of the calculi Cn. Notre Dame Journal of Formal Logic. 1977;18(4):621-630.
- da Costa NCA, Krause D, Bueno O. Paraconsistent logics and paraconsistency. In: Jacquette D, editor. Philosophy of logic. Malden: Elsevier; 2006. P. 655-781. https://doi.org/10.1016/B978-044451541-4/50023-3
- De Souza EG, Costa-Leite A, Dias DHB. On a paraconsistentization functor in the category of consequence structures. Journal of Applied Non-Classical Logics. 2016;26(3):240-250. https://doi.org/10.1080/11663081.2016.1225487 EDN: XTZLGZ
- da Costa NCA, Subrahmanian VS. Paraconsistent logics as a formalism for reasoning about inconsistent knowledge bases. Artificial Intelligence in Medicine. 1989;1(4):167-174. https://doi.org/10.1016/0933-3657(89)90031-6
- Abe JM, Nakamatsu K, Akama S, Ahrary A. Handling Paraconsistency and Paracompleteness in Robotics. In: Conference Proceedings from 2018 Innovations in Intelligent Systems and Applications (INISTA). 2018. Thessaloniki. P. 1-7. https://doi.org/10.1109/INISTA.2018.8466283
- Carnielli C, Marcos J. A Taxonomy of C-Systems, in Paraconsistency - the Logical Way to the Inconsistent. In: Carnielli WA, Coniglio ME, Loffredo D’Ottaviano IM, editors. Lecture Notes in Pure and Applied Mathematics. New York: Marcel Dekker; 2002. P. 1-94. https://doi.org/10.1201/9780203910139.pt1
- Costa NCA, Bueno O. Paraconsistent logic. In: Nuccetelli S, Schutte O, Bueno O, editors. A Companion to Latin American Philosophy. Malden: Wiley-Blackwell; 2009. https://doi.org/10.1002/9781444314847.ch15
- Carnielli W, Coniglio M, Marcos J. Logics of formal inconsistency. In: Gabbay DM, Guenthner F, editors. Handbook of Philosophical Logic. Springer; 2007. P. 15-107. https://doi.org/10.1007/978-1-4020-6324-4_1
- Nelson D. Negation and separation of concepts in constructive systems. In: Heyting A, editor. Constructivity in Mathematics: Proceedings of the Colloquium “Studies in Logic and the Foundations of Mathematics”. Amsterdam: North-Holland; 1959. P. 208-225.
- Graham P. In contradiction. London: Oxford University Press; 2006.
- Routley R, Meyer R. Dialectical logic, classical logic, and the consistency of the world. Studies in Soviet Thought. 1976;16(1-2):1-25. https://doi.org/10.1007/bf00832085 EDN: FMJZJJ
- Batens D. Against global paraconsistency. Studies in Soviet Thought. 1990;39(3-4):209-229. https://doi.org/10.1007/BF00838036
- da Costa N, French S. Science and partial truth: A unitary approach to models and scientific reasoning. Oxford: Oxford University Press; 2003. https://doi.org/10.1093/019515651X.001.0001
- Tanaka K. Three schools of paraconsistency. The Australasian Journal of Logic. 2003;1:28-42. https://doi.org/10.26686/ajl.v1i0.1761
- Barrio E, Da Re B. Paraconsistency and its philosophical interpretations. The Australasian Journal of Logic. 2018;15(2):151-170. https://doi.org/10.26686/ajl.v15i2.4860
- D’ottaviano IML, Gomes EL. Considerações sobre o desenvolvimento da lógica no Brasil. CLE e-Prints (Online). 2011;11(3):1-50.
- Krause D, da Costa NCA. An intensional Schrödinger logic. Notre Dame Journal of Formal Logic. 1997;38(2):179-194.
- Krause D. On a quasi-set theory. Notre Dame Journal of Formal Logic. 1992;33(3):402-411. https://doi.org/10.1305/ndjfl/1093634404
- D’Ottaviano IML, Feitosa H. Paraconsistent logics and translations. Synthese. 2002;125(1-2):77-95.
- da Cost NC, Béziau JY, Bueno O. Paraconsistent logic in a historical perspective. Logique et analyse. 1995;38(150-152):111-125.
- Florencio GA. El Todo y las Partes: Estudios de Ontología Formal. Madrid: Editorial Martínez; 1962.
- Mikenberg I, da Costa NCA, Chuaqui R. Pragmatic truth and approximation to truth. The Journal of Symbolic Logic. 1986;51(1):201-221. https://doi.org/10.2307/2273956
- Benado ME, Bobenrieth A, Verdugo C. Metaphilosophical Pluralism and Paraconsistency: From Orientative to Multi-level Pluralism. The Paideia Archive: Twentieth World Congress of Philosophy. 1998;8:30-37. https://doi.org/10.5840/wcp20-paideia19988177
- Bobenrieth A. Five philosophical problems related to paraconsistent logic. Logique et Analyse. 1998;161:21-30.
- Estrada-González L. Prospects for triviality. In: Andreas H, Verdée P, editors. Logical studies of paraconsistent reasoning in science and mathematics. Cham: Springer; 2016. P. 81-89.
- Martínez-Ordaz M. The ignorance behind inconsistency toleration. Synthese. 2021;198(9):8665-8686. https://doi.org/10.1007/s11229-020-02593-4 EDN: UNMSVG
- Borja Macías V, Coniglio ME, Hernández-Tello A. Genuine paracomplete logics. Logic Journal of the IGPL. 2023;31(5):961-987. https://doi.org/10.1093/jigpal/jzac060 EDN: PZLFJH
- Béziau JY. From paraconsistent logic to universal logic. Sorites. 2001;12(5):5-32.
- da Costa NCA. Ensaio sobre os fundamentos da lógica. São Paulo: Hucitec; 1994.
- Núñez RE, Sweetser E. With the future behind them: Convergent evidence from Aymara language and gesture in the cross linguistic comparison of spatial construals of time. Cognitive science. 2006;30(3):401-450.
Дополнительные файлы
