Dictionary 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 selfreference 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. 222262). See also selfreference, 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, Christian  Type Theory  Thiel, Christian  
