Philosophie Lexikon der Argumente

Home Screenshot Tabelle Begriffe

 
Widerspruchsfreiheit, Logik, Mathematik, Philosophie: Der Ausdruck der Widerspruchsfreiheit wird auf Systeme bzw. Mengen von Aussagen angewendet. Aus einem widersprüchlichen System kann jede beliebige Aussage abgeleitet werden (siehe ex falso quodlibet). Daher sind widersprüchliche Systeme grundsätzlich unbrauchbar. Siehe auch Systeme, Beweisbarkeit, Beweise, Kalkül, Konsistenz, Theorien, Vollständigkeit, Gültigkeit, Ausdrucksstärke.

_____________
Anmerkung: Die obigen Begriffscharakterisierungen verstehen sich weder als Definitionen noch als erschöpfende Problemdarstellungen. Sie sollen lediglich den Zugang zu den unten angefügten Quellen erleichtern. - Lexikon der Argumente.

 
Autor Begriff Zusammenfassung/Zitate Quellen

Kurt Gödel über Widerspruchsfreiheit – Lexikon der Argumente

F. Waismann Einführung in das mathematische Denken Darmstadt 1996

Waismann I 72 ff
Widerspruchsfreiheit/Gödel/Waismann: Der Nachweis der Widerspruchsfreiheit eines Systems kann mit den Mitteln dieses Systems nicht erbracht werden.
Gödel: Fügt man den Peanoschen Axiomen noch die des Logikkalküls hinzu und nennt das entstandene System P, so lässt sich kein Beweis für die Widerspruchsfreiheit von P führen, der in P formuliert werden könnte, vorausgesetzt, dass P widerspruchsfrei ist.
>Beweise
, >Beweisbarkeit, >Axiome, >Axiomensysteme, >Widersprüche.
(Wäre P widerspruchsvoll, könnte jede Aussage bewiesen werden, z.B. auch, dass P widerspruchsfrei sei).
I 73
Gödel: Jede Arithmetik ist lückenhaft, in jedem der vorhin genannten formalen Systeme gibt es unentscheidbare arithmetische Sätze und für jedes dieser Systeme lassen sich arithmetische Begriffe angeben, die in diesem System nicht definierbar sind.
>Arithmetik, >Vollständigkeit, >Unvollständigkeit.
Bsp Es lässt sich für jedes formale System S eine reelle Zahl konstruieren, die in S nicht definiert werden kann.
Man darf das nicht so verstehen, dass damit bewiesen wäre, dass es unlösbare mathematische Probleme gäbe.
Vielmehr bezieht sich der Begriff "lösbar" oder "entscheidbar" immer nur auf ein bestimmtes formales System. Wenn ein Satz in diesem System unentscheidbar ist, gibt es immer noch die Möglichkeit, eine reicheres System zu konstruieren, in dem der Satz entscheidbar ist.
Aber es gibt kein System, in dem alle arithmetischen Sätze entscheidbar, oder alle Begriffe definierbar wären.
Das ist der tiefere Sinn von Brouwer: Alle Mathematik sei wesentlich geistiges Handeln: eine Reihe von Konstruktionsschritten, und keine starres System von Formeln, das fertig vorliegt oder auch nur vorliegen könnte.
Mathematik ist unabgeschlossen. Die Aussage, dass das System S widerspruchsfrei ist, ist in S unentscheidbar.
I 74
Waismann: Kann durch derlei Untersuchungen die Arithmetik überhaupt begründet werden? Und Geometrie: Wenn es mehrere Geometrien gibt, wie sind sie auf unsere Erfahrungswert anwendbar?
Begründung der Geometrie/Waismann:
a) Eine Gruppe von Sätzen auswählen, die Unabhängigkeit, Vollständigkeit und Widerspruchsfreiheit dartun.
b) Die Anwendbarkeit sicherstellen.
>Unabhängigkeit, >Vollständigkeit, >Geometrie.

_____________
Zeichenerklärung: Römische Ziffern geben die Quelle an, arabische Ziffern die Seitenzahl. Die entsprechenden Titel sind rechts unter Metadaten angegeben. ((s)…): Kommentar des Einsenders. Übersetzungen: Lexikon der Argumente
Der Hinweis [Begriff/Autor], [Autor1]Vs[Autor2] bzw. [Autor]Vs[Begriff] bzw. "Problem:"/"Lösung", "alt:"/"neu:" und "These:" ist eine Hinzufügung des Lexikons der Argumente.

Göd II
Kurt Gödel
Collected Works: Volume II: Publications 1938-1974 Oxford 1990

Send Link

Autoren A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   Y   Z  


Begriffe A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   Z