16 ideas
9108 | From an impossibility anything follows [William of Ockham] |
9107 | A proposition is true if its subject and predicate stand for the same thing [William of Ockham] |
16300 | Ockham had an early axiomatic account of truth [William of Ockham, by Halbach] |
17832 | Zermelo showed that the ZF axioms in 1930 were non-categorical [Zermelo, by Hallett,M] |
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] |
13028 | Replacement was added when some advanced theorems seemed to need it [Zermelo, by Maddy] |
17837 | Zermelo allows ur-elements, to enable the widespread application of set-theory [Hallett,M] |
9106 | The word 'every' only signifies when added to a term such as 'man', referring to all men [William of Ockham] |
17626 | The antinomy of endless advance and of completion is resolved in well-ordered transfinite numbers [Zermelo] |
17836 | The General Continuum Hypothesis and its negation are both consistent with ZF [Hallett,M] |
9113 | Just as unity is not a property of a single thing, so numbers are not properties of many things [William of Ockham] |
9110 | The words 'thing' and 'to be' assert the same idea, as a noun and as a verb [William of Ockham] |
15388 | Universals are single things, and only universal in what they signify [William of Ockham] |
9109 | If essence and existence were two things, one could exist without the other, which is impossible [William of Ockham] |
9105 | Some concepts for propositions exist only in the mind, and in no language [William of Ockham] |