METAFİZİK

Ait olduğu nesne türüne özgü her fonksiyon biçiminde en üst türden
belirlenebiliri örnekleyen bir ve yalnız bir trop taşyan bir somut nesne yalın somut nesnedir.

Öte yandan (belli bir) t-anındaki-elektron bir yalın somut nesnedir. Nitekim t-anındaki-elektron Uzay ve Zaman belirlenebilirleri altında yalnız birer uzay ve zaman tropu ile Kütle, Elektrik Yükü ve Spin Değeri belirlenebilirleri altında yalnız birer kütle-tropu, elektrik-yükü tropu ve spin-değeri tropu taşır.

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

Denkel ise Simons’un kuramını yetersiz bularak kendi Sınırlandırılmış-İçsel Biraradalık Bağıntıları’na Dayanan Trop Demeti Kuramı’nı ortaya atmıştır.

Somut nesnenin bir özelliğinin değişmesi, somut nesnenin yok olmasına yol açıyorsa bu özelliğe özsel, yol açmıyorsa ilineksel denir.

Denkel’in tanımına göre, varolmaları durumunda fizik yasaları gereği birarada bulunmaları gereken troplar sınırlandırılmış-içsel birarada troplardır.

Başlıca somut nesne örnekleri, canlı ve cansız nesneler ile kişilerdir. Şimdi yukarıdaki tanıma ve örneklere dayanarak, Somut Nesne kategorisinin başlıca özelliklerini sıralıyoruz.
• Somut nesne tikeldir.
• Somut nesne özellik taşıyıcısıdır.
• Somut nesne olumsal bir varlıktır.
• Somut nesne sonlu bir zaman aralığında (sürede) vardır.
• Somut nesne uzayda bir yer kaplar.
• Somut nesne özdeşliğini koruyarak nitelikçe değişebilir ve/veya devinebilir.
• Somut nesne tam-somuttur.
• Somut nesnenin varlığı bağımsızdır.
Somut nesnenin çözümlemesini yapan trop kuramları da, somut nesnenin yukarıda sıralanan niteliklerini yerine getirmelidir.

Çıplak taşıyıcı tropların içsel birliğini ve somut nesnelerin bağımsızlığını sağlar. Ayrıca somut nesnelerin değişim ve devinime rağmen özdeş kalabilmelerini açıklar.

Somut nesneler, ait oldukları nesne türüne özgü belli özellik türlerini (yani trop
türlerini) örnekleyen troplar taşırlar. Bu özellik türleri,  Renk, Şekil, Ağırlık, Uzay,
Zaman gibi belirlenebilir özelliklerdir.

Biraradalık bağıntısının metafizik özellikleri ile ilgili problemler sonucunda Simons Çekirdekli Trop Demeti Kuramı’nı geliştirmiş, Denkel ise Simons’unıkuramını yetersiz bularak kendi Sınırlandırılmış-İçsel Biraradalık Bağıntıları’na Dayanan
Trop Demeti Kuramı’nı ortaya atmıştır.

Bu Gerçekçi Trop Kuramı’nın temel kategorileri, Somut Nesne,
Küme, Trop, Trop Türü (Tümel Özellik) ve Nesne Türü kategorileridir.

Bu kuramda, çıplak taşıyıcı ne bir troptur ne de taşıdığı troplar kendisinin özellikleridir;
yani çıplak taşıyıcı, özellikten yoksun bir şey olarak tasarlanmıştır.

Çıplak Taşıyıcılı Trop Kuramı özellikle deneyci felsefeciler tarafından eleştirilmiştir.
Bu felsefecilere göre bir metafizik kuramın temel ontolojik kategorilerine ait
şeyler deneyime konu olan şeyler olmalıdır. Oysa çıplak taşıyıcı hiçbir özelliğe sahip
olmadığı için deneyime konu olamaz, dolayısıyla da çıplak taşıyıcı denilen bir
ontolojik kategori olduğunu ileri sürmek anlamsızdır.

Nitelik Troplu Demet Kuramı’nın temel ontolojik kategorisi Trop kategorisi, temel
ontolojik ilişkisi Biraradalık ilişkisi, türetilmiş ontolojik kategorisi ise Trop Demeti
kategorisi olup, bu kategori Somut Nesne kategorisinin işlevini görür.

Yalın somut nesnelere iki örnek vereceğiz:
Makro-fiziksel örnek: Belli bir yerde belli bir süre için bulunan çok bir küçük
kırmızı boya beneği, bir yalın somut nesnedir. Bu türlü bir somut nesneye özgü
fonksiyon biçiminde en üst trop türleri, Renk, Zaman ve Uzay belirlenebilir trop
türleridir. Buna göre söz konusu boya beneği, belli bir renk tropu (Kırmızılık tonu),
belli bir zaman tropu ve belli bir uzay tropunu taşır.
Mikro-fiziksel örnek: Günümüzün Fizik bilimine göre, tüm fiziksel somut nesneler
kuark, elektron, foton gibi bölünmez atom-altı parçacıklardan oluşur. Ancak
bu bölünemez somut nesneler bile yalın somut nesneler değildir. Çünkü her
ne kadar böyle bir bölünemez somut nesnenin uzaysal uzanımı tek bir uzay tropu
sayılabilse de, zamansal uzanımı birden çok sayıda trop kapsayabilir.

Nitelik Troplu Demet Kuramı’nın ana görevi, somut nesnenin, troplardan Biraradalık
ilişkisi yardımıyla nasıl oluştuğunu ortaya koymaktır.

Yalın somut nesnelerin değişimi veya devinimi olamaz. Nitekim bunlar belli
bir zaman ve yerle sınırlıdır.

Nitelik ve Bağıntı Troplu Demet Kuramları, daha önce incelenen Nitelik Troplu
Demet Kuramı’nın bir uzantısı sayılabilir. 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.

Herhangi bir somut nesnenin özellikleri (bu bağlamda birli tropları) geleneksel
olarak özsel ve ilineksel olarak ikiye ayrılır.

Denkel (1997, s. 604-606) somut nesne anlayışına dayanarak troplar arası biraradalık
bağıntılarını, kendi deyimiyle “yaklaşık” ve “eğretilemeli” olarak, “doygunluk”
(“saturation”) adını verdiği bir kavramla açıklamaya çalışıyor