TÜRKÇE
ENGLISH
Information
| Code | FELZ208 |
| Name | Symbolic Logic 2 |
| 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 Goal
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 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 | Recognizes problems encountered in the work area | 4 |
| PLO05 | Beceriler - Bilişsel, Uygulamalı | Integrates theoretical knowledge with knowledge from relevant disciplines | 2 |
| PLO06 | Yetkinlikler - Öğrenme Yetkinliği | Makes research sources of the main problems in field of Philosophy, Psychology and Sociology | |
| PLO07 | Beceriler - Bilişsel, Uygulamalı | Evaluates the problems encountered in the educational environment and daily life from the perspective of philosophy, sociology and psychology | 1 |
| 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 | 2 |
| PLO09 | Yetkinlikler - Bağımsız Çalışabilme ve Sorumluluk Alabilme Yetkinliği | Takes responsibility individually and/or within a team | 4 |
| PLO10 | Yetkinlikler - Öğrenme Yetkinliği | Deals with problems related to man,society and values independently | 1 |
| PLO11 | Yetkinlikler - Alana Özgü Yetkinlik | Access related printed information and other sources of information in the field | 4 |
| PLO12 | Beceriler - Bilişsel, Uygulamalı | Be open to continuous self-development and research | 3 |
| PLO13 | Yetkinlikler - Alana Özgü Yetkinlik | Shows sensivity to issues of social, philosophical, and literary | |
| PLO14 | Bilgi - Kuramsal, Olgusal | Uses knowledge of computer software and hardware in subjects related to philosophy, social sciences, educational sciences and educational technologies | |
| PLO15 | Yetkinlikler - İletişim ve Sosyal Yetkinlik | Follows the information and developments in the field in interaction with colleagues | |
| PLO16 | Yetkinlikler - Öğrenme Yetkinliği | Gets ability of critical thinking | 5 |
| PLO17 | Yetkinlikler - Bağımsız Çalışabilme ve Sorumluluk Alabilme Yetkinliği | 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 | 2 | 28 |
| Assesment Related Works | |||
| Homeworks, Projects, Others | 0 | 0 | 0 |
| Mid-term Exams (Written, Oral, etc.) | 1 | 2 | 2 |
| Final Exam | 1 | 3 | 3 |
| Total Workload (Hour) | 61 | ||
| Total Workload / 25 (h) | 2,44 | ||
| ECTS | 2 ECTS | ||