DERS ÖĞRETİM PLANI TÜRKÇE. 1 Dersin Adı: Sembolik Mantık II. 2 Dersin Kodu: FLS Dersin Türü: Seçmeli. 4 Dersin Seviyesi: Lisans

Transkript

1 DERS ÖĞRETİM PLANI TÜRKÇE 1 Dersin Adı: Sembolik Mantık II 2 Dersin Kodu: FLS Dersin Türü: Seçmeli 4 Dersin Seviyesi: Lisans 5 Dersin Verildiği Yıl: 3 6 Dersin Verildiği Yarıyıl: Bahar/VI.yarıyıl 7 Dersin AKTS Kredisi: 3 8 Teorik Ders Saati (saat/hafta): 2 9 Uygulama Ders Saati (saat/hafta) : - 10 Laboratuvar Ders Saati (saat/hafta) : - 11 Dersin Önkoşulu: - 12 Dersin Dili: Türkçe 13 Dersin Veriliş Şekli: Yüz yüze, uzaktan eğitim 14 Dersin Koordinatörü: Prof. Dr. A. Kadir ÇÜÇEN 15 Dersi Veren Diğer Öğretim Elemanları: 16 Ders Koordinatörünün İletişim Bilgileri: Prof. Dr. A. Kadir ÇÜÇEN, Caner ÇİÇEKDAĞI Kadir@uludag.edu.tr; Uludağ Üniversitesi Felsefe Bölümü Fen-Edebiyat Fakültesi, Görükle, Bursa - Türkiye. Tel: Dersin WEB adresi:

2 18 Dersin Amacı: Önermeler ve yüklemler mantığında, çözümleyici çizelge aracılığıyla tutarlılık, eşdeğerlilik ve geçerlilik denetlemeleri yapmayı öğretmek. Sembolleştirme yapabilmek. Doğruluk tablosu ile çözümleyici çizelge arasındaki ilişkiyi kavramak. İki,üç ve çok değerli mantıkları, aralarındaki farkları tanıtmak. 19 Dersin Öğrenme Kazanımları: 1 Çözümleyici çizelgeyi tanır. 2 Doğruluk tablolarının çözümleyici çizelgenin temelinde olduğunu anlar. 3 Çeşitli sembolleri ve niceleyici sembollerini bilir. 4 Çözümleyici çizelgenin temellerini anlar 5 Çözümleyici çizelge kurallarını öğrenir. 6 Önermeler mantığında çözümleyici çizelgeyle, önermenin tutarlılığını ve önermelerin bir arada tutarlılığını ve eşdeğerliliğini denetleyebilir. 7 Önermeler mantığında çözümleyici çizelgeyle, önermenin geçerliliğini ve çıkarımların geçerliliğini denetleyebilir. 8 Totoloji, çelişki ve olumsallık şeklindeki önerme statülerini öğrenir ve denetler. 9 Doğruluk tablosuyla çözümleyici çizelge ilişkisini kavrar. 10 Yüklemler mantığının sembollerini, yapısını ve kurallarını bilir. 11 Günlük dilden yüklemler mantığına ve yüklemler mantığından günlük dile sembolleştirme yapabilir. 12 Yüklemler mantığında çözümleyici çizelgeyle, önermenin tutarlılığını ve önermelerin bir arada tutarlılığını ve

3 eşdeğerliliğini denetleyebilir. 13 Yüklemler mantığında çözümleyici çizelgeyle, önermenin geçerliliğini ve çıkarımların geçerliliğini denetleyebilir. 14 Üç değerli ve çok değerli mantıkları öğrenir. 20 Dersin İçeriği: Doğruluk tablosuyla çözümleyici çizelge ilişkisi, çözümleyici çizelgenin yapısı ve kuralları, çözümleyici çizelge ile önermeler mantığında tutarlılık, eşdeğerlilik ve geçerlilik denetlemeleri, yüklemler mantığı, sembolleri ve kuralları, sembolleştirme yapma, yüklemler mantığında çözümleyici çizelgeyle tutarlılık, eşdeğerlilik ve geçerlilik denetlemeleri, üç değerli ve çok değerli mantıklar. Hafta DERS İÇERİKLERİ Teorik Uygulama Çözümleyici çizelgeyi tanıma Doğruluk tablolarının çözümleyici çizelgenin temelinde olduğunu anlama Çeşitli sembolleri ve niceleyici sembollerini bilme Çözümleyici çizelgenin temellerini anlama Çözümleyici çizelge kurallarını öğrenme Önermeler mantığında çözümleyici çizelgeyle, önermenin tutarlılığını ve önermelerin bir arada tutarlılığını ve eşdeğerliliğini denetleyebilme Ayrıntılı Ders içeriği Önermeler mantığında çözümleyici çizelgeyle, önermenin geçerliliğini ve çıkarımların geçerliliğini denetleyebilme Totoloji, çelişki ve olumsallık şeklindeki önerme statülerini öğrenme ve denetleme Doğruluk tablosuyla çözümleyici çizelge ilişkisini kavrama

4 Yüklemler mantığının sembollerini, yapısını ve kurallarını bilme Günlük dilden yüklemler mantığına ve yüklemler mantığından günlük dile sembolleştirme yapabilme Yüklemler mantığında çözümleyici çizelgeyle, önermenin tutarlılığını ve önermelerin bir arada tutarlılığını ve eşdeğerliliğini denetleyebilme Yüklemler mantığında çözümleyici çizelgeyle, önermenin geçerliliğini ve çıkarımların geçerliliğini denetleyebilme 14 Üç değerli ve çok değerli mantıkları öğrenme 21 Ders Kitabı, Referanslar ve/veya Diğer Kaynaklar: 22 Değerlendirme Çüçen, Kadir (2012) Mantık, Bursa: Sentez Yayıncılık. Kutlusoy, Zekiye (2003) Temel Sembolik Mantık, Ankara: Art Yayıncılık YARIYIL İÇİ ÇALIŞMALARI SAYISI KATKI YÜZDESİ Ara Sınav 1 %30 Kısa Sınav - Ödev 5 %20 Yıl Sonu Sınavı 1 %50 Toplam 7 %100 Yıl içi çalışmalarının Başarıya Oranı % 50 Finalin Başarıya Oranı % 50 Toplam % AKTS / İŞ YÜKÜ TABLOSU

5 Etkinlik SAYISI Süresi (Saat) Toplam İş Yükü (Saat) Teorik Dersler Uygulamalı Dersler Sınıf Dışı Ders Çalışma Süresi (Ön çalışma, pekiştirme) Ödevler Projeler Arazi Çalışmaları Arasınavlar Diğer Yarıyıl Sonu Sınavı Toplam İş Yükü Toplam İş Yükü / 30 saat Dersin AKTS Kredisi PROGRAM YETERLİLİKLERİ İLE DERS ÖĞRETİM KAZANIMLARI İLİŞKİSİ TABLOSU PY1 PY2 PY3 PY4 PY5 PY6 PY7 PY8 PY9 PY10 PY11 PY12 ÖK1 ÖK2 ÖK3 ÖK4 ÖK5 ÖK

6 ÖK7 ÖK ÖK: Öğrenme kazanımlar PY: Program yeterlilikleri 5 Katkı Düzeyi: 1 çok düşük 2 Düşük 3 Orta 4 Yüksek 5 Çok Yüksek