Philosophie Lexikon der Argumente

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/Titel Begriff Zusammenfassung Metadaten

 
Bücher bei Amazon:
Bertrand Russell
Prior I 164
Typentheorie/Russell: Variable unterster Stufe: außerlogisch. ((s) Existenz empirisch.)
- - -
Russell I XXIII
Typentheorie/GödelVsRussell: gemischte Typen (Individuen zusammen mit Prädikationen über Individuen usw.) widersprechen dem Zirkelfehlerprinzip offensichtlich gar nicht.


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

R I
B. Russell/A.N. Whitehead
Principia Mathematica Frankfurt 1986

R II
B. Russell
Das ABC der Relativitätstheorie Frankfurt 1989

R IV
B. Russell
Probleme der Philosophie Frankfurt 1967

R VI
B. Russell
Die Philosophie des logischen Atomismus
In
Eigennamen, U. Wolf (Hg), Frankfurt 1993

R VII
B. Russell
Wahrheit und Falschheit
In
Wahrheitstheorien, G. Skirbekk (Hg), Frankfurt 1996

Pri I
A. Prior
Objects of thought Oxford 1971

Pri II
Arthur N. Prior
Papers on Time and Tense 2nd Edition Oxford 2003

Send Link
> Gegenargumente gegen Russell
> Gegenargumente zu Typentheorie

Autoren A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   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  



> Eigenen Beitrag vorschlagen | > Haben Sie einen Fehler entdeckt? | > Export als BibTeX Datei
 
Hg. Martin Schulz, Abfragedatum 23.11.2017