Happy Holidays! Over 120,000 eBooks at just 19.99 each— Pick a favorite today

Logic, Epistemology, and the Unity of Science

Paraconsistent Logic: Consistency, Contradiction and Negation

Authors: Carnielli, Walter, Coniglio, Marcelo Esteban

  • Is the first book in the field to offer a comprehensive overview of the subject
  • Offers insights into paraconsistent logic as a tool for reasoning under contradictoriness
  • Covers topics ranging from the history of paraconsistent logic and applications to information processing, databases, and quantum computation         
see more benefits

Buy this book

eBook $99.00
price for Mexico (gross)
  • ISBN 978-3-319-33205-5
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $129.00
price for Mexico
  • ISBN 978-3-319-33203-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

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.

 

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)


Table of contents (9 chapters)

  • Contradiction and (in)Consistency

    Carnielli, Walter (et al.)

    Pages 1-28

  • A Basic Logic of Formal Inconsistency: mbC

    Carnielli, Walter (et al.)

    Pages 29-62

  • Some Extensions of mbC

    Carnielli, Walter (et al.)

    Pages 63-120

  • Matrices and Algebraizability

    Carnielli, Walter (et al.)

    Pages 121-170

  • LFIs Based on Other Logics

    Carnielli, Walter (et al.)

    Pages 171-236

Buy this book

eBook $99.00
price for Mexico (gross)
  • ISBN 978-3-319-33205-5
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $129.00
price for Mexico
  • ISBN 978-3-319-33203-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Paraconsistent Logic: Consistency, Contradiction and Negation
Authors
Series Title
Logic, Epistemology, and the Unity of Science
Series Volume
40
Copyright
2016
Publisher
Springer International Publishing
Copyright Holder
Springer International Publishing Switzerland
eBook ISBN
978-3-319-33205-5
DOI
10.1007/978-3-319-33205-5
Hardcover ISBN
978-3-319-33203-1
Series ISSN
2214-9775
Edition Number
1
Number of Pages
XXIV, 398
Number of Illustrations and Tables
2 b/w illustrations
Topics