هما رنجبر

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

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

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

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