Mantiq

Le manṭiq est l'étude des règles qui préservent l'esprit de l'erreur dans le raisonnement. Il n'apporte aucun contenu religieux : c'est un instrument, une āla, au même titre que la grammaire. Son utilité est de rendre explicites les opérations que nous accomplissons sans y penser — définir, affirmer, inférer — afin d'en repérer les défauts.

Il se divise en deux parties. La première traite des concepts (taṣawwurāt) : comment définir correctement une chose, ce qu'est un genre, une espèce, une différence, et pourquoi une définition circulaire ou trop large ne vaut rien. La seconde traite des jugements (taṣdīqāt) : la nature des propositions, leurs rapports, et surtout le syllogisme — les formes d'inférence valides et celles qui n'en ont que l'apparence.

Son intégration aux sciences islamiques doit beaucoup à al-Ghazālī, qui en fit un préalable à la rigueur du raisonnement juridique et théologique. L'enseignement s'appuie sur as-Sullam al-murawnaq d'al-Akhḍarī, poème bref accompagné de ses commentaires. L'étudiant y gagne une chose précieuse : la capacité de démonter un argument — le sien comme celui d'autrui — et de voir exactement où il tient ou bien cède.