Some definitions of negation leading to paraconsistent logics

Studia Logica 43 (1-2):75 - 78 (1984)
  Copy   BIBTEX

Abstract

In positive logic the negation of a propositionA is defined byA X whereX is some fixed proposition. A number of standard properties of negation, includingreductio ad absurdum, can then be proved, but not the law of noncontradiction so that this forms a paraconsistent logic. Various stronger paraconsistent logics are then generated by putting in particular propositions forX. These propositions range from true through contingent to false.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 89,446

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Contradiction and contrariety. Priest on negation.Heinrich Wansing - 2006 - Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):81-93.
Paraconsistency Everywhere.Greg Restall - 2002 - Notre Dame Journal of Formal Logic 43 (3):147-156.
Ideal Paraconsistent Logics.O. Arieli, A. Avron & A. Zamansky - 2011 - Studia Logica 99 (1-3):31-60.
A Paraconsistentist Approach to Chisholm's Paradox.Marcelo Esteban Coniglio & Newton Marques Peron - 2009 - Principia: An International Journal of Epistemology 13 (3):299-326.
Paraconsistent logics included in Lewis’ S4.Gemma Robles & José M. Méndez - 2010 - Review of Symbolic Logic 3 (3):442-466.
Yes, Virginia, there really are paraconsistent logics.Bryson Brown - 1999 - Journal of Philosophical Logic 28 (5):489-500.

Analytics

Added to PP
2009-01-28

Downloads
55 (#255,784)

6 months
2 (#640,495)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

On the theory of inconsistent formal systems.Newton C. A. Costa - 1972 - Recife,: Universidade Federal de Pernambuco, Instituto de Matemática.
On the theory of inconsistent formal systems.Newton C. A. da Costa - 1974 - Notre Dame Journal of Formal Logic 15 (4):497-510.
alpha-models and systems T and T.Newton C. A. da Costa - 1974 - Notre Dame Journal of Formal Logic 15:443.

Add more references