Mathematics 114L, Mathematical Logic, Spring 2021

Instructor: Yiannis N. Moschovakis, MS 6240,,
Teaching Assistant: Aaron Anderson,,
Lectures : Monday - Wednesday - Friday, 9:00 - 9:50, online
Discussion Section: Thursday, 9:00 - 9:50, online
Conference Hours of Moschovakis, tentative: M: 7:15 - 8:15 PM, F: 10:00 - 11:00 AM and by appt.
Conference Hours of Aaron, tentative: T, 2:00 - 3:00
Requisites: 110A or 131A or Philosophy 135 or consent of the instructor.

Visit this page often for Homework assignments, the log of lectures, etc.

Basic information          Log of lectures (updated 4/15)          Homework (H3 sols posted 4/15)
Recordings (Updated 4/12)

The slides I used in Lectures 1 - 7. (This is a dynamic PDF file, now posted on google drive)

Apologies for cancelling the lecture on Wed., April 14; sad story, I'll explain.
I do not anticipate a problem with the Lecture on Friday, April 16, students will get an invite.

Lecture Notes.
Part 1, The propositional calculus PL (Typos corrected, 4/5)
Part 2, The lower predicate calculus with identity, LPCI
Part 3, The theorems of Tarski and Gödel. Don't rush me.

The first midterm will be given on Friday, April 16.
  1. It will be take home and open book.
    You can use the Notes, the slides from the lectures, and any textbook or publically available material
    You are not allowed to collaborate with anyone
  2. The test will be based on Part 1 of the Notes, PL, the Propositional Calculus
  3. Students will be given access to the test on gradescope at 8:00 AM PDT on Thursday, April 15;
    you can choose what time to start work on it and are allowed to work for 1 hour after you start and before you turn it in, by 8:00 AM PDT no later than Friday, April 16.
If you are unclear about any of this, do not hesitate to send email to Moschovakis