Arthur Prior and 'Now'

Bidragets oversatte titel: Arthur Prior og 'Nu'

Patrick Rowan Blackburn, Klaus Frovin Jørgensen

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer 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
Castaneda, 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 Priors findings, we retell this story. We focus on Prior’s completeness
conjecture for the hybrid system and the role played by temporal reference.
Bidragets oversatte titelArthur Prior og 'Nu'
OriginalsprogEngelsk
TidsskriftSynthese
Vol/bind193
Udgave nummer11
Sider (fra-til)3665–3676
ISSN0039-7857
DOI
StatusUdgivet - 2016

Citer dette