Ha anche sviluppato una teoria all'avanguardia, nel campo del calcolo proposizionale.La prima critica alla logica aristotelica fu formulata da Avicenna quando ideò un'originale teoria di sillogismo a modalità temporale.Inoltre contribuì alla formazione della logica induttiva, essendo stato il primo a descriverne il metodo di concordanze, differenze e variazioni concomitanti; questi studi hanno gettato le basi alla logica induttiva e al metodo scientifico.