SORU: Trop benzerliği kümelerinin metafizik açıklama aksiyomu nedir?
CEVAP: A bir somut nesne adı ise, A, B dir önermesinin doğruluğunun metafizik açıklayıcısı, A somut nesnesi, ‘B’ yükleminin gösterdiği trop-benzerliği kümesi’nin öğesi olan bir tropu taşır önermesidir. (b) A bir trop adı ise, A, B dir önermesinin doğruluğunun metafizik açıklayıcısı, A tropu, ‘B’ yükleminin gösterdiği trop-benzerliği kümesi’nin öğesidir önermesidir. (c) A bir nitelik adı ise, A, B dir önermesinin doğruluğunun metafizik açıklayıcısı, ‘A’ nitelik adının gösterdiği tropbenzerliği kümesi, ‘B’ yükleminin gösterdiği tropbenzerliği kümesinin alt kümesidir önermesidir. (d) A1 ve A2 iki somut nesne adı ise, A1 ve A2’nin B-lik’i aynıdır önermesinin metafizik açıklayıcısı, A1’in B-lik’i ve A2’in B-lik’i, tam-benzer troplardır önermesidir.
