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] |
| 13174 | A piece of flint contains something resembling perceptions and appetites [Leibniz] |
| 13175 | Entelechies are analogous to souls, as other minds are analogous to our own minds [Leibniz] |
| 13172 | What we cannot imagine may still exist [Leibniz] |
| 22709 | We should first decide what are the great works of art, with aesthetic theory following from that [Murdoch] |
| 22715 | Great art proves the absurdity of art for art's sake [Murdoch] |
| 22714 | Because art is love, it improves us morally [Murdoch] |
| 22712 | Art and morals are essentially the same, and are both identical with love [Murdoch] |
| 13173 | Death is just the contraction of an animal [Leibniz] |
| 22713 | Love is realising something other than oneself is real [Murdoch] |