Formal Logic
80-310/610

Fall 2018 
Steve Awodey
TR 12 - 1:20 
Baker Hall A53  
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, BH A53  
Recitations  Tuesdays at 6pm in Baker Hall 150  
Textbook  Logic and Structure, Dirk van Dalen, Springer 2013.
Available on-campus from this link.
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 11, in class.
Closed book, one two-sided sheet of notes permitted.
Final  Thursday, December 6, 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/fall2018/80310/home


Teaching Staff

    Office Office Hours Phone Email
Professor  Steve Awodey BH 135F  F 11-12  x8-8947  awodey@cmu.edu
TA  Matthew Bowen DH 4301 T 3:30-4:30 xxx mbowen1@andrew.cmu.edu
TA  Zesen Qian DH 4301C M 3-4 xxx zesen.qian@gmail.com
TA  Andrew Warren DH 4301D F 3-4 xxx awarren1@andrew.cmu.edu
Admin. Asst.  Mary Grace Joseph  BH 161H    x8-9459  mjoseph@andrew.cmu.edu

awodey@cmu.edu
Steve Awodey