Combining Texts

All the ideas for '', 'Nine political essays' and 'Introduction to Zermelo's 1930 paper'

expand these ideas     |    start again     |     specify just one area for these texts

---

9 ideas

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets

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]

4. Formal Logic / F. Set Theory ST / 7. Natural Sets

17837

Zermelo allows ur-elements, to enable the widespread application of set-theory [Hallett,M]

5. Theory of Logic / A. Overview of Logic / 1. Overview of Logic

11211

If a sound conclusion comes from two errors that cancel out, the path of the argument must matter [Rumfitt]

5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives

11210

Standardly 'and' and 'but' are held to have the same sense by having the same truth table [Rumfitt]

11212

The sense of a connective comes from primitively obvious rules of inference [Rumfitt]

6. Mathematics / A. Nature of Mathematics / 5. The Infinite / g. Continuum Hypothesis

17836

The General Continuum Hypothesis and its negation are both consistent with ZF [Hallett,M]

19. Language / F. Communication / 3. Denial

11214

We learn 'not' along with affirmation, by learning to either affirm or deny a sentence [Rumfitt]

25. Social Practice / C. Rights / 4. Property rights

6581	Hume thought (unlike Locke) that property is a merely conventional relationship [Hume, by Fogelin]