Logika Modal
Logika modal menambahkan operator untuk keniscayaan dan kemungkinan pada logika klasik, menyediakan perangkat formal di balik penalaran tentang apa yang harus, mungkin, seharusnya, atau akan terjadi.
Definition
Logika modal adalah studi tentang inferensi yang melibatkan operator keniscayaan dan kemungkinan (serta analognya), yang diinterpretasikan melalui model di mana kalimat dievaluasi relatif terhadap dunia-dunia yang mungkin yang dihubungkan oleh relasi aksesibilitas.
Scope
Area ini mencakup sistem formal logika modal dan interpretasi filosofisnya. Ini membahas semantik dunia-mungkin (Kripke), hierarki standar sistem modal (K, T, S4, S5) dan aksioma karakteristiknya, perluasan logika modal dengan kuantor dan hubungannya dengan esensialisme dan modalitas de re, serta keluarga logika intensional terkait — temporal, deontik, dan epistemik — yang berbagi aparatus kerangka relasional yang sama.
Sub-topics
Core questions
- Bagaimana operator keniscayaan dan kemungkinan seharusnya diinterpretasikan, dan apa itu dunia-dunia yang mungkin?
- Aksioma mana yang mengatur penalaran modal yang benar, dan bagaimana aksioma tersebut berhubungan dengan properti relasi aksesibilitas?
- Bagaimana modalitas berinteraksi dengan kuantifikasi, identitas, dan keberadaan objek di seluruh dunia?
- Dapatkah berbagai logika intensional — temporal, deontik, epistemik — disatukan dalam satu kerangka kerja?
Key concepts
- keniscayaan dan kemungkinan
- dunia-dunia yang mungkin
- relasi aksesibilitas
- sistem modal (K, T, S4, S5)
- modalitas de re vs. de dicto
- penunjukan kaku
Key theories
- Semantik dunia-mungkin (Kripke)
- Kalimat modal dievaluasi di dunia-dunia yang dihubungkan oleh relasi aksesibilitas: 'niscaya A' benar di suatu dunia jika dan hanya jika A benar di setiap dunia yang dapat diakses, dan variasi properti relasi menghasilkan sistem modal yang berbeda.
- Realisme modal
- Lewis berpendapat bahwa dunia-dunia yang mungkin adalah alam semesta konkret yang saling terisolasi dan sama nyatanya dengan dunia aktual, menyediakan penentu kebenaran reduktif untuk klaim modal dengan biaya ontologi yang mewah.
History
C. I. Lewis menghidupkan kembali logika modal pada awal abad ke-20 untuk menangkap implikasi ketat, tetapi logika ini tidak memiliki semantik yang jelas sampai Kripke (dan secara independen Hintikka dan Kanger) menyediakan model dunia-mungkin relasional sekitar tahun 1959-1963. Ini memicu metafisika modalitas, dengan realisme modal Lewis dan aktualisme Plantinga sebagai penjelasan yang bersaing tentang apa itu dunia-dunia yang mungkin.
Debates
- Ontologi dunia-dunia yang mungkin
- Apakah dunia-dunia yang mungkin adalah alam semesta konkret yang ada (realisme modal Lewis) atau entitas abstrak seperti keadaan maksimal atau himpunan proposisi (aktualisme), dan penjelasan mana yang paling baik mendasari kebenaran modal.
Key figures
- Saul Kripke
- C. I. Lewis
- Rudolf Carnap
- David Lewis
- Ruth Barcan Marcus
- Alvin Plantinga
Related topics
Seminal works
- kripke1963
- lewis1986plurality
- hughescresswell1996
Frequently asked questions
- Apa perbedaan antara modalitas de re dan de dicto?
- Klaim modal de dicto mengaitkan keniscayaan atau kemungkinan pada keseluruhan proposisi ('niscaya, semua bujangan tidak menikah'), sedangkan klaim de re mengaitkan properti modal pada suatu objek secara independen dari bagaimana objek itu digambarkan ('pria ini niscaya adalah manusia'). Perbedaan ini sentral dalam perdebatan tentang esensialisme.