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