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.