Arthur Prior and 'Now'

Patrick Rowan Blackburn, Klaus Frovin Jørgensen

Research output: Contribution to journalJournal articleResearchpeer-review

Abstract

On the 4th of December 1967, Hans Kamp sent his UCLA seminar notes on the logic of ‘now’ to Arthur N. Prior. Kamp’s two-dimensional analysis stimulated Prior to an intense burst of creativity in which he sought to integrate Kamp’s work into tense logic using a one-dimensional approach. Prior’s search led him through the work of Castañeda, and back to his own work on hybrid logic: the first made temporal reference philosophically respectable, the second made it technically feasible in a modal framework. With the aid of hybrid logic, Prior built a bridge from a two-dimensional UT calculus to a one-dimensional tense logic containing the ‘now’ operator J. Drawing on material from the Prior archive, and the paper “‘Now”’ that detailed Prior’s findings, we retell this story. We focus on Prior’s completeness conjecture for the hybrid system and the role played by temporal reference.
Translated title of the contributionArthur Prior og 'Nu'
Original languageEnglish
JournalSynthese
Volume193
Issue number11
Pages (from-to)3665–3676
ISSN0039-7857
DOIs
Publication statusPublished - 2016

Cite this