Course Name Code Semester T+U Hours Credit ECTS
Modern Logic FEL 206 4 2 + 0 2 4
Precondition Courses
Recommended Optional Courses
Course Language Turkish
Course Level Bachelor's Degree
Course Type Optional
Course Coordinator Doç.Dr. İBRAHİM SAFA DAŞKAYA
Course Lecturers
Course Assistants
Course Category
Course Objective To make students to be acquainted with the subject-matters and concepts of modern logic and to learn the way of thinking about those subject-matters and concepts.
Course Content Modern logic, Logic of truth function, Method of formal inference, Quantification logic, Philosophy of logic.
# Course Learning Outcomes Teaching Methods Assessment Methods
1 Recognises problems of modern logic. Lecture, Testing, Homework,
2 Identifies the relation of modern logic and other disciplines. Lecture, Question-Answer, Discussion, Testing,
3 Tells the difference between modern and classic logic. Lecture, Question-Answer, Testing,
4 Correlates between logic and mathematics. Lecture, Question-Answer, Testing,
5 Tells proposition and reasoning by symbols. Lecture, Drilland Practice, Motivations to Show, Testing,
6 Uses axiomatic method. Lecture, Drilland Practice, Testing,
Week Course Topics Preliminary Preparation
1 Introduction to modern logic
2 Logic of truth function
3 Logic of truth function
4 Logic of truth function
5 Method of formal inference
6 Method of formal inference
7 Quantification logic
8 Quantification logic
9 Midterm exam
10 Axiomatic method
11 Axiomatic method
12 Problems about logic
13 Philosophy, science, logic
14 Philosophy of logic
Course Notes [1] Doğan Özlem, Mantık, İstanbul 1996
Course Resources [2] Cemal Yıldırım, Mantık ‘Doğru Düşünme Yöntemi’ Bilgi yayınevi
[3] Teo Grunberg, Sembolik Mantık, El Kitabı, ODTÜ Geliştirme Vakfı Yayıncılık
Order Program Outcomes Level of Contribution
1 2 3 4 5
1 To acquire the skill of analytical and synthetic thinking, reading and acquainting, X
2 To be able to understand and judge the philosophical accumulations at local and universal level, X
3 To be able to do researches and to improve a method about the philosophical problems in the sources that are constituted in the field of philosophy, X
4 To be able to connect the universal problems of philosophy with the local problems, X
5 To be able to interrogate the universal problems of mankind, to be able to examine the interrogations in this field, X
6 To be able to deal with the problems of such fields as science, culture and art in a philosophical way, to recognize those questions X
7 To be able to provide the usage of interdisciplinary knowledge for the common and local problems concerning science, religion and art, X
8 To be able to understand, to solve and when necessary to direct the particular problems, X
9 To be able to narrate in writing and in words in a systematic and consistent way the knowledge possessed and suggestions for the solutions of problems, X
12 To be able to attain and to use the knowledge about philosophy and history of science.
Evaluation System
Semester Studies Contribution Rate
1. Ara Sınav 70
1. Kısa Sınav 10
2. Kısa Sınav 10
1. Ödev 10
Total 100
1. Yıl İçinin Başarıya 50
1. Final 50
Total 100
ECTS - Workload Activity Quantity Time (Hours) Total Workload (Hours)
Course Duration (Including the exam week: 16x Total course hours) 16 2 32
Hours for off-the-classroom study (Pre-study, practice) 16 2 32
Mid-terms 1 10 10
Assignment 1 10 10
Performance Task (Laboratory) 1 4 4
Total Workload 88
Total Workload / 25 (Hours) 3.52
dersAKTSKredisi 4