Philosophie Lexikon der Argumente

Home Screenshot Tabelle Begriffe

 
Typentheorie: Beschränkung formaler Systeme auf eine Art der Bezugnahme, die verhindert, dass sich Symbole einer Ebene (eines Typs) auf Symbole derselben Ebene (desselben Typs) beziehen. Dadurch sollen Paradoxien vermieden werden, die aus einer Selbstbezüglichkeit der verwendeten Zeichen oder Ausdrücke entstehen. Ursprüngliche Vorschläge für Typentheorien stammen von B. Russell (B. Russell, Mathematical logic as based on the theory of types, in American Journal of Mathematics 30 (1908), pp. 222–262). Siehe auch Selbstbezüglichkeit, Zirkularität, Paradoxien, Russells Paradoxie, Stufen, Verzweigte Typentheorie.

_____________
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 Typentheorie – Lexikon der Argumente

Thiel I 324
VsTypentheorie: Zu ihren Komplikationen gehörte nicht nur, dass eine solche Theorie neben Typen auch noch Ordnungen zu berücksichtigen sind, sondern auch die mehr als lästige Tatsache, dass jetzt z.B. die obere Grenze einer nichtleeren Menge reeller Zahlen (deren Existenz bei allen Stetigkeitsbetrachtungen in der klassischen Analysis vorausgesetzt wird) von höherer Ordnung ist, als die reellen Zahlen, deren obere Grenze sie ist.
Das hat zur Folge, dass man nun nicht mehr einfach über "alle reellen Zahlen" quantifizieren kann, sondern nur noch über alle reellen Zahlen, einer bestimmten Ordnung. Für die Fachmathematik ist das inakzeptabel, und für das "Arithmetisierungsprogramm" der klassischen Grundlagenforschung ein gewaltiges Hindernis.
>Quantifikation
, >Allklasse, vgl. >Äußerste Klasse, >Typentheorie/Quine.
Erst recht für den Logizismus, der sich daran anschließt.

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

T I
Chr. Thiel
Philosophie und Mathematik Darmstadt 1995

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