TÜRKÇE
ENGLISH
Information
| Code | FELZ208 |
| Name | Symbolic Logic 2 |
| Term | 2022-2023 Academic Year |
| Semester | 4. Semester |
| Duration (T+A) | 2-0 (T-A) (17 Week) |
| ECTS | 2 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 |
Ömer KIZILTAN
(A Group)
(Ins. in Charge)
|
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 | Understands the inadequacy of the truth function |
| LO02 | Understands the logic of quantization |
| LO03 | Comprehends the difference between noun symbols and predicate symbols |
| LO04 | Understands the difference between open and closed propositions |
| LO05 | Calculates the truth value in the logic of quantifications |
| LO06 | Uses natural generation method in quantization logic |
Relation with Program Learning Outcome
| Order | Type | Program Learning Outcomes | Level |
|---|---|---|---|
| PLO01 | Bilgi - Kuramsal, Olgusal | Explains theorical debates of three main areas (philosophy, sociology, psychology) in relation to today´s problems | 2 |
| PLO02 | Bilgi - Kuramsal, Olgusal | Knows the problems differed from past to present and examines these issues in terms of present-day | 3 |
| PLO03 | Bilgi - Kuramsal, Olgusal | Defines required concepts of the three main areas (philosophy, sociology, psychology) | 2 |
| PLO04 | Bilgi - Kuramsal, Olgusal | Understands the problems encountered in the study area, solves and redirects | 5 |
| PLO05 | Beceriler - Bilişsel, Uygulamalı | Interpretes integrating theoretical knowledge with related disciplines, analyses and creates new information | |
| PLO06 | Yetkinlikler - Öğrenme Yetkinliği | Makes research sources of the main problems in field of Philosophy, Psychology and Sociology | 1 |
| PLO07 | Bilgi - Kuramsal, Olgusal | The problems encountered in educatıonal environment and everyday life ıs evaluated from the perspective of sociology and psychology | 2 |
| PLO08 | Yetkinlikler - Öğrenme Yetkinliği | Puts solutıon recommendations forward systematically and consistently in writing and orally for encountered problems and knowledge in the field | 3 |
| PLO09 | Bilgi - Kuramsal, Olgusal | Takes responsibility individually and / or in a team, be leadership, and works effectively | 4 |
| PLO10 | Yetkinlikler - Öğrenme Yetkinliği | Deals with problems related to man,society and values independently | 1 |
| PLO11 | Yetkinlikler - Öğrenme Yetkinliği | Access and use related printed information and other sources of information in the field | 5 |
| PLO12 | Beceriler - Bilişsel, Uygulamalı | Be open to continuous self-development and research | 5 |
| PLO13 | Yetkinlikler - Bağımsız Çalışabilme ve Sorumluluk Alabilme Yetkinliği | Shows sensivity to issues of social, philosophical, and literary | |
| PLO14 | Bilgi - Kuramsal, Olgusal | Follows software and hardware with printed and other information concerning with philosophy, social sciences ,educational sciences and education technologies, reaches, uses and improves effective ways of education-teaching. | 1 |
| PLO15 | Yetkinlikler - Bağımsız Çalışabilme ve Sorumluluk Alabilme Yetkinliği | Follows the developments and information in the field and and communicates with colleagues | 1 |
| PLO16 | Yetkinlikler - Öğrenme Yetkinliği | Gets ability of critical, different and creative thinking and multi-dimensional perspective | 5 |
| PLO17 | Bilgi - Kuramsal, Olgusal | Uses information related with his/her field in business and everyday life with the awareness of social responsibility |
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 | Symbolization and translation into everyday language | Reading theoretical section in related subject | Öğretim Yöntemleri: Anlatım, Alıştırma ve Uygulama |
| 6 | Free and dependent variables: substitution | Reading theoretical section in related subject | Öğretim Yöntemleri: Anlatım, Alıştırma ve Uygulama |
| 7 | Sample questions | 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 | 1 | 14 |
| Assesment Related Works | |||
| Homeworks, Projects, Others | 0 | 0 | 0 |
| Mid-term Exams (Written, Oral, etc.) | 1 | 4 | 4 |
| Final Exam | 1 | 8 | 8 |
| Total Workload (Hour) | 54 | ||
| Total Workload / 25 (h) | 2,16 | ||
| ECTS | 2 ECTS | ||