Islamic Logic

Predication is one of the significant issues in Islamic philosophical logic. “Essential Primary Predication” (al-ḥaml al-awwalī al-dhātī) is a new type of predication found mainly in late Islamic philosophers. The historical background of this predication is one of the controversial topics among post-Ṣadrīan thinkers, but it seems that it must be sought in Avicenna’s discussions on the meaning of predication. To show this, I will focus on two fragments in which Avicenna talks about the meaning of predication; one in al-Ishārāt wa al-Tanbīhāt (Pointers and Reminders) and the other in Manṭiq al-Mashriqīyyīn (The Logic of the Easterners). In Ishārāt, we read that in a proposition like “A is B”, what we mean is that “What is A is B”, not that “The ḥaqīqa of A is the ḥaqīqa of B”.