University of Connecticut

Events Calendar

Logic Colloquium (Online): Brauer, Linnebo, & Shapiro: Choice Sequences

Friday, October 30, 2020
11:00am – 12:30pm

Storrs Campus

Join us for the online Logic Colloquium for a talk by Ethan Brauer, Øystein Linnebo, and Stewart Shapiro on:

Divergent potentialism: A modal analysis with an application to choice sequences

Modal logic has recently been used to analyze potential infinity and potentialism more generally. However, this analysis breaks down in cases of divergent possibilities, where the modal logic is weaker than S4.2. This talk has three aims. First, we use the intuitionistic theory of free choice sequences to motivate the need for a modal analysis of divergent potentialism and explain the challenge of connecting the ordinary theory of choice sequences with our modal explication. Then, we use the so-called Beth-Kripke semantics for intuitionistic logic to overcome those challenges. Finally, we apply the resulting modal analysis of divergent potentialism to make choice sequences comprehensible in classical terms.

Please contact Marcus Rossberg for log-in information.


UConn Logic Group Colloquium (primary), College of Liberal Arts and Sciences, Philosophy Department, UConn Master Calendar

Control Panel