13 ideas
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] |
9175 | We may fix the reference of 'Cicero' by a description, but thereafter the name is rigid [Kripke] |
9171 | The function of names is simply to refer [Kripke] |
17836 | The General Continuum Hypothesis and its negation are both consistent with ZF [Hallett,M] |
9174 | It is necessary that this table is not made of ice, but we don't know it a priori [Kripke] |
9172 | A 'rigid designator' designates the same object in all possible worlds [Kripke] |
9173 | We cannot say that Nixon might have been a different man from the one he actually was [Kripke] |
9176 | Modal statements about this table never refer to counterparts; that confuses epistemology and metaphysics [Kripke] |
9177 | Identity theorists must deny that pains can be imagined without brain states [Kripke] |
9178 | Pain, unlike heat, is picked out by an essential property [Kripke] |
5996 | Critolaus redefined Aristotle's moral aim as fulfilment instead of happiness [Critolaus, by White,SA] |