PHIL 341
Symbolic Logic I
Texas A&M University · UGRD · Fall 2026
1 section
Catalog description
Credits 3. 3 Lecture Hours. Students explore the metatheory (formal languages, model theory and proof theory) of several basic systems of mathematical logic, including at least classical propositional logic and first-order logic with the theory of identity. Prerequisite: PHIL 240 or approval of instructor.
Sections
Current meeting, instructor, credit, and enrollment details
001
Availability not recently verifiedClass #texas_am-6721Fall 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?