Logika Modal Terkuantifikasi dan Esensialisme

Ketika kuantifier dan operator modal berinteraksi, logika harus menghadapi apakah objek memiliki properti secara niscaya — esensialisme — dan bagaimana menafsirkan kuantifikasi di seluruh dunia yang mungkin.

Definition

Logika modal terkuantifikasi menggabungkan kuantifikasi tingkat pertama dengan operator modal; esensialisme adalah tesis bahwa objek memiliki beberapa propertinya secara niscaya (de re), terlepas dari bagaimana properti tersebut dijelaskan.

Scope

Topik ini mencakup perluasan logika modal dengan kuantifier dan identitas, serta komitmen metafisik yang dihasilkannya. Ini membahas formula Barcan dan konversnya, pilihan antara semantik domain konstan dan variabel, masalah identitas dan keberadaan di seluruh dunia, keberatan Quine terhadap modalitas de re, dan pembelaan Kripke terhadap esensialisme dan penunjukan kaku.

Core questions

• Bagaimana seharusnya kuantifier dan operator modal berinteraksi, dan apakah formula Barcan valid?
• Haruskah domain individu ditetapkan di seluruh dunia atau bervariasi?
• Apakah modalitas de re dapat dipahami, atau apakah ia runtuh di bawah keberatan Quine?
• Properti apa, jika ada, yang dimiliki objek secara esensial?

Key concepts

• Formula Barcan dan konversnya
• domain konstan vs. variabel
• identitas transdunia
• penunjukan kaku
• modalitas de re vs. de dicto
• properti esensial vs. aksidental

Key theories

Esensialisme dan penunjukan kaku

Kripke berpendapat bahwa nama diri adalah penunjuk kaku yang menunjuk objek yang sama di setiap dunia, yang membuat klaim modal de re koheren dan mendukung kebenaran niscaya tentang asal dan konstitusi.

Kritik Quine terhadap modalitas de re

Quine berpendapat bahwa kuantifikasi ke dalam konteks modal tidak dapat dipahami karena substitusi istilah yang merujuk bersama dapat mengubah nilai kebenaran, sehingga esensialisme akan memerlukan perbedaan yang tidak dapat diterima antara sifat niscaya dan aksidental suatu objek.

History

Ruth Barcan Marcus memulai logika modal terkuantifikasi pada tahun 1946-1947, membuktikan hasil tentang identitas dan memperkenalkan formula Barcan. Quine menyerang seluruh usaha tersebut sebagai terikat pada esensialisme yang tidak dapat dipahami, tetapi Naming and Necessity (1980) karya Kripke merehabilitasi modalitas de re melalui penunjukan kaku dan keniscayaan identitas, membuat esensialisme kembali terhormat.

Debates

Apakah modalitas de re koheren?

Apakah mengaitkan properti niscaya pada objek secara independen dari deskripsi dapat dipahami, seperti yang diimplikasikan oleh penunjukan kaku Kripke, atau apakah Quine benar bahwa pembicaraan semacam itu mengandaikan esensialisme yang tidak dapat dipertahankan.

Key figures

• Ruth Barcan Marcus
• Saul Kripke
• W. V. O. Quine
• Alvin Plantinga
• David Kaplan

Seminal works

• barcan1947
• quine1953reference
• kripke1980

Frequently asked questions

Apa itu formula Barcan?

Formula Barcan menyatakan bahwa jika mungkin ada sesuatu yang F, maka ada sesuatu yang mungkin F — memindahkan kuantifier eksistensial ke luar operator kemungkinan. Formula ini dan konversnya valid pada semantik domain konstan tetapi gagal ketika domain bervariasi di seluruh dunia, itulah sebabnya mereka berkaitan dengan apakah individu yang sama ada di setiap dunia yang mungkin.