Metafizik
Trop Adcılığı
Trop: "yinelenemez tikel özellik" Her trop bir ve yalnız bir tek somut nesne tarafından dolaysız olarak taşınan, yani yinelenemez olan bir belirlenmiş özelliktir. Bir tropu taşıyan somut nesneye tropun taşıyıcısı diyoruz. Tropun ise taşıyıcısının içinde olduğunu söylüyoruz. Tropların var olup olmadıkları ise uzun süreden beri tartışma konusu olmayı sürdürüyor.
Troplar her türlü özellik gibi tekli trop ve çoklu trop olmak üzere ikiye ayrılır. Tekli tropa nitelik tropu, çoklu tropa bağıntı tropu diyoruz. Her nitelik tropunun bir ve yalnız bir taşıyıcısı olmasına karşılık, her bağıntı tropunun birden çok sayıda taşıyıcısı vardır.
Sıkı trop Adcılığına göre, "Bu kalem yeşildir" önermesinden nitelik yükleminin elenmesi ile elde edilen önerme: "Bu kalemin yeşilliği vardır"
Trop Kuramları: Trop kategorisini temel kategori sayan kuramlardır. Trop kategorisinin yanı sıra tümel özellikleride temel kategori sayan kuramlara Gerçekçi Trop Kuramları, tümel özellikleri temel kategorileri arasında saymayanlara da Adcı Trop Kuramları diyoruz.
Sıkı Trop Adcılığı: Temel ontolojik ilişkisi somut nesne ile trop arasındaki Dolaysız Taşıma İlişkisidir. Sıkı Trop Adcılığına göre, "Acılık bir tattır" önermesinin metafizik açıklayıcısı "Acı olan her somut nesnenin acılığı bir tattır"dır.
Sıkı Trop Adcılığında günlük dilin özne-yüklem önermelerinin içinde geçen özellik adları elenir, yani bu önermeler, içinde özellik adları geçmeyen başka önermelere dönüştürülür.
Örnek: Sıkı Trop Adcılığına göre "Sokrates beyazdır" önermesinin metafizik açıklayıcısı "Sokrates, "Sokrates'in beyazlığı" tropunu dolaysız olarak taşır"
Trop Kümesi Adcılığının Temel Kategorileri: Somut Nesne, Trop ve Küme. Bu adcılıkta tümel özelliklerin işlevini ya doğal trop kümeleri ya da trop benzerliği kümeleri görür. Buna göre Trop Kümesi Adcılığının iki temel çeşidi vardır: Doğal Trop Kümesi Adcılığı ve Benzerlik Kümesi Adcılığı.
Doğal Trop Kümesi Adcılığı: Bu adcılık çeşidinin temel kategorileri: Somut Nesne, Trop, Küme, Doğal Nesne-Kümesi ve Doğal Trop-Kümesi kategorileridir. Bunların dışında temel ontolojik ilişki ve türetilmiş kategori yoktur. Bu Kuram Doğal Küme Adcılığının bir uzantısı sayılabilir. Nesne türü gösteren yüklem ve adlar, doğal küme adcılığında olduğu gibi, bu kuramda da doğal nesne kümelerini gösterir.
Trop-Benzerliği Kümesi Adcılığı: Temel kategorileri; Somut Nesne, Trop, Küme ve Doğal Nesne-Kümesi kategorileridir.Temel ontolojik ilişkileri ise dereceli trop-benzerliği ilişkileridir. Bunun dışında bu kuramda türetilmiş kategori olarak trop benzerliği kümeleri kategorisi vardır. Bu kuramda bir bakıma Benzerlik Adcılığının bir uzantısı sayılabilir. Nesne türü gösteren yüklem ve adlar, Benzerlik Adcılığında olduğu gibi, bu kuramda da birer benzerlik kümesini gösterirler.
Dereceli Trop Benzerliği İlişkileri
Farklı benzerlik kuvveti derecesinden olan troplar arası temel trop-benzerliği ilişkileri vardır. En kuvvetli dereceden olan trop-benzerliği ilişkisi'ne Tam Benzerlik İlişkisi, diğer derecelerden olanlarına da Tam Olmayan Benzerlik İlişkisi diyoruz. Gerek tam gerek tam olmayan benzerlik ilişkileri troplar arasında yansımalı ve bakışımlı olan ikili ilişkilerdir. Tam Benzerlik ilişkisi ayrıca geçişlidir. Tam Olmayan Benzerlik İlişkisi ise genellikle geçişli değildir.
