Olanaklı dünyalar, mantıkça olanaklı, metafizikçe olanaklı ve fizikçe olanaklı olmak üzere üç çeflide
ayrılır.

Olanaklı dünyaları, mantıkça olanaklı, metafizikçe olanaklı ve fizikçe olanaklı olmak üzere üç çeşide ayırabiliriz. Olanaklı dünya tanımının (i) koşulunda yalnız “mantıksal bağdaşmazlık”, (ii) koşulunda ise yalnız “mantıksal gerektirme” yer alırsa, olanaklı dünyaya mantıkça olanaklı dünya denir. Olanaklı dünya tanımının (i) koşulunda yalnız “mantıksal bağdaşmazlık” ile “metafiziksel bağdaşmazlık”, (ii) koşulunda ise yalnız “mantıksal gereklilik” ile “metafiziksel gerektirme” yer alırsa, olanaklı dünyaya metafizikçe olanaklı dünya denir. Son olarak, olanaklı dünya tanımının (i) koşulunda “mantıksal bağdaşmazlık”, “metafiziksel bağdaşmazlık” ve “fiziksel bağdaşmazlık”ın üçü birden, (ii) koşulunda ise “mantıksal gerektirme”, “metafiziksel gerektirme” ve “fiziksel gerektirme”nin üçü birden yer alırsa, olanaklı dünyaya fizikçe olanaklı dünya denir. Doğru cevap A’dır.

Kim’in olay kuramında somut nesne ve zaman anları temel tikel kategoriler, özellik ise temel tümel kategoridir. Olay kategorisi ise, yapı taşları bu üç kategoriden oluşan türetilmiş bir kategoridir. Ancak Kim amacının olay kategorisini bu üç kategoriye indirgemek olmadığını belirtmiştir.

Bütün bileşenleri aynı bir yalın somut nesneye ait olan bir trop bileşimi trop demeti
olarak adlandırılır. Doğru yanıt C seçeneğidir.

Davidson’un (12) önermesi ile dile getirilen özdeşlik koşulu biri biçimsel öbürü
içeriksel olmak üzere iki yönden eleştirilmiştir. Biçimsel yönden bir kısır döngüsellik içerdiği öne sürülmüştür. Nitekim (12) gereği olayların özdeşliğii, F değişkeninin  değerleri olan olayların varlığını gerektir. Ancak o zaman bu olayların özdeşlik koşullarının önceden verilmiş oldu¤unu varsaymamız gerekir. Bu ise koşulun bir kısır döngüsellik içerdiğini gösterir. İçeriksel yönden olan eleştiri ise, nedeni ya da etkisi olmayan olayların varlığına dayanır. Kuantum olayları böyle olaylardır. Dolayısıyla (12) koşulu bu tür olayların özdeşlik ölçütünü veremeyecektir. 

Bu yeni kuramın temel ontolojik kategorileri, hem nitelik hem bağıntı troplarını kapsayan Trop kategorisi ile nitelik ve bağıntı trop kümelerini kapsayan genel Küme kategorisidir. Trop demeti kategorisi ise türetilmiş kategoridir. Doğru yanıt C seçeneğidir.

Lombard’ın kuramında, belirlenmiş özellikler birer trop değil, yinelenebilir tümel özelliklerdir. Bu kuramda olaylar ile somut nesneler arasındaki benzerlikler ve farklılıklar şunlardır. Her ikisi örnekleyenleri veya taşıyıcıları olmamaları bakımından tikeldir. Buna karşılıkk bizim deyimimizle somut nesneler tam somut iken olaylar yarı somut - yarı soyuttur. Lombard’in kendisi olayları soyut tikel olarak niteliyor.

Durumların soyut tikeller olup uzay ve zaman dışında zorunlu olarak varolduğunu ve yapı taşları arasında somut şeyler bulunmadığını kabul eden anlayışa " soyutçu durum anlayışı " denir

Çıplak Taşıyıcının Yadsınması İlkesi: Hiçbir olgunun yapıtaşı olmayan somut nesne bulunmaz.

Ilımlı varolancı anlayışta ise varolmayan nesneler kabul edilmemekle birlikte gerçek olmayan salt olanaklı durumlar kabul edilmektedir. Bu durumda gene salt olanaklı durumlar ancak olanaklı bir
dünyada yer bulabilir.

Somut nesne, zaman ve/veya uzayda yer alıp, örnekleyeni de taşıyıcısı da olamayan şey demektir.

Kitle türlerini insan, Gezegen gibi birey türlerinden ayıran şudur: Kitle türlerinin örnekleyenleri, bireylerin tersine, doğal olarak birbirinden ayrı değildir, bir değildir, dolayısıyla da sayılamazlar

Bütün bileşenleri aynı bir yalın somut nesneye ait olan bir trop bileşimi trop demeti olarak adlandırılır.

Bir anlayışa göre durumlar, soyut tikeller olup uzay ve zaman dışında zorunlu olarak varolur ve yapı taşları arasında somut şeyler bulunmaz. Bu soyut durumlar ya gerçektir ya da salt olanaklıdır. Bu anlayışa göre olgular gerçek olan durumlardır. Bu görüşe
soyutçu durum anlayışı denilmiştir

Kuvvetli Leibniz Özdeşlik Ölçütü, "x ile y özdeştir ancak ve ancak x ile y’nin tüm içkin özellikleri aynı ise" önermesi ile ifade edilir. Doğru yanıt D seçebeğidir.