Abstract
1 What are the features of a paraconsistent negation? Since paraconsistent logic was launched by da Costa in his seminal paper [4], one of the fundamental problems has been to determine what exactly are the theoretical or metatheoretical properties of classical negation that can have a unary operator not obeying the principle of noncontradiction, that is, a paraconsistent operator. What the result presented here shows is that some of these properties are not compatible with each other, so that in constructing a paraconsistent negation as close as possible to classical negation, we have to make a choice among classical properties compatible with the idea of paraconsistency. In particular, there is no paraconsistent negation more classical than all the others.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Translate to english
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 56,949
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

A Calculus for Antinomies.F. G. Asenjo - 1966 - Notre Dame Journal of Formal Logic 16 (1):103-105.
A Calculus of Antinomies.F. G. Asenjo - 1966 - Notre Dame Journal of Formal Logic 7:103.
Every Quotient Algebra for $C_1$ is Trivial.Chris Mortensen - 1980 - Notre Dame Journal of Formal Logic 21 (4):694-700.
Paraconsistency and the $\Rm C$-Systems of da Costa.Igor Urbas - 1989 - Notre Dame Journal of Formal Logic 30 (4):583-597.

View all 7 references / Add more references

Citations of this work BETA

Trivial Dialetheism and the Logic of Paradox.Jean-Yves Beziau - 2016 - Logic and Logical Philosophy 25 (1):51-56.

Add more citations

Similar books and articles

Idempotent Full Paraconsistent Negations Are Not Algebraizable.Jean-Yves Béziau - 1998 - Notre Dame Journal of Formal Logic 39 (1):135-139.
Yes, Virginia, There Really Are Paraconsistent Logics.Bryson Brown - 1999 - Journal of Philosophical Logic 28 (5):489-500.
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.
Absurdity as Unary Operator.Sergei P. Odintsov - 2006 - Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):225-242.
A Paraconsistent Model of Vagueness.Z. Weber - 2010 - Mind 119 (476):1025-1045.
Some Paraconsistent Sentential Calculi.Jerzy J. Błaszczuk - 1984 - Studia Logica 43 (1-2):51 - 61.
Ideal Paraconsistent Logics.O. Arieli, A. Avron & A. Zamansky - 2011 - Studia Logica 99 (1-3):31-60.

Analytics

Added to PP index
2010-12-22

Total views
35 ( #292,312 of 2,409,982 )

Recent downloads (6 months)
1 ( #541,494 of 2,409,982 )

How can I increase my downloads?

Downloads

My notes