Tense-logik – formelle metoder, filosofiske perspektiver, idéhistorisk baggrund og anvendelsespotentiale (2026)
Enrolment options
Welcome to Tense-logik – formelle metoder, filosofiske perspektiver, idéhistorisk baggrund og ...
Welcome to Tense-logik – formelle metoder, filosofiske perspektiver, idéhistorisk baggrund og anvendelsespotentiale (2026)
Description:
Formålet med kurset er at gøre deltagerne fortrolige med formel tense-logik og at give dem indsigt i feltets filosofiske perspektiver, dets idéhistoriske baggrund samt dets anvendelsespotentiale inden for AI og andre dele af datalogi og informationsvidenskab.
Kurset vil for det første gennemgå og diskutere hovedtræk af A.N. Priors tense-logik, som den er præsenteret i Priors banebrydende værk "Past, Present and Future" (1967), for det andet at diskutere tense-logikkens filosofiske perspektiver og for det tredje belyse de potentielle anvendelser af tense-logik bl.a. inden for AI mm. – Ligeledes vil der blive lagt vægt på det filosofi- og logikhistoriske forløb, der førte frem til den første lancering af tense-logikken i august 1954.
Der vil være fokus på emner som McTaggarts paradoks, mesterargumentet af Diodorus, tid og eksistens samt forgrenet tid. Disse emner vil blive relateret til Priors tense-logiske formalisme.
Det vil være et krav, at deltagerne er fortrolige med klassisk udsagnslogik, førsteordens prædikatslogik, samt grundlæggende modal logik. Desuden skal deltagerne have et basalt kendskab til bevisteori, aksiomatik og formel semantik.
Deltagerne vil blive bedt om at forberede og præsentere tidslogiske problemstillinger, ligesom der også vil
være krav om at skrive essays inden for emnekredsen.
Kursusprogrammet omfatter 6 dobbelttimer placeret sidst på eftermiddagen på hverdage. De første gange vil der være tale om intensive forelæsninger, som fordrer en del forberedelse. Senere i forløbet vil der også blive givet plads til fremlægning af essays skrevet af deltagerne om aftalte problemstillinger inden for emnekredsen.
Kursusplan:
Første kursusdag: Gennemgang af den tense-logiske formalisme som den blev udviklet af A.N. Prior. Fokus på de logiske behandlinger af determinisme-problematikken, herunder formalisering og diskussion af det diodoræiske mesterargument. Overblik over centrale tense-logiske problemer i øvrigt.
Vejledning efter aftale.
Vejledning efter aftale.
Organizer: Peter Ørhstrøm
Lecturers: Peter Ørhstrøm
ECTS: 6
Date: 02.03.2026
Place: TBA
City: Aalborg
Number of seats:
Deadline: 09.02.2026
Important information concerning PhD courses:
There is a no-show fee of DKK 3,000 for each course where the student does not show up. Cancellations are accepted no later than 2 weeks before the start of the course. Registered illness is of course an acceptable reason for not showing up on those days. Furthermore, all courses open for registration approximately four months before start of the course.
We cannot ensure any seats before the deadline for enrolment, all participants will be informed after the deadline, approximately 3 weeks before the start of the course.
For inquiries regarding registration, cancellation or waiting list, please contact the PhD administration at phdcourses@adm.aau.dk When contacting us please state the course title and course period. Thank you.