TÜRKÇE
ENGLISH
Information
| Unit | FACULTY OF EDUCATION |
| PHILOSOPHY GROUP TEACHING PR. | |
| Code | FELZ207 |
| Name | Symbolic Logic 1 |
| Term | 2019-2020 Academic Year |
| Semester | 3. 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 |
CELAL GÜRBÜZ
(Güz)
(A Group)
(Ins. in Charge)
|
Course Goal / Objective
The simple propositions of classical logic based on class member relationship and the sound reasoning made by these do not give the complete thinking. The course is directed towards refinement of multi meaning of colloguial language and bringing one meaning. Modern logic includes many logical methods. Logic of propositions will be studied with the rules of analyzing graphs.
Course Content
To investigate new trends in modern logic and the logic at propositons and its symbols.
Course Precondition
Resources
Notes
Course Learning Outcomes
| Order | Course Learning Outcomes |
|---|---|
| LO01 | Distinguish between classical logic and symbolic logic |
| LO02 | Understands the main joints of symbolic logic |
| LO03 | Knows intermediate joints in symbolic logic |
| LO04 | It translates the everyday language expression given in symbolic logic into symbolic language. |
| LO05 | Translates a proposition given in symbolic language into everyday language |
| LO06 | Comprehends the checking methods in truth function logic. |
| LO07 | Solves truth function logic problems. |
| LO08 | The parser applies the table rules. |
| LO09 | The parser implements table checking methods. |
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 | 4 |
| PLO03 | Bilgi - Kuramsal, Olgusal | Defines required concepts of the three main areas (philosophy, sociology, psychology) | 1 |
| PLO04 | Bilgi - Kuramsal, Olgusal | Recognizes problems encountered in the work area | 5 |
| PLO05 | Beceriler - Bilişsel, Uygulamalı | Integrates theoretical knowledge with knowledge from relevant disciplines | 5 |
| PLO06 | Yetkinlikler - Öğrenme Yetkinliği | Makes research sources of the main problems in field of Philosophy, Psychology and Sociology | 2 |
| PLO07 | Beceriler - Bilişsel, Uygulamalı | Evaluates the problems encountered in the educational environment and daily life from the perspective of philosophy, sociology and psychology | |
| 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 | |
| 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 | |
| PLO11 | Yetkinlikler - Alana Özgü Yetkinlik | Access related printed information and other sources of information in the field | 3 |
| PLO12 | Beceriler - Bilişsel, Uygulamalı | Be open to continuous self-development and research | 4 |
| PLO13 | Yetkinlikler - Alana Özgü Yetkinlik | Shows sensivity to issues of social, philosophical, and literary | 1 |
| 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 | Semiotics and Language: Language Various Uses | none | |
| 2 | The main concepts of semiotics | Lecture-Discussion-Question and Answer | |
| 3 | Propositional Logic: Proposition and its structure | Lecture-Discussion-Question and Answer | |
| 4 | Functions of joints | Lecture-Discussion-Question and Answer | |
| 5 | Accuracy Value Analysis: Mixed Truth Tables | Lecture-Discussion-Question and Answer | |
| 6 | Validity and Consistency Inspection | Lecture-Discussion-Question and Answer | |
| 7 | Equivalence and Applications | Lecture-Discussion-Question and Answer | |
| 8 | Mid-Term Exam | wtitten exam | |
| 9 | Simplification of Laws | Lecture-Discussion-Question and Answer | |
| 10 | Quine method | Lecture-Discussion-Question and Answer | |
| 11 | Conversion laws | Lecture-Discussion-Question and Answer | |
| 12 | Practice Examples | Lecture-Discussion-Question and Answer | |
| 13 | Forms of converted to full-expression | Lecture-Discussion-Question and Answer | |
| 14 | Distributive | Lecture-Discussion-Question and Answer | |
| 15 | Course rewiev | Lecture-Discussion-Question and Answer | |
| 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 | 4 | 4 |
| Total Workload (Hour) | 62 | ||
| Total Workload / 25 (h) | 2,48 | ||
| ECTS | 2 ECTS | ||