Ítem
Acceso Abierto
Corcoran's aristotelian syllogistic as a subsystem of first-order logic
Título de la revista
Autores
Andrade Lotero, Edgar José
BECERRA, EDWARD
Archivos
Fecha
2007
Directores
ISSN de la revista
Título del volumen
Editor
Universidad Nacional de Colombia
Buscar en:
Métricas alternativas
Resumen
La silogística aristotélica ha sido formalizada hace ya cierto tiempo por medio de un sistema de deducción natural, llamado D por John Corcoran. En un artículo clásico, Corcoran demuestra un teorema de completitud para dicho sistema. Su demostración involucra el uso de un sistema reducido, llamado RD, que es más fácil de manejar y resulta ser equivalente a D. El problema sigue siendo, sin embargo, si RD es de hecho el sistema más sencillo que es equivalente a D. En este artículo responderemos esta pregunta, pero crearemos otras más, al incrustar el sistema RD en la lógica de predicados de primer orden.
Abstract
Aristotelian syllogistic has been formalized for some time now by means of a natural deduction system, called D by John Corcoran. In a classical paper, Corcoran proves a completeness theorem for such a system. His proof involves the use of a reduced system, called RD, that is easier to handle and turns out to be equivalent to D. The question remains, however, whether RD is in fact the easiest such system that is equivalent to D. In this paper we answer this question, but raise some more, by embedding system RD in first-order predicate logic.
Palabras clave
Silogística , Aristóteles , Corcoran , completitud , minimalidad , subsistemas de primer orden
Keywords
Syllogistic , Aristotle , Corcoran , completeness , minimality , first-Order Subsystem
