Corcoran's aristotelian syllogistic as a subsystem of first-order logic
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 R...
- Autores:
- Tipo de recurso:
- Fecha de publicación:
- 2007
- Institución:
- Universidad del Rosario
- Repositorio:
- Repositorio EdocUR - U. Rosario
- Idioma:
- eng
- OAI Identifier:
- oai:repository.urosario.edu.co:10336/24588
- Acceso en línea:
- https://repository.urosario.edu.co/handle/10336/24588
- Palabra clave:
- Silogística
Aristóteles
Corcoran
completitud
minimalidad
subsistemas de primer orden
Syllogistic
Aristotle
Corcoran
completeness
minimality
first-Order Subsystem
- Rights
- License
- Abierto (Texto Completo)
| Summary: | 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. |
|---|