Öğrencilerin modern mantık konu ve kavramlarını tanıması, bu konu ve kavramlara dair düşünüş özelliklerini öğrenmesi

Modern mantık, doğruluk foksiyonu mantığı, formel çıkarım yöntemi, niceleme mantığı, mantık felsefesi.