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