Formal Logic
80-310/610

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.


News


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. 
Homepage  http://www.andrew.cmu.edu/course/80-310-610/
Online Discussion  piazza.com/cmu/fall2016/80310


Teaching Staff

    Office Office Hours Phone Email
Professor  Steve Awodey BH 135F  M 11-12  x8-8947  awodey@cmu.edu
TA  Will Nalls DH 4302C Tue 2-3 xxx will.nalls@googlemail.com
TA  Sam Speight DH 4302E Thu 3-4 xxx sspeight@andrew.cmu.edu
TA  Colin Zwanziger DH 4302E Wed 3-4 xxx zwanzigerc@gmail.com
Admin. Asst.  Mary Grace Joseph  BH 161H    x8-9459  mjoseph@andrew.cmu.edu

awodey@cmu.edu
Steve Awodey