Avicenna (980-1037) udviklede sit eget system af logik kendt som "" som et alternativ til aristotelisk logik. Ved det 12. århundrede havde den aristoteliske logik erstattet som det dominerende system af logik i den islamiske verden.Den første kritik af den arkistoteliske logik blev skrevet af Avicenna (980-1037), som producerede uafhængige aftaler om logik snarere end kommentarer. Han kritiserede Baghdads logiske skole for deres hengivenhed til Aristoteles på det tidspunkt. Han undersøgte teorien om definition og klassificering og kvantificering af prædikaterne af kategoriske propositioner og udviklede en original teori om "temporal modal" syllogisme. Dens lokaler omfattede modifikatorer som "til alle tider", "højst gange" og "på et tidspunkt".Mens Avicenna (980-1037) ofte var afhængig af deductiv ræsonnement i filosofien, brugte han en anden tilgang i medicin. Ibn Sina bidrog opfindsomt til udviklingen af induktiv logik, som han plejede at banebrydende ideen om et syndrom. I sine medicinske skrifter var Avicenna den første til at beskrive metoderne for aftale, forskel og samtidig variation, der er kritiske for induktiv logik og den videnskabelige metode.Ibn Hazm (994-1064) skrev Logikomfanget, hvor han understregede betydningen af sanseopfattelse som en kilde til viden. Al-Ghazali (Algazel) (1058-1111) havde en vigtig indflydelse på brugen af logik i teologi, der benytter sig af Kalam. På trods af den logiske sofistikering af al-Ghazali kvælte stigningen af ashari-skolen i det 12. århundrede langsomt oprindeligt originalt arbejde med logik i en stor del af den islamiske verden, selvom logikken fortsat blev studeret i nogle islamiske regioner som Persien og Levanten .Fakhr al-Din al-Razi (f. 1149) kritiserede Aristoteles "første figur" og udviklede en form for induktiv logik, der foreskyggede systemet for induktiv logik udviklet af John Stuart Mill (1806-1873).Systematisk refutationer af græsk logik blev skrevet af Illuminationistskolen, grundlagt af Shahab al-Din Suhrawardi (1155-1191), der udviklede ideen om "afgørende nødvendighed", en vigtig innovation i historien om logisk filosofisk spekulation. En anden systematisk tilbagekaldelse af græsk logik blev skrevet af Ibn Taymiyyah (1263-1328), Ar-Radd 'ala al-Mantiqiyyin (Refutation of Greek Logicians), hvor han argumenterede for syllogismens anvendelighed, men ikke gyldigheden af syllogismen og i gavn for induktiv begrundelse.. [Induktiv begrundelse][Opfattelse][Irans historie] |