تأملی دوباره در باب برهان صدیقین سینوی در نجات
چکیده
در مقاله ای با عنوان «صورت بندی برهان صدیقین ابنسینا در نجات بر پایه منطق محمولات مرتبه اول»، صورت بندیای از برهان صدیقین ابنسینا در کتاب نجات ارائه شده بود. اکنون با تأملی دوباره بر صورت بندی آن مقاله ، درصدد بیان آن هستیم که فرضهای این صورت بندی به همراه دو فرض وحدت واجب و وجود حداقل یک موجود ممکن، منجر به تناقض می شود. ضمن بررسی سه راه حل ممکن برای حل تناقض، یعنی تغییر تعریف سلسله علی تام، تغییر اصل تعدی و تغییر اصل نامنعکس بودن رابطه علیت و توضیح نحوه ارتفاع تناقض ایجاد شده به کمک اصلاح آن ها، اصلاح تعریف سلسله علی تام بر راه حل های دیگر ترجیح داده می شود. این تغییر به همراه برخی تغییرات جزیی دیگر از جمله حذف محمول سلسله بودن در تعریف سلسله علی تام و نیز حذف محمول موجود بودن از کلیه مقدمات در صورت بندی برهان به صورت بندی جدیدی می انجامد که بر فرضهای کمتری نسبت به صورت بندی پیشین مبتنی است.