Akademik Dersler - Tanıtım

Ders Adı	Ders Kodu	Zorunlu/Seçmeli	Teori + Uygulama	AKTS
Felsefi Mantık	FEL510	II.YARIYIL	3+0	6.0

Ders Dili	Türkçe
Ders Türü	Seçmeli Dersler
Öğretim Elemanları	DOÇ. DR. İSKENDER TAŞDELEN
Dersin Veriliş Biçimi	Bu ders sadece yüz yüze eğitim şeklinde yürütülmektedir.
Dersin Önkoşulları	Sembolik Mantık I ve Sembolik Mantık II derslerini veya eşdeğerlerini alıp başarılı olmak bu derste başarılı olmak için önkoşuldur.
Önerilen Dersler	Yok
Okuma Listesi	1) James W. Garson, Modal Logic for Philosophers. Second Edition, Cambridge University Press, Cambridge, 20132) Melvin Fitting and Richard L. Mendelsohn. First-order modal logic. Synthese library, vol. 277. Kluwer Academic Publishers, Dordrecht, Boston, and London, 19983) Teo Grünberg, Sembolik Mantık El Kitabı 2. Cilt (Özel Mantık Sistemleri), ODTÜ GELİŞTİRME VAKFI YAYINCILIK, 2000
Değerlendirme	Ara sınav ve final
Staj & Uygulama	Bu ders için uygun değildir.
Katalog İçeriği	Zorunluluk ve Olanaklılık Kavramları; Doğrusal Olmayan Önerme Eklemleri; Kiplikler; Kiplik Mantığının Dili; Olanaklı Dünyalar Kavramı; Kripke Modelleri; Bir Olanaklı Dünyada Doğruluk; Bir Kripke Modelinde Doğruluk; Kiplik Mantığı Sistemleri; Çözümleyici Çizelge Kuralları; Çözümleyici Çizelgelerde Açık ve Kapalı Dalların Belirlenmesi; Çözümleyici Çizelgelerin Karar Verme Yöntemi Olarak Değerlendirilmesi; Çözümleyici Çizelge Yöntemiyle Model ve Karşı-model Bulunması; Varlık Mantığı; Bilgi Mantığı; Ödev Mantığı; Zaman Mantığı.