Philosophie Lexikon der ArgumenteHome | |||
| |||
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 |
---|---|---|---|
Christian Thiel über Widerspruchsfreiheit – Lexikon der Argumente
Thiel I 223 Widerspruchsfreiheit/maximal widerspruchsfrei/Thiel: 1920 bewies Post, dass, wenn man dem untersuchten Axiomensystem (bei ihm Principia Mathematica(1)) einen nicht aus ihnen ableitbaren Satz hinzufügt, das erweiterte System widerspruchsvoll ist. I 224 ("Vollständigkeit als maximale Widerspruchsfreiheit"). >maximal konsistent, Vollständigkeit, >Ableitbarkeit, >Ableitung. 1. Whitehead, A.N. and Russel, B. (1910). Principia Mathematica. Cambridge: Cambridge University Press._____________ 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 ArgumenteDer 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. |
T I Chr. Thiel Philosophie und Mathematik Darmstadt 1995 |