Formal Logic

Fall 2016 
Steve Awodey
TR 12 - 1:20 
Margaret Morrison A14  
9-12 units 

An introduction to formal logic, with applications to computer science. Topics include inductively defined structures, the syntax and semantics of first-order logic, completeness, compactness, and the Loewenheim-Skolem theorems. Further topics may also include definability, nonstandard models of arithmetic, higher-order, intuitionistic, and modal logic.

Prerequisites: either 80-210, 80-211, 21-127, 15-251, or consent of the instructor.


Course Information

Lectures  TR 12-1:20, MM A14 
Recitations  F 3-4:30, DH 4303
Textbook  Logic and Structure, Dirk van Dalen, Springer 2013.
Credit  9-12 units 
Grading  50% Homework, 25% Midterm, 25% Final 
Homework  Weekly homework is posted here on Thursdays and due the following Thursday in class.
Homework should be turned in in-person, and will not be accepted by email.
Late homework will be accepted only under exceptional circumstances.
Midterm  Thursday, Oct 13, in class.
Closed book, one two-sided sheet of notes permitted.
Final  Thursday, December 8, in class.
Closed book, one two-sided sheet of notes permitted.
Topics  Inductive definitions and proofs, 
Syntax and semantics of propositional logic, 
Syntax and semantics of first-order logic, 
Elementary model theory, 
Higher-order, intuitionistic, and modal logic. 
Online Discussion

Teaching Staff

    Office Office Hours Phone Email
Professor  Steve Awodey BH 135F  M 11-12  x8-8947
TA  Will Nalls DH 4302C Tue 2-3 xxx
TA  Sam Speight DH 4302E Thu 3-4 xxx
TA  Colin Zwanziger DH 4302E Wed 3-4 xxx
Admin. Asst.  Mary Grace Joseph  BH 161H    x8-9459
Steve Awodey