PHL 4200
Symbolic Logic II
Wright State University-Main Campus · UGRD · Fall 2026
1 section
Catalog description
Standard notations, principles of inference, formal systems, and methods of proof. Focus on first-order predicate logic. Students who have taken PHL 3230 cannot take PHL 4200. Prerequisite(s): Undergraduate level PHL 3200 Minimum Grade of D Course Level: Undergraduate Schedule Type(s): Lecture Grade Mode: Standard
Sections
Current meeting, instructor, credit, and enrollment details
001
Availability not recently verifiedClass #wright_main_campus-PHL4200Fall 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?