9783319814537 - paraconsistent logic: consistency, contradiction and negation (logic, epistemology, and the unity of science, band 40) von carnielli, walter; coniglio, marcelo esteban (1 Ergebnisse)
Sprache: Englisch
Verlag: Springer International Publishing, Springer International Publishing 2018
Serie: Logic, Epistemology, and the Unity of Science, Buch 28 von 41. Buch 28 von 41 - Logic, Epistemology, and the Unity of Science
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 149,79
EUR 63,20 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 sci…ence. It is recommended reading for anyone interested in thequestion of reasoningand 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 consistencyThis 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 andinconsistency; (iii) logics of formal inconsistency (LFIs) and the main paraconsistent propositionalsystems; (iv) many-valued companions, possible-translations semanticsand non-deterministicsemantics; (v) paraconsistent modal logics; (vi) first-order paraconsistent logics; (vii) applications toinformation processing, databases and quantum computation; and (viii) applications to deontic paradoxes, connections to Eastern thought and to dialogical reasoning.
