Paraconsistent Logic: Consistency, Contradiction And Negation by Walter CarnielliParaconsistent Logic: Consistency, Contradiction And Negation by Walter Carnielli

Paraconsistent Logic: Consistency, Contradiction And Negation

byWalter Carnielli, Marcelo Esteban Coniglio

Hardcover | June 21, 2016

Pricing and Purchase Info

$160.36 online 
$193.50 list price save 17%
Earn 802 plum® points

Prices and offers may vary in store


In stock online

Ships free on orders over $25

Not available in stores


This book is the first in the field of paraconsistency to offer a comprehensive overview of the subject, including connections to other logics and applications in information processing, linguistics, reasoning and argumentation, and philosophy of science. It is recommended reading for anyone interested in the question of reasoning and argumentation in the presence of contradictions, in semantics, in the paradoxes of set theory and in the puzzling properties of negation in logic programming. Paraconsistent logic comprises a major logical theory and offers the broadest possible perspective on the debate of negation in logic and philosophy. It is a powerful tool for reasoning under contradictoriness as it investigates logic systems in which contradictory information does not lead to arbitrary conclusions. Reasoning under contradictions constitutes one of most important and creative achievements in contemporary logic, with deep roots in philosophical questions involving negation and consistency

This book offers an invaluable introduction to a topic of central importance in logic and philosophy. It discusses (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-valued companions, 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 thought and to dialogical reasoning.


Title:Paraconsistent Logic: Consistency, Contradiction And NegationFormat:HardcoverDimensions:398 pages, 23.5 × 15.5 × 0.03 inPublished:June 21, 2016Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3319332031

ISBN - 13:9783319332031

Look for similar items by category:


Table of Contents

Chapter 1.  Introduction: Contradictions and (in)consistency.- Chapter 2.  A basic logic of formal inconsistency: mbC.- Chapter 3. Some extensions of mbC.- Chapter 4. Matrices and algebraizability.- Chapter 5. LFIs based on other logics.- Chapter 6.  Alternative semantics for LFIs.- Chapter 7.  First-order LFIs.- Chapter 8.  Paraconsistent set theory.- Chapter 9. Paraconsistent modal logic.- Chapter 10. Paraconsistency and philosophy of science: perspectives.

Editorial Reviews

"This is a formal book focusing on logics of formal inconsistency (LFI). . the authors focus on various issues in philosophy of science and do a great job to exhibit the breadth and depth of LFIs. . the book is very thought-provoking, which is a great advantage of researchers. . This book is a first step to identify, understand and explore these questions." (Can Baskent, zbMATH 1355.03001, 2017)