Paraconsistent reasoning in science and mathematics

Introduction

Holger Andreas

Peter Verdée

pp. 1-16

in: Holger Andreas, Peter Verdée (eds), 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.