Dersin Dili:
İngilizce
Dersin Amacı:
Bu dersin amacı öğrencilerin mantığın temel kavramları ile gerek geleneksel mantığın gerek çağdaş simgesel mantığın kurallarını kavramalarını, birinci basamak mantığının işlemleriyle çözümlemelerini yapabilmelerini, günlük dildeki çıkarımları mantık diline çevirebilmelerini sağlamaktır.
Dersin İçeriği:
Mantığın temel kavramları: önerme, argüman, akıl yürütme, çıkarım, biçim, doğruluk, içerim, geçerlilik, tümdengelimli ve tümevarımlı argümanlar. Önerme tipleri, Venn diyagramları. Klasik (Aristoteles) mantık: Doğrudan Çıkarım (Karşıtlık bağıntısı: Geleneksel Karşıtlık Karesi; Eşdeğerlik bağıntısı: döndürme, tersine döndürme, devirme) ve dolaylı çıkarım (Kategorik, koşullu ve ayrık kıyas). Geçerliliğin denetlenmesi.
Modern simgesel mantık. Önermeler mantığı: Doğruluk fonksiyonu bağlaçları; doğruluk çizelgeleri. Çıkarım kuralları ve teknikleri. Geçerlilik kanıtlamaları: Biçimsel geçerlilik kanıtlaması (doğal çıkarım).
Dersin Öğretim Yöntemleri:
1. Anlatım, 2. Soru-Yanıt, 3. Tartışma, 4. Alıştırma
Dersin Ölçme Yöntemleri:
A. Sınav, B. Deneyim, C. Ödev