Capítulo de Libro
New Insights on Syllogistics and Cut
Título del libro: El jardín de los senderos que se bifurcan y confluyen: filosofía, lógica y matemáticas
Fecha de publicación:
2020
Editorial:
Universidad de Valparaíso. Instituto de Filosofía
ISBN:
978-956-402-647-3
Idioma:
Inglés
Clasificación temática:
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 & Correi´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 & Correias 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.
Archivos asociados
Licencia
Identificadores
Colecciones
Capítulos de libros(IIF)
Capítulos de libros de INSTITUTO DE INVESTIGACIONES FILOSOFICAS
Capítulos de libros de INSTITUTO DE INVESTIGACIONES FILOSOFICAS
Citación
Alvarez Lisboa, Miguel Agustin; New Insights on Syllogistics and Cut; Universidad de Valparaíso. Instituto de Filosofía; 2020; 1-16
Compartir