This was a talk I gave at University College Oxford to the philosophy faculty.
Abstract. One of my favorite situations occurs when philosophical ideas or issues inspire a bit of mathematical analysis, which in turn raises further philosophical questions and ideas, in a fruitful cycle. The topic of potentialism originates, after all, in the classical dispute between actual and potential infinity. Linnebo and Shapiro and others have emphasized the modal nature of potentialism, de-coupling it from infinity: the essence of potentialism is about approximating a larger universe or structure by means of partial structures or universe fragments. In several mathematical projects, my co-authors and I have found the exact modal validities of several natural potentialist concepts arising in the foundations of mathematics, including several kinds of set-theoretic and arithmetic potentialism. Ultimately, the variety of kinds of potentialism suggest a refocusing of potentialism on the issue of convergent inevitability in comparison with radical branching. I defended the theses, first, that convergent potentialism is implicitly actualist, and second, that we should understand ultrafinitism in modal terms as a form of potentialism, one with suprising parallels to the case of arithmetic potentialism.
Here are my lecture notes that I used as a basis for the talk:
For a fuller, more technical account of potentialism, see the three-lecture tutorial series I gave for the Logic Winter School 2018 in Hejnice: Set-theoretic potentialism, and follow the link to the slides.