Logical studies of paraconsistent reasoning in science and mathematics
著者
書誌事項
Logical studies of paraconsistent reasoning in science and mathematics
(Trends in logic : studia logica library, v. 45)
Springer, c2016
大学図書館所蔵 全3件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
注記
Includes bibliographical references
内容説明・目次
内容説明
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.
目次
- 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.
「Nielsen BookData」 より