İsimlerin kardinalite karşılaştırmasından ve kesişen sıfatlardan oluşan bir sillojistik lojiğin algoritmik analizi ve bir bilgisayar uygulaması

Abstract

Hazırlanan çalışmanın giriş bölümünde, tezin oluşmasında rol alan tarihsel bilgiler ve tez hakkında genel bilgi verilmiştir.İkinci kısımda, Aristo sillojizminin klasik ve modern bakış açıları hakkında bilgiler verilmiştir. Ayrıca klasik ve modern sillojizm arasındaki farklılıklardan bahsedilmiştir.Üçüncü kısımda materyaller bölümünde ise tezin daha rahat anlaşılabilmesi için gerekli tanımlar verilmiştir. Dördüncü ve son bölümde L(More,IA) dilinin lojiğine ait türetim ve karşıt model algoritmaları verildi ayrıca bu algoritmalarınbir uygulaması Python programı kullanılarak oluşturuldu.

In the introductory part of the prepared work, historical information on the role of the thesis and general information about the thesis are given.In the second part, information about the classical and modern aspects of Aristotele's syllogism is given. Also, the differences between classical and modern syllogism is mentioned.In the third part, in the material section, definitions are given so that the thesis can be understood more easily.In the fourth and last chapter, the derivation and counter model algorithms of L(More,IA) language are given. In addition, an implementation of these algorithms is built using the Python program.