Arthur Priors Zeitlogik

Eine problemorientierte Darstellung

von

Arthur Prior war Philosoph und Logiker. Sein formallogisch wie philosophisch wichtigstes Anliegen war die Formulierung einer Zeitlogik (tense logic). Die Zeitlogik bietet ein formales Instrumentarium, das es erlaubt, die Zeitformen Vergangenheit, Gegenwart und Zukunft auszudrücken. Nach Priors frühem Tod 1969 fand die formale Zeitlogik viele Anwendungen. Priors mit der Zeitlogik verbundenes philosophisches Projekt wurde hingegen kaum weiterentwickelt. Dies liegt vor allem daran, daß gegen die Zeitlogik eine Reihe von angeblich schlagenden Einwänden vorgebracht wurde. Es werden formallogische, semantische und wissenschaftstheoretische Einwände gegen Priors Projekt diskutiert. Insbesondere wird gezeigt, daß Priors Zeitlogik nicht nur mit der Einsteinschen Relativitätstheorie verträglich ist, sondern sogar den Weg zu einer fruchtbaren Auseinandersetzung mit dieser Theorie eröffnet.