عنوان مقاله [English]
The current paper is an attempt to analyze the the Avicennian Cogent conditional quantifier based on Second-order Logic. Contemporary researchers have provided various formalizations of Avicennian conditionals to the Modern Logic language. A major difference between these formalizations is the analysis of conditional quantifier. In the most recent studies, Khajeh Nasir al-Din Toosi views about conditional quantifier, is used for analysis. His analysis of conditional quantifier can be formalized by Second-order Logic language. Therefore, some analyses are proposed to show using the Second-order Logic, the Avicennian cogent conditional finally could be formalized by Relevant Logic and Modal Logic. In this paper, it is shown this analysis is true assuming atemporal consequent and antecedent. Because of this assumption, the analysis has some difficulties. In order to solve this issue, we based the analysis on the assumption of temporal consequent and antecedent then analyzed the cogent conditional using Second-order Logic, Temporal Logic, Relevant Logic, and Modal Logic. The resulting formalization is a combination of Relevant Logic, Temporal Logic and Modal Logic.