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

 

AUTHORS


Cecilia Duran

Gladys Palau

EDITORIAL INFORMATION

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.