LIN 240
Symbolic Logic
Saint Joseph's University · UGRD · Fall 2026
1 section
Catalog description
The study of a method for translating arguments from ordinary language into a symbolic notation which reveals logical structure, procedures for establishing the validity or invalidity of deductive arguments so symbolized, and properties of formal deductive systems-independence of axioms, expressive and deductive completeness, and consistency. See PHL 240 .
Sections
Current meeting, instructor, credit, and enrollment details
001
Availability not recently verifiedClass #saint_joseph_s-LIN240Fall 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?