جستجوي پيشرفته | کتابخانه مجازی الفبا

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

برهان آنسلم یکی از نمونه‌های نامور برهان وجودی است که می‌کوشد وجود «آن‌چه فراتر از آن قابل تصور نیست» را اثبات کند. در نگاره حاضر، چهار مورد از صورت‌بندی‌های منطقی این برهان مورد بررسی قرار می‌گیرد؛ نخست به صورت‌بندی اوپنهایمر و زالتا (1991) پرداخته می‌شود که با ارائه یک مدل مبتنی بر تصورپذیری و در نتیجه بازسازی یک زیربرهان، تلاش می‌شود فاصله میان متن آنسلم و مقدمات نویسندگان پر شود. بر اساس این زیربرهان، یکی از نقدهای وارد بر این برهان ـ مسئله امکان خدای آنسلمی ـ نمود یافته و پاسخ‌های محتمل به آن بررسی می‌شوند. در فصل پایانی کار، به‌اختصار صورت‌بندی‌های میلیکان (2004)، لوئیس (1970) و کینگ (1984) گزارش و بررسی می‌شوند که طی آن، نگارنده می‌کوشد نقدهایی بر این صورت‌بندها وارد کند. در پایان، تلاش می‌شود با ایجاد تغییراتی در برهان وجودی، صورت‌بندی نوینی ارائه شود که بخش عمده‌ای از نقدهای وارد بر صورت‌بندی‌های پیشین را پاسخ دهد. با این حال، چنین به نظر می‌رسد که این صورت‌بندی ـ در به‌ترین حالت ـ اثبات می‌کند که خدای آنسلمی در ذهن واجد ویژگی «وجود در خارج» است. اما نقد مهمی که پیرامون «فرض تعدی ویژگی‌ها» مطرح می‌شود، نشان می‌دهد که نه‌تنها این صورت‌بندی‌ها، بل‌که بخش عمده‌ای از صورت‌بندی‌های برهان وجودی آنسلم با مشکل مواجه خواهند شد.

یکی از صورت‌بندی‌های مربوط به برهان وجودی آنسلم، متعلق به اوپنهایمر و زالتا است که در مقاله‌ای مشترک، بر اساس منطق آزاد و مفهوم تصورپذیری، تقریری از این برهان ارائه داده‌اند. این صورت‌بندی بر دو مقدمه مبتنی است. نوشتۀ حاضر، پس از ارائۀ گزارشی از تقریر اوپنهایمر و زالتا، به تحلیل یکی از مقدمات پرداخته و با گسترش مدل معنایی زالتا، استدلالی برای پشتیبانی از آن ارائه می‌دهد که بر دو مقدمۀ دیگر استوار خواهد بود. ادعا این است که این صورت‌بندی با متن آنسلم هماهنگی بیش‌تری دارد.