MIT OpenCourseWare

Browse materialsMIT 24.242 · Spring 2004

Logic II

Subject: Mathematics

Art: Italian illuminator, Boethius initial consolation philosophy, 1385 · Public domain

Instructor: Prof. Vann McGee
Term: Spring 2004
Level: Undergraduate
What's inside: 1 lecture note · 42 other files · 2 web pages
Materials open: MIT OCW

Start here

Start course: Lecture 1: Why Study Computability? ( PDF )Find a topic

Progress is saved in this browser.

Export or import progress

About this course

Source: MIT OpenCourseWare 24.242 Logic II, Spring 2004, Prof. Vann McGee — original course page on ocw.mit.edu ↗. License: CC BY-NC-SA 4.0. Study order: MIT's own listing order, section by section. Taken from MIT's published course files, downloaded from ocw.mit.edu on September 23, 2026. How RedLectern is built.

Materials are grouped the way MIT organized them. A verified, course-wide order has not been established here.

Has MIT solutions 1 file in this course is named by MIT as solutions.

Before you start

Prerequisites are not listed here. Check MIT's own syllabus for this course.

How this course was organized

What's here, and what isn't

A lecture sequence of 11 items is confirmed. Assignment and exam materials exist too, but MIT's own order for them could not be verified, so they're shown as materials below rather than a sequence.

Not included here

1 item from the source could not be safely included:

Referenced in a table, but without MIT's own verified order, so it isn't used to claim a sequence.

Materials by section

Grouped by section, as MIT organized them. Not sequenced or ordered.

Lecture Notes

17 files

Assignments

16 problem sets

Other materials from this course

9 files

MIT OpenCourseWare, Prof. Vann McGee, 24.242 Logic II, Spring 2004.

License: CC BY-NC-SA 4.0 · Edition: Spring 2004 · Open the original course on OCW ↗

Organized by RedLectern, independent of MIT and not endorsed by MIT.

Per-resource rights are recorded on each resource; All-Rights-Reserved items are link-only, never mirrored.

Logic II

Before you start

What's here, and what isn't

Not included here

Materials by section

Lecture Notes

Assignments

Other materials from this course

Lecture 1: Why Study Computability? ( PDF )

Lecture 4: The Language of Arithmetic ( PDF )

Lecture 5: Church-Turing Thesis ( PDF )

Lecture 6: Nonstandard Models of Arithmetic ( PDF )

Lecture 7: Gödel Numbering ( PDF )

Lecture 8: Robinson’s Arithmetic ( PDF )

Lecture 17: Interpretations ( PDF )

Lecture 18: Tarski’s Theory of Truth ( PDF )

Lecture 19: Gödel, Mechanism, and Mind Articles by Lucas and Benacerraf

Lecture 22: Introduction to Modal Logic ( PDF )

Lecture 25: Defining Exponentiation ( PDF )