Basic Logic

21-300 Basic Logic

Fall 2018

Class Info

Class times: MWF 9:30am - 10:20am
Class location: WEH 5149
Office: WEH 7128
Office Hours: W 10:30 - 12:00 and F 2:30 - 4:00

Textbook

The class will cover Chapters 1 - 4 of Professor Ernest Schimmerling's online textbook.

Course Description

This course is a rigorous introduction to mathematical logic, focusing on the systems of propositional logic and first-order logic. Topics include formal syntax, deduction systems, soundness and completeness of propositional logic, the compactness theorem for propositional logic, soundness and completeness of first-order logic, models of first-order theories, the compactness theorem for first-order logic, the upward and downward Lowenheim-Skolem theorems, the basic model theory of linear orders, and ultraproducts.

Grading

There will be weekly homework assignments, two midterm exams, and a final exam. The homework and tests will be weighted as follows in the final grade computation:

Homework (20%)
Midterm 1 (25%)
Midterm 2 (25%)
Final (30%)

Letter grade cutoffs will be determined at the end of the semester, but will not be more harsh than the standard cutoffs of 90% - 100% = A, 80% - 89.9% = B, etc.