  We examine first the theoretical discussions (following Langermann 2005, 286–302). In the chapter dealing with demonstration (burhan), Ibn Kammuna lists the seven types of judgment (hukm) by means of which one asserts or verifies (tasdiq) premises that are to be employed in a syllogism. Ḥadsiyyāt, intuitive judgments, are the last on the list, and Ibn Kammuna defines them simply as “what the soul judges to be certain on the basis of evidence (qara’in) other than that found in the [six] sources (mabadi’) that have been mentioned above” (al-Kabisi 1982, 196; author’s translation). Ibn Sina does not include ḥadsiyyāt in his classification of premises; Suhrawardī does include ḥadsiyyāt in two of his lists, but neither is identical to the one found in al-Jadīd. Despite all of these developments, however, Ibn Kammuna supplies here exactly the same time-worn example used by Ibn Sina (and before him by Aristotle), i.e., the fact that the moon’s light derives from the sun.