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.
Das ist eine echt spannende Diskussion, ich hoffe, ich nerve dich nicht damit -
Nee, gar nicht! Ich diskutiere gern über Dinge, warum auch nicht. Ist ja auch schon eine Weile her bei mir, bin selbst mal gespannt, was ich überhaupt noch weiß :)
Ich hab an der Uni ein Semester zu formaler Logik gehört, und während mit das Thema sehr viel Spaß macht, muss ich zugeben, dass es oft sehr unintuitiv ist.
Ich hatte da etwas Vorsprung, ich hab zu der Grundversanstaltung noch Logik II + III gehört, am Ende ging es aber nur noch um Kellerautomaten und Touringvollständigkeit, also nicht mehr wirklich das, was wir hier haben.
Das erste Missverständnis ist, denke ich, dass ich hier bisher ausschließlich über formale Aussagenlogik rede. [...] Du redest bereits von deduktiver Logik, wie deine Quelle auch.
Aussagenlogik ist meines Wissens ein Teilbereich der symbolisch-deduktiven Logik, zusammen mit der Prädikatenlogik und dem Lambda-Kalkül. Ich weiß nicht, ob es auch induktive Aussagenlogik gibt, aber davon habe ich noch nie was gehört.
Hierbei gilt ein Argument als “gültig”(“sound”), wenn sie immer wahr ist, angenommen alle Prämissen sind wahr. Ist ein Argument gültig, und alle Prämissen sind wahr, dann ist es “schlüssig”.
Soweit stimme ich zu. Aber das braucht man zum Schlussfolgern und das ist doch ein wesentlicher Bestandteil der Aussagenlogik, soweit mir das geläufig ist.
In jedem Fall ist es kein gültiges Argument im Sinne der deduktiven Logik.
Genau. Hier müssten wir jetzt wirklich klären, ob Aussagenlogik ein Teil davon ist. Nach meinem Dafürhalten ist das so.
Hier hast du dich glaube ich selber durcheinander gebracht. Im Sinne der deduktiven Logik ist solch ein Argument in jedem Fall nicht schlüssig, und potentiell sogar ungültig. Das ist unabhängig vom Wahrheitsgehalt der Aussage, da ja die Prämisse schon falsch ist. Ungültig ist aber nicht das gleiche wie falsch, und erst Recht nicht eine dritte
Also, wir betrachten hier ja z.B. diese Aussage:
A -> ^B
Wenn nun also ^A gilt, dann folgt daraus nicht automatisch B, aber auch nicht ^B. Soweit sind wir uns glaube ich einig. Die Gültigkeit ist soweit gegeben, Schlüssigkeit folglich nicht. Von falsch sagte ich nichts, sondern eben, dass durch die Prämisse keine Aussage über den Wahrheitsgehalt der Konklusion mehr getroffen werden kann. Das ist ja gerade der Unterschied, der durch die Gültigkeit getroffen wird. Im Sinne der Soundness (mag ich viel lieber dieses Wort) muss aber die Prämisse eintreffen, um deduktive Schlüsse ziehen zu können.
Wenn du das ganze natürlich rein formal betrachten willst, dann geht das. Darin sehe ich aber nicht so viel Sinn. Und mit induktiver Logik kenne ich mich ehrlicherweise nicht sonderlich gut aus, das scheint mir auch eher ein sehr spezifischer Teil dieser Wissenschaften zu sein.
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.
Meinerseits leider Fehlanzeige, trotz heißer Spur.
So etwas wie eine ungültige Aussage gibt es in der Aussagenlogik nicht
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.
*Ausgenommen sind selbstreferenzierende Aussagen a la “Diese Aussage ist falsch”. Laut Gödel enthält jedes logische System solche unentscheidbare Widersprüche.
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.
Es stimmt also, das eine falsche Prämisse ein beliebiges Ergebnis implizieren kann. Die Gesamtaussage ist dann aber wahr.
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.
“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:
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.
Der letzte Teil liest sich immerhin nach keiner grundlegend böswilligen Absicht. Macht den ganzen Rest natürlich auch nicht besser.
Aber beruhigend zu wissen, dass der III. Weg eine Klippe runter führt.
Vielleicht hilft die Erkenntnis, dass die Logos auf Monitor und Tastatur identisch sind. Ich kann zwar nicht erkennen, welches das ist, aber offensichtlich gehören sie zusammen.
Möchte noch jemand wissen, was das für ein Programm auf dem Teleschirm ist? Ich kann nur "IBS" oder "TBS" erkennen.
Meine Eltern früher: Aus dir wird nichts, wenn du immer nur am PC hängst
Meine Eltern heute: leihen sich Geld von mir
Danke für beides!
Ich weiß das mit dem Namen, aber es ist irgendwie ein Henne-Ei-Problem...
Keine Angst, soweit ich es mitbekomme, drehen wir zwar völlig ab über ein sinnloses Thema, aber es ist gesittet und macht Spaß.
Es ist okay. Gehst du bitte solange im Bälleparadies warten?
Ansonsten zum Thema Gültigkeit: du kannst mal das sehr kurze Kapitel "Formale Korrektheit" auf der Wiki-Seite zum Thema Schlüssigkeit durchlesen. Da ist es so definiert, wie ich es in der Uni gelernt habe.
Einfach ausgedrückt ist es so: Wenn die Prämisse wahr ist, darf es nicht sein, dass die Konklusion im Widerspruch steht (wie bei
A=>^A). Ist dies der Fall, spricht man von einem ungültigen Argument.Schlüssigkeit folgt daraus und der Wahrheit der Prämisse.