 A distinctive feature of Avicenna’s analysis of hypothetical propositions is quantification. The conditional relation between antecedent and consequent as well as the relation of conflict between the parts of a disjunction are embedded within the scope of a quantifier which may express a universal affirmative, a universal negative, a particular affirmative, or a particular negative hypothetical proposition.