大葉大學圖書館 |

Logical studies of paraconsistent reasoning in science and mathematics[electronic resource] /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
杜威分類號:	160
書名/作者:	Logical studies of paraconsistent reasoning in science and mathematics/ edited by Holger Andreas, Peter Verdee.
其他作者:	Andreas, Holger.
出版者:	Cham : : Springer International Publishing :, 2016.
面頁冊數:	vi, 221 p. : : ill., digital ;; 24 cm.
Contained By:	Springer eBooks
標題:	Logic, Symbolic and mathematical.
標題:	Philosophy.
標題:	Logic.
標題:	Mathematical Logic and Foundations.
ISBN:	9783319402208
ISBN:	9783319402185
內容註:	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 Gonzales -- Chapter 12. On the interpretation of classical mathematics in naive 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 Verdee.
摘要、提要註:	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.
電子資源:	http://dx.doi.org/10.1007/978-3-319-40220-8

Logical studies of paraconsistent reasoning in science and mathematics[electronic resource] /
Logical studies of paraconsistent reasoning in science and mathematics[electronic resource] /edited by Holger Andreas, Peter Verdee. - Cham :Springer International Publishing :2016. - vi, 221 p. :ill., digital ;24 cm. - Trends in logic, studia logica library,v.451572-6126 ;. - Trends in logic, studia logica library ;v.45..

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 Gonzales -- Chapter 12. On the interpretation of classical mathematics in naive 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 Verdee.

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.

ISBN: 9783319402208

Standard No.: 10.1007/978-3-319-40220-8doiSubjects--Topical Terms:

381130
Logic, Symbolic and mathematical.

LC Class. No.: BC135 / .L587 2016

Dewey Class. No.: 160

Logical studies of paraconsistent reasoning in science and mathematics[electronic resource] /
LDR:03931nam a2200325 a 4500 001 477098
003 DE-He213
005 20161202050601.0
006 m d
007 cr nn 008maaau
008 181208s2016 gw s 0 eng d
020 $a 9783319402208 $q (electronic bk.)
020 $a 9783319402185 $q (paper)
024 7 $a 10.1007/978-3-319-40220-8 $2 doi
035 $a 978-3-319-40220-8
040 $a GP $c GP
041 0 $a eng
050 4 $a BC135 $b .L587 2016
072 7 $a HPL $2 bicssc
072 7 $a PHI011000 $2 bisacsh
082 0 4 $a 160 $2 23
090 $a BC135 $b .L832 2016
245 0 0 $a Logical studies of paraconsistent reasoning in science and mathematics $h [electronic resource] / $c edited by Holger Andreas, Peter Verdee.
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2016.
300 $a vi, 221 p. : $b ill., digital ; $c 24 cm.
490 1 $a Trends in logic, studia logica library, $x 1572-6126 ; $v v.45
505 0 $a 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 Gonzales -- Chapter 12. On the interpretation of classical mathematics in naive 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 Verdee.
520 $a 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.
650 0 $a Logic, Symbolic and mathematical. $3 381130
650 1 4 $a Philosophy. $3 179430
650 2 4 $a Logic. $3 191646
650 2 4 $a Mathematical Logic and Foundations. $3 464911
700 1 $a Andreas, Holger. $3 688369
700 1 $a Verdee, Peter. $3 688370
710 2 $a SpringerLink (Online service) $3 463450
773 0 $t Springer eBooks
830 0 $a Trends in logic, studia logica library ; $v v.45. $3 688371
856 4 0 $u http://dx.doi.org/10.1007/978-3-319-40220-8
950 $a Mathematics and Statistics (Springer-11649)