فارابی، نراقی و غروی، مبتکران «برهان وجودی» در حکمت اسلامی

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