Philosophie Lexikon der Argumente

Home Screenshot Tabelle Begriffe

 
Fixpunkt: Ein Punkt, der die Gleichung f(x) = x erfüllt heißt Fixpunkt, d.h. er wird auf sich selbst abgebildet. S.A. Kripke basiert seine alternative Wahrheitstheorie von 1975 auf Fixpunkten um das Problem der Paradoxien bei Selbstreferenz zu lösen (Kripke, S., 1975, Outline of a Theory of Truth, The Journal of Philosophy, 72 690–716.). Siehe auch Selbstbezüglichkeit, Paradoxien, Lügner-Paradoxie, Wahrheitstheorie.

_____________
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

Logik-Texte über Fixpunkte - Lexikon der Argumente

Read III 196
Kripkesche Fixpunkte/Read: 1. Wahrheitsbedingungen und Falschheitsbedingungen trennen (d.h. Falschheit ist nicht gleich Nichtwahrheit)
2. Zwei Satzmengen S1: wahre, S2 falsche Sätze
3. Auf jeder Ebene Bewertung vornehmen, dadurch höhere Stufe - so alle Sätze "aufsammeln".(1)
Fixpunkt/(s): wo Bewertung mit Input identisch.
Read: Erfolg: dann schlägt die Erweiterung fehl. - D.h. die >Metasprache
(MS) enthält keine weiteren W-Zuschreibungen als die >Objektsprache (OS).
RE III 197
Kripkesche Fixpunkte/Kripke: die Erweiterung schlägt fehl: Metasprache bringt keine weiteren Wahrheitszuschreibungen - Paradox am Fixpunkt ohne Wahrheitswert - Falschheit nicht gleich Nicht-Wahrheit!
Re III 197
Wahrheitsprädikat/Kripkesche Fixpunkte/Read: wir trennen die W-Prädikate Wahrheit und Falschheit. - Das W-Prädikat wird das Paar (S1,S2) gebildet, wobei S1 die wahren und S2 die falschen Sätze enthält - 1. Stufe: hier hat ein Satz Bsp ""Schnee ist weiß" ist wahr" keinen Wahrheitswert (WW), weil die Bewertung auf dieser Stufe nicht möglich ist - Lösung: schwache Matrizen zur Bewertung von zusammengesetzten Sätzen, von denen ein Teil ohne Wahrheitswert ist. - (A v B) ist ohne Wahrheitswert wenn eins von A oder B keinen Wahrheitswert hat - (>partielle Interpretation, >Wahrheits-Prädikat.)
Re III 198
Fixpunkt/Kripkesche Fixpunkte/Kripke/Read: der Fixpunkt wird durch transfinite Induktion erreicht - rekursiv oder sukzessiv mit Teilbewertungen (partielle Interpretation). - 1. transfinite Stufe: alle endlichen Teilbewertungen von S1 und S2 werden getrennt aufgesammelt. - Pointe: an einem frühen Punkt (vor Hinzufügung aller möglichen Sätze) gelingt es der Neuinterpretation des W-Prädikats nicht mehr, etwas Neues hinzuzufügen. - Sonderfall des Resultats über Fixpunkte normaler Funktionen über Ordinalzahlen. - φ/f: repräsentiert die Operation des Erweiterns durch Aufnahme neuer Interpretationen . Fixpunkt: hier ist f (S1,S2) = (S1,S2).
Re III 200
Unfundierte Aussagen: durch die Trennung von S1 und S2 bleiben einige Aussagen ohne Wahrheitswert. - Bsp "diese Aussage ist wahr" - sie hat keinen Wahrheitswert am minimalen Fixpunkt. - Eine Ebene höher können wir ihm einen willkürlichen Wert geben - aber nicht dem Lügner (siehe Lügner-Paradox).
Paradoxie/Kripke: folgt Tarski: sie kann nicht in der eigenen Sprache ausgedrückt werden - die gesamte Diskussion gehört zur Metasprache, ebenso wie die Prädikate: "paradox", "unfundiert". Sie gehören nicht zum semantisch abgeschlossenen Fixpunkt - Tarskis W-Schema funktioniert hier nicht - (...+...).


1. 1. Saul Kripke Outline of a Theory of Truth (1975) in: R.L.Martin (Ed.) Recent Essays on Truth and the Liar Paradox Clarendon Oxf/NY 1984

_____________
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.
Texte zur Logik
Me I Albert Menne Folgerichtig Denken Darmstadt 1988
HH II Hoyningen-Huene Formale Logik, Stuttgart 1998
Re III Stephen Read Philosophie der Logik Hamburg 1997
Sal IV Wesley C. Salmon Logik Stuttgart 1983
Sai V R.M.Sainsbury Paradoxien Stuttgart 2001

Re III
St. Read
Philosophie der Logik Hamburg 1997

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