12 ideas
7719 | European philosophy consists of a series of footnotes to Plato [Whitehead] |
17833 | The first-order ZF axiomatisation is highly non-categorical [Hallett,M] |
17834 | Non-categoricity reveals a sort of incompleteness, with sets existing that the axioms don't reveal [Hallett,M] |
17837 | Zermelo allows ur-elements, to enable the widespread application of set-theory [Hallett,M] |
10656 | With 'extensive connection', boundary elements are not included in domains [Whitehead, by Varzi] |
6007 | If you know your father, but don't recognise your father veiled, you know and don't know the same person [Eubulides, by Dancy,R] |
6006 | If you say truly that you are lying, you are lying [Eubulides, by Dancy,R] |
6008 | Removing one grain doesn't destroy a heap, so a heap can't be destroyed [Eubulides, by Dancy,R] |
17836 | The General Continuum Hypothesis and its negation are both consistent with ZF [Hallett,M] |
15389 | In Whitehead 'processes' consist of events beginning and ending [Whitehead, by Simons] |
15247 | Whitehead held that perception was a necessary feature of all causation [Whitehead, by Harré/Madden] |
16962 | Whitehead replaced points with extended regions [Whitehead, by Quine] |