Paraconsistent Logic

Research output: Contribution to journalArticleResearchpeer-review

2 Citations (Scopus)

Abstract

In some logics, anything whatsoever follows from a contradiction; call these logics explosive. Paraconsistent logics are logics that are not explosive. Paraconsistent logics have a long and fruitful history, and no doubt a long and fruitful future. To give some sense of the situation, I’ll spend Section 1 exploring exactly what it takes for a logic to be paraconsistent. It will emerge that there is considerable open texture to the idea. In Section 2, I’ll give some examples of techniques for developing paraconsistent logics. In Section 3, I’ll discuss what seem to me to be some promising applications of certain paraconsistent logics. In fact, however, I don’t think there’s all that much to the concept ‘paraconsistent’ itself; the collection of paraconsistent logics is far too heterogenous to be very productively dealt with under a single label. Perhaps that will emerge as we go.

Original languageEnglish
Pages (from-to)771-780
Number of pages10
JournalJournal of Philosophical Logic
Volume44
Issue number6
DOIs
Publication statusPublished - 1 Dec 2015
Externally publishedYes

Keywords

  • Explosion
  • Negation
  • Paraconsistent logic

Cite this