PHIL 115
Introduction to Formal Logic II
University of South Carolina-Columbia · UGRD · Fall 2026
1 section
Catalog description
Intermediate topics in predicate logic, including second-order predicate logic; meta-theory, including soundness and completeness; introduction to non-classical logic
Sections
Current meeting, instructor, credit, and enrollment details
001
Availability not recently verifiedClass #south_carolina_columbia-PHIL115Fall 2026UGRD3 credits
- Days & times
- No scheduled meeting time
- Meeting dates
- —
- Location
- —
- Instructor
- Staff
Class numbers and section codes come from the registrar.
Spot missing or incorrect course data?