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