Logik und Paradox
Logik sollte widerspruchsfrei sein. Paradoxien, d.h. Widersprüche, sind deshalb etwas, was Logiker tunlichst vermeiden. Auch als Informatiker mögen wir Widersprüche nicht. Sie stören uns bei der Programmierarbeit, verhindern ein sinnvolles Programm-Design und führen möglicherweise sogar zu Programmabstürzen. Also geht es darum, Paradoxe zu vermeiden. Dazu müssen wir die paradoxen Kerne in der Logik genau erkennen. Wenn nicht, tauchen wir orientierungslos in die Unbillen und Tiefen der Widersprüche ab. Worum geht es nun in logischer Hinsicht bei den Paradoxien? Logik in Praxis und Theorie Computerprogramme bestehen aus Algorithmen, d.h. aus Anweisungen, wie und in welcher Reihenfolge eine Eingabe zu bearbeiten
IF-THEN / statisch oder dynamisch?
Die meisten glauben, dass das IF-THEN in der Logik eine klare Sache sei. Meiner Ansicht nach wird dabei übersehen, dass es vom IF-THEN zwei Varianten gibt, eine statische und einen dynamische. Die beiden unterscheidet , ob sie eine innere zeitliche Komponente enthalten oder nicht. Je nachdem verhält sich das IF-THEN im Gefüge der Logik unterschiedlich. Dynamisches (reales) IF-THEN Für viele von uns ist das IF-THEN dynamisch, d.h. es besitzt eine spürbare zeitliche Komponente. Bevor wir zum Schluss, d.h. zum THEN gelangen, schauen wir das IF genau an, d.h. die Bedingung, die anschliessend den Schluss erlaubt. Mit anderen Worten: Die
