PHIL 376
Symbolic Logic. 3 credits
George Mason University · UGRD · Fall 2026
1 section
Catalog description
Study of predicate calculi by means of a step-by-step construction of artificial languages. Topics include procedures for constructing a calculus, proof techniques, significant properties of predicate calculi, and procedures for recognizing phrases. Offered by Philosophy . Limited to three attempts.
Sections
Current meeting, instructor, credit, and enrollment details
001
Availability not recently verifiedClass #george_mason-5546Fall 2026UGRD
- 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?