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