TÜRKÇE
ENGLISH
Information
| Unit | FACULTY OF EDUCATION |
| PHILOSOPHY GROUP TEACHING PR. | |
| Code | FELZ208 |
| Name | Symbolic Logic 2 |
| Term | 2021-2022 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 |
| Label | FE Field Education Courses C Compulsory |
| Mode of study | Yüz Yüze Öğretim |
| Catalog Information Coordinator | Arş.Gör. Dr. Ömer KIZILTAN |
| Course Instructor |
Arş.Gör. Dr. Ömer KIZILTAN
(Bahar)
(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
Resources
Notes
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 | - | Explains theorical debates of three main areas (philosophy, sociology, psychology) in relation to today´s problems | 4 |
| PLO02 | - | Knows the problems differed from past to present and examines these issues in terms of present-day | 4 |
| PLO03 | - | Defines required concepts of the three main areas (philosophy, sociology, psychology) | 4 |
| PLO04 | - | Understands the problems encountered in the study area, solves and redirects | 5 |
| PLO05 | - | Interpretes integrating theoretical knowledge with related disciplines, analyses and creates new information | 5 |
| PLO06 | - | Makes research sources of the main problems in field of Philosophy, Psychology and Sociology | 4 |
| PLO07 | - | The problems encountered in educatıonal environment and everyday life ıs evaluated from the perspective of sociology and psychology | 5 |
| PLO08 | - | Puts solutıon recommendations forward systematically and consistently in writing and orally for encountered problems and knowledge in the field | 4 |
| PLO09 | - | Takes responsibility individually and / or in a team, be leadership, and works effectively | 4 |
| PLO10 | - | Deals with problems related to man,society and values independently | 4 |
| PLO11 | - | Access and use related printed information and other sources of information in the field | 5 |
| PLO12 | - | Be open to continuous self-development and research | 4 |
| PLO13 | - | Shows sensivity to issues of social, philosophical, and literary | 5 |
| PLO14 | - | 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. | 4 |
| PLO15 | - | Follows the developments and information in the field and and communicates with colleagues | 4 |
| PLO16 | - | Gets ability of critical, different and creative thinking and multi-dimensional perspective | 4 |
| PLO17 | - | Uses information related with his/her field in business and everyday life with the awareness of social responsibility | 5 |
Week Plan
| Week | Topic | Preparation | Methods |
|---|---|---|---|
| 1 | Inadequacy of the truth function and quantization logic | Reading theoretical section in related subject | |
| 2 | Quantifiers symbolization of quantifiers | Reading theoretical section in related subject | |
| 3 | Rules for resolving symbolized quantifiers | Reading theoretical section in related subject | |
| 4 | Open and closed proposition; customization and implementation | Reading theoretical section in related subject | |
| 5 | Symbolization and translation into everyday language | Reading theoretical section in related subject | |
| 6 | Free and dependent variables: substitution | Reading theoretical section in related subject | |
| 7 | Sample question solutions | Reading theoretical section in related subject | |
| 8 | Mid-Term Exam | Witten exam | |
| 9 | Checking quantization logic with parser chart | Reading theoretical section in related subject | |
| 10 | Consistency of a proposition in quantification logic, consistency of multiple propositions with each other | Reading theoretical section in related subject | |
| 11 | Validity and equivalence of a proposition in quantification logic | Reading theoretical section in related subject | |
| 12 | Natural derivation method in quantization logic | Reading theoretical section in related subject | |
| 13 | Natural derivation method in quantization logic | Reading theoretical section in related subject | |
| 14 | Laws of Simplification Quine's method | Reading theoretical section in related subject | |
| 15 | Sample question solutions | Reading theoretical section in related subject | |
| 16 | Term Exams | Written exam | |
| 17 | Term Exams | Written exam |
Assessment (Exam) Methods and Criteria
| Assessment Type | Midterm / Year Impact | End of Term / End of Year Impact |
|---|---|---|
| 1. Midterm Exam | 100 | 40 |
| General Assessment | ||
| Midterm / Year Total | 100 | 40 |
| 1. Final Exam | - | 60 |
| Grand Total | - | 100 |
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 | ||