CONSEQUENCE AND INCONSISTENCY: PARACONSISTENT LOGICS

Prelegent(ci)

Soma Dutta

Afiliacja

The Institute of Mathematical Sciences, Chennai, India

Termin

28 lutego 2014 15:00

Pokój

p. 5820

Seminarium

Research Seminar of the Logic Group: Approximate reasoning in data mining

---

Classically the notions of consequence and inconsistency are interwoven. That is, considering one as the primitive notion the other can be derived. This equivalence depends on the notions of absolute inconsistency and negation inconsistency, which are equivalent in classical scenario. Absolute inconsistency states that given any formula a and its negation -a, {a, -a} yields any formula b. On the other hand, according to the notion of negation inconsistency, a set is said to be inconsistent if for some formula a, both a, -a follows from the set. In the context of paraconsistent logics this equivalence between absolute inconsistency and negation inconsistency does not work. So, the interrelation between consequence and inconsistency in the context of paraconsistent logics seems to be an interesting direction to be explored. In this presentation we shall concentrate on different fragments of a propositional language, and explore the connection between the notion of consequence and inconsistency where the consequence is nonexplosive.

 

References

[1] Ayda I. Arruda. Aspects of the historical development of paraconsistent logic. In G. Priest, R. Routley, and J. Norman, editors, Paraconsistent Logic: Essays on the Inconsistent, pages 99129. Philosophia Verlag, M nchen, Handen, Wien, 1989.

[2] Arnon Avron. Natural 3-valued logics: characterization and proof theory. Journal of symbolic logic, 56, No.1:276294, 1991.

[3] A.W. Carnielli, M.E. Coniglio, and J. Marcos. Logics of formal inconsistency. In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, volume 14, pages 193. Kluwer Academic Publishers, Netherlands, 2003.

[4] S. Dutta and M.K. Chakraborty. Negation and paraconsistent logics. Logica Universalis, 5, No.1:165176, 2011.

---