Paradoxien der Replikation

Ähnliche Dokumente
Formale Logik. PD Dr. Markus Junker Abteilung für Mathematische Logik Universität Freiburg. Wintersemester 16/17 Sitzung vom 9.

Vorkurs Mathematik im Sommersemester 2018

Thema: Logik: 2. Teil. Übersicht logische Operationen Name in der Logik. Negation (Verneinung) Nicht

b. Lehre des vernünftigen Schlussfolgerns (1. System von Regeln von Aristoteles ( v. Chr.); sprachliche Argumente

Was ist Logik? Was ist Logik? Aussagenlogik. Wahrheitstabellen. Geschichte der Logik eng verknüpft mit Philosophie

Rhetorik und Argumentationstheorie.

Ein und derselbe Satz kann in Bezug auf unterschiedliche Situationen s 1. und s 2 unterschiedliche Wahrheitswerte haben.

Formale Methoden II. Gerhard Jäger. SS 2005 Universität Bielefeld. Teil 3, 12. Mai Formale Methoden II p.1/23

Zoglauer: Einführung in die formale Logik

Tilman Bauer. 4. September 2007

1 Aussagenlogik. 1.1 Aussagen. 15 ist eine Primzahl. 3 < 8 x < 15 (hängt von x ab, keine Aussage) Aussage = Behauptung Beispiele: Es regnet.

Nur Aussagesätze, d.h. Deklarativ-, nicht aber Frage- oder Aufforderungs-sätze bringen das Zutreffen einer Aussage (oder Proposition) zum Ausdruck.

Jeder Aussage p kann ein Wahrheitswert W(p) {0, 1} zugeordnet werden. Beispiele: W(Es regnet.) =? (je nach Lage der Dinge) W(Die Straße ist naß.) =?

Geschichte der Logik ist eng verknüpft mit (Sprach-) Philosophie. Logik untersucht, wie aus wahren Aussagen andere wahre Aussagen folgen

Kapitel 1. Aussagenlogik

Kapitel 1.0. Aussagenlogik: Einführung. Mathematische Logik (WS 2011/12) Kapitel 1.0: Aussagenlogik: Einführung 1/ 1

Mathematische und logische Grundlagen der Linguistik. Kapitel 3: Grundbegriffe der Aussagenlogik

Grundlagen der Logik

Formale Logik - SoSe 2012

Mathematische und logische Grundlagen der Linguistik. Mathematische und logische Grundlagen der Linguistik. Karl Heinz Wagner. Hier Titel eingeben 1

Mathematische Grundlagen I Logik und Algebra

1 Aussagenlogik. 1.1 Aussagen. 15 ist eine Primzahl. 3 < 8 x < 15 (hängt von x ab, keine Aussage) Aussage = Behauptung Beispiele: Es regnet.

Logik für Informatiker

Was bisher geschah. wahr 0 t 1 falsch 0 f 0 Konjunktion 2 min Disjunktion 2 max Negation 1 x 1 x Implikation 2 Äquivalenz 2 =

Allgemeingültige Aussagen

Grundlagen der Mathematik

Diskrete Strukturen und Logik WiSe 2007/08 in Trier. Henning Fernau Universität Trier

De Morgan sche Regeln

Aussagenverknüpfungen in der Sprache (1)

2.2.4 Logische Äquivalenz

1 Einführung Aussagenlogik

Aussagenlogik. Aussagen und Aussagenverknüpfungen

Normalformen boolescher Funktionen

Joachim Stiller. Dreiwertige Logik. Zur dreiwertigen Logik. Alle Rechte vorbehalten

Vorlesung. Logik und Beweise

Diskrete Strukturen. Sebastian Thomas RWTH Aachen Mathematische Logik

Die Unzulänglichkeit der formalen Logik

Vorlesung. Beweise und Logisches Schließen

Zur Semantik der Junktorenlogik

THEORETISCHE INFORMATIK UND LOGIK

THEORETISCHE INFORMATIK UND LOGIK

Logik. Logik. Vorkurs Informatik Theoretischer Teil WS 2013/ September Vorkurs Informatik - Theorie - WS2013/14

Aussagen (und damit indirekt auch Aussagesätze) können wahr oder falsch sein. Wahr und falsch sind Wahrheitswerte von Aussagen.

Aussagenlogik. 1 Einführung. Inhaltsverzeichnis. Zusammenfassung

Vorlesung Mathematik I für Wirtschaftswissenschaftler. Universität Leipzig, WS 16/17

Vorkurs Mathematik. Prof. Udo Hebisch WS 2017/18

Logik Vorlesung 2: Semantik der Aussagenlogik

Vorkurs Mathematik Logik und Beweismethoden 1

Formale Grundlagen (Nachträge)

die Menge S = {(x,y) : x 2 = y 2 +1,x R} wohl aussehen könnte. Die Antwort ist hier: Interessant ist auch y 2 = x 3 x:

Motivation. Formale Grundlagen der Informatik 1 Kapitel 14 Aussagenlogik Syntax & Semantik. Motivation. Motivation

Logik Vorlesung 2: Semantik der Aussagenlogik

Aussagenlogische Widerlegungsverfahren zum Nachweis logischer Eigenschaften und Beziehungen

Logische und funktionale Programmierung

Logik Vorlesung 8: Modelle und Äquivalenz

Analysis I für Studierende der Ingenieurwissenschaften

Grundlegendes der Mathematik

Brückenkurs Mathematik

2 Der Beweis. Themen: Satz und Beweis Indirekter Beweis Kritik des indirekten Beweises

Diskrete Strukturen WS 2018/19. Gerhard Hiß RWTH Aachen

Anwendungsgebiete mehrwertiger Logik. P. H. Schmitt: Nichtklassische Logiken p.1

Paradoxien der materialen Implikation

Aussagenlogik. Übersicht: 1 Teil 1: Syntax und Semantik. 2 Teil 2: Modellierung und Beweise. Aussagenlogik H. Kleine Büning 1/25

Welcher der folgenden Sätze ist eine Aussage, welcher eine Aussageform, welcher ist keines von beiden:

Logische Äquivalenz. Definition Beispiel 2.23

Nichts als die mathematische Wahrheit

Tutorium: Diskrete Mathematik

Teil 7. Grundlagen Logik

1 K-Rahmen und K-Modelle

Logik (Prof. Dr. Wagner FB AI)

Logik für Informatiker

Modal Logik. Arne Usadel. January 21, Hochschule Ravensburg-Weingarten

Deduktion in der Aussagenlogik. Semantische Folgerungsbeziehung. Zusammenhang zwischen semantischer und syntaktischer Folgerung

Frank Heitmann 2/42. 1 Etwas aus der realen Welt in der Logik abstrakt ausdrücken. 2 In der Logik Schlüsse ziehen.

Boolesche Algebra. Hans Joachim Oberle. Vorlesung an der TUHH im Wintersemester 2006/07 Montags, 9:45-11:15 Uhr, 14täglich TUHH, DE 22, Audimax 2

typische Beweismuster Allgemeine Hilfe Beweistechniken WS2014/ Januar 2015 R. Düffel Beweistechniken

Formale Grundlagen der Informatik 1 Kapitel 13 Aussagenlogik Syntax & Semantik

Grundbegriffe für dreiwertige Logik

Einführung in die Semantik, 5. Sitzung Aussagenlogik

Formale Logik. PD Dr. Markus Junker Abteilung für Mathematische Logik Universität Freiburg. Wintersemester 16/17 Sitzung vom 26.

5.2 Logische Gültigkeit, Folgerung, Äquivalenz

Aussagenlogik: Lexikon, Syntax und Semantik

Summen- und Produktzeichen

Semantic Web Technologies I

Logik für Informatiker

2.1.3 Interpretation von aussagenlogischen Formeln. 1) Intensionale Interpretation

