Servicios Personalizados
Revista
Articulo
Indicadores
- Citado por SciELO
- Accesos
Links relacionados
- Citado por Google
- Similares en SciELO
- Similares en Google
Compartir
Revista Colombiana de Matemáticas
versión impresa ISSN 0034-7426
Resumen
ANDRADE, EDGAR J. y BECERRA, EDWARD. La silogística aristotélica de Corcoran como un subsistema de la lógica de primer orden. Rev.colomb.mat. [online]. 2007, vol.41, n.1, pp.67-80. ISSN 0034-7426.
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.
Palabras clave : Silogística; Aristóteles; Corcoran; completitud; minimalidad; subsistemas de primer orden.