Philosophy Lexicon of Arguments

Type theory: The type theory is a restriction of formal systems to a kind of reference which prevents symbols of a level (of a type) from referring to symbols of the same level (the same type). This is intended to avoid paradoxes arising from a self-reference of the signs or expressions used. Original proposals for type theories are given by B. Russell (B. Russell, “Mathematical logic as based on the theory of types”, in American Journal of Mathematics, 30, 1908, pp. 222-262). See also self-reference, circularity, paradoxes, Russell's Paradox, branched type theory.

Annotation: The above characterizations of concepts are neither definitions nor exhausting presentations of problems related to them. Instead, they are intended to give a short introduction to the contributions below. – Lexicon of Arguments.
Author Item    More concepts for author
Bateson, Gregory Type Theory   Bateson, Gregory
Brandom, Robert Type Theory   Brandom, Robert
Carnap, Rudolf Type Theory   Carnap, Rudolf
Prior, Arthur Type Theory   Prior, Arthur
Quine, Willard Van Orman Type Theory   Quine, Willard Van Orman
Russell, Bertrand Type Theory   Russell, Bertrand
Thiel, Chr. Type Theory   Thiel, Chr.

Ed. Martin Schulz, access date 2017-09-19