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.
Similar content being viewed by others
References
M. W. Bunder,A new hierachy of paraconsistent logics, in:A. I. Arruda, N. C. A. da Costa andA. M. Seite (eds.),Proceedings of the Brazilian Conference on Mathematical Logic, São Paulo, 1980.
N. C. A. da Costa,On the theory of inconsistent formal systems,Notre Dame Journal of Formal Logic, Vol. XV (1974) pp. 497–510.
N.C. A. da Costa andL. Dubikajtis,On Jaśkowski's discussive logic, in: A. I. Arruda, N. C. A. da Costa and R. Chuaqui (eds.)Non-classical Logics, Model Theory and Computability, North-Holland 1977.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Bunder, M.W. Some definitions of negation leading to paraconsistent logics. Stud Logica 43, 75–78 (1984). https://doi.org/10.1007/BF00935741
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00935741