|
|
| SOS2012 | Modern Logic | 4+0+0 | ECTS:5 | | Year / Semester | Spring Semester | | Level of Course | First Cycle | | Status | Compulsory | | Department | DEPARTMENT of SOCIOLOGY | | Prerequisites and co-requisites | None | | Mode of Delivery | | | Contact Hours | 14 weeks - 4 hours of lectures per week | | Lecturer | Doç. Dr. Ferhat ONUR | | Co-Lecturer | Lecturer: Doç. Dr. Ferhat ONUR | | Language of instruction | Turkish | | Professional practise ( internship ) | None | | | | The aim of the course: | | In this lecture series, we will see that logic is a tool that helps us think more clearly and rigorously. |
| Learning Outcomes | CTPO | TOA | | Upon successful completion of the course, the students will be able to : | | | | LO - 1 : | Recognize the concepts of modern logic. | 1 - 2 - 4 - 5 - 6 - 7 - 8 - 9 - 10 - 11 - 14 - 15 - 16 | 1 | | LO - 2 : | Can create truth tables. | 1 - 2 - 4 - 5 - 6 - 7 - 8 - 9 - 10 - 11 - 12 - 13 - 14 - 15 - 16 | 1 | | LO - 3 : | Distinguish valid and invalid forms of argument. | 1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - 10 - 11 - 12 - 13 - 14 - 15 - 16 | 1 | | LO - 4 : | Have knowledge about proof methods. | 1 - 2 - 3 - 4 - 6 - 8 - 9 - 11 - 13 - 14 - 15 - 16 | 1 | | LO - 5 : | Symbolize propositons and arguments of eeryday language. | 1 - 2 - 4 - 6 - 7 - 8 - 9 - 10 - 11 - 12 - 13 - 14 - 15 - 16 | 1 | | CTPO : Contribution to programme outcomes, TOA :Type of assessment (1: written exam, 2: Oral exam, 3: Homework assignment, 4: Laboratory exercise/exam, 5: Seminar / presentation, 6: Term paper), LO : Learning Outcome | | |
| After discussing logical concepts, we will introduce formal logic. Then, we will examine truth-function logic and first-order predicate logic, respectively. Finally, we will discuss the philosophical background of the emergence of modern logic at a theoretical level. |
| |
| Course Syllabus | | Week | Subject | Related Notes / Files | | Week 1 | Logical Concepts | | | Week 2 | Truth-functional Logic | | | Week 3 | Truth Tables | | | Week 4 | Truth Tables and Validity | | | Week 5 | Natural Deduction | | | Week 6 | Logical Proofs with Equivalences | | | Week 7 | Conditional and Indirect Proofs | | | Week 8 | First-order Predicate Logic | | | Week 9 | Midterm Exam | | | Week 10 | Validity In First-order Predicate Logic | | | Week 11 | Demonstrating Invalidity | | | Week 12 | Relational Logic | | | Week 13 | Introducing Logical Identity | | | Week 14 | Logic and Mathematics | | | Week 15 | Modal Logic | | | Week 16 | Three-valued and Fuzzy Logic | | | |
| 1 | Gimbel, S. 2016; An Introduction to Formal Logic, The Great Courses, Chantilly. | | | |
| Method of Assessment | | Type of assessment | Week No | Date | Duration (hours) | Weight (%) | | Mid-term exam | 9 | 14.04.2025 | 1 | 50 | | End-of-term exam | 16 | 10.06.2025 | 1 | 50 | | |
| Student Work Load and its Distribution | | Type of work | Duration (hours pw) | No of weeks / Number of activity | Hours in total per term | | Yüz yüze eğitim | 4 | 14 | 56 | | Sınıf dışı çalışma | 4 | 14 | 56 | | Arasınav için hazırlık | 10 | 1 | 10 | | Arasınav | 1 | 1 | 1 | | Dönem sonu sınavı için hazırlık | 12 | 1 | 12 | | Dönem sonu sınavı | 1 | 1 | 1 | | Diğer 1 | 1 | 14 | 14 | | Total work load | | | 150 |
|