SYMBOLIC LOGIC
Propositional and predicate logic, with emphasis on metatheory; independence of rules and completeness theorems; discussion of technical and philosophical limitations of classical logic.
Prerequisites & course information
Requisites: PHILOS 211 Course Designation: Core GenEd - Humanities & Arts Breadth - Humanities or Social Science Level - Advanced L&S Credit - L&S Liberal Arts and Science Repeatable for Credit: No Last Taught: Fall 2022 Learning Outcomes: 1. Describe core concepts of philosophical logic. Audience: Undergraduate 2. Symbolize and manipulate logical statements using formal systems. Audience: Undergraduate 3. Analyze, construct, and evaluate philosophical arguments. Audience: Undergraduate Learning Outcomes: 1. Describe core concepts of philosophical logic. Audience: Undergraduate 2. Symbolize and manipulate logical statements using formal systems. Audience: Undergraduate 3. Analyze, construct, and evaluate philosophical arguments. Audience: Undergraduate
Sources
- Course catalogue ↗2026-2027