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

• Autores: Paula Teijeiro
• Localización: Análisis Filosófico, ISSN 0326-1301, ISSN-e 1851-9636, Vol. 44, Nº. Extra 0, 2024, págs. 13-23
• Idioma: español
• Títulos paralelos:
  • Implicit rules and the difference between natural deduction and sequent calculi: on “Gentzen y la naturalidad de la deducción” by Alberto Moretti
• Enlaces
  • Texto completo (pdf)
• Resumen
  • español

    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.

  • English

    The goal of this note is to analyze the ideas presented by Alberto Moretti (1984) in his article “Gentzen y la naturalidad de la deducción” regarding the importance of sequent calculi. My goal is to argue that the difference between these systems and those of natural deduction lies fundamentally in the way in which structural rules can be implicit in them, and that, unlike what Moretti proposes, natural deduction calculi are particularly appropriate for characterizing the notion of consequence.