درخت حوزه‌های تخصصی

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

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