منطق موجهات

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

Definition

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

Scope

این حوزه سیستم‌های صوری منطق موجهات و تفسیر فلسفی آن‌ها را پوشش می‌دهد. این شامل معناشناسی جهان‌های ممکن (کریپکی)، سلسله‌مراتب استاندارد سیستم‌های موجهات (K, T, S4, S5) و اصول موضوعه مشخصه آن‌ها، گسترش منطق موجهات با سورها و ارتباط آن با ذات‌گرایی و موجهات بالذات (de re modality)، و خانواده منطق‌های قصدی مرتبط — زمانی، وظیفه‌ای، و معرفتی — که از همان دستگاه چارچوب رابطه‌ای استفاده می‌کنند، می‌شود.

Sub-topics

• سیستم‌های موجه و اصول موضوعه آن‌ها
• معناشناسی جهان‌های ممکن
• منطق موجهات کمی و ذات‌گرایی
• منطق‌های زمانی، وظیفه‌ای و معرفتی

Core questions

• عملگرهای ضرورت و امکان چگونه باید تفسیر شوند، و جهان‌های ممکن چه هستند؟
• کدام اصول موضوعه بر استدلال موجهات صحیح حاکم هستند، و چگونه با ویژگی‌های رابطه دسترسی مطابقت دارند؟
• موجها چگونه با سورگذاری، هویت، و وجود اشیاء در جهان‌ها تعامل دارد؟
• آیا می‌توان منطق‌های قصدی مختلف — زمانی، وظیفه‌ای، معرفتی — را تحت یک چارچوب واحد متحد کرد؟

Key concepts

• ضرورت و امکان
• جهان‌های ممکن
• رابطه دسترسی
• سیستم‌های موجهات (K, T, S4, S5)
• موجها بالذات (de re) در مقابل موجها بالقول (de dicto)
• نام‌گذاری صلب

Key theories

معناشناسی جهان‌های ممکن (کریپکی)

جملات موجهات در جهان‌هایی که توسط یک رابطه دسترسی به هم متصل شده‌اند، ارزیابی می‌شوند: «ضرورتاً A» در یک جهان صادق است اگر و تنها اگر A در هر جهان قابل دسترسی صادق باشد، و تغییر ویژگی‌های رابطه منجر به سیستم‌های موجهات مختلف می‌شود.

واقع‌گرایی موجهات

لوئیس معتقد است که جهان‌های ممکن، جهان‌های عینی و متقابلاً مجزایی هستند که به اندازه جهان واقعی، واقعی هستند و یک حقیقت‌ساز کاهشی برای ادعاهای موجهات با هزینه یک هستی‌شناسی گزاف ارائه می‌دهند.

History

سی. آی. لوئیس در اوایل قرن بیستم منطق موجهات را برای دربرگرفتن استلزام اکید احیا کرد، اما تا زمانی که کریپکی (و به طور مستقل هینتیکا و کانگر) مدل‌های رابطه‌ای جهان‌های ممکن را در حدود سال‌های ۱۹۵۹-۱۹۶۳ ارائه کردند، فاقد معناشناسی واضحی بود. این امر جرقه متافیزیک موجهات را زد، با واقع‌گرایی موجهات لوئیس و واقع‌گرایی پلانتینگا به عنوان دیدگاه‌های رقیب در مورد چیستی جهان‌های ممکن.

Debates

هستی‌شناسی جهان‌های ممکن

اینکه آیا جهان‌های ممکن، جهان‌های عینی موجود هستند (واقع‌گرایی موجهات لوئیس) یا موجودیت‌های انتزاعی مانند حالات حداکثری امور یا مجموعه‌ای از گزاره‌ها (واقع‌گرایی)، و کدام دیدگاه بهترین مبنا را برای حقیقت موجهات فراهم می‌کند.

Key figures

• Saul Kripke
• C. I. Lewis
• Rudolf Carnap
• David Lewis
• Ruth Barcan Marcus
• Alvin Plantinga

Seminal works

• kripke1963
• lewis1986plurality
• hughescresswell1996

Frequently asked questions

تفاوت بین موجهات بالذات (de re) و موجهات بالقول (de dicto) چیست؟

یک ادعای موجهات بالقول، ضرورت یا امکان را به یک گزاره کامل نسبت می‌دهد ('ضرورتاً، همه مجردها ازدواج نکرده‌اند')، در حالی که یک ادعای بالذات، یک ویژگی موجهات را به یک شیء مستقل از نحوه توصیف آن نسبت می‌دهد ('این مرد ضرورتاً انسان است'). این تمایز در بحث‌های مربوط به ذات‌گرایی محوری است.