| Dersin Kodu | Dersin Adı | Dersin Türü | Yıl | Yarıyıl | AKTS | | SOS308B | Sembolik Mantık | Zorunlu | 3 | 6 | 4 |
|
| Dersin Seviyesi |
| Lisans |
| Dersin Amacı |
| Dersin amacı modern mantıktaki yeni eğilimleri ve mantık teoremlerini ve sembollerini irdelemektir. |
| Dersi Veren Öğretim Görevlisi/Görevlileri |
| Prof. Dr. Yakup KAHRAMAN |
| Öğrenme Çıktıları |
| 1 | Alanı ile ilgili bilgileri toplumsal sorumluluk bilinciyle, iş ve gündelik yaşamında kullanır. | | 2 | Eleştirel, farklı ve yaratıcı düşünme ve çok boyutlu bakabilme becerisi kazanır. | | 3 | Teorik bilgileri ilgili disiplinlere ait bilgilerle bütünleştirerek yorumlar, çözümler ve yeni bilgiler oluşturur. |
|
| Öğrenim Türü |
| Birinci Öğretim |
| Dersin Ön Koşulu Olan Dersler |
| Yok |
| Ders İçin Önerilen Diğer Hususlar |
| Yok |
| Dersin İçeriği |
| Modern (sembolik) mantığın içeriği, önermeler mantığı, yüklemler mantığı, temel çözümleme kuralları, temel doğruluk çizelgeleri, önermelerin eşdeğerliliği, çıkarım, tutarlılık, niceleme mantığı, yüklemler mantığı, açık önermeler, özelleme, özelleme kuralları. |
| Haftalık Ayrıntılı Ders İçeriği |
|
| 1 | Semiotik ve Dil : Dilin Çeşitli Kullanımları | | | | 2 | Semiotiğin Ana kavramları | | | | 3 | Önermeler Mantığı: Önerme ve yapısı | | | | 4 | Eklemlerin Fonksiyonları | | | | 5 | Doğruluk Değeri Analizi: Karma Doğruluk Çizelgeleri | | | | 6 | Geçerlilik ve Tutarlılık Denetlemesi | | | | 7 | Eşdeğerlilik ve Uygulamaları | | | | 8 | Arasınav | | | | 9 | Sadeleştirme Kanunları | | | | 10 | Quine metodu | | | | 11 | Dönüştürme kanunları | | | | 12 | Alıştırma Örnekleri | | | | 13 | Bir Tam-Deyimin Dönüştürülmüş Biçimleri | | | | 14 | Dağıtıcılık | | | | 15 | Dağıtıcılık | | | | 16 | final | | |
|
| Ders Kitabı / Malzemesi / Önerilen Kaynaklar |
| Çüçen, A.K. 2006. Mantık, Bursa, Asa Kitabevi.
Nesin, A. 2009. Önermeler Mantığı, İstanbul, Nesin Yayıncılık.
Şen, Z. 2003. Modern Mantık, Bilgi Kültür Sanat Yayınları. |
| Planlanan Öğrenme Aktiviteleri ve Metodları |
|
| Değerlendirme | |
| Ara Sınav | 1 | 100 | | TOPLAM | 100 | |
| Final Sınavı | 1 | 100 | | TOPLAM | 100 | | Yarıyıl (Yıl) İçi Etkinlikleri | 40 | | Yarıyıl (Yıl) Sonu Etkinlikleri | 60 | | TOPLAM | 100 |
| | Dersin Sunulduğu Dil | | Türkçe | | Staj Durumu | | Yok |
|
| İş Yükü Hesaplaması |
|
| Ara Sınav | 1 | 1 | 1 |
| Final Sınavı | 1 | 2 | 2 |
| Derse Katılım | 14 | 2 | 28 |
| Bireysel Çalışma | 14 | 4 | 56 |
| Ara Sınav İçin Bireysel Çalışma | 7 | 1 | 7 |
| Final Sınavı içiin Bireysel Çalışma | 14 | 1 | 14 |
|
| Program ve Öğrenme Çıktıları İlişkisi |
| ÖÇ1 | 4 | 2 | 5 | 4 | 2 | 3 | 2 | 2 | 2 | 3 | 4 | 3 | 2 | 3 | 2 | 4 | | ÖÇ2 | 4 | 3 | 3 | 4 | 3 | 5 | 2 | 2 | 3 | 3 | 3 | 3 | 3 | 3 | 2 | 4 | | ÖÇ3 | 4 | 3 | 3 | 4 | 3 | 4 | 2 | 2 | 3 | 3 | 4 | 2 | 3 | 3 | 2 | 4 |
|
| * Katkı Düzeyi : 1 Çok düşük 2 Düşük 3 Orta 4 Yüksek 5 Çok yüksek |
 |
| |