P02
Mantık ve Akıl Yürütme
L1–L48 ders32 modül151 alt ders Tümü yayında
Bu programın 151 alt dersinin tam metni yazıldı. Programın tamamı bugün okunabilir.
Dersler
Her ders tek başına takip edilebilir. Sıra bir öneridir; seviye etiketi kilit değil, zorluk işaretidir.
- P02-D01Klasik Mantığa GirişL14 modül21 alt ders Tümü yayındaMantığın konusu · Kavram ve tanım · Önerme · Kıyas
- P02-D02Önermeler MantığıL1-L24 modül20 alt ders Tümü yayındaSembolleştirme · Doğruluk tabloları · Geçerlilik · Doğal çıkarım
- P02-D03Yüklemler MantığıL24 modül19 alt ders Tümü yayındaNiceleme · Çeviri · Doğal çıkarım · Modeller
- P02-D04Tümevarım, Abdüksiyon ve OlasılıkL24 modül21 alt ders Tümü yayındaTümevarım · Abdüksiyon · Olasılık · Bayesçi güncelleme
- P02-D05Modal ve Yoğun MantıklarL34 modül20 alt ders Tümü yayındaModal mantık · Kiplik türleri · Yoğun bağlam · Felsefi uygulamalar
- P02-D06Klasik Olmayan MantıklarL3-L44 modül15 alt ders Tümü yayındaÇok değerli ve bulanık mantık · Sezgici mantık · Parakonsistent mantık · İlgililik ve varsayılan mantık
- P02-D07Metalojik ve HesaplanabilirlikL44 modül18 alt ders Tümü yayındaMetateori · Birinci derece mantık · Hesaplanabilirlik · Gödel
- P02-D08Mantık FelsefesiL3-L44 modül17 alt ders Tümü yayındaMantıksal sonuç · Mantıksal sabitler · Mantıksal çoğulculuk · Mantık ve gerçeklik
Bu programın seviyeleri
- L1 Temel
- Ana kavramlar, yöntemler ve görüşlerDil: Terimleri açıklayan · Kaynak: Birincil esere yönlendirme + güvenilir ikincil kaynak
- L2 Orta
- Tarih, kuram ve metin karşılaştırmasıDil: Akademik ama açık · Kaynak: Birincil metin + yorum literatürü
- L3 İleri
- Teknik tartışmalar ve ayrıntılı itirazlarDil: Teknik · Kaynak: Güncel akademik tartışma
- L4 Uzmanlık
- Araştırma problemleri ve özgün çalışmaDil: Araştırma dili · Kaynak: Sistematik literatür ve araştırma araçları