Course Information


Course Information
Course Title Code Semester L+U Hour Credits ECTS
MODERN LOGIC FEL136 4 + 0 4.0 8.0

Prerequisites None

Language of Instruction Turkish
Course Level Graduate Degree
Course Type Compulsory
Mode of delivery Lecture, problem solving
Course Coordinator
Instructors
Assistants
Goals To provide students with kowledge of relations between propositions and characteristics of deductive arguments.
Course Content A study on symbolic logic concentrating on consistency of the set of statements, validity of arguments.
Learning Outcomes 1) .what is logic?
2) .Proposition, inference, deductive and inductive inferences are examined.
3) .The logic of propositions and logical invariants are discussed.
4) .Symbolization, truth tables, consistency and validity checks are covered.

Weekly Topics (Content)
Week Topics Teaching and Learning Methods and Techniques Study Materials
1. Week What is Logic? Definition and Historical background Lecture; Question Answer
Colloquium
Problem Based Learning 		Homework Presentation (Including Preparation Time)
2. Week .types of knowledge (scientific, daily etc.) Lecture; Question Answer
Brainstorming; Colloquium
Problem Based Learning 		Homework Presentation (Including Preparation Time)
3. Week Proposition, Argument, Deductive and Inductive Reasonings. Lecture
Colloquium
Problem Based Learning 		Homework Presentation (Including Preparation Time)
4. Week Symbolization Lecture; Question Answer
Colloquium
Problem Based Learning 		Homework Presentation (Including Preparation Time)
5. Week .Main problems of epistemology Lecture; Question Answer
Brainstorming; Colloquium
Problem Based Learning 		Homework Presentation (Including Preparation Time)
6. Week Propositional Logic and Logical Constants Lecture; Question Answer
Colloquium
Problem Based Learning 		Homework Presentation (Including Preparation Time)
7. Week Truth Tables, Consistency and Validity I Lecture
Colloquium
Problem Based Learning 		Homework Presentation (Including Preparation Time)
8. Week Truth Trees and Rules Lecture; Question Answer
Colloquium
Problem Based Learning 		Homework Presentation (Including Preparation Time)
9. Week Testing of Consistency and Validity with Truth Trees I Lecture; Question Answer
Colloquium
Problem Based Learning 		Homework Presentation (Including Preparation Time)
10. Week Mid-term exams Lecture
Colloquium
Problem Based Learning 		Homework Presentation (Including Preparation Time)
11. Week .Scientific knowledge and positivism Lecture; Question Answer
Colloquium
Problem Based Learning 		Homework Presentation (Including Preparation Time)
12. Week Quantificational Logic and Symbolization. Lecture; Question Answer
Colloquium
Problem Based Learning 		Homework Presentation (Including Preparation Time)
13. Week Testing of Consistency of Statements and Validity of Arguments with Turth Trees in Quantificational Logic II Lecture; Question Answer
Colloquium
Problem Based Learning 		Homework Presentation (Including Preparation Time)
14. Week general assesment Lecture
Opinion Pool; Colloquium
Problem Based Learning 		Homework

Sources Used in This Course
Recommended Sources
Doğan Özlem, Mantık
Kadir Çüçen, Mantık
Teo Grünberg, Sembolik Mantık El Kitabı

ECTS credits and course workload
Event Quantity Duration (Hour) Total Workload (Hour)
Course Duration (Total weeks*Hours per week) 14 3
Work Hour outside Classroom (Preparation, strengthening) 14 4
Midterm Exam 1 12
Time to prepare for Midterm Exam 5 4
Final Exam 1 12
Time to prepare for Final Exam 5 4
Total Workload
Total Workload / 30 (s)
ECTS Credit of the Course
Quick Access Hızlı Erişim Genişlet
Course Information
  • Course Information
  • Weekly Topics (Content)
  • Sources Used in This Course
  • ECTS credits and course workload