Tidslogikken i historisk perspektiv

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

Description

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.
StatusActive
Effective start/end date19/05/2010 → …