Zum Hauptinhalt springen Zur Suche springen Zur Hauptnavigation springen
Dekorationsartikel gehören nicht zum Leistungsumfang.
Logical Studies of Paraconsistent Reasoning in Science and Mathematics
Buch von Peter Verdée (u. a.)
Sprache: Englisch

47,95 €*

-10 % UVP 53,49 €
inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 1-2 Wochen

Produkt Anzahl: Gib den gewünschten Wert ein oder benutze die Schaltflächen um die Anzahl zu erhöhen oder zu reduzieren.
Kategorien:
Beschreibung
This book covers work written by leading scholars from different schools within the research area of paraconsistency. The authors critically investigate how contemporary paraconsistent logics can be used to better understand human reasoning in science and mathematics. Offering a variety of perspectives, they shed a new light on the question of whether paraconsistent logics can function as the underlying logics of inconsistent but useful scientific and mathematical theories. The great variety of paraconsistent logics gives rise to various, interrelated questions, such as what are the desiderata a paraconsistent logic should satisfy, is there prospect of a universal approach to paraconsistent reasoning with axiomatic theories, and to what extent is reasoning about sets structurally analogous to reasoning about truth. Furthermore, the authors consider paraconsistent logic¿s status as either a normative or descriptive discipline (or one which falls in between) and which inconsistent but non-trivial axiomatic theories are well understood by which types of paraconsistent approaches. This volume addresses such questions from different perspectives in order to (i) obtain a representative overview of the state of the art in the philosophical debate on paraconsistency, (ii) come up with fresh ideas for the future of paraconsistency, and most importantly (iii) provide paraconsistent logic with a stronger philosophical foundation, taking into account the developments within the different schools of paraconsistency.
This book covers work written by leading scholars from different schools within the research area of paraconsistency. The authors critically investigate how contemporary paraconsistent logics can be used to better understand human reasoning in science and mathematics. Offering a variety of perspectives, they shed a new light on the question of whether paraconsistent logics can function as the underlying logics of inconsistent but useful scientific and mathematical theories. The great variety of paraconsistent logics gives rise to various, interrelated questions, such as what are the desiderata a paraconsistent logic should satisfy, is there prospect of a universal approach to paraconsistent reasoning with axiomatic theories, and to what extent is reasoning about sets structurally analogous to reasoning about truth. Furthermore, the authors consider paraconsistent logic¿s status as either a normative or descriptive discipline (or one which falls in between) and which inconsistent but non-trivial axiomatic theories are well understood by which types of paraconsistent approaches. This volume addresses such questions from different perspectives in order to (i) obtain a representative overview of the state of the art in the philosophical debate on paraconsistency, (ii) come up with fresh ideas for the future of paraconsistency, and most importantly (iii) provide paraconsistent logic with a stronger philosophical foundation, taking into account the developments within the different schools of paraconsistency.
Über den Autor
Holger Andreas works as Assistant Professor at the University of British Columbia, Okanagan Campus. Before that, he held non-tenure track Assistant Professorships at LMU Munich (Munich Center for Mathematical Philosophy) and the University of Bonn. His research focuses on the logical analysis of scientific reasoning and scientific theories. His recent work addresses interrelations between non-monotonic reasoning, belief changes, and paraconsistent reasoning. Peter Verdée is assistant professor at the Université catholique de Louvain. He obtained his PhD in Philosophy at Ghent University under the supervision of Diderik Batens with a dissertation on Adaptive Logic. His research focuses on non-monotonic, paraconsistent, and relevant logics, with particular interest in inconsistent mathematics and the formalization of implications and conditionals in natural language.
Zusammenfassung

Presents a novel, state of the art overview of the current philosophical debate on paraconsistency

Provides paraconsistent logic with a philosophical foundation, crossing the borders of the different schools

Leading experts in paraconsistent logic investigate its philosophical applicability to human reasoning

