Philosophy Dictionary of Arguments

Home Screenshot Tabelle Begriffe



 Type Theory - Philosophy Dictionary of Arguments
 
Type theory: Restriction of formal systems to a type of reference that prevents symbols of one level (of one type) from referring to symbols of the same level (of the same type). This is intended to avoid paradoxes arising from the self-referentiality of the symbols or expressions used. Original proposals for type theories come from 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, Stages, 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 N. Type Theory   Prior, Arthur
Quine, W.V.O. Type Theory   Quine, Willard Van Orman
Russell, Bertrand Type Theory   Russell, Bertrand
Thiel, Christian Type Theory   Thiel, Christian

Authors A   B   C   D   E   F   G   H   I   J   K   L   M   N   P   Q   R   S   T   U   V   W   Y   Z  


Concepts A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   Z