Modal Mantıkta Sıkı İçerme Kavramı

---

Tezin Türü: Yüksek Lisans

Tezin Yürütüldüğü Kurum: İstanbul Üniversitesi, Sosyal Bilimler Enstitüsü, Edebiyat Fakültesi Bölümü, Türkiye

Tezin Onay Tarihi: 2014

Tezin Dili: Türkçe

Öğrenci: İbrahim Halil Çetres

Asıl Danışman (Eş Danışmanlı Tezler İçin): Yücel YÜKSEL

Özet:

19. yüzyıl itibariyle sembolik mantık alanının bir alt disiplini olarak sınıflandırılmaya başlanan modal mantık, günümüzde farklı uygulama alanlarına sahip olmasına ve birçok mantıkçı tarafından çalışılmasına rağmen ülkemizde yeterince tanınmamaktadır. Bu tez çalışmasında, sembolik mantığın temel eklemlerinden birisi olan "içerme"nin doğruluk değerlerinin nasıl belirlenmesi gerektiğine ilişkin felsefi ve mantıksal tartışmalar, bu tartışmalara yeni bir boyut katan "modalite" kavramı ile modal mantık alanına ait "sıkı içerme sistemleri" incelenmeye çalışılmıştır. Hedefimiz, "İçerme" ve "modalite" kavramlarının felsefe ve mantık tarihindeki serüvenini, bu serüvende önemli bir gelişme olarak kayda geçen sıkı içerme sistemleri ile onlara yöneltilen eleştirilerin, bilhassa bilimsel faaliyetler açısından önemini ortaya koymak olmuştur. Anahtar Kelimeler: Sembolik Mantık, Modalite, İçerme, Sıkı İçerme Sistemleri, Modal Mantık Uygulamaları