|
|
| SOS2012 | Modern Mantık | 4+0+0 | AKTS:5 | | Yıl / Yarıyıl | Bahar Dönemi | | Ders Duzeyi | Lisans | | Yazılım Şekli | Zorunlu | | Bölümü | SOSYOLOJİ BÖLÜMÜ | | Ön Koşul | Yok | | Eğitim Sistemi | Yüz yüze | | Dersin Süresi | 14 hafta - haftada 4 saat teorik | | Öğretim Üyesi | Doç. Dr. Ferhat ONUR | | Diğer Öğretim Üyesi | | | Öğretim Dili | Türkçe | | Staj | Yok | | | | Dersin Amacı: | | Bu derste mantığın daha net, daha titiz bir şekilde düşünmemize yardımcı olan bir araç olduğunu göreceğiz. |
| Öğrenim Kazanımları | PÖKK | ÖY | | Bu dersi başarı ile tamamlayan öğrenciler : | | | | ÖK - 1 : | Modern mantığın kavramlarını tanır.
| 1,2,4,5,6,7,8,9,10,11,14,15,16 | 1 | | ÖK - 2 : | Doğruluk tabloları oluşturabilir. | 1,2,4,5,6,7,8,9,10,11,12,13,14,15,16 | 1 | | ÖK - 3 : | Geçerli ve geçersiz argüman formlarını ayırt eder.
| 1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16 | 1 | | ÖK - 4 : | İspat yöntemleri hakkında bilgi sahibi olur. | 1,2,3,4,6,8,9,11,13,14,15,16 | 1 | | ÖK - 5 : | Günlük dilin önerme ve argümanlarını sembolleştirir.
| 1,2,4,6,7,8,9,10,11,12,13,14,15,16 | 1 | | PÖKK :Program öğrenim kazanımlarına katkı, ÖY : Ölçme ve değerlendirme yöntemi (1: Yazılı Sınav, 2: Sözlü Sınav, 3: Ev Ödevi, 4: Laboratuvar Çalışması/Sınavı, 5: Seminer / Sunum, 6: Dönem Ödevi / Proje),ÖK : Öğrenim Kazanımı | | |
| Mantıksal kavramlardan söz ettikten sonra formel mantığa giriş yapacağız. Sonra sırasıyla doğruluk-işlevli mantık ve birinci derece yüklem mantığını inceleyeceğiz. Son olarak modern mantığın ortaya çıkışına ilişkin felsefi arka planı teorik düzeyde ele alacağız. |
| |
| Haftalık Detaylı Ders Planı | | Hafta | Detaylı İçerik | Önerilen Kaynak | | Hafta 1 | Mantıksal Kavramlar | | | Hafta 2 | Doğruluk-işlevli Mantık | | | Hafta 3 | Doğruluk Tabloları
| | | Hafta 4 | Doğruluk Tabloları ve Geçerlilik
| | | Hafta 5 | Doğal Dedüksiyon
| | | Hafta 6 | Denkliklerle Mantıksal İspatlar
| | | Hafta 7 | Koşullu ve Dolaylı İspat
| | | Hafta 8 | Birinci Derece Yüklem Mantığı | | | Hafta 9 | Ara Sınav
| | | Hafta 10 | Birinci Derece Yüklem Mantığında Geçerlilik
| | | Hafta 11 | Geçersizliğin Gösterimi
| | | Hafta 12 | İlişkisel Mantık
| | | Hafta 13 | Mantıksal Özdeşlik
| | | Hafta 14 | Mantık ve Matematik
| | | Hafta 15 | Modal Mantık
| | | Hafta 16 | Üç Değerli ve Bulanık Mantık
| | | |
| 1 | Gimbel, S. 2016; An Introduction to Formal Logic, The Great Courses, Chantilly. | | | |
| Ölçme Yöntemi | | Yöntem | Hafta | Tarih | Süre (Saat) | Katkı (%) | | Arasınav | 9 | 14.04.2025 | 1 | 50 | | Dönem sonu sınavı | 16 | 10.06.2025 | 1 | 50 | | |
| Öğrenci Çalışma Yükü | | İşlem adı | Haftalık süre (saat) | Hafta sayısı | Dönem toplamı | | Yüz yüze eğitim | 4 | 14 | 56 | | Sınıf dışı çalışma | 4 | 14 | 56 | | Arasınav için hazırlık | 10 | 1 | 10 | | Arasınav | 1 | 1 | 1 | | Dönem sonu sınavı için hazırlık | 12 | 1 | 12 | | Dönem sonu sınavı | 1 | 1 | 1 | | Diğer 1 | 1 | 14 | 14 | | Toplam Çalışma Yükü | | | 150 |
|