Beweistechniken. Vorkurs Informatik - SoSe April 2013

Was ist Logik? Was ist Logik? Logische Konnektoren. Aussagenlogik. Logik stellt Sprachen zur Darstellung von Wissen zur Verfügung

Geschichte der Logik ist eng verknüpft mit (Sprach-) Philosophie. Logik untersucht, wie aus wahren Aussagen andere wahre Aussagen folgen

Q.E.D. Algorithmen und Datenstrukturen Wintersemester 2018/2019 Übung#2, Christian Rieck, Arne Schmidt

Geschichte der Logik ist eng verknüpft mit (Sprach-) Philosophie. Begriff Logik wird im Alltag vielseitig verwendet

Was ist Logik? Was ist Logik? Logische Konnektoren. Aussagenlogik. Geschichte der Logik ist eng verknüpft mit (Sprach-) Philosophie

Grundbegriffe aus Logik und Mengenlehre

Denkblockaden und mathematische Paradoxa

Junktoren der Aussagenlogik zur Verknüpfung zweier Aussagen A, B

23. Vorlesung: Logisches Schließen Markus Kr otzsch Professur f ur Wissensbasierte Systeme Normalformen

Grundbegriffe Mengenlehre und Logik

Transkript:

Joachim Stiller Paradoxien der Replikation Alle Rechte vorbehalten

