Academic Journals Database
Disseminating quality controlled scientific knowledge

El Significado de la Negación Paraconsistente

Author(s): Gladys Palau | Cecilia Duran

Journal: Principia : an International Journal of Epistemology
ISSN 1414-4247

Volume: 13;
Issue: 3;
Start page: 357;
Date: 2009;
Original page

Keywords: Paraconsistent logic | negation | sequent calculus

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.
Why do you need a reservation system?      Affiliate Program