Paradox and Infinity
MIT's Paradox and Infinity examines the technical side of philosophy through a set of puzzles that push logic and mathematics to their limits. Topics include Cantor's work on the higher infinite, Russell's paradox, the Liar paradox, Zeno's puzzles about motion, and Godel's Incompleteness Theorem, with attention to what each result means for questions about truth, knowledge, and the foundations of mathematics. Course materials from MIT OpenCourseWare include lecture notes, readings drawn from philosophy and mathematical logic, and problem sets that ask students to work through the proofs and arguments directly rather than just read about them. No prior background in formal logic is assumed, though the material moves quickly into technical territory. The course is free to audit through MIT OpenCourseWare, with no certificate offered.