Dekorationsartikel gehören nicht zum Leistungsumfang.
Paraconsistent Logic: Consistency, Contradiction and Negation
Buch von Marcelo Esteban Coniglio (u. a.)
Sprache: Englisch

118,95 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 2-3 Wochen

Kategorien:
Beschreibung
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.
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.
Zusammenfassung

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

Includes supplementary material: [...]

Inhaltsverzeichnis

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.

Details
Erscheinungsjahr: 2016
Fachbereich: Allgemeines
Genre: Philosophie
Jahrhundert: Antike
Rubrik: Geisteswissenschaften
Thema: Lexika
Medium: Buch
Seiten: 424
Reihe: Logic, Epistemology, and the Unity of Science
Inhalt: xxiv
398 S.
2 s/w Illustr.
398 p. 2 illus.
ISBN-13: 9783319332031
ISBN-10: 3319332031
Sprache: Englisch
Herstellernummer: 978-3-319-33203-1
Ausstattung / Beilage: HC runder Rücken kaschiert
Einband: Gebunden
Autor: Coniglio, Marcelo Esteban
Carnielli, Walter
Auflage: 1st ed. 2016
Hersteller: Springer International Publishing
Springer International Publishing AG
Logic, Epistemology, and the Unity of Science
Maße: 241 x 160 x 29 mm
Von/Mit: Marcelo Esteban Coniglio (u. a.)
Erscheinungsdatum: 21.06.2016
Gewicht: 0,799 kg
preigu-id: 103903292
Zusammenfassung

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

Includes supplementary material: [...]

Inhaltsverzeichnis

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.

Details
Erscheinungsjahr: 2016
Fachbereich: Allgemeines
Genre: Philosophie
Jahrhundert: Antike
Rubrik: Geisteswissenschaften
Thema: Lexika
Medium: Buch
Seiten: 424
Reihe: Logic, Epistemology, and the Unity of Science
Inhalt: xxiv
398 S.
2 s/w Illustr.
398 p. 2 illus.
ISBN-13: 9783319332031
ISBN-10: 3319332031
Sprache: Englisch
Herstellernummer: 978-3-319-33203-1
Ausstattung / Beilage: HC runder Rücken kaschiert
Einband: Gebunden
Autor: Coniglio, Marcelo Esteban
Carnielli, Walter
Auflage: 1st ed. 2016
Hersteller: Springer International Publishing
Springer International Publishing AG
Logic, Epistemology, and the Unity of Science
Maße: 241 x 160 x 29 mm
Von/Mit: Marcelo Esteban Coniglio (u. a.)
Erscheinungsdatum: 21.06.2016
Gewicht: 0,799 kg
preigu-id: 103903292
Warnhinweis

Ähnliche Produkte

Ähnliche Produkte