An introduction to modern logic. The syntax, semantics, and proof theory of truth-functional statement logic and first order predicate logic. Formalization of natural language statements and arguments. Weekly hours: 3 Lecture hoursPrerequisite(s): 3 credit units in philosophy or completion of 18 credit units at the university level or permission of the instructor. Note: Students with credit for PHIL 242 or 243 may not take this course for credit, nor may students take PHIL 241 and 243 concurrently. To receive credit for both PHIL 241 and 243 students must take PHIL 241 prior to PHIL 243.
An introduction to modern logic. The syntax, semantics, and proof theory of truth-functional statement logic and first order predicate logic. Formalization of natural language statements and arguments. Weekly hours: 3 Lecture hoursPrerequisite(s): 3 credit units in philosophy or completion of 18 credit units at the university level or permission of the instructor. Note: Students with credit for PHIL 242 or 243 may not take this course for credit, nor may students take PHIL 241 and 243 concurrently. To receive credit for both PHIL 241 and 243 students must take PHIL 241 prior to PHIL 243.
