Kategoriksel sillogismlerin geçerliliğinin saptanması için yazılım geliştirme

Bu projede ilk olarak sillogism kavramının ortaya konmasının dayandığı gereksinimlerden ve kullanıldığı alanlara dair örneklerden bahsedilmiş, araştırmacıların elde ettiği sonuçlara ilişkin bilgiler verilmiş, projeyi oluşturan bölümlerin içerikleri üzerinde durulmu ştur. Projenin anlaşılabilirliğini kolaylaştırmak amacıyla ihtiyaç duyulan temel kavramlara yer verilmiştir. Ardından, kategoriksel sillogismler Carroll diyagramlarıyla tanımlanarak, öncüllerden bir sonuç türetebilen, öncüller ve sonucu birer kümeye eşleyen matematiksel bir model inşa edilmiştir. Bu model koşullu veya koşulsuz sillogismlerde geçerli olacak şekilde belirlenmiştir. Oluşturulan bu kümeler ailesi farklı cebirsel yapılara dayandırılmıştır. Bu bilgiler doğrultusunda, inşa edilen modele dayanan ve geçerli sillogismleri elde eden yeni bir algoritma oluşturulmuş ve bir yazılım geliştitilmiştir. Bu algoritmanın psuedo kodu verilmiş ve yazılımın nasıl çalıştığı görselleriyle birlikte aktarılmıştır. Son olarak, proje süresince yapılan çalışmalar özetlenmiş, bu çalışmalar neticesinde ortaya çıkan sonuçlardan kısaca bahsedilmiştir.;Sillogism, Geçerlilik, Tamlık, Redüksiyon, Algoritma, Yazılım.;Syllogisms, Validity, Completeness, Reduction, Algorithm, Software.