Three Meanings of Khārijī Proposition

Abstract

In his various works, Ibn Sina has referred to different meanings of "All J is B", which his followers have called "ḥaqīqī" and "khārijī" propositions. Ibn Sina's examples for "khārijī proposition" are sometimes only related to the present time, sometimes related to past and present times, and his followers have extended these meanings to all three tenses: past, present, and future. To distinguish these three meanings, which have arranged from specific to general, I call them "specific," "intermediate," and "general" khārijī propositions. In this article, I show that for each meaning of khārijī proposition, its relation to a more general meaning of khārijī is similar to its relation to ḥaqīqī propositions, in that mixed khārijī-khārijī syllogisms (mixed of two kinds of khārijīs) have exactly the same rules as mixed khārijī-ḥaqīqī syllogisms.