Kategorik Sillogismlerin Geçerliğinin Saptanması için Yazılım Geliştirme
Proje no. 21267 · Durum: Kapanmış · 2020
Özet
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çeerikleri ü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, önceller 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üumeler 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 ¸calıştığı görselleriyle birlikte aktarılmıştır. Son olarak, proje süresince yapılan ¸calışmalar özetlenmiş, bu çalışmalar neticesinde ortaya çıkan sonuçlardan kısaca bahsedilmiştir.