Paradoxien Die Paradoxien (Wiki) Hier einmal Auszüge aus dem Wiki-Artikel zum Begriff Paradoxon Ein Paradox(on) (auch Paradoxie, Plural Paradoxien oder Paradoxa; von altgriechisch παράδοξον, von παρά para gegen und δόξα dóxa Meinung, Ansicht ) ist ein scheinbar oder tatsächlich unauflösbarer Widerspruch. Es existieren verschiedene logische Formen des Paradoxons: 1. Widersprüchlichkeit als Folge der Negation von Selbstbezüglichkeit, d. h. wenn eine auf sich selbst anwendbare Aussage negiert wird. Eine solche selbstwidersprüchliche Aussage heißt in der Logik auch Antinomie. Der Nachweis eines solchen Widerspruchs ist eine Retorsion. Ein Beispiel ist das sogenannte Lügner-Paradox des Eubulides: o Dieser Satz ist falsch. (Eine solche Aussage ist wahr, wenn sie falsch ist und falsch, wenn sie wahr ist.) Eine besondere Form des selbstbezüglichen Widerspruchs ist der sogenannte performativer Widerspruch zwischen propositionalem Gehalt und performativem Gehalt. 2. In der Rhetorik eine Stilfigur, die in scheinbaren Widersprüchen eine tiefere Wahrheit veranschaulichen will (z. B. Oxymoron). Beispiel: Weniger ist mehr! 3. Phänomene und Fragen, die dem menschlichen Verstand bzw. der Intuition widersprechen. Hierzu gehört beispielsweise die alte Frage nach der Endlichkeit bzw. Unendlichkeit von Raum und Zeit. Ein unendliches Universum scheint dem gesunden Menschenverstand ebenso wie ein endliches zu widersprechen ( Alles muss doch zu irgendeinem Zeitpunkt begonnen haben Was war vorher? ). Auch unter den Phänomenen, welche die moderne Quantenmechanik thematisiert, zeigen viele diese Art von paradoxer Natur. Davon zu unterscheiden sind scheinbare Widersprüche, die sich bei genauerer Analyse auflösen. Das paradoxe an dieser Art von Paradoxien ist, dass es eigentlich keine sind. Die Analyse scheinbarer Paradoxien, beispielsweise im Rahmen eines Gedankenexperiments, hat schon oft zu wichtigen Erkenntnissen in Wissenschaft, Philosophie und Mathematik geführt. Der Widerspruch besteht dabei oft zwischen der intuitiven und der exakten Lösung. Ein Beispiel hierfür ist das Ziegenproblem, das logisch und mathematisch exakt lösbar ist, aber der Intuition vieler Menschen, ihrem gesunden Menschenverstand widerspricht. Einen unauflösbaren Widerspruch nennt man auch Aporie.

