El Significado de la Negación Paraconsistente

Principia: An International Journal of Epistemology. 2009;13(3):357-370


Journal Homepage

Journal Title: Principia: An International Journal of Epistemology

ISSN: 1414-4247 (Print); 1808-1711 (Online)

Publisher: Universidade Federal de Santa Catarina

Society/Institution: Universidade Federal de Santa Catarina, Núcleo de Epistemologia e Lógica

LCC Subject Category: Philosophy. Psychology. Religion: Philosophy (General)

Country of publisher: Brazil

Language of fulltext: Spanish, Portuguese, English, French

Full-text formats available: PDF



Cecilia Duran

Gladys Palau


Blind peer review

Editorial Board

Instructions for authors

Time From Submission to Publication: 18 weeks


Abstract | Full Text

This work agrees and supports the I. Hacking’s thesis regarding the meaningof the logical constants accordingly with Gentzen’s Introduction and Elimination Rules of Sequent Calculus, corresponding with the abstract conception of the notion of logical consequence. We would like to ask for the minimum rules that must satisfy a connective in order to be considered as a genuine negation. Mainly, we will refer to both da Costa’s C-Systems and Priest’s LP system. Finally, we will analyze the presentations of these systems within the Sequent Logic to show that paraconsistent negation lacks of pure rules of negation-elimination and negation-introduction rules or that they involve other connectives, thus making difficult to assign an univocal meaning to paraconsistent negation.