Combining Texts

All the ideas for 'A Theory of Conditionals', 'Introduction to Zermelo's 1930 paper' and 'The Language of Morals'

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


8 ideas

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
The first-order ZF axiomatisation is highly non-categorical [Hallett,M]
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
Zermelo allows ur-elements, to enable the widespread application of set-theory [Hallett,M]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / g. Continuum Hypothesis
The General Continuum Hypothesis and its negation are both consistent with ZF [Hallett,M]
7. Existence / C. Structure of Existence / 5. Supervenience / c. Significance of supervenience
The goodness of a picture supervenes on the picture; duplicates must be equally good [Hare]
10. Modality / B. Possibility / 8. Conditionals / a. Conditionals
In nearby worlds where A is true, 'if A,B' is true or false if B is true or false [Stalnaker]
10. Modality / E. Possible worlds / 2. Nature of Possible Worlds / a. Nature of possible worlds
A possible world is the ontological analogue of hypothetical beliefs [Stalnaker]
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / i. Prescriptivism
In primary evaluative words like 'ought' prescription is constant but description can vary [Hare, by Hooker,B]