a fortiori reasoning. This too is mentioned by Allah in the Quran, though it is generally employed with regard to His attributes, as in establishing His oneness in divinity, His power, and the like.

The second consists of unrestricted forms of inference: logical syllogisms and analogical reasoning. These are the methods followed by these speculative theologians from among