The Logic of Khārijī Propositions

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.

Fallahi Asadollah

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

Journal Paper

Paper Information

Journal: Avicennian Philosophy Journal Year:2023 | Volume:27 | Issue:69 Page(s): 5-35

Download Full-Text

Persian Verion

View:

Download:

Cites:

Information Journal Paper

Title

The Logic of Khārijī Propositions

Author(s)

Fallahi Asadollah | Issue Writer Certificate

Keywords

khārijī propositionsQ4

ḥaqīqī propositionsQ4

predicate logicQ4

free logicQ4

Barcan Formula Buridan FormulaQ4

Abstract

There are two general methods for interpreting and analyzing khārijī and ḥaqīqī propositions: first, by analyzing them within a unified logic; second, by assigning separate logics to khārijī and ḥaqīqī propositions. So far, most interpretations and analyses of khārijī and ḥaqīqī propositions have been carried out using the first method within either traditional logic or a branch of modern logic, while the second method has rarely been used for this purpose. In this article, we aim to use the second method and demonstrate that the appropriate logic for ḥaqīqī propositions is classical predicate logic, while for khārijī propositions, it is predicate-free logic. We show that non-classical predicate-free logic restricts the rules of introduction and elimination of the quantifiers on the existence of khārijī objects, making it the most suitable logic for khārijī propositions. In contrast, classical predicate logic, which does not restrict the quantifiers on the external existence of objects, is more suitable for ḥaqīqī propositions. Additionally, we illustrate that by incorporating modal logic and temporal logic into classical and free predicate logics, the principles and rules of ḥaqīqī and khārijī propositions become more distinguishable, resulting in more distinct logics. In particular, we demonstrate that the Barcan Formula, the Buridan Formula, and the converse Barcan Formula hold true for ḥaqīqī propositions and are proven in classical modal and temporal logics, while they are false for khārijī propositions and remain unprovable in free modal and temporal logic.

Cites

No record.

References

No record.

Cite

Related Journal Papers

No record.

Related Seminar Papers

No record.

Related Plans

No record.

Recommended Workshops