PHIL203 MODERN LOGIC I
| Course Code: | 2410203 |
| METU Credit (Theoretical-Laboratory hours/week): | 4 (4.00 - 0.00) |
| ECTS Credit: | 7.0 |
| Department: | Philosophy |
| Language of Instruction: | English |
| Level of Study: | Undergraduate |
| Course Coordinator: | Prof.Dr. DAVİD GRÜNBERG |
| Offered Semester: | Fall Semesters. |
Course Objectives
Polyadic Predicate Logic, Logic of Identity, Definite Descriptions, Model Theory.
Course Content
First-order logic with identity and modal logic.
Course Learning Outcomes
Extension of monadic predicate logic to many-place predicates.
The exercise of symbolization, arguments.
The relation between derivabilty and validity, and invalidity of arguments are developed accordingly.