مجموعه ممکنات

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

براهین اثبات واجب الوجود، براساس چگونگی ارتباطشان با تسلسل، به سه دسته تقسیم می شوند: 1) از ابطال تسلسل، واجب را اثبات می کنند؛ 2) لابشرط از وجود یا عدم تسلسل، واجب را اثبات می کنند؛ 3) براساس فرض تسلسل، واجب الوجود را اثبات می کنند. برهان ابن سینا تنها برهان دسته سوم است. این نوشتار سه گام اصلی دارد: در گام نخست، به برهان ابن سینا پرداخته ایم و از زبان شارح مواقف، به اشکال صدرا بر این برهان پاسخ گفته ایم؛ در دومین گام، برای اثبات واجب، طرحی نو درانداخته و برهان دیگری از دسته سوم صورت بندی کرده ایم؛ مقایسه این برهان بدیع با برهان سینوی و بیان شباهت ها و تفاوت های آن ها، آخرین گام این پژوهش است.