| 书目名称 | Logical Studies of Paraconsistent Reasoning in Science and Mathematics |
| 编辑 | Holger Andreas,Peter Verdée |
| 视频video | |
| 概述 | 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 |
| 丛书名称 | Trends in Logic |
| 图书封面 |  |
| 描述 | 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 o |
| 出版日期 | Book 2016 |
| 关键词 | Tarskian truth scheme; Inconsistent Theories; Mathematical Reasoning; Naïve Set Theory; Paraconsistent L |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-319-40220-8 |
| isbn_softcover | 978-3-319-82056-9 |
| isbn_ebook | 978-3-319-40220-8Series ISSN 1572-6126 Series E-ISSN 2212-7313 |
| issn_series | 1572-6126 |
| copyright | Springer International Publishing AG 2016 |
发表于 2025-3-21 20:09:34
