Zeitlogik
Als Zeitlogik bezeichnet man jenen Zweig der Logik, der Kalküle studiert, in denen Phänomene der Zeit berücksichtigt werden können. So werden Termini wie früher, später, gleichzeitig untersucht.Ein Beispiel ist die Zeitlogik von Prior.
Seit den 1950er Jahren wurden von zahlreichen Kalkülen zunächst syntaktische Zeitkalküle entwickelt. Später folgte auch die Untersuchung geeigneter Semantiken.
Die Zeitlogik spielt insbesondere in den Computerwissenschaften eine große Rolle.
a – Axiom | Badische Schule – Buridians Esel | C – covering-law model | Daimonion – Dysteleologie | e – externe Relation | fallacia – Für-Wahr-Halten | G43-Implikation – Gruppe, Berliner | Halbierungsparadoxie – Hysteresis | i – Isosthenie der Argumente | judicium | K – Kyrieuon | language of thought – Lust, sinnliche | M – Münchhausentrilemma | N – nyāya-Schule | o – Oxymoron | P – Pythagoreismus | Quadrat, logisches – Quodlibetarier | R – Russell’s Antinomie | S – Szientismus | t – twin earth | Übel – utraque praemissa … | Vagheit – Vulgärmaterialismus | w – Würde | x – XYZ | Yager-Intersection – Yoga | Zadeh-1-Implikation – Zynismus