Logika Temporal, Deontik, dan Epistemik

Mekanisme relasional logika modal menggeneralisasi waktu, kewajiban, dan pengetahuan, menghasilkan logika tentang apa yang telah dan akan terjadi, apa yang seharusnya terjadi, dan apa yang diketahui.

Definition

Ini adalah logika modal non-aletik di mana relasi aksesibilitas diinterpretasikan ulang: sebagai urutan temporal untuk logika kala, sebagai akses ke dunia ideal secara deontik untuk logika deontik, dan sebagai kompatibilitas dengan apa yang diketahui agen untuk logika epistemik.

Scope

Topik ini mencakup logika intensional utama yang berbagi perangkat dunia-mungkin (possible-worlds apparatus) logika modal: logika temporal (kala) dengan operator masa lalu dan masa depan yang dievaluasi berdasarkan urutan waktu; logika deontik dengan operator untuk kewajiban, izin, dan larangan; dan logika epistemik dengan operator untuk pengetahuan dan kepercayaan yang dievaluasi berdasarkan alternatif epistemik. Ini mencakup teka-teki karakteristiknya, seperti paradoks logika deontik dan masalah kemahatahuan logis (logical omniscience).

Core questions

• Bagaimana operator kala lampau dan masa depan seharusnya diaksiomatisasi berdasarkan struktur waktu yang berbeda?
• Dapatkah kewajiban dan izin diperlakukan sebagai operator modal, dan bagaimana paradoks deontik diselesaikan?
• Apakah memperlakukan pengetahuan secara modal memaksakan tesis kemahatahuan logis yang tidak masuk akal?
• Apa yang menyatukan logika-logika ini, dan di mana analogi-analogi mereka terputus?

Key concepts

• operator kala (masa lalu/masa depan)
• kewajiban, izin, larangan
• dunia ideal secara deontik
• alternatif epistemik
• kemahatahuan logis
• paradoks deontik

Key theories

Logika deontik standar

von Wright memodelkan kewajiban sebagai kebenaran di semua dunia ideal secara deontik yang dapat diakses dan izin sebagai kebenaran di beberapa dunia, memberikan sistem aksiomatik yang menangkap inferensi dasar tetapi menghasilkan paradoks yang terkenal.

Logika epistemik dan dunia-mungkin

Hintikka menganalisis 'a mengetahui bahwa p' sebagai p yang berlaku di semua dunia yang kompatibel dengan informasi a, mendirikan logika modal pengetahuan dan kepercayaan serta mengungkap masalah kemahatahuan logis.

History

von Wright meluncurkan logika deontik pada tahun 1951 dan Prior mengembangkan logika kala sepanjang tahun 1950-an dan 1960-an, yang berpuncak pada Past, Present and Future (1967). Knowledge and Belief (1962) karya Hintikka memperluas kerangka modal ke operator epistemik, dan ketiga logika ini kemudian menemukan aplikasi yang luas dalam ilmu komputer dan teori permainan.

Debates

Masalah kemahatahuan logis

Apakah analisis dunia-mungkin tentang pengetahuan secara keliru menyiratkan bahwa agen mengetahui semua konsekuensi logis dari apa yang mereka ketahui, dan bagaimana memodelkan pengetahuan yang terbatas sumber daya atau terfragmentasi tanpa meninggalkan kerangka modal.

Key figures

• Arthur Prior
• Georg Henrik von Wright
• Jaakko Hintikka
• Robert Stalnaker

Seminal works

• vonwright1951
• prior1967
• hintikka1962

Frequently asked questions

Apakah ini benar-benar jenis logika modal?

Ya. Logika temporal, deontik, dan epistemik semuanya menggunakan semantik kerangka relasional yang sama dengan logika modal aletik, hanya berbeda dalam bagaimana relasi aksesibilitas diinterpretasikan — sebagai urutan waktu, idealitas deontik, atau kompatibilitas epistemik. Struktur bersama inilah mengapa hasil dan teknik dapat dengan mudah ditransfer di antara mereka.