SORU: Sıkı Trop Adcılığı’nda Metafizik Açıklama Aksiyomu neyi ifade eder?
CEVAP: (a) (i) A bir somut nesne adı, B bir 1-li yüklem ise, A, B dir ve dolayısıyla A’nın B-lik ’i vardır önermesinin doğruluğunun metafizik açıklayıcısı, A somut nesnesi, A’nın B-lik’i tropunu dolaysız olarak taşır önermesidir. (ii) A1, ..., An somut nesne adları, Bn, nli (n ?2) bir yüklem ise, (A1, ..., An), Bn dir ve dolayısıyla (A1, ..., An)’nin Bn-lik ’i vardır önermesinin doğruluğunun metafizik açıklayıcısı, (A1, ..., An) somut nesneler n-lisi, (A1, ..., An)’nin Bn-lik ’i tropunu dolaysız olarak taşır önermesidir. (b) (i) A bir nitelik adı, B bir 1-li yüklem ise, A, B dir önermesinin doğruluğunun metafizik açıklayıcısı, Her Alık ’ı var olan şeyin A-lık ’ı B dir önermesidir. (ii) An-lik bir n-li (n ? 2) bağıntı adı ve B bir 1-li yüklem ise, Anlik B dir önermesinin doğruluğunun metafizik açıklayıcısı, Her An-lik ’i var olan şeyin An-lik ’i B dir önermesidir.
