Silogística y lógica formal de Aristóteles
Aristotelian syllogistic logic
- Fecha
- c. 350 a.C. · fiabilidad media
- Lugar
- Atenas, Grecia
- Autoría
- Aristóteles
- Personas
- 👤 Aristóteles384 a.C.–322 a.C.
- Ámbito
- Saber y símbolos
Qué se descubrió
Primer sistema formal de inferencia válida: el silogismo, con variables para términos y reglas de deducción independientes del contenido. Fue la teoría dominante del razonamiento durante dos milenios.
Aristóteles ya reconoció la necesidad de axiomas indemostrables como base de la ciencia demostrativa.
A qué dio paso
- lógica escolástica
- álgebra de Boole
- lógica de predicados de Frege
Se apoya en
- Demostración matemática deductivac. 580 a.C.
- dialéctica platónica
- demostración geométrica