PHIL 120Symbolic Logic I
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. May be repeated for credit two times with change of content.
Prerequisites
From the catalog: “PHIL 10 or consent of instructor.”
Where it sits in degree plans
Suggested plans most often put it in Year 3 · Spring (1 program).
Required in (1)
- Philosophy (B.A.)
One of the options in (1)
- Linguistics (Cognition and Language) (B.A.)