Paraconsistent logic: consistency, contradiction and negation (Q2373949)

Paraconsistent logics are those formal systems in which contradictions do not logically entail all. Paraconsistent logics are devised to work with inconsistencies. This is a formal book focusing on logics of formal inconsistency (LFI). LFIs form a broad spectrum of logical systems within paraconsistency, yet they remain relatively unknown to many logicians and philosophers. This is perhaps due to their technical complexity. This technical complexity is somewhat needed. What distinguishes LFIs is that they use a consistency operator to distinguish classical and ``paraconsistent'' formulas -- paraconsistent formulas, when contradictory, do not entail all. The price to pay for an additional operator surfaces when the unary and binary connectives are considered. Therefore, the complications with LFIs arise even at the very beginning. The current book targets this need and gives a detailed and easy-to-follow explanation of LFIs. The book starts with a brief overview of paraconsistency and starts with a minimal logical system. The authors, rightfully, spend good amount of space to detail the minimal system in order to set the basis of the remainder of the book. After discussing the extensions of LFIs and their connections to other logics, the authors step up to the first-order systems of LFIs. The treatment is very systematical and well-organized. Another advantage of the book is to discuss the connections to set theory. Paraconsistent set theory is a thriving and an exciting field. A detailed survey of LFIs and the set theory is much needed. The book delivers that. The book concludes with a comprehensive philosophical discussion of LFIs. Here, the authors focus on various issues in philosophy of science and do a great job to exhibit the breadth and depth of LFIs. While reading the book, I have discovered (and contemplated on) many future work possibilities. This is because the book is very thought-provoking, which is a great advantage of researchers. Additionally, it shows that the field (that is paraconsistency and LFIs) grew fast and generated further research questions. This book is a first step to identify, understand and explore these questions.