12 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] |
| 18699 | Carnap tried to define all scientific predicates in terms of primitive relations, using type theory [Carnap, by Button] |
| 12131 | All concepts can be derived from a few basics, making possible one science of everything [Carnap, by Brody] |
| 22594 | In 1794 France all individual and legal rights were suppressed by the general will [Dunt] |
| 22602 | Over several centuries a set of eight main liberal values was established [Dunt] |
| 22596 | No government, or the whole nation, can control an individual beyond legitimate scope [Dunt] |
| 22603 | Laissez-faire liberalism failed to give people the protections and freedoms needed for a good life [Dunt] |
| 22592 | Nationalism pretends that we can only have a single identity [Dunt] |