A Common Unified Logic for Ḥaqīqī and Khārijī Propositions

Document Type : Research Paper

Author

Iranian Institute of Philosophy

Abstract
I aim to demonstrate that this distinction between the logics of ḥaqīqī and khārijī propositions is incompatible with the history of logic in the Islamic world. This is because Sinawi logicians examined the relationship between ḥaqīqī and khārijī propositions and mixed ḥaqīqī-khārijī syllogisms. It is clear that we cannot express the relationships among and mixtures of some propositions in two different logics and we have to do it in a unified logic. To solve this problem, it seems that the language and theory of classical and free predicate logics should be strengthened in a way that allows for expressing and proving relationships among, and mixtures of ḥaqīqī and khārijī propositions. To this end, there are at least three possible approaches: first, combining classical and free predicate logics; second, strengthening classical predicate logic by adding the predicate of "khārijī existence"; and third, strengthening free logic by adding "modal logic". We will see that the first approach is successful, and in the second approach, it is possible to define khārijī propositions in terms of ḥaqīqī ones by strengthening classical predicate logic. However, in the third approach, it is not possible to define ḥaqīqī propositions in terms of khārijī propositions by strengthening free predicate logic. Therefore, we conclude that the modal approach to analyzing ḥaqīqī and khārijī propositions, as previously used, is incomplete or imprecise and must be completed or precisized, based on one of the two approaches presented in this article.

Keywords

Subjects

El-Rouayheb, Khaled. (2018). “Takmil al-Mantiq: A Sixteenth-Century Arabic Mannual on Logic”. in Ali Gheissari, John Walbridge, Ahmed Alwishah (2018). Illuminationist Texts and Textual Studies: Essays in Memory of Hossein Ziai (Iran Studies) (English and Persian Edition) (Iran Studies, 16). Leiden & Boston: Brill. pp. 199-256.
 Azimi, Mehdi. (2013). "The Refutation of the Refutation of the Subject," Islamic Philosophy and Theology, 46(2), 83-100. [In Persian]
    DOI: 10.22059/JITP.2013.35748
Amlishi, Hasan ibn Husayn. (2018). Al-Takmil fi al-Mantiq, in El-Rouayheb (2018), pp. 213-236.
Fallahi, Asadollah. (2007). “A New Formulation of True and External Propositions”, Ayeneh-e Ma’rifat 11, 31-60. [In Persian]
Fallahi, Asadollah. (2008). “The Rule of Fr’iyyah in New Logic: A Critical Report on the 50-Year Debate Between Old and New Logic on Existential Assumptions in Iran, Ayeneh-e Ma’rifat, 15(2), 41-66. [In Persian]
Fallahi, Asadollah. (2009). “Clarifying True, External, Modal, and Negative Propositions”, Ma’aref-e Aqli, 13, 91-121. [In Persian]
Fallahi, Asadollah. (2010a). “True and External Propositions in the Logic of Identity Elimination and Henkin’s Second-Order Logic”, Ma’refat-e Falsafi, 28(2), 39-56. [In Persian]
Fallahi, Asadollah. (2010b). "Nasir al-Din al-Tusi’s Intra-Rule Commitment in Conversion by Contraposition and the Dilemma of Bilateral Negation," Metaphysics, 2(5 and 6), 75-86. [In Persian]
    DOI: 20.1001.1.20088086.1389.2.5.5.0
Fallahi, Asadollah. (2013). The Logic of Khunaji. Tehran: Institute for Research in Philosophy & Wisdom. [In Persian]
Fallahi, Asadollah. (2014). "Analysis of True and External Propositions with Conditional and Conjunctive Particles," Ma’aref-e Mantiqi, 1(2), 143-174. [In Persian]
Fallahi, Asadollah. (2022a). "True and External Propositions According to Shams al-Din Samarqandi," Mantiq-Pajouhi, 13(1), 143-166. [In Persian]
    DOI: https://doi.org/10.30465/lsj.2022.41418.1403
Fallahi, Asadollah. (2022b). “The Composite Syllogism of True and External Propositions According to Shams al-Din Samarqandi”, Islamic Philosophy and Theology, 55(2), 365-390. [In Persian]
    DOI: 10.22059/JITP.2022.343680.523349
Fallahi, Asadollah. (2023). “The Logic of External Propositions: Sinan Wisdom”, Hikmat-e Sinavi, 27(69), 5-35. [In Persian]
    DOI: 10.30497/AP.2023.245286.1647
Fallahi, Asadollah. (2024). Metaphysical Principles in Free Modal Logic. Accepted for publication. [In Persian]
Hilli, Hasan ibn Yusuf. (1440 AH). Al-Qawa’id al-Jaliyyah fi Sharh al-Risalah al-Shamsiyah, Edited by Fares Hassan Tabrizian. Qom: Islamic Publishing Institute. [In Persian]
Ibn Sina, Husayn. (1964). Al-Shifa, Al-Mantiq, Al-Qiyas. Cairo: Dar al-Katib al-Arabi for Printing and Publishing. [In Persian]
Isfara’ini, Issam al-Din. (n.d.). Sharh al-Risalah al-Shamsiyah (Hasiyah Issam on Tasaidqat). No place of publication. [In Persian]
Khunaji, Afzal al-Din. (2010). Kashf al-Asrar ‘a Ghawamid al-Afkar, Edited and Introduced by Khalid El-Rouayheb. Tehran: Institute for Research in Philosophy & Wisdom and the Islamic Studies Institute of Berlin Free University. [In Persian]
Qutb Razi, Muhammad ibn Muhammad. (2014). Lawa’mi’ al-Asrar fi Sharh Matal’i al-Anwar, Edited and Introduced by Ali Asghar Jafari Valani. Tehran: University of Tehran Press. [In Persian]
Samarqandi, Shams al-Din. (2020). Qistas al-Afkar fi al-Mantiq, Edited and Introduced by Asadollah Fallahi. Tehran: Institute for Research in Philosophy & Wisdom. [In Persian]
Sanusi, Muhammad ibn Yusuf. (1873). Sharh al-Mukhtasar fi Fan al-Mantiq. Cairo: al-Matba’ah al-Khayriyyah. [In Persian]
Sanusi, Muhammad ibn Yusuf. (1903). Sharh al-Mukhtasar fi Fan al-Mantiq. Cairo: Matba’at Taqaddum al-Ilmiyyah. [In Persian]
Tafazzani, Saad al-Din. (1400 AH). Sharh al-Risalah al-Shamsiyah. Qom: Dar Zain al-Abidin. [In Persian]
Vahid Dastjerdi, Hamid. (1988). “Model and Form of Logic: Observations on the Rule of Conversion of Equals”, Farhang, 2 and 3, 575-589. [In Persian] *