جستجوي پيشرفته | کتابخانه مجازی الفبا

ابن سینا در ارائه نظریات وجودشناسانة خود از دو واژة وجوب و امکان که ابتکار فارابی بودند، بسیار مدد می گیرد، دو واژه ای که سبقة کمرنگی در آراء فلاسفة پیش از فارابی و ابن سینا دارد و جسته و گریخته می توان ردپایی از آنها را نزد فلاسفة یونان باستان یافت، این ردپا در ارسطو پررنگ تر می شود، اما به شکل منطقی مطرح می شود نه فلسفی و در باب قضایا به آنها پرداخته می شود و به موجودات عینی و وجود سرایت نمی کند. با ابتکار فارابی و ابن سینا در به کارگیری نظریة وجوب و امکان فلسفی و تقسیم موجود به واجب و ممکن، فلسفة هستی شناسی مشایی، شکلی متمایز به خود می گیرد و وجود خدا و عالم و مسئلة خلقت که تا پیش از این مطرح نبود، بهتر تبیین می شود.

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