Philo. 106b Math Logic Professor Alan... e-mail: Office Hours: TBA (On Wednesday late afternoon

advertisement
Philo. 106b Math Logic
Professor Alan Berger
e-mail: [email protected]
Office Hours: TBA (On Wednesday late afternoon
and/or and by appt.)
Attention: If you are a student with a documented disability on record
at Brandeis University and wish to have a reasonable accommodation made
for you in this class, please see me immediately. Any case of dishonesty
is a serious academic infraction and is subject to disciplinary action.
This includes cheating on test, using other materials (includes
Internet) without citing the source.
Philosophy 106b (designed primarily for students
who have some degree of mathematical
sophistication)
Grading
You will be graded on the basis of one in class
midterm exam, and one final exam during final exam
week.
Texts
There will be two texts, the one that we will use
up until the midterm is Mendelsohn's Introduction
to Mathematical Logic. Since the first part of the
book does not vary from one version of the book to
any other version of the book, you may purchase any
used version of any volume. For the second half of
the course, you will have to purchase my notes and
bring them to class regularly.
The aim and Purpose of this Course
The central aim of this course is to develop a firm
grip on what a formal system is, and to study and
prove some of the most famous and important
theorems in mathematical logic, i.e., theorems
about any arbitrary and rich enough system. In
particular, some typical theorems that we will
prove are Godel's two incompleteness Theorems,
Tarski's Theory of Truth, a few paradoxes,
especially concerning the Lowenheim-Skolem Theorem.
We will also discuss some of the philosophical
implications of Godel's Theorems, especially with
respect to the Hilbert Program. Along the way we
will learn notions such as recursive and primitive
recursive functions and other machinery that Godel
had to invent in order to prove his two famous
incompleteness theorems. We will also have to
study Robinson Arithmetic, and we will prove
Church's Theorem as well as discuss Church's
Thesis.
Specific Topics and Approximate Schedule
The first half of the course will consist in
setting up a very elementary formal system,
Propositional Logic, and prove such theorems such
as that all truth functional expressions are
expressible in this system, that there can be one
truth functioal connective from which all other
truth functional connectives can be defined, and
that Propositional logic is complete. We will then
introduce the semantics for our next formal system,
Predicate logic. This will bring us up to the
first half of the course. In addition to having to
do exercises, we will be be using any version of
Elliot Mendelsohn's classic textbook, Introduction
to Mathematical Logic.
For the second half of the course, we will learn
all the important material that you will be
responsible for knowing in detail on the final. We
will learn Robinson Arithmetic, Arithmetization,
Godel numbering, diagonalization, recursive, and
primitive recursive functions, and the two Godel
Incompleteness Theorems. We will be using my
personal notes to cover this material. YOu will be
required to bring my notes to class.
Only For Graduate Students, Advanced or Interested
Students wanting special Course Credit
In addition to attending the regular Mathematical
Logic class, graduate students and advanced or very
interested honors students will meet with me one
hour a week to discuss further details of Godel's
two incompleteness theorems. We will also go over
in more detail, Tarski's Theory of Truth and the
"paradox" concerning the Lowenheim-Skolem Theorem.
We will also look at the philosophical implications
of the Godel Theorems on the Hilbert Program. All
of these topics depend upon whether time permits.
Download