Akademik Dersler - İçerik

Sembolik önermeler mantığını kullanarak günlük dildeki akıl yürütmeleri çözümleyebilir.
Sembolleştirme anahtarlarını kullanarak günlük dildeki önermeleri sembolik dilde ifade eder.
Yorumlama anahtarlarını kullanarak sembolik önermeleri günlük dilde ifade eder.
Günlük dildeki nicelemeli çıkarımların geçerli olmasını sembolik mantık bakımından açıklar.
Günlük dildeki çıkarımların geçerliliğini sembolleştirme ve doğrulayıcı/yanlışlayıcı model kurma yoluyla denetler.
Bölme ve sınıflandırma kavramlarını tanımlar ve örnekler.
Niceleme mantığında doğal türetim yöntemini kullanarak önerme ve çıkarımları çözümleyebilir.
Türetim kurallarını ifade eder.
Bir önermenin teorem olup olmadığını türetim yoluyla denetler.
Bir çıkarımın geçerliliğini türetim yoluyla denetler.
Günlük dildeki çıkarımların geçerli olmasını sembolik mantık bakımından açıklar. 3 Doğruluk fonksiyonu mantığında (önermeler mantığı) doğruluk tablosu yöntemini kullanarak önerme ve çıkarımları çözümleyebilir.
Türetim hatalarını çözümleyebilir.
Türetim hatalarını tanımlar.
Bazı sık başvurulan türetim biçimlerinin hatalı kabul edilme nedenlerini açıklar.
Bir türetimde türetim hatası olup olmadığını belirler.
Yeter sebep ilkesini açıklar.
Bir çıkarımın statüsünü belirler.
Kavram türlerini sınıflandırabilecektir.
Somut ve soyut kavramları tanımlar, açıklar ve ayırt eder.
Tümel, tikel ve tekil kavramları tanımlar, açıklar ve ayırt eder.
Kollektif ve distribütif kavramları tanımlar, açıklar ve ayırt eder.
Açık ve seçik kavramları tanımlar, açıklar ve ayırt eder.
Olumlu ve olumsuz kavramları tanımlar, açıklar ve ayırt eder.
Önerme türlerini açıklayabilecek ve ayırt edebilecektir.
Basit ve bileşik önermeleri açıklar ve ayırt eder.
Önermeleri nicelik, nitelik, kiplik ve bağıntı yönünden açıklar ve ayırt eder.
Dört standart form kategorik önerme olan tümel olumlu, tümel olumsuz, tikel olumlu ve tikel olumsuz önermeleri açıklar ve ayırt eder.
Doğrudan ve dolaylı çıkarımları denetleyebilecektir.
Karşıolum ve eşdeğerlik çıkarımlarını örnekler.
Kategorik kıyasların geçerliliğini denetler.
Kıyas türlerini örnekler.