FELZ207 Symbolic Logic 1

2 ECTS - 2-0 Duration (T+A)- 3. Semester- 2 National Credit

Information

Unit FACULTY OF EDUCATION
PHILOSOPHY GROUP TEACHING PR.
Code FELZ207
Name Symbolic Logic 1
Term 2020-2021 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 Uzaktan Öğretim
Catalog Information Coordinator Arş.Gör. Dr. Ömer KIZILTAN
Course Instructor Prof. Dr. SADIK EROL ER (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 - Explains theorical debates of three main areas (philosophy, sociology, psychology) in relation to today´s problems 0
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 5
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 5
PLO13 - Shows sensivity to issues of social, philosophical, and literary 4
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. 5
PLO15 - Follows the developments and information in the field and and communicates with colleagues 5
PLO16 - Gets ability of critical, different and creative thinking and multi-dimensional perspective 5
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 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

Update Time: 05.04.2024 10:32