منطقهای زمانی، وظیفهای و معرفتی
سازوکار رابطهای منطق موجهات به زمان، الزام و دانش تعمیم مییابد و منطقهایی را در مورد آنچه بوده و خواهد بود، آنچه باید باشد و آنچه دانسته میشود، ارائه میدهد.
Definition
اینها منطقهای موجهات غیر-وجودی هستند که در آنها رابطه دسترسی بازتفسیر میشود: به عنوان ترتیب زمانی برای منطق وجهی، به عنوان دسترسی به جهانهای ایدهآل وظیفهای برای منطق وظیفهای، و به عنوان سازگاری با آنچه یک عامل میداند برای منطق معرفتی.
Scope
این موضوع، منطقهای قصدی اصلی را پوشش میدهد که دستگاه جهانهای ممکن منطق موجهات را به اشتراک میگذارند: منطق زمانی (وجهی) با عملگرهای گذشته و آینده که بر اساس ترتیبی از زمانها ارزیابی میشوند؛ منطق وظیفهای با عملگرهایی برای الزام، اجازه و منع؛ و منطق معرفتی با عملگرهایی برای دانش و باور که بر اساس جایگزینهای معرفتی ارزیابی میشوند. این شامل معماهای مشخصه آنها، مانند پارادوکسهای منطق وظیفهای و مسئله همهدانی منطقی است.
Core questions
- چگونه باید عملگرهای وجهی گذشته و آینده بر ساختارهای مختلف زمان اصلبندی شوند؟
- آیا میتوان الزام و اجازه را به عنوان عملگرهای موجهات در نظر گرفت، و چگونه پارادوکسهای وظیفهای حل میشوند؟
- آیا در نظر گرفتن دانش به صورت موجهات، تز غیرقابل قبول همهدانی منطقی را تحمیل میکند؟
- چه چیزی این منطقها را متحد میکند، و شباهتهای آنها در کجا از بین میرود؟
Key concepts
- عملگرهای وجهی (گذشته/آینده)
- الزام، اجازه، منع
- جهانهای ایدهآل وظیفهای
- جایگزینهای معرفتی
- همهدانی منطقی
- پارادوکسهای وظیفهای
Key theories
- منطق وظیفهای استاندارد
- فون رایت الزام را به عنوان حقیقت در تمام جهانهای ایدهآل وظیفهای قابل دسترس و اجازه را به عنوان حقیقت در برخی از آنها مدلسازی میکند، و یک سیستم اصلبندی ارائه میدهد که استنتاجهای اساسی را در بر میگیرد اما پارادوکسهای شناختهشدهای را ایجاد میکند.
- منطق معرفتی و جهانهای ممکن
- هینتیکا «الف میداند که پ» را به عنوان پ که در تمام جهانهای سازگار با اطلاعات الف برقرار است، تحلیل میکند، و منطق موجهات دانش و باور را بنیان مینهد و مسئله همهدانی منطقی را آشکار میسازد.
History
فون رایت منطق وظیفهای را در سال ۱۹۵۱ راهاندازی کرد و پرایور منطق وجهی را در طول دهههای ۱۹۵۰ و ۱۹۶۰ توسعه داد که اوج آن کتاب «گذشته، حال و آینده» (۱۹۶۷) بود. «دانش و باور» (۱۹۶۲) هینتیکا چارچوب موجهات را به عملگرهای معرفتی گسترش داد، و هر سه منطق بعدها کاربرد گستردهای در علوم کامپیوتر و نظریه بازیها پیدا کردند.
Debates
- مسئله همهدانی منطقی
- اینکه آیا تحلیل جهانهای ممکن از دانش به اشتباه دلالت بر این دارد که عاملان تمام نتایج منطقی آنچه را که میدانند، میدانند، و چگونه میتوان دانش محدود به منابع یا تکهتکه را بدون کنار گذاشتن چارچوب موجهات مدلسازی کرد.
Key figures
- Arthur Prior
- Georg Henrik von Wright
- Jaakko Hintikka
- Robert Stalnaker
Related topics
Seminal works
- vonwright1951
- prior1967
- hintikka1962
Frequently asked questions
- آیا اینها واقعاً انواعی از منطق موجهات هستند؟
- بله. منطقهای زمانی، وظیفهای و معرفتی همگی از همان معناشناسی چارچوب رابطهای منطق موجهات وجودی استفاده میکنند، تنها در نحوه تفسیر رابطه دسترسی متفاوت هستند — به عنوان ترتیب زمانی، ایدهآل وظیفهای، یا سازگاری معرفتی. این ساختار مشترک دلیلی است که نتایج و تکنیکها به راحتی بین آنها منتقل میشوند.