9 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] |
19440 | How do you know you have conceived a thing deeply enough to assess its possibility? [Vaidya] |
5049 | Intelligent pleasure is the perception of beauty, order and perfection [Leibniz] |
5048 | Perfection is simply quantity of reality [Leibniz] |
5050 | Evil serves a greater good, and pain is necessary for higher pleasure [Leibniz] |