The fundamental error of the mutakallimun — the practitioners of kalam — is that they attempt to prove theological conclusions by dialectical argument rather than demonstration. Dialectical argument proceeds from accepted premises and aims at probable conclusions; demonstrative argument proceeds from necessary truths and produces scientific certainty. By employing dialectical methods to establish conclusions that must be certain if they are to function as the foundation of faith — the existence of God, divine attributes, the creation of the world — the theologians produce conclusions that are open to refutation and perpetually contested. The result is a public disputational culture in which the ordinary believer's faith is unsettled rather than confirmed.
Averroes's alternative is a reformulated version of two arguments he finds in the Quran itself: the argument from design (dalil al-'inaya) and the argument from creation (dalil al-ikhtira'). God is demonstrated through the evident adaptation of the natural world to human needs — the ordering of the heavens, the seasons, the bodies of animals to their functions. This is not a merely probabilistic argument but a recognition of the intelligible structure of nature that scientific investigation reveals: the more we understand natural causes, the more evident the divine intelligence that orders them. These Quranic arguments, Averroes insists, are closer to genuine demonstration than anything the theologians have produced.
Averroes is not arguing against theology as such but for its reform. Islamic faith requires defenders who can distinguish strong from weak arguments, who can identify where apparent conflicts between reason and revelation are genuine and where they are merely verbal, who can communicate the truth appropriate to each audience's capacity. The current theologians, whose training is in rhetoric and dialectic rather than demonstration, are not equipped to perform this service. The Exposition proposes a reformed theological practice grounded in Aristotelian natural philosophy — one that can provide the kind of certainty that faith requires and that the sophistication of Islamic intellectual life demands.
The Exposition of the Methods of Proof (al-Kashf) was composed around 1179 CE, around the same time as the Decisive Treatise, forming part of Averroes's three-text engagement with the relationship between philosophy and religion (the third being the Incoherence of the Incoherence). It was influential on Maimonides's Guide of the Perplexed (1190) and on the Latin Scholastic critique of Augustinian theological method.