Arthur Prior and Hybrid Logic
Patrick Blackburn (Roskilde University)

part of: 4th Annual IAPT Conference
June 12, 2017, 2:30pm - 3:30pm
Department of philosophy, University of Milan

Palazzo Feltrinelli
Via Castello 4
Gargnano 25084
Italy

Go to conference's page

Sponsor(s):

Organisers:

Wake Forest University
Davide Bordini
University of Milan
Valerio Buonomo
University of Milan
Université de Genève
Fabrice Correia
University of Neuchatel
Samuele Iaquinto
University of Milan
David Ingram
University of Milan
Colgate University
Kristie Miller
University of Sydney
University of Geneva
Giuliano Torrengo
University of Milan
Christian Wüthrich
University of California, San Diego
Nick Young
University of Milan

Topic areas

Details

Abstract. It is well known that Arthur Prior was the creator of tense logic; it is less well known that he also founded what has become known as hybrid logic, and that this second creation raised difficult questions for his own views on time. Prior held an A-series of view of time, and his tense logic was meant to reflect - indeed, to constitute - this view. But as he himself showed, his hybrid logic was capable of something very much like B-series talk, and (as he also realised) this raised a difficult question anew: What was so special about tensed talk after all? In my presentation, I will outline some of the ideas that led Prior to this realisation. I will not presuppose any previous knowledge of tense or hybrid logic: Prior's ideas have a simplicity and elegance that make them straightforward to present. But these ideas also led him to a problematic place; I will take the audience there, and then indicate a way out.

Supporting material

Add supporting material (slides, programs, etc.)

Reminders

Registration

No

Who is attending?

No one has said they will attend yet.

Will you attend this event?


Let us know so we can notify you of any change of plan.