MTP 621
Introduction to Mathematical Logic

Spring, 2008

calendar Here's a calendar of topics, week by week.
And here's a syllabus (finally). It's slightly expanded from what I e-mailed out on Feb. 8.
This course meets from 6:30-8:20 PM in Hagedorn 104.

I taught this course previously in Summer 1996, and an undergraduate logic course in Fall 1997, Fall 2001, and Fall 2003.

The textbook introduces the notations mathematicians use to formalize logical reasoning and to give a precise meaning to the notion of "truth". We'll discuss the notion of a "model" of a language (a miniature universe in which statements of the language are true or false) and the possibilities of a statement being true in one world and false in another, or true in several different worlds. We'll discuss the notion of logical consequence (under what circumstances one statement necessarily follows from another), its formalization in mathematical inference rules, and the correspondence of those formal rules to the informal principles of sound reasoning used by real human beings. We'll also mention some of the major paradoxes and problems in the history of logic, and some major breakthroughs of 20th-century logic.

Homework assignments

Last modified: Tue Feb 12 19:24:00 EST 2008
Stephen Bloch /