21-300: Basic Logic, Fall 2017
Lectures MWF 9:30 - 10:20 in DH 2122

Course Description

We will study propositional and first-order logic from a mathematical perspective, in particular analyzing soundness and completeness of the corresponding proof systems. We will also examine some structural aspects of logic in the form of model theory. Time permitting, towards the end of the semester we will investigate aspects of computability theory, including the incompleteness phenomenon.


Unfortunately, there is no textbook for the course. I will periodically post handouts on this webpage and indicate relevant external references in lecture.


Formal proofs in propositional logic
Formal proofs in first-order logic
Soundness of proofs in first-order logic

Office Hours:

Tuesday 1:45-3:15 or by appointment in 7121 Wean Hall.


Your grade will be determined as follows:
20% homework (see below for details),
20% each of two midterms,
40% final exam.


Midterm 1 will take place in class on Monday, October 9. Material up to and including HW4 is considered fair game for this exam. It will be a "closed everything" exam, meaning that no resources (such as class notes, etc.) may be used for assistance.
Front page of Midterm 1
Midterm 1 review sheet

Midterm 2 will take place in class on Monday, November 13. Material up to and including HW8 and class through Nov 3 is considered fair game for this exam. The policies are the same as for midterm 1.
Midterm 2 review sheet


Homework will typically be assigned on Wednesday and due the subsequent Wednesday no later than noon. Hardcopies of homework may be submitted in class that morning or in my office, and I also accept electronic submission via email. Collaboration is encouraged on the assignments, aside from starred problems as discussed below, but each student is expected to write up his or her own solutions. Use of external resources (on non-starred problems) is also permitted, but in the interest of academic honesty please be sure to cite your sources.

Each assignment may contain a single starred problem for which no collaboration nor external resource is allowed. You may consult only the text and your notes. Please obey these terms -- homework is graded on completeness anyway so there should be little incentive to cheat (if anything it will have a negative long-term effect on your grade).

HW1 (due Sept 6)


HW2 (due Sept 20)


HW3 (due Sept 27)


HW4 (due Oct 4)


HW5 (due Oct 18)


HW6 (due Oct 25)


HW7 (due Nov 1)


HW8 (due Nov 8)


HW9 (due Nov 29)


HW10 (due Dec 6)


Clinton T. Conley