PHIL 3000
Formal Logic II. ((3 Credits))
Utah Valley University · UGRD · Fall 2026
1 section
Catalog description
Prerequisite(s): PHIL 2000 and University Advanced Standing Continues the exploration of first-order quantificational logic. Includes discussion of multiple quantification, formal syntax and semantics, proofs, truth-tables, tableaux, algebra of classes, set theory, and the metalogical properties of formal systems.
Sections
Current meeting, instructor, credit, and enrollment details
001
Availability not recently verifiedClass #utah_valley-3605Fall 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?