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