PHIL 120. Symbolic Logic I (4 units)
Link to catalog page: https://catalog.ucsd.edu/courses/PHIL.html#phil120
Description
The syntax, semantics, and proof-theory of first order monadic and polyadic predicate logic. In this course, we will learn how to determine whether arguments that can be represented in first order predicate logic are deductively valid, how to symbolize English arguments, the rules of a natural deduction system, how to apply those rules to determine the logical status of symbolized arguments, and how to use semantic methods for determining validity and invalidity. Prerequisites: PHIL 10 or consent of instructor.
Prerequisite courses
Loading...
Successor courses
PHIL 120 is a prerequisite of the following 3 courses: