PHIL 312
SYMBOLIC LOGIC
St Bonaventure University · UGRD · Fall 2026
1 section
Catalog description
This course is designed to introduce students to formal languages and to the relation between logic and language. Topics covered include: symbolization, validity, soundness, truth-tables, truth-connectives, formal proof, sentential logic, quantifiers, and predicate logic.
Sections
Current meeting, instructor, credit, and enrollment details
001
Availability not recently verifiedClass #st_bonaventure-0737Fall 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?