چکیده:
ضرورت سازگار بودن همهی قضایای منطق امری است که هیچگاه نزد متفکران مسلمان انکار نشده است. در طول تاریخ منطق، هر ناسازگاری احتمالی در قواعد منطقی، هرچند کوچک، بررسی دقیق منطقدانان مسلمان را در پی داشته است. در ادامهی این روند، متن حاضر به معرفی یک ناسازگاری مهم در آراء کنونی منطقدانان میپردازد. در آراء معاصر، تقسیمبندی قضایای حملی به سه دسته حقیقیه، خارجیه و ذهنیه (با اختلافاتی در تفسیر) مورد تأیید اغلب منطقدانان و فلاسفه اسلامی قرار گرفته است. ادعا میشود که این تقسیمبندی مستقل از بقیه قواعد منطقی است و بدون تغییر در قیاسهای بیان شده در سنت منطقی قابل پذیرش است. در این مقاله نشان داده شده است که بخشی از قیاسهای اقترانی شرطی-حملی تنها با قبول حقیقی بودن گزارههای حملی قابل پذیرش خواهند بود. اثبات این مدعا با بررسی برخی از قیاسهای اقترانی شرطی-حملی با اشتراک در جزء ناقص صورت گرفته است. این بخش از قیاسها در سنت منطق سینوی بدیهیترین نمونه قیاسهای شرطی-حملی با اشتراک در جزء ناقص محسوب شدهاند. بررسی دقیق اثباتهای موجود در این باب در کتب منطقدانان سینوی صحت مدعای ما را نشان داده است.
The necessity of the compatibility in all elements of logic is something that has never been denied among Muslims intellectuals. Throughout the history of logic, any possible inconsistency in the rules of logic, albeit small, has led to a careful study by Muslim logicians. In the continuation of this process, the present text introduces an important inconsistency in the current views of the logicians. In contemporary opinion, the division of predicative proposition into three categories: actuality, mental, and factual (with differences in interpretation) has been endorsed by most Islamic logicians and philosophers. It is claimed that this division is independent of the rest of the rules of logic and can be accepted without changing the syllogism expressed in the logical tradition. In this paper, it is presented that elements of the conditional-predicative conjunctive syllogisms can only be accepted if the predicative propositions are factual. This claim is proved by examining the conditional- predicative conjunctive syllogism by sharing an incomplete part and the middle term is a part of conditional consequence. This part of the syllogism in the tradition of Avicennian logic is considered the most obvious example of conditional-predicative syllogism with a shared incomplete part. Careful examination of the evidence in the books of the Avicennian logicians has shown the validity of our claim.
خلاصه ماشینی:
١ قياس هاي اقتراني شرطي-حملي و تقسيم بندي قضايا به خارجيه ، ذهنيه و حقيقيه ۲ عليرضا دارابي استاديار گروه فلسفه ، دانشکده حقوق، الهيات و علوم سياسي، واحد علوم و تحقيقات، دانشگاه آزاد اسلامي، تهران، ايران چکيده ضرورت سازگار بودن همه ي قضاياي منطق امري است که هيچ گاه نزد متفکران مسلمان انکار نشده است .
اين بخش از قياسها در سنت منطق سينوي بديهيترين نمونه قياسهاي شرطي-حملي با اشتراک در جزء ناقص محسوب شده اند.
در اين متن بر آنيم که قدمي جديد در اين راه برداريم و نشان دهيم بخشي از قياسهاي شرطي منطق سينوي با اين تقسيم بندي بالا هماهنگ نيست و تنها با فرض حقيقيه بودن مقدمات حملي مي توان از شکل گيري قياسي توسط آنها دفاع کرد.
بر اين اساس تمرکز ما بر قياسهاي شرطي-حملي با اشتراک در جزء غير تام است که بخش مشترک ميان قضيه شرطي و حملي در تالي قرار دارد (حالت اول و دوم).
٥ ارموي در مطالع الانوار، قطب الدين رازي در شرح همين کتاب و سمرقندي در قسطاس الافکار با تأثيرگيري صريح از ارموي تنها شرايط قياسهاي حملي و شرطي با اشتراک در مقدم را بحث ميکند و به شکل 6 گسترده اين قياسها را بيان نميکنند.
اثبات قياس هاي شرطي-حملي با اشتراک در جزء تام (بخش مشترک با تالي) چنانکه پيش از اين نيز گفته شد، ابن سينا بررسي دقيق قياسهاي شرطي را از افتخارات خود ميشمارد.
۴. جمع بندي قياسهاي شرطي-حملي با اشتراک در جزء غير تام مجموعه از قياسها هستند که محتمل است براي اولين بار توسط ابن سينا به صورت کامل معرفي شده اند.