Paradoxien der Implikation und der Replikation Die Paradoxien der materiale Implikation oder Subjunktion sind eine Gruppe von Formeln der Aussagelogik, die zwar Tautologien, aber intuitiv problematisch sind. Die Ursache der Paradoxien liegt darin, dass die Interpretation der Wahrheit einer Implikation in der natürlichen Sprache nicht ihrer formalen Interpretation in der klassischen Logik durch Wahrheitstabellen entspricht. (Wiki) Die Aussage Wenn es jetzt regnet, dann nehme ich einen Regenschirm mit wird in der klassischen Aussagelogik mit p q formalisiert. Diese Aussage ist nach Definition der Subjunktion falsch, wenn p wahr ist und q falsch, ansonsten wahr (wen p falsch und q wahr, wenn p und q beide wahr, und wenn p und q beide falsch). Das folgt aus der Interpretation (der Subjunktion) als einer Wahrheitswertfunktion durch die Wahrheitstabelle ( ). Wenn es also nicht regnet, ist die Aussage Wenn es jetzt regnet, dann nehme ich einen Regenschirm mit in beiden Fällen wahr, gleich, ob ich dann einen Regenschirm mitnehme oder nicht. materiale p q wenn p, Implikation dann q w w w w f f f w w f f w Auch die Aissage Wenn es morgen regnet, dann ist 2 x 2 = 4 ist aussagelogisch richtig, denn 2 x 2 = 4 ist ja richtig, unabhängig davon, ob es morgen regnet, oder nicht. Dieses Beispiel deutet schon auf den problematischen Punkt der Implikation hin: p q kann wahr sein, ohne dass zwischen p und q irgendein inhaltlicher Zusammenhang besteht, denn der Wahrheitswert der Subjunktion hängt ja nur von den Wahrheitswerten von p und q ab. (Wiki) Offensichtlich entsteht der Widerspruch dadurch, dass die Wahrheitstabelle falsch ist. Das gilt übrigens in gleicher Weise für die materiale Äqudivalenz. Die Wahrheitstabellen sowohl der materialen Implikation, als auch der materialen Äqudivalenz sind somit nicht aufrechtzuerhalten. Ich hänge eben eine entsprechende Darstellung an.

Implikation und Replikation materiale p q wenn p, Implikation dann q w w w w f f f w w?? f f w?? materiale p q nur wenn p, Replikation dann q w w w w f w?? f w f f f w?? Die Paradoxien der Implikation Hier nun die Paradoxien der materialen Implikation : 1. 2. 3. 4. 5. 6. Dass alle diese Formeln Tautologien sind, kann man mit der Methode der Wahrheitstabelle überprüfen. Man kann sie aber auch schneller einsehen, wenn man die Beziehung benutzt: Im Falle der 6. Formel oben z.b. ist der erste Teil der Disjunktion nur dann nicht wahr, wenn wahr, aber falsch ist. In diesem Fall ist aber der zweite Teil der Disjunktion wahr. Der Philosoph Chales Sanders Peirce hat die oben aufgeführte 6. Variante einmal so illustriert: Wenn man eine Zeitung Satz für Satz zerschneidet, alle Sätze in einen Hut schüttet und zwei beliebige zufällig wieder herausholt, dann ist der erste dieser Sätze eine Folgerung des zweiten oder umgekehrt. Auch an diesem Beispiel sieht man, dass die materiale Implikation überhaupt nichts mit dem Inhalt der beteiligten Aussagen zu tun hat (sondern nur mit den Wahrheitswerten).

