درخت حوزه‌های تخصصی

دلیل افتراض یکی از پرکاربردترین روش های منطق سنتی است که منطق دانان مسلمان درباره ی ساختار و چیستی آن هم رای نیستند. از یک سوی، سهروردی و فخر رازی آن را گونه ای از قیاس شکل سوم به شمار آورده اند، و از سوی دیگر، خواجه نصیر، نه تنها آن را قیاس شکل سوم نمی داند، بلکه یک سره آن را از قلمرو قیاس بیرون کرده است. نگارنده در این جستار، پس از گزارش دیدگاه این سه منطق دان، به سنجش رای خواجه نصیر پرداخته است.

ناسازواره [- پارادوکسِ] معدوم مطلق را از دو نگرگاه می توان بررسید: پژوهشی و آموزشی. از نگرگاه پژوهشی مهم است؛ زیرا گزاره هایی را چون امتناع تناقض، دور، و تسلسل به چالش می کشد که شالوده ی اندیشه و دانش ما را می سازند. از نگرگاه آموزشی نیز اهمیت دارد؛ چراکه در دو کتاب پرکاربرد درسی یعنی بدایه الحکمه و نهایه الحکمه بدان پرداخته شده است، اما بسیار کوتاه و گذرا. همین کوتاهی و اجمال، خطا برانگیز بوده، فلسفه آموزان را با سرگردانی و فلسفه پژوهان را با دشواری روبه رو ساخته است؛ به گونه ای که در تعلیقه علی نهایه الحکمه نویسنده اندیشه مند به مرحوم علامه نسبت پریشان گویی داده است. در این نوشتار، پس از تبارشناسی ناسازواره معدوم مطلق و برشمردن ناسازواره های هم سرشت و هم سرنوشتِ با آن، دو نکته را آشکار ساخته ام: الف) صدرالمتالهین در نوشته های خود برای فروگشودن این دشواره از دو شیوه یاد کرده است که عبارت های بدایه ناظر به یکی است و عبارت های نهایه ناظر به دیگری. بدین سان، نسبت پریشان گویی از آستان علامه پیراسته می شود. ب) اگرچه ملاصدرا این دو شیوه را نوآوری خود می شمارد، اما این دو از نوآوری های میردامادند که تبار آن ها به دانشمندانی چون ایجی، تفتازانی، و طوسی می رسد.

در این مقاله نظریة قیاسهای شرطی ابن سینا از دیدگاه منطقی صرف بررسی و نقد میشود. در این بررسی پس از ذکر مقدمه های لازم روش ابن سینا در تحویل گزاره های شرطی به حملی و دلایل انتخاب این روش شناسی شرح و نشان داده میشود که این روش متضمن چه نقصهای صوری است و چرا این نظریه که بنا بود نقش منطق جمله ها را در منطق ارسطویی داشته باشد گسترش نیافت و مآلاً از کتابهای منطقی متأخران به تدریج کنار گذاشته شد. ابن سینا در ضمن بیان نظریة خود به نکته های منطقی بدیع و عمیقی نیز دست مییابد. مقاله با ذکر چند مورد از این نکته ها که از جنبه های مثبت کار اوست پایان مییابد.