Nesne Ontolojisi, Varlıksal Öndayanaklar ve Bağımsız Mantıklar
Authors : Oğuz AKÇELİK
Pages : 1-16
View : 5 | Download : 3
Publication Date : 2019-12-31
Article Type : Research
Abstract :Modern mantıkta nicelemenin yapıldığı değer kümesi içinde her tekil terimin bir nesneye gönderimde bulunması gerekir. Bu, yüklemler, niceleme ve özdeşlik mantığının temel öndayanağıdır. Fakat bu durum, ifade edilebilirlik problemlerine ve çıkarım düzen dışılıklarına neden olur. Bağımsız mantık dizgeleri, boş tekil terim olarak adlandırılan ve herhangi bir gerçek nesneye gönderimde bulunmayan terimlerin yer aldığı önermelerin geçtiği argümanların çözümlenmesi ve geçerliliğinin sınanması için oldukça faydalı bir araçtır. Bu çalışmada bağımsız mantıkların dizgesel tanımlarını ve kaplamsal yorumlamalarını ele alacağız. Modern mantığın bir yönelimi olarak varlıksal öndayanaklardan bağımsız mantık dizgeleri, varlık olma niteliğini salt mantıksal zorunluluk olarak ele almaz. Bunun yerine ontolojik bir olanaklılık olarak ele alarak boş terimlerin geçtiği önermelerin kaplamsal yorumlamalarını mümkün kılar.Keywords : Varlıksal öndayanaklar, kaplamsal yorumlamalar, geçerlilik, bağımsız mantıklar, ontolojik olanaklılık