Institutional Learning Outcomes: Continuing from PHIL 2220, students focus on a system of deduction for predicate logic. Students consider the relation between artificial and natural language, completeness, incompleteness and decidability, and the philosophical problems that arise from the study of reasoning. Prerequisite: Completion of 45 credits or permission of the instructor. Note: PHIL 2220 is strongly recommended
Institutional Learning Outcomes: Continuing from PHIL 2220, students focus on a system of deduction for predicate logic. Students consider the relation between artificial and natural language, completeness, incompleteness and decidability, and the philosophical problems that arise from the study of reasoning. Prerequisite: Completion of 45 credits or permission of the instructor. Note: PHIL 2220 is strongly recommended
