Arthur Prior og 'Nu'

Patrick Rowan Blackburn, Klaus Frovin Jørgensen

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Resumé

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

Blackburn, Patrick Rowan ; Jørgensen, Klaus Frovin. / Arthur Prior and 'Now'. I: Synthese. 2016 ; Bind 193, Nr. 11. s. 3665–3676.
@article{0ae0820275f045fda32f33caa316c6f9,
title = "Arthur Prior and 'Now'",
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{\~n}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.",
author = "Blackburn, {Patrick Rowan} and J{\o}rgensen, {Klaus Frovin}",
year = "2016",
doi = "10.1007/s11229-015-0921-z",
language = "English",
volume = "193",
pages = "3665–3676",
journal = "Synthese",
issn = "0039-7857",
publisher = "Springer Netherlands",
number = "11",

}

Blackburn, PR & Jørgensen, KF 2016, 'Arthur Prior and 'Now'' Synthese, bind 193, nr. 11, s. 3665–3676. https://doi.org/10.1007/s11229-015-0921-z

Arthur Prior and 'Now'. / Blackburn, Patrick Rowan; Jørgensen, Klaus Frovin.

I: Synthese, Bind 193, Nr. 11, 2016, s. 3665–3676.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

TY - JOUR

T1 - Arthur Prior and 'Now'

AU - Blackburn, Patrick Rowan

AU - Jørgensen, Klaus Frovin

PY - 2016

Y1 - 2016

N2 - 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.

AB - 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.

U2 - 10.1007/s11229-015-0921-z

DO - 10.1007/s11229-015-0921-z

M3 - Journal article

VL - 193

SP - 3665

EP - 3676

JO - Synthese

JF - Synthese

SN - 0039-7857

IS - 11

ER -