Las obras de al-Farabi, Avicena, al-Ghazali y otros lógicos musulmanes que en ocasiones criticaron y corrigieron la lógica aristotélica e introdujeron sus propias formas de lógica, también desempeñaron un papel central en el subsecuente desarrollo de la lógica europea medieval.