Mantiq fikrlash va dalillash qoidalari fani bo'lib, tarixi Aristotelga borib taqaladi. Silogizm, al-Farobiy, Ibn Sino va al-Ghazali kabi buyuk allomalar tomonidan rivojlantirilgan. Hozirgi kunda formal, informatsion va amaliy sohalarda qo'llaniladi.