Ideas from 'The Theory of Logical Types' by Bertrand Russell [1910], by Theme Structure
[found in 'Essays in Analysis' by Russell,Bertrand (ed/tr Lackey,Douglas) [George Braziller 1973,0-8076-0699-5]].
green numbers give full details |
back to texts
|
expand these ideas
5. Theory of Logic / E. Structures of Logic / 5. Functions in Logic
21566
|
'Propositional functions' are ambiguous until the variable is given a value
|
5. Theory of Logic / L. Paradox / 6. Paradoxes in Language / a. The Liar paradox
21567
|
'All judgements made by Epimenedes are true' needs the judgements to be of the same type
|
6. Mathematics / C. Sources of Mathematics / 6. Logicism / b. Type theory
23457
|
Type theory cannot identify features across levels (because such predicates break the rules) [Morris,M]
|
21556
|
Classes are defined by propositional functions, and functions are typed, with an axiom of reducibility [Lackey]
|
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / d. Predicativism
21568
|
A one-variable function is only 'predicative' if it is one order above its arguments
|