El sistema lógico de Avicena fue responsable de la introducción del silogismo hipotético, de la lógica modo-temporal, y de la lógica inductiva.