Puschkin wurde früher als Gogol geboren. Es gibt t, t' (Geburtsjahr(Puschkin) = t und
Geburtsjahr(Puschkin) = t' und t < t'). Es war der Fall, daß Gogol geboren wurde und es der Fall war, daß Puschkin geboren wurde (geboren worden war).
Das sind temporale Redeweisen. Die erste ist umgangssprachlich, die beiden anderen stammen aus mehr reglementierten Sprachen. Die dritte hat Mitte des 20. Jhd. zur Entwicklung der Temporallogik geführt, die man als Spielart der Modallogik auffassen kann. Die zweite paßt in das schon früher entwickelte quantorenlogische Paradigma; hier wird aber über Zeitpunkte (oder Zeiträume) quantifiziert. Für formale Sprachen lassen sich diese beiden Spielarten selbständig entwickeln, aber auch systematisch mit einander in Beziehung setzen.
Beides findet man in van Benthems konkurrenzloser Monographie "The Logic of Time".
Wir werden diese von Anfang an
durcharbeiten (und sehen, wie weit wir kommen). Dabei soll das Ausführen von Details in den
häufig etwas skizzenhaften Beweisen eine gewisse Rolle spielen. |
