# MTP 621

Introduction to Mathematical Logic

## Spring, 2008

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.

Last modified:
Tue Feb 12 19:24:00 EST 2008
Stephen Bloch / sbloch@adelphi.edu