11 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] |
20034 | Intentions must be mutually consistent, affirm appropriate means, and fit the agent's beliefs [Bratman, by Wilson/Schpall] |
20033 | Intentions are normative, requiring commitment and further plans [Bratman, by Wilson/Schpall] |
20026 | Intention is either the aim of an action, or a long-term constraint on what we can do [Bratman, by Wilson/Schpall] |
20032 | Bratman rejected reducing intentions to belief-desire, because they motivate, and have their own standards [Bratman, by Wilson/Schpall] |
1748 | Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius] |
5989 | Archelaus said life began in a primeval slime [Archelaus, by Schofield] |