Paraconsistent Logic ― Consistency, Contradiction and Negation

This book is the first in the fieldof paraconsistency to offer a comprehensive overview of the subject, includingconnections to other logics and applications in information processing,linguistics, reasoning and argumentation, and philosophy of science. It is recommendedreading for anyone interested in the question of reasoning andargumentation in the presence of contradictions, in semantics, in the paradoxesof set theory and in the puzzling properties of negation in logic programming. Paraconsistentlogic comprises a major logical theory and offers the broadest possible perspectiveon the debate of negation in logic and philosophy. It is a powerful tool forreasoning under contradictoriness as it investigates logic systems in whichcontradictory information does not lead to arbitrary conclusions. Reasoningunder contradictions constitutes one of most important and creativeachievements in contemporary logic, with deep roots in philosophical questionsinvolving negation and consistency

This book offers an invaluableintroduction to a topic of central importance in logic and philosophy. Itdiscusses (i) the history of paraconsistent logic; (ii) language, negation, contradiction,consistency and inconsistency; (iii) logics of formal inconsistency (LFIs)and the main paraconsistent propositional systems; (iv) many-valuedcompanions, possible-translations semantics and non-deterministic semantics;(v) paraconsistent modal logics; (vi) first-order paraconsistent logics; (vii)applications to information processing, databases and quantum computation;and (viii) applications to deontic paradoxes, connections to Eastern thoughtand to dialogical reasoning.