Temporale Logik

Temporale Logik

Temporale Logiken oder Zeitlogiken sind Erweiterungen der Logik, durch die zeitliche Abläufe erfasst werden können. Es handelt sich um Anwendungen der Modallogik, die auf einer Vorher-Nachher-Beziehung zwischen Zeitpunkten basieren. Ob daraus eine dichte oder kontinuierliche Zeitordnung entsteht, ist von der Bestimmung dieser Relation abhängig.

Inhaltsverzeichnis

Allgemeines

Die philosophischen Grundlagen temporaler Logiken wurden von Arthur Norman Prior und John McTaggart entwickelt. Die beiden wichtigsten Modellfamilien von Zeitlogiken sind die Lineare temporale Logik (LTL) und Computation Tree Logic (CTL). Während LTL von einer linearen Abfolge von Zeitpunkten ausgeht, beschreibt CTL eine verzweigende Zeitfolge. Weil beide Logiken verschiedene Sachverhalte beschreiben können, aber auch eine große Schnittmenge haben, definiert man CTL* von welchen sowohl CTL, wie auch LTL, eine Teilmenge sind.

Eine atemporale Logik wie die Aussagenlogik kann Aussagen, deren Wahrheitswerte sich mit der Zeit ändern, nicht oder nur mit Mühe adäquat behandeln. So ist „Es regnet“ nur wahr, wenn es am Ort und zur Zeit der Äußerung gerade regnet, sonst nicht. Klassische atemporale Logiken zählen daher den Äußerungszeitpunkt zu den Wahrheitsbedingungen (Ein Fall von „Es regnet“ wird zu einem bestimmten Zeitpunkt geäußert und ist wahr, wenn es zu diesem Zeitpunkt regnet). Jeder Fall der Äußerung des Satzes hat somit eigene Wahrheitsbedingungen. Hingegen führen Zeitlogiken modale Operatoren ein, so dass jeder Fall der Äußerung des Satzes unter den selben Wahrheitsbedingungen steht. Diese Operatoren lassen es zu, differenziertere zeitliche Aussagen logisch zu analysieren, so dass „Es hat geregnet“, „Es wird regnen“, „Es regnet immer“ wahrheitsfunktional von der Erfüllung von „Es regnet“ zu bestimmten Zeitpunkten abhängig ist.

Der Informatiker Amir Pnueli hat die temporale Logik in die Testsystematiken von großen und komplexen EDV-Systemen eingeführt und damit reproduzierbare und vergleichbare Zustände in Programmen und damit Testkriterien beschrieben.

Literatur

  • Jürgen Dassow: Logik für Informatiker. Vieweg&Teubner 2005, ISBN 3519005182 , S.125ff
  • Runggaldier, Edmund: Formal semantische Erneuerung der Metaphysik. In: Matthias Lutz-Bachmann (Hg.): Metaphysik heute - Probleme und Perspektiven der Ontologie. Alber, Freiburg 2007, S. 57 (67-72) ("Kontinuanten und Zeit", "Zeitlogik und das Problem des Jetzt", "A- und B-Serien" (John McTaggart Ellis McTaggart).
  • Arthur Prior: Time and Modality. Oxford University Press 1957
  • John McTaggart Ellis McTaggart: The Unreality of Time. In: Mind. A Quarterly Review of Psychology and Philosophy 17/1908, S. 457-474. (Deutsche Übersetzung: Die Irrealität der Zeit. In: Walther Ch. Zimmerli u. Mike Sandbothe: Klassiker der modernen Zeitphilosophie. Wissenschaftliche Buchgesellschaft, Darmstadt 1993, S. 67-86).
  • Dov M. Gabbay, Mark A. Reynolds, Marcelo Finger: Temporal Logic - Mathematical Foundations and Computational Aspects - Volume 2; Clarendon Press Oxford 2000; ISBN 0-19-853768-9

Siehe auch

Weblinks


Wikimedia Foundation.

Игры ⚽ Нужно сделать НИР?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Temporale Logik von Aktionen — Dieser Artikel oder Abschnitt bedarf einer Überarbeitung. Näheres ist auf der Diskussionsseite angegeben. Hilf mit, ihn zu verbessern, und entferne anschließend diese Markierung. Die Temporale Logik der Aktionen (TLA) ist eine Weiterentwicklung… …   Deutsch Wikipedia

  • Temporale Logik der Aktionen — Die Temporale Logik der Aktionen (TLA) ist eine Weiterentwicklung der Temporalen Logik (engl. temporal logic) und der Logik der Aktionen (engl. logic of actions). Sie wurde von Leslie Lamport entwickelt. Die Temporale Logik der Aktionen gehört… …   Deutsch Wikipedia

  • Lineare temporale Logik — (LTL oder Linear temporal logic) ist ein Modell temporaler Logik mit zeitlichen Modalitäten. In LTL können Formeln über die Zukunft von Pfaden aufgestellt werden, beispielsweise dass eine Bedingung irgendwann wahr wird oder eine Bedingung wahr… …   Deutsch Wikipedia

  • Logik — (von altgriechisch λογική τέχνη logiké téchnē „denkende Kunst“, „Vorgehensweise“) ist die Lehre des vernünftigen (Schluss)Folgerns. Die Logik untersucht die Gültigkeit von Argumenten hinsichtlich ihrer Struktur unabhängig vom konkreten Inhalt der …   Deutsch Wikipedia

  • Logik erster Ordnung — Die Artikel Prädikatenlogik und Prädikat (Logik) überschneiden sich thematisch. Hilf mit, die Artikel besser voneinander abzugrenzen oder zu vereinigen. Beteilige dich dazu an der Diskussion über diese Überschneidungen. Bitte entferne diesen… …   Deutsch Wikipedia

  • Aristotelische Logik — Gregor Reisch, „Die Logik präsentiert ihre zentralen Themen“, Margarita Philosophica, 1503/08 (?). Die beiden Hunde veritas und falsitas jagen de …   Deutsch Wikipedia

  • Nichtklassische Logik — Nichtklassische Logiken sind formale Systeme, die sich signifikant von den klassischen Logiksystemen wie der Aussagenlogik und der Prädikatenlogik unterscheiden. Es gibt verschiedene Möglichkeiten, wie dies der Fall sein kann z.B. durch Variation …   Deutsch Wikipedia

  • Linear temporal logic — Lineare temporale Logik (LTL oder Linear temporal logic) ist ein Modell temporaler Logik mit zeitlichen Modalitäten. In LTL, können Formeln über die Zukunft von Pfaden aufgestellt werden, wie dass eine Bedingung irgendwann wahr wird, eine… …   Deutsch Wikipedia

  • Temporal Logic of Actions — Dieser Artikel oder Abschnitt bedarf einer Überarbeitung. Näheres ist auf der Diskussionsseite angegeben. Hilf mit, ihn zu verbessern, und entferne anschließend diese Markierung. Die Temporale Logik der Aktionen (TLA) ist eine Weiterentwicklung… …   Deutsch Wikipedia

  • PK1 — Die Artikel Prädikatenlogik und Prädikat (Logik) überschneiden sich thematisch. Hilf mit, die Artikel besser voneinander abzugrenzen oder zu vereinigen. Beteilige dich dazu an der Diskussion über diese Überschneidungen. Bitte entferne diesen… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”