16 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] |
| 23029 | Knowledge is secured by the relations between its parts, through differences and identities [Green,TH, by Muirhead] |
| 23046 | States only have full authority if they heed the claims of human fellowship [Green,TH] |
| 23051 | Equality also implies liberty, because equality must be of opportunity as well as possessions [Green,TH] |
| 23028 | The highest political efforts express our deeper social spirit [Green,TH, by Muirhead] |
| 23054 | Communism is wrong because it restricts the freedom of individuals to contribute to the community [Green,TH, by Muirhead] |
| 23047 | Original common ownership is securing private property, not denying it [Green,TH, by Muirhead] |
| 23042 | National spirit only exists in the individuals who embody it [Green,TH, by Muirhead] |
| 23048 | The ground of property ownership is not force but the power to use it for social ends [Green,TH, by Muirhead] |
| 23049 | Property is needed by all citizens, to empower them to achieve social goods [Green,TH] |
| 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] |