Philosophie Lexikon der ArgumenteHome
| |||
|
| |||
| 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 |
|---|---|---|---|
|
Robert Brandom über Typentheorie – Lexikon der Argumente
I 611 Typentheorie/Brandom: "Jeder": = jede Person "Jemand": = eine Person "Alle": wird gewöhnlich beschränkt Bsp Alles, was sich auf dem Tisch befindet. Vgl. >Quantifikation, >Allquantifikation, >Existenzquantifikation, >Bereiche._____________ 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. |
Bra I R. Brandom Expressive Vernunft Frankfurt 2000 Bra II R. Brandom Begründen und Begreifen Frankfurt 2001 |
||
> Gegenargumente gegen Brandom
> Gegenargumente zu Typentheorie ...
