14 ideas
| 21566 | 'Propositional functions' are ambiguous until the variable is given a value [Russell] |
| 21567 | 'All judgements made by Epimenedes are true' needs the judgements to be of the same type [Russell] |
| 23457 | Type theory cannot identify features across levels (because such predicates break the rules) [Morris,M on Russell] |
| 21556 | Classes are defined by propositional functions, and functions are typed, with an axiom of reducibility [Russell, by Lackey] |
| 21568 | A one-variable function is only 'predicative' if it is one order above its arguments [Russell] |
| 5044 | Reality must be made of basic unities, which will be animated, substantial points [Leibniz] |
| 3626 | Knowing the attributes is enough to reveal a substance [Descartes] |
| 3630 | Our thinking about external things doesn't disprove the existence of innate ideas [Descartes] |
| 5045 | No machine or mere organised matter could have a unified self [Leibniz] |
| 5046 | The soul does know bodies, although they do not influence one another [Leibniz] |
| 3631 | A blind man may still contain the idea of colour [Descartes] |
| 5043 | To regard animals as mere machines may be possible, but seems improbable [Leibniz] |
| 3640 | Possible existence is a perfection in the idea of a triangle [Descartes] |
| 3639 | Necessary existence is a property which is uniquely part of God's essence [Descartes] |