De første originale arabiske skrifter på logik blev produceret af al-Kindi (Alkindus) (805-873), der lavede et resumé om tidligere logik indtil sin tid. De første skrifter om logik med ikke-aristoteliske elementer blev produceret af al-Farabi (Alfarabi) (873-950), der diskuterede emnerne for fremtidige kontingenter, antallet og forholdet mellem kategorierne, forholdet mellem logik og grammatik og ikke- -Aristoteliske former for indledning. Han krediteres også for at kategorisere logik i to separate grupper, den første er "ide" og den anden er "bevis".Averroes (1126-98) var den sidste store logiker fra al-Andalus, der skrev de mest udførlige kommentarer på. [Al-Farabi][Grammatik] |