Extensions of Priest-da Costa Logic

Studia Logica 102 (1):145-174 (2014)
  Copy   BIBTEX


In this paper, we look at applying the techniques from analyzing superintuitionistic logics to extensions of the cointuitionistic Priest-da Costa logic daC (introduced by Graham Priest as “da Costa logic”). The relationship between the superintuitionistic axioms- definable in daC- and extensions of Priest-da Costa logic (sdc-logics) is analyzed and applied to exploring the gap between the maximal si-logic SmL and classical logic in the class of sdc-logics. A sequence of strengthenings of Priest-da Costa logic is examined and employed to pinpoint the maximal non-classical extension of both daC and Heyting-Brouwer logic HB . Finally, the relationship between daC and Logics of Formal Inconsistency is examined

Similar books and articles

On logics with coimplication.Frank Wolter - 1998 - Journal of Philosophical Logic 27 (4):353-387.
A new formulation of discussive logic.Jerzy Kotas & N. C. A. Costa - 1979 - Studia Logica 38 (4):429 - 445.
The Logic of Pragmatic Truth.Newton C. A. Da Costa, Otávio Bueno & Steven French - 1998 - Journal of Philosophical Logic 27 (6):603-620.
Why Priest's reassurance is not reassuring.Jc Beall - 2012 - Analysis 72 (3):517-525.
Vasil'Év and Imaginary Logic.Graham Priest - 2000 - History and Philosophy of Logic 21 (2):135-146.
Contradiction and contrariety. Priest on negation.Heinrich Wansing - 2006 - Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):81-93.
An infinity of super-Belnap logics.Umberto Rivieccio - 2012 - Journal of Applied Non-Classical Logics 22 (4):319-335.
Logic: a very short introduction.Graham Priest - 2000 - New York: Oxford University Press.
Jaina Logic: A Contemporary Perspective.Graham Priest - 2008 - History and Philosophy of Logic 29 (3):263-278.


Added to PP

559 (#32,722)

6 months
121 (#33,484)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Thomas Ferguson
City University of New York