BEGIN:VCALENDAR PRODID:-//Grails iCalendar plugin//NONSGML Grails iCalendar plugin//EN VERSION:2.0 CALSCALE:GREGORIAN METHOD:PUBLISH BEGIN:VEVENT DTSTAMP:20260404T041851Z DTSTART;TZID=Europe/London:20251028T173000 DTEND;TZID=Europe/London:20251028T190000 SUMMARY:Higher-Order Tense Realism UID:20260404T082439Z-iCalPlugin-Grails@philevents-web-f5d4878dd-4s97k TZID:Europe/London LOCATION:Strand\, London\, United Kingdom\, WC2R 2LS DESCRIPTION:

The Formal Methods research cluster at the department of philosophy\, King's College London is pleased to announce a guest talk by Prof. Fabrice Correia (Chair of Analytic Philosophy\, University of Geneva) who will present joint work with Sven Rosenkranz (LOGOS / ICREA / University of Barcelona) on Higher-Order Tense Realism.

\n

Fabrice Correia &\; Sven Rosenkranz

\n

Higher Order Tense Realism

\n

Realism about tense comes in various forms. Kit Fine (&ldquo\;Tense and Reality&rdquo\;\, 2005 and &ldquo\;The Reality of Tense&rdquo\;\, 2006) offers a helpful taxonomy. In our paper &ldquo\;Eternal Facts in an Ageing Universe&rdquo\; (2012)\, we improve upon this taxonomy\, identifying a further type of view that Fine leaves out: Dynamic Absolutism. Both these taxonomies construe the different versions of tense realism in terms of first-order quantification over facts or states of affairs. Our goal is to show that the logical space of these first-order tense-realist positions can be replicated using higher-order quantification instead. Along the way\, we rebut an argument given by Lukas Skiba in his &ldquo\;Higher-Order Being and Time&rdquo\; (2025) to the effect that there is no coherent higher-order version of Dynamic Absolutism.

\n

The event is on campus only. All are welcome but non-KCL attendees must register in advance: see website for details.

ORGANIZER;CN=Julien Dutant: METHOD:PUBLISH END:VEVENT END:VCALENDAR