16 ideas
12797 | If plural variables have 'some values', then non-count variables have 'some value' [Laycock] |
21566 | 'Propositional functions' are ambiguous until the variable is given a value [Russell] |
12794 | Plurals are semantical but not ontological [Laycock] |
21567 | 'All judgements made by Epimenedes are true' needs the judgements to be of the same type [Russell] |
17694 | Some non-count nouns can be used for counting, as in 'several wines' or 'fewer cheeses' [Laycock] |
17695 | Some apparent non-count words can take plural forms, such as 'snows' or 'waters' [Laycock] |
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] |
21982 | I only wish I had such eyes as to see Nobody! It's as much as I can do to see real people. [Carroll,L] |
12792 | The category of stuff does not suit reference [Laycock] |
12799 | Descriptions of stuff are neither singular aggregates nor plural collections [Laycock] |
12818 | We shouldn't think some water retains its identity when it is mixed with air [Laycock] |
12795 | Parts must be of the same very general type as the wholes [Laycock] |
17696 | 'Humility is a virtue' has an abstract noun, but 'water is a liquid' has a generic concrete noun [Laycock] |
12791 | It is said that proper reference is our intellectual link with the world [Laycock] |