Alejandro J. Solares-Rojas (University of Milan) gives a tutorial on Logics of Formal Inconsistency (LFIs).
This video is part of the series "Non-classical logics".
----
Links:
Alejandro J. Solares-Rojas: [ Ссылка ]
Marcos, J. (2005). Logics of Formal Inconsistency, PhD thesis, UNICAMP: [ Ссылка ]
Carnielli, W., and Marcos, J. (2002). A taxonomy of C-systems. In Carnielli, Coniglio and D’ottaviano (eds.), Paraconsistency: The Logical Way to the Inconsistent, New York: Marcel Dekker, 1–94.
[ Ссылка ]
---
Timestamps:
0:00 Introduction
3:41 The basics
9:11 What is paraconsistent logic?
12:22 LFI's informal presentation
14:13 General definition
18:40 An example: C1
21:03 Final remarks
----
Further readings:
Batens, D. (1980). Paraconsistent extensional propositional logics. Logique et analyse, 23(90/91), 195-234.
Carnielli, W., Coniglio, M., and Marcos, J. (2007). Logics of formal inconsistency. In Gabbay and Guenthner (eds.), Handbook of Philosophical Logic, Volume 14, Dordrecht: Kluwer, 1–124.
Carnielli, W., and Coniglio, M. (2016). Paraconsistent logic: Consistency, Contradiction and Negation. Number 40 in Logic, Epistemology, and the Unity of Science. Switzerland: Springer.
da Costa, N. (1963) Inconsistent Formal Systems (in Portuguese), Habilitation Thesis. Republished by Editora UFPR, Curitiba, 1993.
Jaśkowski, S. (1948[1999]). A propositional calculus for inconsistent deductive
systems. Logic and logical philosophy, 7(7), 35-56.
----
music by audionautix.com
