Metodo

International Studies in Phenomenology and Philosophy

Series | Book | Chapter

179167

Paraconsistent reasoning in science and mathematics

introduction

Holger Andreas Peter Verdée

pp. 1-16

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

Published in:

Andreas Holger, Verdée Peter (2016) Logical studies of paraconsistent reasoning in science and mathematics. Dordrecht, Springer.

Pages: 1-16

DOI: 10.1007/978-3-319-40220-8_1

Full citation:

Andreas Holger, Verdée Peter (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, 1–16.