Repository | Book | Chapter
(2016) Logical studies of paraconsistent reasoning in science and mathematics, Dordrecht, Springer.
Paraconsistent reasoning in science and mathematics
introduction
Holger Andreas , Peter Verdée
pp. 1-16
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
DOI: 10.1007/978-3-319-40220-8_1
Full citation:
Andreas, H. , Verdée, P. (2016)., Paraconsistent reasoning in science and mathematics: introduction, in H. Andreas & P. Verdée (eds.), Logical studies of paraconsistent reasoning in science and mathematics, Dordrecht, Springer, pp. 1-16.
This document is unfortunately not available for download at the moment.