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

John Bigelow über Widerspruchsfreiheit – Lexikon der Argumente

I 182
Konsistenz/Widerspruchsfreiheit/WSF/Bigelow/Pargetter: Eine Weise zu garantieren, dass eine Beschreibung konsistent ist, ist zu zeigen, dass etwas diese Beschreibung erfüllt.
>Erfüllung
.
Def Prinzip der Instanziierung/Bigelow/Pargetter: das können wir das Prinzip der Instantiation (Instanziierungsprinzip) nennen.
>Instanziierung.
Widerspruchsfreiheit/Bigelow/Pargetter: Widerspruchsfreiheit ist vor allem für Mathematik wesentlich, für andere Gebiete gleicht sie eher Hausmeisterarbeit.
Widerspruchsfreiheit/Hilbert: geht der Existenz voraus. Ein mathematischer Beweis existiert nur, wenn er widerspruchsfrei ist.
>Widerspruchsfreiheit/Hilbert, >Existenz/Hilbert, >Mathematik,
>Beweise, >Beweisbarkeit.
Widerspruchsfreiheit/FregeVsFormalismus/FregeVsHilbert/Bigelow/Pargetter: Existenz geht der Widerspruchsfreiheit voraus. Denn Widerspruchsfreiheit setzt die Existenz eines konsistent beschriebenen Dings voraus. Wenn es existiert, ist die entsprechende Beschreibung konsistent. Wenn es nicht existiert, wie sollen wir die Widerspruchsfreiheit garantieren?
>Existenz.
I 183
Frege/Bigelow/Pargetter: Frege denkt hier epistemisch, in Begriffen von „Garantien“. Aber seine Sicht kann ausgedehnt werden: wenn es keinen Gegenstand gibt, gibt es allgemein keinen Unterschied zwischen einer widerspruchsfreien und einer widersprüchlichen Beschreibung.
>G. Frege, >Fundierung, >Formalismus/Frege, >Wahrheit/Frege, >Existenz/Frege.
Frege/Bigelow/Pargetter: pro Frege: Das ist die Grundlage für die moderne Mathematik. Das ist auch der Grund, warum die Mengenlehre so wichtig ist: sie liefert die Beispiele für alles, was Mathematiker zu untersuchen wünschen (wenigstens bis vor kurzem).
>Mengenlehre, >Mengen.

_____________
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.

Big I
J. Bigelow, R. Pargetter
Science and Necessity Cambridge 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