SORU: Bir önermenin metafizikçe olanaksız olması, bu önermenin hiçbir metafizikçe olanaklı dünyada doğru olmaması demektir tanımına örnek veriniz. Kısaca açıklayınız?
CEVAP: Örnek Ö6 ile ifade edilen, Önümdeki elma kırmızı1dir ve önümdeki elma yeşil1dir. Önümdeki elma kırmızı1dir ve önümdeki elma yeşil1dir önermesi metafizikçe olanaksızdır ancak ve ancak (i) DO gibi herhangi bir dünya için, DO metafizikçe olanaklı ise, Önümdeki elma kırmızı1dir ve önümdeki elma yeşil1dir DO dünyasında doğru değildir. (i)’i kanıtlamak için DO gibi herhangi (keyfi) bir metafizikçe olanaklı dünyayı ele alalım. Ö6: Önümdeki elma kırmızı1dir ve önümdeki elma yeşil1dir önermesi DO’da doğru olamaz. Nitekim Ö6, DO’da doğru olsaydı, hem önümdeki elmanın kırmızı1olma özelliğini taşıması durumu hem de önüm deki elmanın yeşil1-olma özelliğini taşıması durumu DO’ın O olgu kümesinin birer öğesi olurdu. Bu ise bir metafizik ilke olan belirlenmiş özelliklerin bağdaşmazlığı ilkesine aykırıdır. O halde DO metafizikçe olanaklı değildir. Bu, DO metafizikçe olanaklıdır varsayımıyla çelişir. Dolayısıyla, olmayana ergi metodu gereği, Ö6, DO’da doğru değildir. Böylece, DO herhangi (keyfi) bir dünya olduğundan, (i) kanıtlanmış olur. Dolayısıyla yukarıdaki örnek metafizikçe olanaksızdır.
