El significado de la negación paraconsistente
This work agrees and supports the I. Hacking's thesis regarding the meaning of 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...
Guardado en:
| Autor principal: | |
|---|---|
| Otros Autores: | |
| Formato: | Artículo |
| Lenguaje: | Español |
| Materias: | |
| Acceso en línea: | https://www.memoria.fahce.unlp.edu.ar/art_revistas/pr.9665/pr.9665.pdf https://periodicos.ufsc.br/index.php/principia/article/view/1808-1711.2009v13n3p357 http://sedici.unlp.edu.ar/handle/10915/88895 |
| Aporte de: | Registro referencial: Solicitar el recurso aquí |
| Sumario: | This work agrees and supports the I. Hacking's thesis regarding the meaning of 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 Se- quent 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. |
|---|---|
| Descripción Física: | p.357-370 |
| ISSN: | ISSN 1808-1711 |