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:
| Autores principales: | , |
|---|---|
| Formato: | Articulo |
| Lenguaje: | Español |
| Publicado: |
2009
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/88895 http://www.memoria.fahce.unlp.edu.ar/library?a=d&c=arti&d=Jpr9665 https://periodicos.ufsc.br/index.php/principia/article/view/1808-1711.2009v13n3p357 |
| Aporte de: |
| id |
I19-R120-10915-88895 |
|---|---|
| record_format |
dspace |
| institution |
Universidad Nacional de La Plata |
| institution_str |
I-19 |
| repository_str |
R-120 |
| collection |
SEDICI (UNLP) |
| language |
Español |
| topic |
Filosofía Paraconsistent logic Negation Sequent calculus Lógica paraconsistente Negação Cálculo de sequentes |
| spellingShingle |
Filosofía Paraconsistent logic Negation Sequent calculus Lógica paraconsistente Negação Cálculo de sequentes Palau, Gladys Durán, Cecilia El significado de la negación paraconsistente |
| topic_facet |
Filosofía Paraconsistent logic Negation Sequent calculus Lógica paraconsistente Negação Cálculo de sequentes |
| description |
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. |
| format |
Articulo Articulo |
| author |
Palau, Gladys Durán, Cecilia |
| author_facet |
Palau, Gladys Durán, Cecilia |
| author_sort |
Palau, Gladys |
| title |
El significado de la negación paraconsistente |
| title_short |
El significado de la negación paraconsistente |
| title_full |
El significado de la negación paraconsistente |
| title_fullStr |
El significado de la negación paraconsistente |
| title_full_unstemmed |
El significado de la negación paraconsistente |
| title_sort |
el significado de la negación paraconsistente |
| publishDate |
2009 |
| url |
http://sedici.unlp.edu.ar/handle/10915/88895 http://www.memoria.fahce.unlp.edu.ar/library?a=d&c=arti&d=Jpr9665 https://periodicos.ufsc.br/index.php/principia/article/view/1808-1711.2009v13n3p357 |
| work_keys_str_mv |
AT palaugladys elsignificadodelanegacionparaconsistente AT durancecilia elsignificadodelanegacionparaconsistente |
| bdutipo_str |
Repositorios |
| _version_ |
1764820489958588417 |