Filsafat Metafisika [6]

Dunia  adalah semacam objek abstrak. Mari  anggap   dunia   adalah keadaan yang memungkinkan (ini adalah ide Plantinga; Kripke mengatakan tidak ada yang pasti). Pertimbangkan keadaan apa pun yang diberikan; katakanlah, Tokyo menjadi ibu kota Jepang. Keadaan ini didapat, karena Tokyo adalah ibu kota Jepang. Sebaliknya, keadaan wisata yang menjadi ibu kota  tidak diperoleh. 

Akan tetapi, keadaan terakhir ini memang ada, karena ada keadaan seperti itu. (Memperoleh demikian berarti keadaan sebagai kebenaran berarti proposisi: meskipun proposisi    adalah ibu kota Jepang  tidak benar, namun demikian ada proposisi semacam itu.) Keadaan urusan x dikatakan mencakup keadaan urusan y jika tidak mungkin bagi x untuk mendapatkan dan y untuk tidak mendapatkan. Jika mustahil untuk mendapatkan x dan y , maka masing-masing menghalangi yang lain. Suatu dunia yang mungkin hanyalah suatu keadaan yang memungkinkan, yang untuk setiap keadaan x, mencakup atau menghalangi x ; dunia yang sebenarnya adalah satu-satunya keadaan yang diperoleh.

  Di setiap dunia yang mungkin, setiap pengendara sepeda di dunia itu adalah bipedal di dunia itu. (Dengan anggapan   Quine pengendara sepeda adalah bipedal. Rupanya dia tidak melihat sepeda adaptif.) Meskipun demikian untuk pengendara sepeda tertentu, ada beberapa dunia yang mungkin di mana dia (orang yang sama) tidak bipedal. 

Setelah  menarik perbedaan ini,  dapat melihat   argumen Quine tidak valid. Secara lebih umum, pada teori KP, tesis tentang sifat esensial kembali tidak perlu analitik; mereka bermakna karena mereka menyatakan klaim tentang properti objek di berbagai dunia yang mungkin.

Dapat menggunakan gagasan tentang dunia yang mungkin untuk mendefinisikan banyak konsep modal lainnya. Misalnya, proposisi yang benar-benar benar adalah proposisi yang akan menjadi kenyataan tidak peduli apa pun kemungkinan dunia itu sebenarnya. Socrates adalah makhluk kontingen jika ada beberapa dunia yang mungkin sehingga ia tidak akan ada jika dunia itu aktual, dan ia memiliki properti "menjadi manusia" pada dasarnya jika setiap dunia yang mungkin termasuk keberadaannya   termasuk dirinya sebagai manusia. 

Sangat meningkatkan kejelasan wacana modal (dan khususnya wacana modal de re), tetapi dengan mengorbankan memperkenalkan ontologi modal, ontologi dunia yang mungkin.