Reglas implícitas y la diferencia entre deducción natural y cálculos de secuentes: Acerca de 'Gentzen y la naturalidad de la deducción' de Alberto Moretti

Autor: Paula Teijeiro
Jazyk: English<br />Spanish; Castilian<br />Portuguese
Rok vydání: 2024
Předmět:
Zdroj: Análisis Filosófico, Vol 44, Iss Especial, Pp 13-23 (2024)
Druh dokumentu: article
ISSN: 0326-1301
1851-9636
DOI: 10.36446/af.e1006
Popis: En la presente nota voy a analizar las ideas que Alberto Moretti (1984) presenta en su artículo “Gentzen y la naturalidad de la deducción” respecto de la importancia de los cálculos de secuentes. Mi objetivo es argumentar que la diferencia entre estos cálculos y los de deducción natural radica fundamentalmente en el modo en que las reglas estructurales pueden estar implícitas en ellos, y que, a diferencia de lo que plantea Moretti, los cálculos de deducción natural son particularmente apropiados para caracterizar la noción de consecuencia.
Databáze: Directory of Open Access Journals