Inhaltsverzeichnis
Chapter 1. Inconsistent Thinking, Fast and Slow; Francesco Berto.- Chapter 2. Recursive functions for paraconsistent reasoners; Zach Weber.- Chapter 3. Instantaneous Contradiction in Motion and Perception: Modeling the Phenomenal Present with a Dialetheic Logic of Time; Corry Shores.- Chapter 4. Saving Proof from Paradox: Against the Inconsistency of Informal Mathematics; Fenner Tanswell.-Chapter 5. Revenge for Berto's Law of Non-Contradiction; Diego Tajer.- Chapter 6. On Coherence and Inconsistency; Martin Pleitz.- Chapter 7. On the Preservation of Reliability; Bryson Brown.- Chapter 8. Inconsistency Handling in the Sciences: Where and How do we Need Paraconsistency?; Joke Meheus.- Chapter 9. Revision-Theoretic Truth and Degrees of Paradoxicality; Cian Chartier.- Chapter 10. Inconsistent Scientific Theories: A Framework; Otavio Bueno.- Chapter 11. Prospects for triviality; Luis Estrada Gonzáles.- Chapter 12. On the interpretation of classical mathematics in naïve set theory; Morgan Thomas.- Chapter 13. Doing Mathematics Paraconsistently. A manifesto.; Maarten McKubre-Jordens.- Chapter 14. Why designate gluts?; Andreas Kapsner.- Chapter 15. On the methodology of paraconsistent logic; Heinrich Wansing and Sergei Odintsov.- Chapter 16. Dynamic proofs for networks of partial structures; Holger Andres and Peter Verdée.
Details
Erscheinungsjahr: 2016
Fachbereich: Allgemeines
Genre: Geisteswissenschaften, Kunst, Musik, Philosophie
Jahrhundert: Antike
Rubrik: Geisteswissenschaften
Thema: Lexika
Medium: Buch
Inhalt: vi
221 S.
5 s/w Illustr.
221 p. 5 illus.
ISBN-13: 9783319402185
ISBN-10: 3319402188
Sprache: Englisch
Herstellernummer: 978-3-319-40218-5
Einband: Gebunden
Redaktion: Verdée, Peter
Andreas, Holger
Herausgeber: Holger Andreas/Peter Verdée
Auflage: 1st edition 2016
Hersteller: Springer Nature Switzerland
Springer International Publishing
Springer International Publishing AG
Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, D-69121 Heidelberg, juergen.hartmann@springer.com
Maße: 241 x 160 x 18 mm
Von/Mit: Peter Verdée (u. a.)
Erscheinungsdatum: 15.12.2016
Gewicht: 0,512 kg
Artikel-ID: 108160349
Über den Autor
Holger Andreas works as Assistant Professor at the University of British Columbia, Okanagan Campus. Before that, he held non-tenure track Assistant Professorships at LMU Munich (Munich Center for Mathematical Philosophy) and the University of Bonn. His research focuses on the logical analysis of scientific reasoning and scientific theories. His recent work addresses interrelations between non-monotonic reasoning, belief changes, and paraconsistent reasoning. Peter Verdée is assistant professor at the Université catholique de Louvain. He obtained his PhD in Philosophy at Ghent University under the supervision of Diderik Batens with a dissertation on Adaptive Logic. His research focuses on non-monotonic, paraconsistent, and relevant logics, with particular interest in inconsistent mathematics and the formalization of implications and conditionals in natural language.
Zusammenfassung

Presents a novel, state of the art overview of the current philosophical debate on paraconsistency

Provides paraconsistent logic with a philosophical foundation, crossing the borders of the different schools

Leading experts in paraconsistent logic investigate its philosophical applicability to human reasoning

Inhaltsverzeichnis
Chapter 1. Inconsistent Thinking, Fast and Slow; Francesco Berto.- Chapter 2. Recursive functions for paraconsistent reasoners; Zach Weber.- Chapter 3. Instantaneous Contradiction in Motion and Perception: Modeling the Phenomenal Present with a Dialetheic Logic of Time; Corry Shores.- Chapter 4. Saving Proof from Paradox: Against the Inconsistency of Informal Mathematics; Fenner Tanswell.-Chapter 5. Revenge for Berto's Law of Non-Contradiction; Diego Tajer.- Chapter 6. On Coherence and Inconsistency; Martin Pleitz.- Chapter 7. On the Preservation of Reliability; Bryson Brown.- Chapter 8. Inconsistency Handling in the Sciences: Where and How do we Need Paraconsistency?; Joke Meheus.- Chapter 9. Revision-Theoretic Truth and Degrees of Paradoxicality; Cian Chartier.- Chapter 10. Inconsistent Scientific Theories: A Framework; Otavio Bueno.- Chapter 11. Prospects for triviality; Luis Estrada Gonzáles.- Chapter 12. On the interpretation of classical mathematics in naïve set theory; Morgan Thomas.- Chapter 13. Doing Mathematics Paraconsistently. A manifesto.; Maarten McKubre-Jordens.- Chapter 14. Why designate gluts?; Andreas Kapsner.- Chapter 15. On the methodology of paraconsistent logic; Heinrich Wansing and Sergei Odintsov.- Chapter 16. Dynamic proofs for networks of partial structures; Holger Andres and Peter Verdée.
Details
Erscheinungsjahr: 2016
Fachbereich: Allgemeines
Genre: Geisteswissenschaften, Kunst, Musik, Philosophie
Jahrhundert: Antike
Rubrik: Geisteswissenschaften
Thema: Lexika
Medium: Buch
Inhalt: vi
221 S.
5 s/w Illustr.
221 p. 5 illus.
ISBN-13: 9783319402185
ISBN-10: 3319402188
Sprache: Englisch
Herstellernummer: 978-3-319-40218-5
Einband: Gebunden
Redaktion: Verdée, Peter
Andreas, Holger
Herausgeber: Holger Andreas/Peter Verdée
Auflage: 1st edition 2016
Hersteller: Springer Nature Switzerland
Springer International Publishing
Springer International Publishing AG
Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, D-69121 Heidelberg, juergen.hartmann@springer.com
Maße: 241 x 160 x 18 mm
Von/Mit: Peter Verdée (u. a.)
Erscheinungsdatum: 15.12.2016
Gewicht: 0,512 kg
Artikel-ID: 108160349
Sicherheitshinweis

Ähnliche Produkte

Ähnliche Produkte