En el siglo IV a.C., Aristóteles sistematizó la lógica silogística en el Organon, fijando reglas formales para derivar conclusiones válidas a partir de premisas. Ese marco —qué se sigue de qué— es un antepasado conceptual de los sistemas de razonamiento automático.
La idea de que el pensamiento puede describirse con estructuras simbólicas reapareció en la escolástica, en Leibniz y, ya en el siglo XX, en la lógica matemática y la inteligencia artificial simbólica. No era “IA”, pero sí la ambición de mecanizar la inferencia.
Historiadores de la computación suelen citar este hilo porque explica por qué los primeros programas de IA privilegiaron reglas, ontologías y demostradores: el sueño de un cálculo del razonamiento precede por milenios a las redes neuronales.
