[Alta-Logic] Two Talks by Saul Kripke (Oct 13, 14)

[Richard Zach]

For the non-philosophers: Kripke is widely considered to be the most
important 20th century analytic philosopher still living. A recent poll
even had him ranked the 7th most influential philosopher of the last 200
years. He is best known for his work in logic (he developed semantics
for modal logics--the now so-called "Kripke semantics"--when still a
teenager, worked on theories of truth, Wittgenstein, and metaphysics and
philosophy of language).  He will give two talks at the University of
Calgary in the week after next. The second of these, on David Hilbert's
proof-theoretic program for the foundations of mathematics should be of
interest especially also to mathematicians.

Saul Kripke - The Structure of Possible Worlds: Some Considerations
Tues Oct 13, 2:00 pm, Science Theatres, Room 127

Saul Kripke - The Trouble with the Hilbert Program
Weds Oct 14, 4:00 pm, Science Theatres Room 145