| Ders Adı | Kodu | Yarıyıl | T+U Saat | Kredi | AKTS |
|---|---|---|---|---|---|
| Modern Logıc | 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ü | Seçmeli |
| Dersin Koordinatörü | Arş.Gör.Dr. ONUR KABİL |
| Dersi Verenler | |
| Dersin Yardımcıları | |
| Dersin Kategorisi | Diğer |
| 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. |
| # | Ders Öğrenme Çıktıları | Öğretim Yöntemleri | Ölçme Yöntemleri |
|---|---|---|---|
| 1 | Recognises problems of modern logic. | Lecture, | Testing, Homework, |
| 2 | Identifies the relation of modern logic and other disciplines. | Lecture, Question-Answer, Discussion, | Testing, |
| 3 | Tells the difference between modern and classic logic. | Lecture, Question-Answer, | Testing, |
| 4 | Correlates between logic and mathematics. | Lecture, Question-Answer, | Testing, |
| 5 | Tells proposition and reasoning by symbols. | Lecture, Drilland Practice, Motivations to Show, | Testing, |
| 6 | Uses axiomatic method. | Lecture, Drilland Practice, | Testing, |
| Hafta | Ders Konuları | Ön Hazı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 |
| Sıra | Program Çı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 | |||||||
| 11 | |||||||
| 12 | To be able to attain and to use the knowledge about philosophy and history of science. | ||||||
| Değerlendirme Sistemi | |
|---|---|
| Yarıyıl Çalışmaları | Katkı Oranı |
| 1. Ara Sınav | 70 |
| 1. Kısa Sınav | 10 |
| 2. Kısa Sınav | 10 |
| 1. Ödev | 10 |
| Toplam | 100 |
| 1. Yıl İçinin Başarıya | 50 |
| 1. Final | 50 |
| Toplam | 100 |
| AKTS - İş Yükü Etkinlik | Sayı | Süre (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 (Saat) | 3,52 | ||
| Dersin AKTS Kredisi | 4 | ||