MATH 3810 — Deductive Logic
General Information
A mathematical study of the formal languages of standard first-order propositional and predicate logic, including their syntax, semantics, and deductive systems. The basic apparatus of model theory will be presented. Various formal results will be established, most importantly soundness and completeness.
Full Cornell course description (SP26)
Credits: 4
Prerequisites and Enrollment
Prerequisites: PHIL 2310 or MATH 2210 or MATH 2230 or permission of instructor.
Recorded Offerings
| Semester | Listed instructors | Course details |
|---|---|---|
| Spring 2026 | Harold Hodes | Roster / syllabus |
Workload and General Advice
Student contributions have not been added yet. Consult the offering’s syllabus for assignments and assessment details.
Student Experiences
No testimonials yet.
Course information checked against Cornell’s Spring and Fall 2026 rosters on September 18, 2026. The listed semesters are verified examples, not a complete offering history.