برهان مفهومی از دیدگاه آنسلم و محقق اصفهانی (کمپانی)

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