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

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.


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)

Clinton T. Conley