حسین عشاقی اصفهانی

محقق بزرگ محمدحسین غروی اصفهانی، معروف به کمپانی، در منظومه ی تحفه الحکیم، برهانی بر وجود خداوند اقامه کرده است که به لحاظ امتیازهایی که دارد مورد توجه صاحب نظران واقع شده است. برهان ایشان چنین است : «واجب الوجود موجود است»؛ زیرا اگر واجب الوجود معدوم باشد در این صورت، عدم چنین معدومی یا به این دلیل است که او حقیقتی ممتنع الوجود است و یا به این دلیل است که او یک حقیقت ممکن الوجود است که علت وجودش موجود نیست؛ زیرا هر ذات معدومی بخاطر یکی از این دو صورت معدوم است و به هر تقدیر خلف (فرض) لازم می آید. چرا که فرض این است که موضوع این گزاره، حقیقتی واجب الوجود بالذات دارد بنابراین، حقیقت واجب الوجود نمی تواند معدوم باشد، پس او موجود است.