Advertisement

Logical Studies of Paraconsistent Reasoning in Science and Mathematics

  • Holger Andreas
  • Peter Verdée

Part of the Trends in Logic book series (TREN, volume 45)

Table of contents

  1. Front Matter
    Pages i-vi
  2. Holger Andreas, Peter Verdée
    Pages 17-45
  3. Francesco Berto
    Pages 47-63
  4. Bryson Brown
    Pages 65-80
  5. Luis Estrada-González
    Pages 81-89
  6. Andreas Kapsner
    Pages 91-101
  7. Hitoshi Omori
    Pages 111-134
  8. Martin Pleitz
    Pages 135-144
  9. Heinrich Wansing, Sergei P. Odintsov
    Pages 175-204

About this book

Introduction

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.

Keywords

Tarskian truth scheme Inconsistent Theories Mathematical Reasoning Naïve Set Theory Paraconsistent Logic Scientific Reasoning

Editors and affiliations

  • Holger Andreas
    • 1
  • Peter Verdée
    • 2
  1. 1.University of British ColumbiaKelownaCanada
  2. 2.Institut Supérieur de PhilosophieUniversité Catholique de LouvainLouvain-la-NeuveBelgium

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-40220-8
  • Copyright Information Springer International Publishing AG 2016
  • Publisher Name Springer, Cham
  • eBook Packages Mathematics and Statistics
  • Print ISBN 978-3-319-40218-5
  • Online ISBN 978-3-319-40220-8
  • Series Print ISSN 1572-6126
  • Series Online ISSN 2212-7313
  • Buy this book on publisher's site