En los "Primeros analíticos", Aristóteles construyó la primera teoría de la inferencia válida.