Bilgi Paketi / Ders Kataloğu
Modern Mantık I
Ders Kodu: FEL267
Ders Türü: Bölüm Seçmeli
Ders Grubu: Lisans
Eğitim Dili: Türkçe
Staj Durumu: Yok
Teori: 3
Uyg.: 0
Kredi: 3
Laboratuvar: 0
AKTS: 6
Amaç

Bu derste önermeler mantığı, niceleme mantığı, küme kuramı ve çok değerli mantık sistemleri öğrencilere tanıtılıp; onların mantık problemleri çözme ve mantığın uygulama alanlarını görmeleri sağlanacaktır

Özet İçerik

Önerme, terim, tutarlılık, tutarsızlık, geçerlilik ve geçersizlik gibi bazı temel mantıksal terimlerin tanımları

Dersi Veren Öğretim Görevlisi/Görevlileri
Prof. Dr. Cengiz İskender ÖZKAN
Öğrenme Çıktıları
1.Mantık tarihi ve Modern mantığın felsefeyle, dille ilişkisini bilme
2.Modern Mantığın temel kavram ve yasalarını öğrenme
3.Mantıksal akıl yürütme yeteneği kazanma ve geliştirme
4.Önermelerin tutarlılığı ile çıkarımların geçerliliğini denetlemeyi öğrenme
5.Günlük dildeki tümceleri modern önerme mantığının diline çevirme
Ders Kitabı / Malzemesi / Önerilen Kaynaklar
1.Özkan, Cengiz İskender (2022) Mantığa Giriş, Say Yayınları.
2.Modern Mantık, İstanbul: Lisans Yayıncılık, 2017.
Haftalık Ayrıntılı Ders İçeriği
1. Hafta - Teorik
Dersin Tanımı, Ders Materyali
2. Hafta - Teorik
Modern Mantığın Kısa Tarihi
3. Hafta - Teorik
Önerme Mantığına Giriş
4. Hafta - Teorik
Önerme Mantığının İnşası
5. Hafta - Teorik
Mantık Eklemleri
6. Hafta - Teorik
Sembolleştirme
7. Hafta - Teorik
Doğruluk Tabloları
8. Hafta - Teorik
Totolojiler, Çelişkiler ve Eşdeğerlikler
9. Hafta - Teorik
Doğal Dedüksiyon
10. Hafta - Teorik
Geçersizlik Kanıtlaması
11. Hafta - Teorik
Totolojiler ve Sıfır-öncüllü Kanıtlama
12. Hafta - Teorik
Çözümleyici Çizelge (Semantik Tablo): Ağaç Yöntemi
13. Hafta - Teorik
Tutarlılık, Geçerlilik ve Eşdeğerlik Denetlemeleri
14. Hafta - Teorik
Çıkarımların Geçerliliği
Değerlendirme
Değerlendirme TürüAdetYüzde
Ara Sınav (Vize)1%40
Dönem Sonu Sınavı (Final)1%60
İş Yükü Hesaplaması
EtkinlikSayısıÖn HazırlıkSüreToplam Iş Yükü (Saat)
Kuramsal Ders140342
Ödev140228
Bireysel Çalışma150115
Ara Sınav125126
Dönem Sonu Sınavı135136
TOPLAM İŞ YÜKÜ (Saat)147
Program ve Öğrenme Çıktıları İlişkisi
PÇ-1
PÇ-2
PÇ-3
PÇ-4
PÇ-5
PÇ-6
PÇ-7
PÇ-8
PÇ-9
PÇ-10
PÇ-11
OÇ-1
3
4
4
4
3
4
4
4
OÇ-2
4
4
4
3
4
4
3
4
5
OÇ-3
4
4
4
5
4
4
5
4
5
OÇ-4
5
4
4
4
4
4
4
4
4
OÇ-5
4
4
4
5
5
4
4
5
Adnan Menderes Üniversitesi - Bilgi Paketi / Ders Kataloğu
2026