Bu dersin amacı, modern sembolik mantığın teolojik düşünceye katkılarını incelemektir. Öğrenciler, farklı teolojik sistemlerin mantıksal yapılarını çözümlemeyi, mantık ilkelerini kullanarak inanç sistemlerindeki tutarlılık ve çelişkileri değerlendirmeyi öğreneceklerdir. Ders aynı zamanda mantığın sadece biçimsel bir araç değil, teolojinin kavramsal temellerini aydınlatan bir yöntem olduğunu göstermeyi hedefler.
Mantığın temel kavramları ve sembolik mantığın teolojiye uygulanması; teolojinin aksiyomatik yapısı; modern mantığın teolojik düşünceyi yeniden düzenlemedeki rolü; farklı teolojilerin (Hristiyan, feminist, panteist, Budist ve Konfüçyüsçü) mantıksal yapılarının incelenmesi. “Theologic” adı verilen özel bir teolojik mantık sisteminin tanıtımı ve uygulanması.