MATH 5260: Symbolic Logic I
Systematic analysis of deductive validity; formal languages which mirror the logical structure of portions of English; semantic and syntactic methods of verifying relations of logical consequence for these languages.
- Credits
- 3
- Offered
- Fall 2026
- Campuses
- Storrs
- Gen Ed
- Q: Quantitative Competency
- Requirements
- At least one of LING 1010, POLS 1002, or one three-credit course in Philosophy at the 1100 level.
Fall 2026 sections
Taught by Damir Dzhafarov.
| Section | Type | Meets | Instructor | Campus | Room | Seats |
|---|---|---|---|---|---|---|
| 001 | LEC | 2:00PM - 3:15PM / MoWe | Damir Dzhafarov | Storrs | MONT 113 | 10 of 20 open |
Seats as of Nov 12, 2026. HuskyScheduler shows live seats when you search.