A reflection on hypothetical dual structure in Avicenna's logic

Avicenna has presented various discussions about hypotheticals. In these discussions, he has sometimes used a quantified hypothetical propositions and sometimes a non-quantified hypothetical propositions. Why did Avicenna do this? In this article, we answer this question. In this way, we will first examine the way quantifieres enters the discussion of hypotheticals by Avicenna. Then, we have attended the question of why Avicenna used a non-quantified hypothetical propositions along with of a quantified hypothetical propositions, and examined the possible answers one by one and selected the most appropriate one. We have shown that in all the discussions where Avicenna used a non-quantified hypothetical, he is repeating the opinions of previous logicians. While quantified hypotheticas discussions have been formed regarding the discussions related to quantified predicatives. Alto summarize, it seems that the relationship between quantified hypotheticals and non-quantified hypotheticals is not clear to Avicenna, and this issue is the origin of the dual structure of hypotheticals in Avicenna's works, as well as some disagreements after him about the theory of hypotheticals.