www.wikidata.de-de.nina.az

Temporale Logik en oder Zeitlogiken sind Erweiterungen der Logik durch die zeitliche Abläufe erfasst werden können Es ha

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 diskrete Zeitordnung entsteht, ist von der Bestimmung dieser Relation abhängig.

Allgemeines Bearbeiten

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 denselben 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.

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 und Computation Tree Logic, die sich darin unterscheiden, ob sie eine geschlossene Zeitlinie annehmen oder Verzweigungen zulassen. Eine Verallgemeinerung der beiden Logiken wird als CTL* bezeichnet.

In der dialogischen Logik wird eine Rahmenregel für eine zeitliche Logik so eingeführt, dass eine früh im Dialogspiel gemachte Aussage später im Dialog nicht mehr zur Verfügung steht.

Amir Pnueli gelang die Anwendung der temporalen Logik in der Informatik. Sein Aufsatz The Temporal Logic of Programs von 1977 löste einen Paradigmenwechsel in der Untersuchung des dynamischen Verhaltens von Computersystemen aus. Seine Analyse des Laufzeitverhaltens von parallelen und seriellen Computerprogrammen mit formallogischen Mitteln ermöglichte den Umgang mit Parallelität, für die zeitliche Ablauf von Computerprogrammen von entscheidender Bedeutung ist. Leslie Lamport adaptierte Pnuelis temporale Logik für Programme sowohl für Hardware- als auch für Software-Systeme adaptiert als Temporale Logik der Aktionen.

Literatur Bearbeiten

Philosophie:

  • Edmund Runggaldier: 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).
  • Per Øhrstrøm, Per F.V.Hasle: Modern temporal logic: the philosophical background, in: Dov Gabbay, John Woods (Hrsg.): Handbook of the History of Logic, Band 7, Elsevier 2006, S. 447–498
  • dieselben: Temporal Logic. From Ancient Ideas to Artificial Intelligence, Springer 1995

Informatik:

  • Jürgen Dassow: Logik für Informatiker. Vieweg&Teubner 2005, ISBN 3-519-00518-2, S. 125ff
  • Stéphane Demri, Valentin Goranko, Martin Lange: Temporal Logic in Computer Science: Finite State Systems, Cambridge UP 2016
  • Dov M. Gabbay, Ian Hodkinson, Mark Reynolds: Temporal Logic: Mathematical Foundations and Computational Aspects, Band 1, Oxford UP 1994
  • Dov M. Gabbay, Mark A. Reynolds, Marcelo Finger: Temporal Logic - Mathematical Foundations and Computational Aspects, Band 2, Clarendon Press Oxford 2000; ISBN 0-19-853768-9

Siehe auch Bearbeiten

Weblinks Bearbeiten

Einzelnachweise Bearbeiten

  1. (Memento vom 28. Februar 2008 im Internet Archive)
wikipedia, wiki, deutsches, deutschland, buch, bücher, bibliothek artikel lesen, herunterladen kostenlos kostenloser herunterladen, MP3, Video, MP4, 3GP, JPG, JPEG, GIF, PNG, Bild, Musik, Lied, Film, Buch, Spiel, Spiele
Veröffentlichungsdatum:
Temporale Logiken oder Zeitlogiken sind Erweiterungen der Logik durch die zeitliche Ablaufe erfasst werden konnen Es handelt sich um Anwendungen der Modallogik die auf einer Vorher Nachher Beziehung zwischen Zeitpunkten basieren Ob daraus eine dichte oder diskrete Zeitordnung entsteht ist von der Bestimmung dieser Relation abhangig Inhaltsverzeichnis 1 Allgemeines 2 Literatur 3 Siehe auch 4 Weblinks 5 EinzelnachweiseAllgemeines BearbeitenEine atemporale Logik wie die Aussagenlogik kann Aussagen deren Wahrheitswerte sich mit der Zeit andern nicht oder nur mit Muhe adaquat behandeln So ist Es regnet nur wahr wenn es am Ort und zur Zeit der Ausserung gerade regnet sonst nicht Klassische atemporale Logiken zahlen daher den Ausserungszeitpunkt zu den Wahrheitsbedingungen Ein Fall von Es regnet wird zu einem bestimmten Zeitpunkt geaussert und ist wahr wenn es zu diesem Zeitpunkt regnet Jeder Fall der Ausserung des Satzes hat somit eigene Wahrheitsbedingungen Hingegen fuhren Zeitlogiken modale Operatoren ein so dass jeder Fall der Ausserung des Satzes unter denselben 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 Erfullung von Es regnet zu bestimmten Zeitpunkten abhangig ist 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 und Computation Tree Logic die sich darin unterscheiden ob sie eine geschlossene Zeitlinie annehmen oder Verzweigungen zulassen Eine Verallgemeinerung der beiden Logiken wird als CTL bezeichnet In der dialogischen Logik wird eine Rahmenregel fur eine zeitliche Logik so eingefuhrt dass eine fruh im Dialogspiel gemachte Aussage spater im Dialog nicht mehr zur Verfugung steht Amir Pnueli gelang die Anwendung der temporalen Logik in der Informatik Sein Aufsatz The Temporal Logic of Programs von 1977 loste einen Paradigmenwechsel in der Untersuchung des dynamischen Verhaltens von Computersystemen aus Seine Analyse des Laufzeitverhaltens von parallelen und seriellen Computerprogrammen mit formallogischen Mitteln 1 ermoglichte den Umgang mit Parallelitat fur die zeitliche Ablauf von Computerprogrammen von entscheidender Bedeutung ist Leslie Lamport adaptierte Pnuelis temporale Logik fur Programme sowohl fur Hardware als auch fur Software Systeme adaptiert als Temporale Logik der Aktionen Literatur BearbeitenPhilosophie Edmund Runggaldier 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 Ubersetzung Die Irrealitat der Zeit In Walther Ch Zimmerli u Mike Sandbothe Klassiker der modernen Zeitphilosophie Wissenschaftliche Buchgesellschaft Darmstadt 1993 S 67 86 Per Ohrstrom Per F V Hasle Modern temporal logic the philosophical background in Dov Gabbay John Woods Hrsg Handbook of the History of Logic Band 7 Elsevier 2006 S 447 498 dieselben Temporal Logic From Ancient Ideas to Artificial Intelligence Springer 1995Informatik Jurgen Dassow Logik fur Informatiker Vieweg amp Teubner 2005 ISBN 3 519 00518 2 S 125ff Stephane Demri Valentin Goranko Martin Lange Temporal Logic in Computer Science Finite State Systems Cambridge UP 2016 Dov M Gabbay Ian Hodkinson Mark Reynolds Temporal Logic Mathematical Foundations and Computational Aspects Band 1 Oxford UP 1994 Dov M Gabbay Mark A Reynolds Marcelo Finger Temporal Logic Mathematical Foundations and Computational Aspects Band 2 Clarendon Press Oxford 2000 ISBN 0 19 853768 9Siehe auch BearbeitenPhilosophie der Zeit Aktualismus Philosophie Prasentismus Philosophie Weblinks BearbeitenAnthony Galton Temporal Logic In Edward N Zalta Hrsg Stanford Encyclopedia of Philosophy Patricia Ulmer Temporal Logic of Action Proseminar Ausarbeitung TU Munchen PDF 413 kB web archiveEinzelnachweise Bearbeiten Turing Award Ehrung Memento vom 28 Februar 2008 im Internet Archive Abgerufen von https de wikipedia org w index php title Temporale Logik amp oldid 239131975