Combining Texts

All the ideas for 'Set Theory', 'Concluding Unscientific Postscript' and 'From Supervenience to Superdupervenience'

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

32 ideas

1. Philosophy / D. Nature of Philosophy / 5. Aims of Philosophy / d. Philosophy as puzzles
7578 I conceived it my task to create difficulties everywhere [Kierkegaard]
1. Philosophy / D. Nature of Philosophy / 8. Humour
22047 Wherever there is painless contradiction there is also comedy [Kierkegaard]
3. Truth / A. Truth Problems / 2. Defining Truth
22092 Kierkegaard's truth draws on authenticity, fidelity and honesty [Kierkegaard, by Carlisle]
3. Truth / A. Truth Problems / 3. Value of Truth
15999 Pure truth is for infinite beings only; I prefer endless striving for truth [Kierkegaard]
3. Truth / A. Truth Problems / 8. Subjective Truth
20313 The highest truth we can get is uncertainty held fast by an inward passion [Kierkegaard]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / b. Axiom of Extensionality I
13030 Extensionality: ∀x ∀y (∀z (z ∈ x ↔ z ∈ y) → x = y) [Kunen]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / c. Axiom of Pairing II
13032 Pairing: ∀x ∀y ∃z (x ∈ z ∧ y ∈ z) [Kunen]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / d. Axiom of Unions III
13033 Union: ∀F ∃A ∀Y ∀x (x ∈ Y ∧ Y ∈ F → x ∈ A) [Kunen]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / f. Axiom of Infinity V
13037 Infinity: ∃x (0 ∈ x ∧ ∀y ∈ x (S(y) ∈ x) [Kunen]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / g. Axiom of Powers VI
13038 Power Set: ∀x ∃y ∀z(z ⊂ x → z ∈ y) [Kunen]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / h. Axiom of Replacement VII
13034 Replacement: ∀x∈A ∃!y φ(x,y) → ∃Y ∀X∈A ∃y∈Y φ(x,y) [Kunen]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / i. Axiom of Foundation VIII
13039 Foundation:∀x(∃y(y∈x) → ∃y(y∈x ∧ ¬∃z(z∈x ∧ z∈y))) [Kunen]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / j. Axiom of Choice IX
13036 Choice: ∀A ∃R (R well-orders A) [Kunen]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / k. Axiom of Existence
13029 Set Existence: ∃x (x = x) [Kunen]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / n. Axiom of Comprehension
13031 Comprehension: ∃y ∀x (x ∈ y ↔ x ∈ z ∧ φ) [Kunen]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / o. Axiom of Constructibility V = L
13040 Constructibility: V = L (all sets are constructible) [Kunen]
7. Existence / C. Structure of Existence / 5. Supervenience / b. Types of supervenience
16052 'Superdupervenience' is supervenience that has a robustly materialistic explanation [Horgan,T]
16053 'Global' supervenience is facts tracking varying physical facts in every possible world [Horgan,T]
7. Existence / C. Structure of Existence / 5. Supervenience / c. Significance of supervenience
16056 Don't just observe supervenience - explain it! [Horgan,T]
7. Existence / D. Theories of Reality / 6. Physicalism
16054 Physicalism needs more than global supervenience on the physical [Horgan,T]
16055 Materialism requires that physics be causally complete [Horgan,T]
14. Science / B. Scientific Theories / 3. Instrumentalism
16057 Instrumentalism normally says some discourse is useful, but not genuinely true [Horgan,T]
16. Persons / B. Nature of the Self / 2. Ethical Self
20742 The real subject is ethical, not cognitive [Kierkegaard]
23. Ethics / F. Existentialism / 1. Existentialism
7579 While big metaphysics is complete without ethics, personal philosophy emphasises ethics [Kierkegaard]
7581 Speculative philosophy loses the individual in a vast vision of humanity [Kierkegaard]
23. Ethics / F. Existentialism / 6. Authentic Self
20314 People want to lose themselves in movements and history, instead of being individuals [Kierkegaard]
7582 Becoming what one is is a huge difficulty, because we strongly aspire to be something else [Kierkegaard]
28. God / A. Divine Nature / 2. Divine Nature
7586 God does not think or exist; God creates, and is eternal [Kierkegaard]
28. God / B. Proving God / 3. Proofs of Evidence / d. Religious Experience
20312 God cannot be demonstrated objectively, because God is a subject, only existing inwardly [Kierkegaard]
28. God / C. Attitudes to God / 2. Pantheism
7580 Pantheism destroys the distinction between good and evil [Kierkegaard]
29. Religion / D. Religious Issues / 1. Religious Commitment / e. Fideism
7583 Faith is the highest passion in the sphere of human subjectivity [Kierkegaard]
7584 Without risk there is no faith [Kierkegaard]