Vol. 44 Núm. Especial (2024): Coloquio SADAF 2022: Pasado, presente y futuro del análisis filosófico: A 50 años de la fundación de SADAF
Notas críticas

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

PDF
  • Paula Teijeiro
Paula Teijeiro
Instituto de Investigaciones Filosóficas - Sociedad Argentina de Análisis Filosófico - Consejo Nacional de Investigaciones Científicas y Técnicas, Buenos Aires, Argentina / Universidad de Buenos Aires, Buenos Aires, Argentina.
DOI: https://doi.org/10.36446/af.e1006

Publicado 2024-08-27

Palabras clave

  • Reglas estructurales,
  • Derivabilidad,
  • Admisibilidad,
  • Reglas implícitas
  • Structural Rules,
  • Derivability,
  • Admisibility
Creative Commons License

Esta obra está bajo una licencia internacional Creative Commons Atribución-NoComercial 4.0.

Resumen

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.

PDF

Citas

  1. Beall, J. C., & Restall, G. (2006). Logical pluralism. Oxford University Press.
  2. da Costa, N. C. A. (1974). On the theory of inconsistent formal systems. Notre Dame Journal of Formal Logic, 15(4), 497-510. https://doi.org/10.1305/ndjfl/1093891487
  3. Gentzen, G. (1934). Untersuchungen über das logische Schliessen. Mathematische Zeitschirift, 39, 176-210. https://doi.org/10.1007/BF01201353
  4. Moretti, A. (1984). Gentzen y la naturalidad de la deducción. Análisis Filosófico, 4(1), 45-51. https://doi.org/10.36446/af.1984.843
  5. Negri, S. (2002). Varieties of linear calculi. Journal of Philosophical Logic, 31, 569-590. https://doi.org/10.1023/A:1021264102972