Yazdır

Ders Tanımı

Ders Kodu Yarıyıl T+U Saat Kredi AKTS
MODERN LOGIC FEL 206 4 2 + 0 2 4
Ön Koşul Dersleri
Önerilen Seçmeli Dersler
Dersin Dili Türkçe
Dersin Seviyesi Lisans
Dersin Türü SECMELI
Dersin Koordinatörü Doç.Dr. İBRAHİM SAFA DAŞKAYA
Dersi Verenler
Dersin Yardımcıları
Dersin Kategorisi
Dersin Amacı
To make students to be acquainted with the subject-matters and concepts of modern logic and to learn the way of thinking about those subject-matters and concepts.
Dersin İçeriği
Modern logic, Logic of truth function, Method of formal inference, Quantification logic, Philosophy of logic.
Dersin Öğrenme Çıktıları Öğretim Yöntemleri Ölçme Yöntemleri
1 - Recognises problems of modern logic. 1 - A - C -
2 - Identifies the relation of modern logic and other disciplines. 1 - 2 - 3 - A -
3 - Tells the difference between modern and classic logic. 1 - 2 - A -
4 - Correlates between logic and mathematics. 1 - 2 - A -
5 - Tells proposition and reasoning by symbols. 1 - 4 - 6 - A -
6 - Uses axiomatic method. 1 - 4 - A -
Öğretim Yöntemleri: 1:Lecture 2:Question-Answer 3:Discussion 4:Drilland Practice 6:Motivations to Show
Ölçme Yöntemleri: A:Testing C:Homework

Ders Akışı

Hafta Konular ÖnHazırlık
1 Introduction to modern logic
2 Logic of truth function
3 Logic of truth function
4 Logic of truth function
5 Method of formal inference
6 Method of formal inference
7 Quantification logic
8 Quantification logic
9 Midterm exam
10 Axiomatic method
11 Axiomatic method
12 Problems about logic
13 Philosophy, science, logic
14 Philosophy of logic

Kaynaklar

Ders Notu [1] Doğan Özlem, Mantık, İstanbul 1996
Ders Kaynakları [2] Cemal Yıldırım, Mantık ‘Doğru Düşünme Yöntemi’ Bilgi yayınevi
[3] Teo Grunberg, Sembolik Mantık, El Kitabı, ODTÜ Geliştirme Vakfı Yayıncılık

Döküman Paylaşımı


Dersin Program Çıktılarına Katkısı

No Program Öğrenme Çıktıları KatkıDüzeyi
1 2 3 4 5
1 To acquire the skill of analytical and synthetic thinking, reading and acquainting, X
2 To be able to understand and judge the philosophical accumulations at local and universal level, X
3 To be able to do researches and to improve a method about the philosophical problems in the sources that are constituted in the field of philosophy, X
4 To be able to connect the universal problems of philosophy with the local problems, X
5 To be able to interrogate the universal problems of mankind, to be able to examine the interrogations in this field, X
6 To be able to deal with the problems of such fields as science, culture and art in a philosophical way, to recognize those questions X
7 To be able to provide the usage of interdisciplinary knowledge for the common and local problems concerning science, religion and art, X
8 To be able to understand, to solve and when necessary to direct the particular problems, X
9 To be able to narrate in writing and in words in a systematic and consistent way the knowledge possessed and suggestions for the solutions of problems, X
10 To be able to attain and to use the knowledge about philosophy and history of science.

Değerlendirme Sistemi

YARIYIL İÇİ ÇALIŞMALARI SIRA KATKI YÜZDESİ
AraSinav 1 70
KisaSinav 1 10
KisaSinav 2 10
Odev 1 10
Toplam 100
Yıliçinin Başarıya Oranı 50
Finalin Başarıya Oranı 50
Toplam 100

AKTS - İş Yükü

Etkinlik Sayısı Süresi(Saat) Toplam İş yükü(Saat)
Course Duration (Including the exam week: 16x Total course hours) 16 2 32
Hours for off-the-classroom study (Pre-study, practice) 16 2 32
Mid-terms 1 10 10
Assignment 1 10 10
Performance Task (Laboratory) 1 4 4
Toplam İş Yükü 88
Toplam İş Yükü /25(s) 3.52
Dersin AKTS Kredisi 3.52
; ;