An introduction to symbolic logic with an emphasis on proof systems (especially natural
deduction) for truth-functional, propositional, and quantificational predicate logic.
Includes techniques for the translation of English statements and arguments into a
formal language, methods for determining the validity of arguments, and basic probability
Letter Grade Only
- Lecture hours/semester: 48-54
- Homework hours/semester: 96-108
Recommended: Eligibility for ENGL 100 or ENGL 105, or equivalent. Eligibility for MATH 120 or equivalent.
AA/AS Degree Requirements: Area 9A3
(CSU GE Area A3), UC
C-ID: PHIL 110, PHIL 210