IIF   26912
INSTITUTO DE INVESTIGACIONES FILOSOFICAS
Unidad Ejecutora - UE
capítulos de libros
Título:
New Insights on Syllogistics and Cut
Autor/es:
MIGUEL ÁLVAREZ LISBOA
Libro:
El jardín de los senderos que se bifurcan y confluyen: filosofía, lógica y matemáticas
Editorial:
Instituto de Filosofía, Universidad de Valparaíso
Referencias:
Lugar: Valparaíso; Año: 2020; p. 1 - 16
Resumen:
There is a quite intentional resemblance between the Cut Rule and Aristotle?s Syllogism. In this paper some deep connections between Sequent Calculus and Syllogistics will be investigated. Taking into consideration Alvarez & Correia?s axiomatization of Syllogistics, currently the most complete available in the literature, I will show how this ancient logical system can be put into correspondence with the structural features of a special Sequent Calculus system, SS. On the grounds of this discovery I will present some improvements of the expressive power of Alvarez & Correia?s system. As for the philosophical consequences of the correspondence, I will give answers to several concerns Manuel Correia had on his system. A somewhat new philosophical relevance of the Cut-Elimination Theorem will be highlighted in the end.