Combining Texts

All the ideas for 'fragments/reports', 'Set Theory' and 'Protagoras'

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

27 ideas

2. Reason / B. Laws of Thought / 4. Contraries
192 Only one thing can be contrary to something [Plato]
2. Reason / C. Styles of Reason / 1. Dialectic
20768 Like spiderswebs, dialectical arguments are clever but useless [Ariston, by Diog. Laertius]
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]
8. Modes of Existence / D. Universals / 6. Platonic Forms / c. Self-predication
190 If asked whether justice itself is just or unjust, you would have to say that it is just [Plato]
11. Knowledge Aims / A. Knowledge / 3. Value of Knowledge
20184 The only real evil is loss of knowledge [Plato]
20185 The most important things in life are wisdom and knowledge [Plato]
15. Nature of Minds / C. Capacities of Minds / 7. Seeing Resemblance
191 Everything resembles everything else up to a point [Plato]
20. Action / C. Motives for Action / 3. Acting on Reason / b. Intellectualism
203 Courage is knowing what should or shouldn't be feared [Plato]
22. Metaethics / B. Value / 2. Values / j. Evil
202 No one willingly and knowingly embraces evil [Plato]
22. Metaethics / C. The Good / 1. Goodness / h. Good as benefit
193 Some things are good even though they are not beneficial to men [Plato]
22. Metaethics / C. The Good / 3. Pleasure / c. Value of pleasure
200 People tend only to disapprove of pleasure if it leads to pain, or prevents future pleasure [Plato]
197 Some pleasures are not good, and some pains are not evil [Plato]
23. Ethics / C. Virtue Theory / 2. Elements of Virtue Theory / d. Teaching virtue
188 Socrates did not believe that virtue could be taught [Plato]
204 Socrates is contradicting himself in claiming virtue can't be taught, but that it is knowledge [Plato]
189 If we punish wrong-doers, it shows that we believe virtue can be taught [Plato]
23. Ethics / C. Virtue Theory / 2. Elements of Virtue Theory / f. The Mean
3049 The chief good is indifference to what lies midway between virtue and vice [Ariston, by Diog. Laertius]
23. Ethics / D. Deontological Ethics / 1. Deontology
3549 Ariston says rules are useless for the virtuous and the non-virtuous [Ariston, by Annas]