رأی سنتی درباره صدق‌های منطقی، آن‌ها را ضروری می‌داند اما به ضروری بودن این صدق‌ها از منظرهای مختلف انتقادهایی وارد شده است. دیوید کاپلان و ادوارد زالتا با معرفی عملگرهایی منطقی مدعی‌اند که می‌توان جملاتی ساخت که بنا بر تعریفِ متعارف صدق منطقی باشند، با این حال در همه جهان‌ها صادق نباشند. ویلیام هانسن مثال‌های زالتا را مبتنی بر پیش‌فرض‌هایی ناموجه می‌داند و به‌ویژه مفهوم اعتبار جهان بالفعل را تل...

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

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

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

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

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

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

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

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

دانش نامه فلسفه استنفورد،[i] چنان که از عنوان آن پیدا است، منبعی دانش نامه ای به زبان انگلیسی است که در فضای مجازی اینترنت به صورت رایگان در اختیار علاقه مندان به فلسفه و نیز طیف وسیعی از موضوعات عام دیگر قرار گرفته است. طرح راه اندازی این دانش نامه اینترنتی نخستین بار در سال 1995 مطرح شدو ادواردان. زالتا[ii]از دانشگاه استنفورد سرپرستی آن را بر عهده گرفت. در ایران اما طرح گزینش و ترجمه شماری از...