Paraconsistent Logic: Consistency, Contradiction and Negation

Nonfiction, Religion & Spirituality, Philosophy, Logic, Epistemology
Cover of the book Paraconsistent Logic: Consistency, Contradiction and Negation by Walter Carnielli, Marcelo Esteban Coniglio, Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Walter Carnielli, Marcelo Esteban Coniglio ISBN: 9783319332055
Publisher: Springer International Publishing Publication: June 14, 2016
Imprint: Springer Language: English
Author: Walter Carnielli, Marcelo Esteban Coniglio
ISBN: 9783319332055
Publisher: Springer International Publishing
Publication: June 14, 2016
Imprint: Springer
Language: English

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.

 

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

 

More books from Springer International Publishing

Cover of the book Surface Wetting by Walter Carnielli, Marcelo Esteban Coniglio
Cover of the book Cognitive Infocommunications (CogInfoCom) by Walter Carnielli, Marcelo Esteban Coniglio
Cover of the book Biotechnologies and Biomimetics for Civil Engineering by Walter Carnielli, Marcelo Esteban Coniglio
Cover of the book At the Size Limit - Effects of Miniaturization in Insects by Walter Carnielli, Marcelo Esteban Coniglio
Cover of the book Affective and Emotional Economies in Medieval and Early Modern Europe by Walter Carnielli, Marcelo Esteban Coniglio
Cover of the book The International Political Economy of Oil and Gas by Walter Carnielli, Marcelo Esteban Coniglio
Cover of the book Systemic Ethics and Non-Anthropocentric Stewardship by Walter Carnielli, Marcelo Esteban Coniglio
Cover of the book DITA – the Topic-Based XML Standard by Walter Carnielli, Marcelo Esteban Coniglio
Cover of the book Mollusk shells as bio-geo-archives by Walter Carnielli, Marcelo Esteban Coniglio
Cover of the book Video Bioinformatics by Walter Carnielli, Marcelo Esteban Coniglio
Cover of the book Applied Impulsive Mathematical Models by Walter Carnielli, Marcelo Esteban Coniglio
Cover of the book Customized Laser Vision Correction by Walter Carnielli, Marcelo Esteban Coniglio
Cover of the book Bioactive Sphingolipids in Cancer Biology and Therapy by Walter Carnielli, Marcelo Esteban Coniglio
Cover of the book Non-coding RNAs and Inter-kingdom Communication by Walter Carnielli, Marcelo Esteban Coniglio
Cover of the book Design and Development of Optical Dispersion Characterization Systems by Walter Carnielli, Marcelo Esteban Coniglio
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy