The Logic of Khārijī Propositions

Document Type : Scholarly Article

Author

Professor in the Department of Logic, Iranian Institute of Philosophy, Tehran, Iran.

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.

Keywords

Main Subjects

References

بن‌سینا، حسین بن عبدالله (1381). الإشارات والتنبیهات. تصحیح مجتبی زارعی. قم: انتشارات دفتر تبلیغات اسلامی حوزه علمیه.
ابن‌سینا، حسین بن عبدالله (1964 م). الشفاء، المنطق، القیاس. قاهره: دار الکاتب العربی للطباعه و النشر.
عظیمی، مهدی (1394). تحلیل منطقی گزاره. شرح منطق اشارات (نهج سوم تا ششم). قم: مجمع عالی حکمت.
فلاحی، اسدالله (1388). ابهام‌زدایی از قضایای حقیقیه، خارجیه، معدولیه و سالبه المحمول. معارف عقلی، 13(1)، ص 91-121.
فلاحی، اسدالله (1397). اصل‌های بوریدان و بارکن در منطق سینوی و ارزیابی صحت استناد آنها به ابن‌سینا. فلسفه و کلام اسلامی، 51(2)، 261-278.
فلاحی، اسدالله (1386). صورت‌بندی جدیدی از قضایای حقیقیه و خارجیه. آینه معرفت، 11(1)، ص 31-60.
فلاحی، اسدالله (1387). قاعده فرعیه در منطق جدید، گزارشی انتقادی از نزاع پنجاه‌ساله منطق قدیم و جدید درباره پیشفرض وجودی در ایران. آینه معرفت، 15(2)، ص 41-66.
فلاحی، اسدالله (1395). منطق تطبیقی. تهران: سمت.
فلاحی، اسدالله (1396). نشست نقدوبررسى کتاب تأملاتى در منطق ابن‌سینا و سهروردى. فصلنامه نقد کتاب، کلام، فلسفه، عرفان، 4 (13-14)، ص 79-86.
فلاحی، اسدالله (1400). قضایای حقیقیه و خارجیه نزد ارسطو. منطق‌پژوهی، 12(1)، ص 1-35.
فلاحی، اسدالله (1401). قضایای حقیقیه و خارجیه نزد شمس الدین سمرقندی. منطق‌پژوهی، 13(1)، 143-166.
فلاحی، اسدالله (1402). سه معنای قضیة خارجیه. جاویدان خرد، 20(2)، ص 5-31.
مطهری، مرتضی (1369). مجموعه آثار (9)؛ شرح مبسوط منظومه (1). تهران: انتشارات صدرا.
موحد، ضیاء (1381). منطق موجهات. تهران: هرمس.
موحد، ضیاء (1394). تأملاتی در منطق ابن سینا و سهروردی. تهران: هرمس.
میرزای نائینی، محمدحسین (1376). فوائد الاصول (تقریر درس خارج محمدعلی کاظمی خراسانی). قم: جامعة مدرسین حوزة علمیة قم.
نبوی، لطف‌الله (1379). تمایز de re و de dicto در منطق سینوی و تصویر آن در معناشناسی کریپکی، مدرس، 4(14)، ص 149-158.
نبوی، لطف‌الله (1381). منطق سینوی به روایت نیکلاس رشر. تهران: علمی و فرهنگی.
نبوی، لطف‌الله (1389). مبانی منطق فلسفی. تهران: دانشگاه تربیت مدرس.
وحید دستجردی، حمید (1367). مدل و صورت منطق: ملاحظاتی دربارة قاعدة عکس مستوی. فرهنگ، ش 2 و 3، ص 575-589.
Hodges, Wilfrid (2022). How did Avicenna understand the Barcan?. Logic Journal of the IGPL (published online: 24 August 2022).
Movahed, Zia (2003). “Ibn-Sina’s Anticipation of the Formulas of Buridan and Barcan”. in Ali Enayat, Iraj Kalantari, & Mojtabi Moniri (editors). Logic in Teheran: Proceedings of the Workshop and Conference on Logic, Algebra and Arithmetic, held October 18-22. 2003. LNL 26 Wellesley, MA: ASL/A K Peters, Ltd. pp. 248-255.
Chatti, Saloua (2019). Arabic Logic from al-Fārābī to Averroes: A Study of the Early Arabic Categorical, Modal, and Hypothetical Syllogistics, Cham: Birkhäuser.
Avecinnian Philosophy Journal
Volume 27, Issue 69
April 2023
Pages 5-35

Files

Share

How to cite

Statistics