Arthur Priors Zeitlogik
Eine problemorientierte DarstellungArthur 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 ...