PHL 373
Symbolic Logic
Miami University · UGRD · Fall 2026
1 section
Catalog description
Study of standard notation, principles of inference, formal systems, methods of proof. Chief attention given to first-order predicate logic. Some focus placed on the philosophy of logic. CAS-E.
Sections
Current meeting, instructor, credit, and enrollment details
001
Availability not recently verifiedClass #miami_oxford-PHL373Fall 2026UGRD4 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?