منطق قضایای خارجیه | کتابخانه مجازی الفبا

منطق قضایای خارجیه | کتابخانه مجازی الفبا

کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی

فارسی  |   العربیه  |   English  
telegram

در تلگرام به ما بپیوندید

public

کتابخانه مجازی الفبا
کتابخانه مجازی الفبا
header
headers
پایگاه جامع و تخصصی کلام و عقاید و اندیشه دینی
جستجو بر اساس ... همه موارد عنوان موضوع پدید آور جستجو در متن
: جستجو در الفبا در گوگل
...جستجوی هوشمند
منطق قضایای خارجیه
کتابخانه مجازی الفبا
کتابخانه مجازی الفبا
فارسی
کتاب الکترونیکی
میانگین امتیازات:
امتیاز شما :
تعداد امتیازات :
0
منطق قضایای خارجیه
ویرایش اثر
عنوان دیگر : The Logic of Khārijī Propositions
چکیده :
برای تفسیر و تحلیل قضایای حقیقیه و خارجیه، دو روش کلی وجود دارد: نخست تحلیل آن‌ها درون یک منطق واحد، دوم اختصاص منطق‌های جداگانه به آن‌ها. تاکنون بیشتر تفسیرها و تحلیل‌های قضایای خارجیه و حقیقیه به روش نخست، و درون منطق قدیم یا شاخه‌ای از منطق جدید صورت گرفته و به‌ندرت از روش دوم برای این منظور بهره‌برداری شده است. در این مقاله، می‌خواهم روش دوم را به کار ببرم و نشان دهم که هرچند منطق مناسب برای قضایای حقیقیه، منطق کلاسیک محمول‌ها است، منطق مناسب برای قضایای خارجیه، منطق آزاد محمول‌ها است. نشان می‌دهم که منطق آزاد محمول‌ها، که منطقی ناکلاسیک و غیراستاندارد است، قواعد معرفی و حذف سورها را به وجود خارجی اشیا مقید می‌سازد؛ ازاین‌رو، مناسب‌ترین منطق برای قضایای خارجیه است، برخلاف منطق کلاسیک محمول‌ها که تقیدی به وجود خارجی اشیا ندارد و ازاین‌رو، برای قضایای حقیقیه مناسب‌تر است. هم‌چنین، نشان می‌دهم که با افزودن منطق موجهات و منطق زمان به منطق‌های کلاسیک و آزاد محمول‌ها، تمایز اصول و قواعد قضایای حقیقیه و خارجیه بیشتر می‌شود و درنتیجه، منطق‌هایشان متمایزتر می‌شوند. به‌طورویژه، نشان می‌دهم که فرمول‌های بارکن، بوریدان و عکس بارکن برای قضایای حقیقیه صادق‌اند و در منطق موجهات و منطق زمان کلاسیک اثبات می‌شوند؛ درحالی‌که برای قضایای خارجیه کاذب‌اند و در منطق موجهات آزاد و منطق زمان آزاد اثبات‌ناپذیرند. 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.
منابع دیجیتالی مرتبط :
نسخه PDF مراجع
متکلمان و سایر شخصیت ها :
اسدالله فلاحی
نویسنده :
اسدالله فلاحی
زبان :
فارسی
منبع اصلی :
https://ap.isu.ac.ir/article_77017_073a1b232efe01815b254823fcda1e08.pdf
جنس منبع:
متن
پایگاه :
پایگاه مجلات 5 (حکمت سینوی - سال 1402- دوره 27- شماره 69- از صفحه 5 تا 35)
یادداشت :
قضیة حقیقیه قضیة خارجیه فرمول بارکن فرمول بوریدان منطق آزاد منطق محمول‌ها
khārijī propositions ḥaqīqī propositions predicate logic free logic Barcan Formula Buridan Formula
نوع منبع :
مقاله
مشخصات کامل اثر
منابع مرتبط :
ثبت نظر
ارسال