1. Paradox (Implikation): Wenn nicht p und p, dann q. Die Implikation ist laut Wahrheitstabelle dann falsch, wenn der erste Teil wahr ist, der zweite aber falsch. Wenn nicht p und p kann aber nicht wahr sein, und dann ist die Implikation wahr. Und das ist eben kontraintuitiv. 2. Paradox (Implikation): Wenn p, dann (wenn q, dann p). Die Implikation ist falsch, wenn p wahr, und die Konsequenz falsch ist. Die Konsequenz ist aber falsch, wenn q wahr und p falsch ist. Und da p nicht zugleich wahr und falsch sein kann, handelt es sich um einen Widerspruch. 3. Paradox (Implikation): Wenn nicht p, dann (wenn p, dann q) Die Implikation ist dann falsch, wenn nicht p wahr, und die Konklusion falsch. Letzteres ist nur dann der Fall, wenn p wahr und q falsch. Nicht p und p können aber nicht gleichzeitig wahr sein. 4. Paradox (Implikation): Wenn p, dann q oder nicht q Die Implikation ist dann falsch, wenn p wahr, und die Konklusion falsch ist. Letzteres ist nur dann der fall, wenn q falsch und nicht q ebenfalls falsch ist. und das ist unmöglich. 5. Paradox (Implikation): (wenn p, dann nicht p) oder (wenn nicht p, dann p) Der erste Teil der Disjunktion ist falsch, wenn p wahr und nicht p falsch ist. Dann wird allerdings der zweite Teil der Disjunktion wahr, was kontraintuitiv ist 6. Paradox (Implikation): (wenn p, dann q) oder (wenn q dann p) "Im Falle der 6. Formel oben z.b. ist der erste Teil der Disjunktion nur dann (falsch), wenn p wahr, aber q falsch ist. In diesem Fall ist aber der zweite Teil der Disjunktion wahr." (Wiki) Die Paradoxien der Replikation Nun können wir auch endlich die sich ergebenden Paradoxien der materialen Replikation angeben. Dabei ist lediglich zu berücksichtigen, dass die materiale Replikation nur dann falsch ist, wenn p falsch ist, und q wahr. Hier die sechs Paradoxien: 1. Paradox (Replikation): Nur wenn p, dann (nicht q und q). Die Replikation ist laut Wahrheitstabelle dann falsch, wenn der zweite Teil wahr ist, der erste aber falsch. Wenn nicht p und p kann aber nicht wahr sein, und dann ist die Replikation wahr. Und das ist eben kontraintuitiv.

2. Paradox (Replikation): Nur wenn (nur wenn q, dann p), dann q. Die Replikation ist falsch, wenn der erste Teil falsch ist, und q wahr..der erste Teil ist aber falsch, wenn p wahr und q falsch ist. Und da q nicht zugleich wahr und falsch sein kann, handelt es sich um einen Widerspruch. 3. Paradox (Replikation): Nur wenn (nur wenn p, dann q), dann nicht q. Die Replikation ist dann falsch, wenn der erste Teil falsch ist, und nicht q wahr. Ersteres ist nur dann der Fall, wenn p falsch ist und q wahr. Nicht q und q können aber nicht gleichzeitig wahr sein. 4. Paradox (Replikation): Nur wenn (p oder nicht p), dann q. Die Replikation ist dann falsch, wenn der erste Teil falsch, und q wahr ist. Ersteres ist aber nur dann der Fall, wenn p falsch und nicht p ebenfalls falsch ist. und das ist unmöglich. 5. Paradox (Replikation): (Nur wenn p, dann nicht p) oder (nur wenn nicht p, dann p). Der erste Teil der Disjunktion ist falsch, wenn p falsch und nicht p wahr ist. Dann wird allerdings der zweite Teil der Disjunktion wahr, was kontraintuitiv ist 6. Paradox (Replikation): (Nur wenn p, dann q) oder (nur wenn q, dann p). Im Falle der 6. Formel oben ist der erste Teil der Disjunktion nur dann (falsch), wenn p falsch, aber q wahr ist. In diesem Fall ist aber der zweite Teil der Disjunktion wahr. Die Paradoxien der Äquivalenz Hier noch eben die beiden Paradoxien der Äquivalenz: 1. Paradox der Äquivalenz: (Nicht p und p) gdw (nicht q und q) 2. Paradox der Äquivalenz: (Nicht p oder p) gdw (nicht q oder q) Joachim Stiller Münster, 2014 Ende Zurück zur Startseie