Combining Texts

All the ideas for 'The Sophist', 'Set Theory' and 'works'

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

28 ideas

1. Philosophy / D. Nature of Philosophy / 2. Invocation to Philosophy
1642 We must fight fiercely for knowledge, understanding and intelligence [Plato]
1. Philosophy / F. Analytic Philosophy / 7. Limitations of Analysis
1645 The desire to split everything into its parts is unpleasant and unphilosophical [Plato]
1. Philosophy / H. Continental Philosophy / 3. Hermeneutics
5438 Hermeneutics of tradition is sympathetic, hermeneutics of suspicion is hostile [Ricoeur, by Mautner]
2. Reason / C. Styles of Reason / 1. Dialectic
287 Good analysis involves dividing things into appropriate forms without confusion [Plato]
1644 Dialectic should only be taught to those who already philosophise well [Plato]
2. Reason / C. Styles of Reason / 2. Elenchus
20478 In discussion a person's opinions are shown to be in conflict, leading to calm self-criticism [Plato]
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 / A. Nature of Existence / 3. Being / d. Non-being
11278 What does 'that which is not' refer to? [Plato]
7. Existence / A. Nature of Existence / 3. Being / e. Being and nothing
1643 If statements about non-existence are logically puzzling, so are statements about existence [Plato]
7. Existence / A. Nature of Existence / 6. Criterion for Existence
7022 To be is to have a capacity, to act on other things, or to receive actions [Plato]
7. Existence / D. Theories of Reality / 6. Physicalism
1641 Some alarming thinkers think that only things which you can touch exist [Plato]
7. Existence / D. Theories of Reality / 11. Ontological Commitment / a. Ontological commitment
10784 Whenever there's speech it has to be about something [Plato]
8. Modes of Existence / D. Universals / 6. Platonic Forms / a. Platonic Forms
16122 Good thinkers spot forms spread through things, or included within some larger form [Plato]
10422 The not-beautiful is part of the beautiful, though opposed to it, and is just as real [Plato]
9. Objects / A. Existence of Objects / 6. Nihilism about Objects
15855 If we see everything as separate, we can then give no account of it [Plato]
12. Knowledge Sources / C. Rationalism / 1. Rationalism
1637 A soul without understanding is ugly [Plato]
23. Ethics / A. Egoism / 1. Ethical Egoism
1636 Wickedness is an illness of the soul [Plato]
25. Social Practice / E. Policies / 5. Education / c. Teaching
1638 Didactic education is hard work and achieves little [Plato]