Combining Texts

All the ideas for 'Set Theory', 'A Theory of Justice' and 'What is Analytic Philosophy?'

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

29 ideas

1. Philosophy / F. Analytic Philosophy / 1. Nature of Analysis
22334 Analysis must include definitions, search for simples, concept analysis, and Kant's analysis [Glock]
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]
11. Knowledge Aims / C. Knowing Reality / 3. Idealism / d. Absolute idealism
22332 German and British idealism is not about individual ideas, but the intelligibility of reality [Glock]
18. Thought / D. Concepts / 4. Structure of Concepts / h. Family resemblance
22336 We might say that the family resemblance is just a consequence of meaning-as-use [Glock]
22335 The variety of uses of 'game' may be that it has several meanings, and isn't a single concept [Glock]
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / e. Human nature
23110 Human injustice is not a permanent feature of communities [Rawls]
22. Metaethics / C. The Good / 1. Goodness / c. Right and good
15676 Rawls defends the priority of right over good [Rawls, by Finlayson]
23. Ethics / B. Contract Ethics / 1. Contractarianism
4123 A fair arrangement is one that parties can agree to without knowing how it will benefit them personally [Rawls, by Williams,B]
23. Ethics / E. Utilitarianism / 1. Utilitarianism
3279 Utilitarianism inappropriately scales up the individual willingness to make sacrifices [Rawls, by Nagel]
24. Political Theory / A. Basis of a State / 4. Original Position / a. Original position
3280 Why does the rational agreement of the 'Original Position' in Rawls make it right? [Nagel on Rawls]
20552 The original position models the idea that citizens start as free and equal [Rawls, by Swift]
24. Political Theory / A. Basis of a State / 4. Original Position / b. Veil of ignorance
18636 Choose justice principles in ignorance of your own social situation [Rawls]
24. Political Theory / A. Basis of a State / 4. Original Position / c. Difference principle
18631 All desirable social features should be equal, unless inequality favours the disadvantaged [Rawls]
24. Political Theory / D. Ideologies / 4. Social Utilitarianism
20538 Utilitarians lump persons together; Rawls somewhat separates them; Nozick wholly separates them [Swift on Rawls]
24. Political Theory / D. Ideologies / 6. Liberalism / g. Liberalism critique
9277 Rawls's account of justice relies on conventional fairness, avoiding all moral controversy [Gray on Rawls]
25. Social Practice / A. Freedoms / 5. Freedom of lifestyle
20527 Liberty Principle: everyone has an equal right to liberties, if compatible with others' liberties [Rawls]
25. Social Practice / D. Justice / 1. Basis of justice
21018 The social contract has problems with future generations, national boundaries, disabilities and animals [Rawls, by Nussbaum]
21041 Justice concerns not natural distributions, or our born location, but what we do about them [Rawls]
25. Social Practice / E. Policies / 1. War / b. Justice in war
23583 If an aggression is unjust, the constraints on how it is fought are much stricter [Rawls]