Tidslogikken i historisk perspektiv

  • Hasle., Per F. V. (Projektdeltager)
  • Øhrstrøm, Peter (Projektdeltager)
  • Copeland, Jack (Projektdeltager)
  • Bräuner, Torben (Projektdeltager)

Projektdetaljer

Beskrivelse

Det var først og fremmest A. N. Prior (1914-69), som stod for genoplivningen af tidslogikken inden for moderne logik. Priors bøger er vanskeligt tilgængelige, bl.a. fordi han i de logiske formler benyttede såkaldt polsk notation, som nu stort set ikke benyttes længere. Målet med projektet er derfor for det første i samarbejde med Oxford University Press (OUP) at genudgive Priors værker i et moderne format. For det andet har projektet til formål at undersøge den moderne tidslogiks potentiale især i forhold til de IT-anvendelser og at belyse tidslogikkens historie i almindelighed. Projektet foregår til dels i samarbejde med PhiLog-projektet (www.philog.ruc.dk), som støttes af SHF.
StatusIgangværende
Effektiv start/slut dato19/05/2010 → …

Publikation

  • 4 Bidrag til bog/antologi
  • 1 Tidsskriftartikel

In Defence of the Thin Red Line: A Case for Ockhamism

Øhrstrøm, P., 2009, I : Humana.mente. 8, s. 17-32 16 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

The Flow of Time into Logic: and Computer Science

Øhrstrøm, P. & Hasle, P., 2004, Bulletin of the European Association for Theoretical Computer Science. s. 191-226 (EATCS; Nr. 82).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

The Uncertainty of the Future

Øhrstrøm, P., 2004, Time and Uncertainty. Harris, P. & Crawford, M. (red.). Boston: Brill, s. 229-244 (KronoScope. Journal for the Study of Time; Nr. 11).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning