PHILO 170 - Symbolic Logic
- Recent Professors
- Neil Pettijohn
- Recent Semesters
- 2026FA
- Class Size
- Not published
- Difficulty
- 6.2Demandingout of 10
- Credits
- 3
- 2026FA Sections
- View 2026FA sections of PHILO 170
- Transfers To
- CSUCSU GE Area A3
- Description
- This course introduces the principles of valid deductive reasoning and includes a study of formal techniques of sentential and predicate logic. The use of truth-tables for propositional connectives and interpretations for statements of first-order logic using mathematical theory is presented. The conclusion of the course will engage students in issues such as the completeness of propositional calculus, “fuzzy logic,” and deontic logic.