Maimónides (1138-1204) compuso, en árabe, un manual de lógica, "Términos de lógica" en el que hace una introducción a la lógica aristotélica y ofrece, por primera vez, una definición clara y concisa de los principales términos silogísticos que utiliza.