Guest editors’ introduction

Koji Tanaka, Francesco Berto, Edwin Mares, Francesco Paoli

DOI: http://dx.doi.org/10.12775/LLP.2010.001

Abstract


A logic is said to be paraconsistent if it doesn’t license you to infer everything from a contradiction. To be precise, let |= be a relation of logical consequence. We call |= explosive if it validates the inference rule: {A,¬A} |= B for every A and B. Classical logic and most other standard logics, including intuitionist logic, are explosive. Instead of licensing you to infer everything from a contradiction, paraconsistent logic allows you to sensibly deal with the contradiction.

Full Text:

PDF






Print ISSN: 1425-3305
Online ISSN: 2300-9802

Partnerzy platformy czasopism