10 ideas
23476 | Logical constants seem to be entities in propositions, but are actually pure form [Russell] |
23477 | We use logical notions, so they must be objects - but I don't know what they really are [Russell] |
21566 | 'Propositional functions' are ambiguous until the variable is given a value [Russell] |
18273 | Logical truths are known by their extreme generality [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] |
22315 | There can't be a negative of a complex, which is negated by its non-existence [Potter on Russell] |
16764 | The soul conserves the body, as we see by its dissolution when the soul leaves [Toletus] |