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

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

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

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