PHIL 811
Formal Logic
University of Nebraska-Lincoln · UGRD · Fall 2026
1 section
Catalog description
An advanced course in symbolic logic, covering metatheoretical results about selected systems of logic. Topics may include: the soundness and completeness of classical propositional logic, and of some propositional modal logics; non-classical propositional logics; and extensions of and alternatives to classical first-order predicate logic
Sections
Current meeting, instructor, credit, and enrollment details
001
Availability not recently verifiedClass #nebraska_lincoln-PHIL811Fall 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?