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

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

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

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

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