PL EN


2010 | 19 | 1-2 | 5–6
Article title

Guest editors’ introduction

Title variants
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.
Keywords
Year
Volume
19
Issue
1-2
Pages
5–6
Physical description
Dates
published
2010-03-01
Contributors
author
  • The University of Auckland, New Zealand, Faculty of Arts - Department of Philosophy
  • Department of Philosophy, University of Aberdeen, United Kingdom
author
  • Victoria University of Wellington, New Zealand
  • University of Cagliari, Italy
References
Document Type
Publication order reference
Identifiers
YADDA identifier
bwmeta1.element.desklight-3640a671-1b86-406f-9443-d9240eb6850c
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.