(Zumindest in den Fällen, wo sie sich Probleme ausdenken. Wenn sie Scheinlösungen zu realen Problemen anbieten, liegen sie natürlich falsch.)
(Zumindest in den Fällen, wo sie sich Probleme ausdenken. Wenn sie Scheinlösungen zu realen Problemen anbieten, liegen sie natürlich falsch.)
Aber “beliebig” ist in der Aussagenlogik kein gültiger Wahrheitswert.
Ich denke mal mit “beliebig” ist umgangssprachlich einfach “wahr oder falsch” (kein logisches Oder) gemeint.
Richtig, daher ist die Aussage ja dann auch ungültig.
Nein, die Wahrheitstabelle der Implikation ( A=>B ) lautet
Anders gesagt, A => B <=> ¬A v B
So etwas wie eine ungültige Aussage gibt es in der Aussagenlogik nicht*
Es stimmt also, das eine falsche Prämisse ein beliebiges Ergebnis implizieren kann. Die Gesamtaussage ist dann aber wahr.
“Wenn die Erde flach ist (falsch), dann ist die Antarktis eine große Eismauer (falsch).”
Diese Aussage ist wahr. Sie sagt aber nichts über die Realität aus, da die Prämisse nicht stimmt. Genauso kann nämlich eine wahre Aussage impliziert werden:
“Wenn die Erde flach ist (falsch), dann stellt der Klimawandel eine Bedrohung dar (wahr).”
Diese Aussage ist auch wahr, sagt aber genauso wenig über die Realität aus.
*Ausgenommen sind selbstreferenzierende Aussagen a la “Diese Aussage ist falsch”. Laut Gödel enthält jedes logische System solche unentscheidbare Widersprüche.
Natürlich gibt es die: A => ^A ist der Klassiker. Es ist nicht möglich, dass ein Argument, dessen Prämisse wahr ist, dann eine widersprüchliche Konklusion liefert. Diesen Zustand nennt man Ungültigkeit und das ist elementar für den Aufbau schlüssiger logischer Argumentation.
Ich zitiere mal diese Quelle: Ein deduktives Argument gilt genau dann als gültig , wenn es eine Form annimmt, die es unmöglich macht, dass die Prämissen wahr und die Schlussfolgerung trotzdem falsch ist. Andernfalls gilt ein deduktives Argument als ungültig.
Das ist aber kein aussagenlogisches Argument, sondern einfach (A & ^A) in natürlicher Sprache. Gödels Vollständigkeitssatz ist sogar der formale Beweis der semantischen Vollständigkeit der Prädikatenlogik erster Stufe. Unvollständigkeit wird nur auf Systeme höherer Komplexität angewandt, die unvollständige Argumente in ihrer geschlossenen Domäne bzw. Theorie erlauben, weil sie einfach gar nicht dazugehören. Ich habe das Theorem immer als eine Art Unschärfefilter verstanden, aber ich bin auch kein Mathematiker. Ich bin aber sehr sicher, dass Aussagenlogik (z.B Peano) überhaupt axiomatisch notwendig sind, um die Gödel’schen Sätze über Vollständigkeit und Unvollständigkeit zu beweisen.
Auf keinen Fall ist das so. Das wäre ja schlimm. Stell dir mal vor, dann würde ja Trump mit allem, was er an Bullshit redet, am Ende recht haben. Das ist weder theoretisch noch intuitiv richtig.
Nein, die Konklusion dieses Arguments ist beliebig, nicht wahr. Es gibt nicht den Zustand “wahr, aber nicht realistisch” in der Logik. Beliebig ist hier korrekt, weil das Argument selbst eben nicht funktioniert und daher die Konklusion völlig irrelevant (=beliebig) ist.
Das ist übrigens auch der Hinterrgund hinter dem beliebten “Ex contradictione sequitur quodlibet” bzw halt “Ex falso quodlibet”. Formal sagt dieser Satz: Es gibt Argumente, die in der Aussagenlogik nicht ohne den Verzicht auf Gültigkeit (=Ungültigkeit) geführt werden können.
In der Aussagen Logik besagt das Gesetz des ausgeschlossen Dritten (tertium non datur wenn man fancy sein will), das jede Aussage entweder wahr oder falsch ist (Es gibt ternäre Logiken die auch “unbekannt” als Wert enthalten). Aussagenlogisch ist “Falsch => Falsch” also wahr.
Ja, ich kenne das Gesetz, aber der gilt nur für gültige Argumente. Falsch => Falsch ist in jedem Fall wahr, A => ^A ist aber unerfüllbar (Satz vom Widerspruch) und in der formalen Logik ist das ein ungültiger Zustand. Kann es vielleicht sein, dass du von Schlüssigkeit redest? Ein Argument ist dann schlüssig, wenn es gültig ist (siehe oben) und alle Prämissen wahr sind.
Gültig war in meiner Logik Vorlesung für X Jahren definiert als “wahr für alle Belegungen”. In dem Sinne ist die Formel
Aauch “ungültig”.Die Eigenschaft die auf A => ^A zutrifft ist unerfüllbar.
Vielleicht waren verschiedene Definition der Auslöser für dieses ganze hin und her
Sehr gut möglich. Ich hab im Rahmen dieser Diskussion hier mehrere Vorlesungsskripte verschiedener FBs und Unis gelesen und das war alles ganz schön unstetig, was man dort so liest.