Ontology of Objects, Existential Assumptions and Free Logics
Oğuz AkçelikIn modern logic, each singular term must denote an object in the domain of quantification. This is due to the ontological assumptions of first order quantification logic with identity. However, this results in certain anomalies, i.e. expressibility and validity of inference problems. Free logic is a useful tool to analyze propositions and test the validity of arguments containing empty singular terms which have no referent in the domain of quantification. In this study, we will examine systematic definitions and extensional interpretations of free logics. One of the most promising future orientations of modern logic, free logic as a logic free of existential assumptions, does not take the concept of existence as a logical necessity. Instead, the fundamental assumption is that of ontological possibility, and hence it will be possible for propositions containing empty terms to have extensional interpretations.
Nesne Ontolojisi, Varlıksal Öndayanaklar ve Bağımsız Mantıklar
Oğuz AkçelikModern 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.
