various methods of formulating hypothetical quantifier

Abstract

In the current article, various methods of formulating hypothetical quantifier in Avicennian logic have been examined. Utilizing conventional symbols of quantifier in modern logic, analyzing hypothetical quantifier as modality, and employing second-order logic are the three approaches introduced in this paper. We have separately introduced the advantages and disadvantages of each of these methods. Each approach is useful in examining different interpretations of Ibn Sina's views on hypothetical quantifier and the disagreements among Avicennian logicians regarding hypothetical. Overall, we have shown that none of these methods are superior to others and each might be more useful than the rest in examining one of the existing disputes in Avicennian logic regarding hypothetical.