یکی از راههای اثبات وجود خدا، اثبات از طریق مفهوم است. در این روش، تنها از طریق یک مفهوم ذهنی مثل مفهوم واجبالوجود ، مفهوم کاملترین و مفهوم بزرگترین، وجود واجب تعالی در خارج اثبات میشود بدون این که به جهان خارج رجوع و از واقعیتهای عینی و موجودات طبیعت کمک گرفته شود. بر این اساس، برهان مفهومی یک برهان پیشینی و قبل از تجربه است. این برهان را در غرب اولین بار قدیس آنسلم (1033-1109) متکلم قرن 11 میلادی و اسقف کلیسای کانتربری مطرح کرد و از زمان کانت، «برهان وجودی» نامیده شد. بر این برهان، اشکالات متعددی وارد شده که مهم ترین آنها اشکال خلط بین حمل اولی و حمل شایع است که اندیشمندان اسلامی آن را مطرح کردهاند. در میان اندیشمندان اسلامی اولین بار فارابی این برهان را ارائه و سپس اندیشمندان دیگری آن را مطرح کردهاند که موجزترین و متقنترین بیان را مرحوم محمد حسین اصفهانی معروف به کمپانی مطرح کرده است. مقالۀ حاضر بر آن است که برهان ایشان را تبیین و با برهان آنسلم مقایسه کند و اشکالاتی را که بر برهان محقق اصفهانی وارد شده است، پاسخ دهد.
