Guest editors’ introduction

• Authors: Tanaka Koji , Berto Francesco , Mares Edwin , Paoli Francesco
• Languages of publication: EN

Abstracts

EN

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.

• Publisher: Uniwersytet Mikołaja Kopernika (Nicolaus Copernicus University in Toruń)
• Journal: Logic and Logical Philosophy
• Year: 2010
• Volume: 19
• Issue: 1-2
• Pages: 5–6

Dates

published

2010-03-01

Contributors

author

Tanaka Koji

• The University of Auckland, New Zealand, Faculty of Arts - Department of Philosophy

author

Berto Francesco

• Department of Philosophy, University of Aberdeen, United Kingdom

author

Mares Edwin

• Victoria University of Wellington, New Zealand

author

Paoli Francesco

• University of Cagliari, Italy

Identifiers

DOI

10.12775/LLP.2010.001