اضافه مقولى

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