Logik

Beweise funktionieren nur in geschlossenen Systemen. Die Realität aber ist offen, und auch unser Denken ist besser offen als geschlossen. Wie kann eine offene Logik formalisiert werden?

Ausgewählte Beiträge aus dem Bereich «Logik»

  • Logik, Paradoxon, Selbstreferenzialität

    Der Trick, mit dem sich klassische logische Systeme sprengen lassen, besteht aus zwei Anweisungen: 1: Eine Aussage beziehe sich auf sich selber. 2: In Bezug oder in der Aussage gibt es eine Verneinung. Durch diese Konstellation entsteht immer eine Paradoxie. Aber lassen Sie uns das Thema genauer betrachten…

  • Information, Logik, Loops, Zeit

    Loops sind überall Wo immer Informationsflüsse vorkommen, spielen Loops (Schleifen) eine unverzichtbare Rolle. Physik, Biologie und Psychologie sind ohne Loops undenkbar. Das Problem dabei ist: Loops sind heikel bezüglich Logik. Loops tendieren dazu, Algorithmen und Absichten zu zerstören. Loops (Schleifen) sind andererseits ausserordentlich interessant bei der Beschreibung von komplexen Situationen, z.B. bei der Analyse von

  • Information, Logik, Loops

    Loops gibt es nicht nur bei der Programmierung Jeder Programmierer hat schon Loops angetroffen, genauso wie jeder Verliebte und jeder Kriegsherr. Loops sind überall. Die einfachsten Loops haben die Form: If A ↝ Then B If B ↝ Then A oder visuell ausgedrückt: Was ein einfacher Loop bedeutet Diese Situation führt dazu, dass A und

  • Logik, Logodynamics

    Was sind die Kriterien für eine korrekte Logik? Dieser Text handelt von den zwei Formen der Logik, der statischen und der dynamischen. Bekannt ist den meisten Wissenschaftlern die statische Form, welche sich hervorragend dafür eignet, Beweise zu führen. Demgegenüber steht die dynamische Form der Logik, welche es erst möglich macht, Beweise zu finden.

  • Bits, Information, Logik

    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

  • Information, Logik, Paradoxon

    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

  • Information, Logik, Paradoxon

    Paradoxe sind Widersprüche in der Logik, die sich auf Anhieb nicht auflösen lassen. Bei manchen gelingt das zwar mit dem richtigen logischen Ansatzhebel, andere jedoch scheinen allen Lösungsversuchen zu widerstreben. Gewisse Paradoxe sind prinzipiell in formallogisch geschlossenen Systemen nicht lösbar, wie K.F. Gödel vor hundert Jahren bewiesen hat. Diese echten Paradoxe weisen alle den

  • Information, Logik, Loops

    Loops kontrollieren Loops In der Realität existieren keine isolierten Loops. Alles, was existiert, ist mit anderen Dingen verbunden. Wenn A und B in ein Loop-Verhältnis treten, isolieren sie sich von der Umgebung, doch niemals (ausser in simplen Computerprogrammen) so, dass sie sich ganz von ihr isolieren. Ausserhalb der Computerprogramme, also in Psychologie, Soziologie und Physik,

  • Entropie, Information, Loops, Mikro / Makro

    Schleifen (Loops) in gestaffelten Ebenen Kontrollierte Loops ermöglichen es, Loops miteinander zu verbinden, wodurch komplexe Systeme organisiert werden können. Abb. 1: Steuerung der Schilddrüsenhormone (T3/T4) über Hypothalamus (H-Th), Hypophyse (H-Ph), Schilddrüse (SD) bis zur Wirkung an den Körperorganen. Die Hormone (Steuersignale) sind gelb, die Organe (Steuerstationen) sind blau markiert. Siehe auch Vorbeitrag. Die Verknüpfungen (steuerrnde und

  • Logik, Loops

    Loops und lineare Folgen Loops: Ein Loop ist ein geschlossener Kreisprozess: Abb 1: Loop - der Ausgang A wird erneut erreicht, die Schleife ist geschlossen Die einzelnen Buchstaben in Abb. 1 sind Anweisungen, z.B in einem Computerprogramm oder im Ablauf eines mathematischen Beweises. Eine solche Anweisung kann z.B. den Wert einer Variablen verändern. Anschliessend folgt

  • Bits, Information, Logik

    Unsere Informationstechnologie baut auf dem Bit auf. Alles, was in unseren Computern geschieht, basiert auf diesem kleinsten Basiselement der Information. Wenn Sie gefragt werden, was ein einzelnes Bit bedeutet, werden Sie möglicherweise antworten, dass das Bit zwei Zustände einnehmen kann, von denen der eine 0 ist und der andere 1 bedeutet. Aber stimmt das auch? Bedeutet wirklich der eine Zustand im Bit 0 und der andere 1? Können die beiden Zustände nicht auch ganz andere Bedeutungen annehmen?

Alle Beiträge zur Logik