PHILOS 009 - Symbolic Logic I
- Recent Professors
- Cara Gillis, Mia Wood, Fahmee El'Amin
- Recent Semesters
- Winter 2027, Fall 2026, Summer 2026
- Class Size
- Not published
- Difficulty
- 6.3Demandingout of 10
- Credits
- 3
- Winter 2027 Sections
- View Winter 2027 sections of PHILOS 009
- Transfers To
- CSUCSU GE Area A3
- Description
- This course covers both propositional and quantificational logic through to first-order predicates and identity. Students analyze techniques for representing truth-functional statements using letters and symbols, determining the validity of arguments using such statements, and demonstrating validity through formal proofs using a natural deduction system.
- Usually Held
- Mon Wed 12:45pm–2:10pm, Tue Thu 8:00am–9:25am