A CRITICAL PONDERING IN USING SECOND-ORDER QUANTIFIER IN ANALYZING COGENT CONDITIONAL

Q: How can I download an article?

To download an article from SID, first log in to the site, search for the article title, and click on the 'Download Article' option.

Q: How can I download an ISI article?

To download an ISI article on SID, enter the keyword or article title in the search bar, view the relevant results, click on the desired article, and select the 'Download Article' option.

Q: How can I access the SID database?

To access the SID database, visit SID.ir, create an account, and log in to access scientific resources.

Q: Is downloading articles from SID free?

Some articles on SID are available for free, while others require payment. Details are specified on the article's page.

IZADI MOHAMMAD; DARABI ALIREZA

Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

Journal Paper

Paper Information

Journal: MANTEQ-PAZHUHI (LOGICAL STUDIES) Year:2011 | Volume:2 | Issue:1 (3) Page(s): 1-23

Download Full-Text

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

Persian Verion

View:

760

Download:

Cites:

Information Journal Paper

Title

A CRITICAL PONDERING IN USING SECOND-ORDER QUANTIFIER IN ANALYZING COGENT CONDITIONAL

Author(s)

IZADI MOHAMMAD | DARABI ALIREZA | Issue Writer Certificate

Keywords

COGENT CONDITIONAL QUANTIFIERQ3

RELEVANT LOGICQ2

MODAL LOGICQ3

SECOND-ORDER LOGICQ2

TEMPORAL LOGICQ2

Abstract

The current paper is an attempt to analyze 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 a temporal 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.

Cites

No record.

References

Cite

APA: Copy

IZADI, MOHAMMAD, & DARABI, ALIREZA. (2011). A CRITICAL PONDERING IN USING SECOND-ORDER QUANTIFIER IN ANALYZING COGENT CONDITIONAL. MANTEQ-PAZHUHI (LOGICAL STUDIES), 2(1 (3)), 1-23. SID. https://sid.ir/paper/216452/en

Vancouver: Copy

IZADI MOHAMMAD, DARABI ALIREZA. A CRITICAL PONDERING IN USING SECOND-ORDER QUANTIFIER IN ANALYZING COGENT CONDITIONAL. MANTEQ-PAZHUHI (LOGICAL STUDIES)[Internet]. 2011;2(1 (3)):1-23. Available from: https://sid.ir/paper/216452/en

IEEE: Copy

MOHAMMAD IZADI, and ALIREZA DARABI, “A CRITICAL PONDERING IN USING SECOND-ORDER QUANTIFIER IN ANALYZING COGENT CONDITIONAL,” MANTEQ-PAZHUHI (LOGICAL STUDIES), vol. 2, no. 1 (3), pp. 1–23, 2011, [Online]. Available: https://sid.ir/paper/216452/en

Related Journal Papers