哲学杂志철학 학술지哲学のジャーナルEast Asian
Journal of
Philosophy

Home > Book Series > Edited Book > Contribution

Publication details

Publisher: Springer

Place: Berlin

Year: 2016

Pages: 1-16

Series: Trends in logic

ISBN (Hardback): 9783319402185

Full citation:

Holger Andreas, Peter Verdée, "Paraconsistent reasoning in science and mathematics", in: Logical studies of paraconsistent reasoning in science and mathematics, Berlin, Springer, 2016

Abstract

In this book we present a collection of papers on the topic of applying paraconsistent logic to solve inconsistency related problems in science, mathematics and computer science. The goal is to develop, compare, and evaluate different ways of applying paraconsistent logic. After more than 60 years of mainly theoretical developments in many independent systems of paraconsistent logic, we believe the time has come to compare and apply the developed systems in order to increase our philosophical understanding of reasoning when faced with inconsistencies. This book wants to be a first step toward an application based, constructive debate to tackle the question which systems are best applied for which kind of problems and which philosophical conclusions can be drawn from such applications.

Publication details

Publisher: Springer

Place: Berlin

Year: 2016

Pages: 1-16

Series: Trends in logic

ISBN (Hardback): 9783319402185

Full citation:

Holger Andreas, Peter Verdée, "Paraconsistent reasoning in science and mathematics", in: Logical studies of paraconsistent reasoning in science and mathematics, Berlin, Springer, 2016