Skip to main content
Article thumbnail
Location of Repository

Modality and Paraconsistency

By João Marcos

Abstract

Paraconsistent logic was born in the vicinity of modal logic. Moreover, as every other non-classical logicians, paraconsistentists have very often flirted with modalities. The first known system of paraconsistent logic was in fact defined as a fragment of S5, in the late 40s. But a fragment of a modal system is not necessarily a modal system. I will show here, indeed, that Ja´skowski’s D2 is not a modal logic, in the contemporary usual meaning of the term. By contrast, I will also show, subsequently, that any non-degenerate normal modal system is inherently paraconsistent. 1 What is a paraconsistent logic? Classical logic is maculated by many irrelevancies. The enterprise of paraconsistency was designed so as to help cleansing a particular stain, by eschewing the so-called Principle of Explosion: (PE) ∀α∀β(α, ¬α ⊩ β). According to (PE), contradictions are malicious creatures: Whenever they ar

Topics: present in a theory
Year: 2013
OAI identifier: oai:CiteSeerX.psu:10.1.1.353.241
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://www.cs.math.ist.utl.pt/... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.