Akademik Dersler - İçerik

Sembolik mantığın temel kavramlarını açıklayabilecek ve uygulayabilecektir.
Önerme ve çıkarımı tanımlar.
Önerme eklemlerini açıklar.
Bir önermenin doğruluk statüsünü açıklar ve örnekler.
Mantıkta modaliteyi açıklayabilecektir.
Modal deyim ve önermeleri örnekler.
Felsefe ve mantık açısından modal önermelerin işlevini açıklar.
Modal önermelerin sembolleştirilmesini açıklayabilecek ve uygulayabilecektir.
Modal önermeler mantığının biçimsel dilini ve bu dilde sembolleştirmeyi açıklar.
Nicelemeli modal mantığın biçimsel dilini ve bu dilde sembolleştirmeyi açıklar.
Modal önermelerin yorumlanmasını açıklar ve uygular.
Modal önermeler mantığı için Kripke semantiğini açıklar ve uygular.
Nicelemeli modal mantık için Kripke semantiğini açıklar ve uygular.
Modal mantık için çözümleyici çizelge yöntemini açıklar ve uygular.
Modal önermeler mantığı için çözümleyici çizelge yöntemini açıklar ve uygular.
Nicelemeli modal mantık için çözümleyici çizelge yöntemini açıklar ve uygular.