On the 9th September, 2016, in Amsterdam, Professor Kripke spoke at a conference titled “L.E.J. Brouwer, fifty years later.”
Title: Free choice sequences: A temporal interpretation compatible with acceptance of classical mathematics
Abstract: This paper presents a way of supplementing classical mathematics with a motivation for a Brouwerian theory of free choice sequences. The idea is that time is unending, so that one can never come to an end of time, but also indeterminate, so that in a branching time model only one branch represents the ‘actual’ one. This can be random or subject to various restrictions imposed by the creating subject. The fact that the underlying mathematics is classical makes such perhaps delicate issues as the fan theorem no longer problematic. On this model, only intuitionistic logic applies to the Brouwerian free choice sequences, not because of any skepticism about classical mathematics, but because there is no ‘end of time’ when everything about them can be decided.
Yiannis Moschovakis talking with Saul Kripke.
The conference speakers with a bust of Brouwer’s head.
Timothy Williamson presented the Third Annual Saul Kripke Lecture “Objective Possibilities” on March 31, 2016. Timothy Williamson is Wykeham Professor of Logic at New College, Oxford University
Saul Kripke Lectures 2015 at the University of Vienna:
Hannah Ginsborg (Berkeley),
“Skepticism and Quietism about Meaning and
Wednesday, 18 June, 5-7pm, HS 2D
Romina Padro (CUNY),
“Carroll and Kripke on Rules and Inferring”
Tuesday, 23 June, 4.45pm-6.30pm, HS D, Unicampus Hof 10, Hirnforschungzentrum
Saul Kripke (CUNY),
“Time and Identity”
(This is likely to include comments on space-time theories, including Minkowski space-time.)
Wednesday, 24 June, 3-5pm, HS D, Unicampus Hof 10, Hirnforschungzentrum
Saul Kripke (CUNY),
“The Rule-following Considerations Revisited”
Thursday, 25 June, 4:30-6:30pm, HS 50 Hauptgebäude, 2nd floor, staircase 8
Martin Kusch of the University of Vienna with Saul Kripke.
John Burgess presented the Second Annual Saul Kripke Lecture “The Origin of Necessity and the Necessity of Origin” on November 13th, 2012, Professor Kripke’s 72nd Birthday. John Burgess is John N. Woodhull Professor of Philosophy at Princeton University and recently authored Kripke with Polity Press.
In this lecture Burgess discusses something he was not able to explore at length in the book – the necessity of origin hypothesis which is discussed in Kripke’s Naming and Necessity with the example of Elizabeth Windsor and in a long footnote.
Could Elizabeth Windsor have been the daughter of Harry Truman? Could 5 have been a divisor of 29?
Below is a preview, followed by the full 85 min lecture.
Professor Burgess has also published his paper on his website here.