Advertisement

Paraconsistent Logic: Consistency, Contradiction and Negation

  • Walter Carnielli
  • Marcelo Esteban Coniglio

Part of the Logic, Epistemology, and the Unity of Science book series (LEUS, volume 40)

Table of contents

  1. Front Matter
    Pages i-xxiv
  2. Walter Carnielli, Marcelo Esteban Coniglio
    Pages 1-28
  3. Walter Carnielli, Marcelo Esteban Coniglio
    Pages 29-62
  4. Walter Carnielli, Marcelo Esteban Coniglio
    Pages 63-120
  5. Walter Carnielli, Marcelo Esteban Coniglio
    Pages 121-170
  6. Walter Carnielli, Marcelo Esteban Coniglio
    Pages 171-236
  7. Walter Carnielli, Marcelo Esteban Coniglio
    Pages 237-291
  8. Walter Carnielli, Marcelo Esteban Coniglio
    Pages 293-343
  9. Walter Carnielli, Marcelo Esteban Coniglio
    Pages 345-367
  10. Walter Carnielli, Marcelo Esteban Coniglio
    Pages 369-389
  11. Back Matter
    Pages 391-398

About this book

Introduction

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.

 

Keywords

Contemporary Logic History of Paraconsistent Logic Logics of formal inconsistency Negation and contradiction Paraconsistent Propositional Systems Reasoning under contradictions

Authors and affiliations

  • Walter Carnielli
    • 1
  • Marcelo Esteban Coniglio
    • 2
  1. 1.Dpt. of Phil. and CLE and His. of Sci.State University of Campinas –UNICACampinasBrazil
  2. 2.Dpt. of Phil. and CLE and His. of Sci.Univ Estadual Campinas Zeferino VazCampinasBrazil

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-33205-5
  • Copyright Information Springer International Publishing Switzerland 2016
  • Publisher Name Springer, Cham
  • eBook Packages Religion and Philosophy
  • Print ISBN 978-3-319-33203-1
  • Online ISBN 978-3-319-33205-5
  • Series Print ISSN 2214-9775
  • Series Online ISSN 2214-9783
  • Buy this book on publisher's site