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. Corcoran's aristotelian syllogistic as a subsystem of first-order logic. Rev.colomb.mat. [online]. 2007, vol.41, n.1, pp.67-80. ISSN 0034-7426.
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 : Syllogistic; Aristotle; Corcoran; completeness; minimality; first-Order Subsystem.