Joel David Hamkins in Amsterdam 2019

Amsterdam, 11 May 2019

On Saturday, 11 May 2019, Professor Joel David Hamkins, the Sir Peter Strawson Fellow at University College Oxford, is visiting Amsterdam to speak at the Wijsgerig Festival DRIFT on the topic of Het zijn en de dingen. We used this opportunity to arrange for a small informal workshop on mathematical logic and set theory during the day. The programme will contain talks by ILLC students, a presentation by Professor Hamkins, and plenty of time for discussions.

The meeting will take place in the Belle van Zuylenzaal (Single 421–427; Room C1.13) in the University Library of the Universiteit van Amsterdam with the following schedule:

10:30-11:15	Robert Paßmann, E-models of IZF and intuitionistic multiverses
11:30-12:15	Sam Adam-Day, Polyhedra Completeness in Intermediate and Modal Logics
12:15-14:15	Lunch break
14:15-15:15	Joel David Hamkins, The modal logic of potentialism
15:30-17:00	Informal discussions in small groups

Joel David Hamkins, The modal logic of potentialism: Potentialism can be seen as a fundamentally model-theoretic notion, in play for any class of mathematical structures with an extension concept, a notion of substructure by which one model extends to another. Every such model-theoretic context can be seen as a potentialist framework, a Kripke model whose modal validities one can investigate. In this talk, I'll explain the tools we have for analyzing the potentialist validities of such a system, with examples drawn from the models of arithmetic and set theory, using the universal algorithm and the universal definition. Commentary can be made at http://jdh.hamkins.org/modal-logic-of-potentialism-amsterdam-may-2019.