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