TÜRKÇE
ENGLISH
Information
| Code | FELZ212 |
| Name | Symbolic Logic 2 |
| Term | 2024-2025 Academic Year |
| Semester | 4. Semester |
| Duration (T+A) | 2-0 (T-A) (17 Week) |
| ECTS | 3 ECTS |
| National Credit | 2 National Credit |
| Teaching Language | Türkçe |
| Level | Lisans Dersi |
| Type | Normal |
| Mode of study | Yüz Yüze Öğretim |
| Catalog Information Coordinator | Ömer KIZILTAN |
| Course Instructor |
1 |
Course Goal / Objective
It aims to deal with the propositions that cannot be analyzed in detail with the truth table and analytic table, with the logic of quantifiers/predicates.
Course Content
Basic features of the logic of quantifiers, symbolization of propositions through quantifiers, noun and predicate symbols, truth value in the logic of quantifications, natural derivation methods in the logic of quantifications and the Quine method.
Course Precondition
Taking Symbolic Logic I lesson
Resources
Kutlusoy, Z. (2003). Temel Sembolik Mantık. Ankara: Art. Özlem, D. (2019). Mantık. İstanbul: Notos.
Notes
Cucen, A. K. (2020). Mantık. (12.b.). Bursa: Sentez
Course Learning Outcomes
| Order | Course Learning Outcomes |
|---|---|
| LO01 | Recognizes the inadequacy of truth function logic |
| LO02 | Understands the logic of quantization |
| LO03 | Distinguish the difference between noun symbols and predicate symbols |
| LO04 | Knows the difference between open and closed propositions |
| LO05 | Apply the relevant rules for calculating truth value in quantification logic |
| LO06 | Solve problems of conversion from everyday language to symbolic language with quantifier/predicate logic |
| LO07 | Solves problems of conversion from symbolic language to everyday language with quantifier/predicate logic |
| LO08 | Recognize the rules of analytic scheduling in quantification logic |
Relation with Program Learning Outcome
| Order | Type | Program Learning Outcomes | Level |
|---|---|---|---|
| PLO01 | Bilgi - Kuramsal, Olgusal | Knows the relationships between terms and concepts related to the field of philosophy group education. | 1 |
| PLO02 | Bilgi - Kuramsal, Olgusal | Realizes that problems differ from past to present | 4 |
| PLO03 | Bilgi - Kuramsal, Olgusal | Recognizes the necessary problems of three basic fields (Philosophy, sociology, psychology) | 2 |
| PLO04 | Beceriler - Bilişsel, Uygulamalı | Integrates theoretical knowledge with knowledge from relevant disciplines | 4 |
| PLO05 | Beceriler - Bilişsel, Uygulamalı | Synthesizes different discussions regarding philosophy group education | |
| PLO06 | Beceriler - Bilişsel, Uygulamalı | Evaluates the problems encountered in the educational environment and daily life from the perspective of philosophy, sociology and psychology. | |
| PLO07 | Yetkinlikler - Bağımsız Çalışabilme ve Sorumluluk Alabilme Yetkinliği | Fulfills responsibility in work carried out individually or in groups. | |
| PLO08 | Yetkinlikler - Bağımsız Çalışabilme ve Sorumluluk Alabilme Yetkinliği | Uses information about field in daily life with awareness of social responsibility. | 2 |
| PLO09 | Yetkinlikler - Öğrenme Yetkinliği | Develops a positive attitude towards lifelong learning. | 3 |
| PLO10 | Yetkinlikler - Öğrenme Yetkinliği | Acts in accordance with democracy, human rights, social, scientific and professional ethical values. | |
| PLO11 | Yetkinlikler - Öğrenme Yetkinliği | Independently addresses problems related to people, society and values | |
| PLO12 | Yetkinlikler - Öğrenme Yetkinliği | Gains the ability to look critically | 5 |
| PLO13 | Yetkinlikler - İletişim ve Sosyal Yetkinlik | Uses advanced information and communication technologies. | |
| PLO14 | Yetkinlikler - İletişim ve Sosyal Yetkinlik | Monitors information in the field by using a foreign language at least at the B1 level of the European Language portfolio | |
| PLO15 | Yetkinlikler - Alana Özgü Yetkinlik | Can access printed and other information sources related to the field | |
| PLO16 | Yetkinlikler - Alana Özgü Yetkinlik | Shows sensitivity to social, philosophical and literary issues | |
| PLO17 | Yetkinlikler - Alana Özgü Yetkinlik | Examines the subject covered during philosophy group education in logical consistency. | 5 |
Week Plan
| Week | Topic | Preparation | Methods |
|---|---|---|---|
| 1 | Inadequacy of the truth function and quantization logic | Reviewing topics in general | Öğretim Yöntemleri: Anlatım, Soru-Cevap |
| 2 | Quantifiers -symbolization of quantifiers | Reading theoretical section in related subject | Öğretim Yöntemleri: Anlatım, Soru-Cevap, Alıştırma ve Uygulama |
| 3 | Rules for resolving symbolized quantifiers | Reading theoretical section in related subject | Öğretim Yöntemleri: Anlatım, Soru-Cevap, Alıştırma ve Uygulama |
| 4 | Open and closed proposition; customization and implementation | Reading theoretical section in related subject | Öğretim Yöntemleri: Anlatım, Soru-Cevap, Alıştırma ve Uygulama |
| 5 | Turning from everyday language to symbolic language with quantifier/predicate logic | Reading theoretical section in related subject | Öğretim Yöntemleri: Anlatım, Alıştırma ve Uygulama |
| 6 | Turning from symbolic language to everyday language with quantifier/predicate logic | Reading theoretical section in related subject | Öğretim Yöntemleri: Anlatım, Alıştırma ve Uygulama |
| 7 | Free and dependent variables: substitution | Reading theoretical section in related subject | Öğretim Yöntemleri: Anlatım, Alıştırma ve Uygulama |
| 8 | Mid-Term Exam | Preparing midterm exam | Ölçme Yöntemleri: Yazılı Sınav |
| 9 | Checking quantization logic with parser chart | Reading theoretical section in related subject | Öğretim Yöntemleri: Anlatım, Alıştırma ve Uygulama |
| 10 | Consistency of a proposition in quantification logic, consistency of multiple propositions with each other | Reading theoretical section in related subject | Öğretim Yöntemleri: Anlatım, Alıştırma ve Uygulama |
| 11 | Validity and equivalence of a proposition in quantification logic | Reading theoretical section in related subject | Öğretim Yöntemleri: Anlatım, Alıştırma ve Uygulama |
| 12 | Natural derivation method in quantization logic | Reading theoretical section in related subject | Öğretim Yöntemleri: Anlatım, Alıştırma ve Uygulama |
| 13 | Laws of Simplification Quine's method | Reading theoretical section in related subject | Öğretim Yöntemleri: Anlatım, Alıştırma ve Uygulama |
| 14 | Sample question solutions | Reading theoretical section in related subject | Öğretim Yöntemleri: Anlatım, Alıştırma ve Uygulama |
| 15 | General reviews of topics | Reading theoretical section in related subject | Öğretim Yöntemleri: Anlatım, Alıştırma ve Uygulama |
| 16 | Term Exams | Preparing final exam | Ölçme Yöntemleri: Yazılı Sınav |
| 17 | Term Exams | Preparing final exam | Ölçme Yöntemleri: Yazılı Sınav |
Student Workload - ECTS
| Works | Number | Time (Hour) | Workload (Hour) |
|---|---|---|---|
| Course Related Works | |||
| Class Time (Exam weeks are excluded) | 14 | 2 | 28 |
| Out of Class Study (Preliminary Work, Practice) | 14 | 2 | 28 |
| Assesment Related Works | |||
| Homeworks, Projects, Others | 0 | 0 | 0 |
| Mid-term Exams (Written, Oral, etc.) | 1 | 4 | 4 |
| Final Exam | 1 | 6 | 6 |
| Total Workload (Hour) | 66 | ||
| Total Workload / 25 (h) | 2,64 | ||
| ECTS | 3 ECTS | ||