زالتا

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

وحدت در گزاره های رمزانشی چکیده: درباره ی گزاره ها (ی متداول)، خانواده ای از مسئله ها وجود دارد که ذیل عنوان مسئله ی وحدت گزاره مطرح می شوند و از این می پرسند که چگونه یک گزاره، بازنمایاننده است؛ چگونه معنایی منسجم و واحد، فراتر از مجموع معانی دخیل در آن دارد و چگونه برخلاف اجزائش، قابل تصدیق و تکذیب است. در این مقاله، مسئله (ها)ی مشابهی درباره ی گزاره های رمزانشی –یعنی گزاره های حاوی حمل رمزانشی در برابر حمل متداول- مطرح خواهم کرد. فرض وجود این نوع حمل، ما را قادر می سازد تا عبارت هایی از این قبیل که "کوه طلا، کوه است" را بر خلاف تحلیل های کلاسیک، نه تنها معنادار بشماریم بلکه تصدیق کنیم. نشان خواهم داد که حمل متداول قابل فروکاست به رمزانش است و بر این مبنا راهکار منسجمی برای پاسخ به مسئله ی محوریِ وحدت گزاره پیش می کشم. پذیرش این راهکار، متضمن صورت بندی جدیدی از مسئله ی وحدت خواهد بود.

مسئله ای که در این مقاله پی گیری میکنیم آنست که آیا دو حمل گرایی ماینونگی موجه است؛ و فرضیه ما آنست که موجه نیست. به رغم این که نظام های منطقیِ دوحمل گرا ویژگی های صوری و معناشناختیِ اساساً متمایزی به حمل متداول و حمل ماینونگی (یا رمزانشی یا درونی) نسبت می دهند، خود دوحمل گراییِ ماینونگی خلاف شهود است. نشان می دهیم که وجوه اختلاف ادعاییِ این دو گونه ی حمل، فارغ از طبیعت این حمل ها هستند. این که گزاره های رمزانشی (یعنی آنها که حاوی حمل رمزانشی هستند) صرفاً در قالب نسبت های یک موضعی صورت بندی می شوند، این که نمی توان از آنها خاصیت های مرکب انتزاع کرد، این که مقید به بستار منطقی، ناتمامیت و ناسازگاری هستند، و این که اتفاقی نیستند، هیچ یک برآمده از سرشت رمزانش نیست و به کار تمایز نهادن میان انواع حمل نمی آید. همچنین معناشناسی های نظام های دوحمل گرا تنها هنگامی شهود های ما درباره ی طبیعتِ اشیاءِ ماینونگی را پاس می دارند که شهودهای دیگر ما درباره ی ثبات معنای حمل یا ثبات معنای شیء را نادیده انگارند. دوحمل گراییِ ماینونگی جواب نمی دهد.