23 ideas
8013 | In the Reformation, morality became unconditional but irrational, individually autonomous, and secular [MacIntyre] |
8021 | The Levellers and the Diggers mark a turning point in the history of morality [MacIntyre] |
13030 | Extensionality: ∀x ∀y (∀z (z ∈ x ↔ z ∈ y) → x = y) [Kunen] |
13032 | Pairing: ∀x ∀y ∃z (x ∈ z ∧ y ∈ z) [Kunen] |
13033 | Union: ∀F ∃A ∀Y ∀x (x ∈ Y ∧ Y ∈ F → x ∈ A) [Kunen] |
13037 | Infinity: ∃x (0 ∈ x ∧ ∀y ∈ x (S(y) ∈ x) [Kunen] |
13038 | Power Set: ∀x ∃y ∀z(z ⊂ x → z ∈ y) [Kunen] |
13034 | Replacement: ∀x∈A ∃!y φ(x,y) → ∃Y ∀X∈A ∃y∈Y φ(x,y) [Kunen] |
13039 | Foundation:∀x(∃y(y∈x) → ∃y(y∈x ∧ ¬∃z(z∈x ∧ z∈y))) [Kunen] |
13036 | Choice: ∀A ∃R (R well-orders A) [Kunen] |
13029 | Set Existence: ∃x (x = x) [Kunen] |
13031 | Comprehension: ∃y ∀x (x ∈ y ↔ x ∈ z ∧ φ) [Kunen] |
13040 | Constructibility: V = L (all sets are constructible) [Kunen] |
15034 | Are genera and species real or conceptual? bodies or incorporeal? in sensibles or separate from them? [Porphyry] |
8006 | When Aristotle speaks of soul he means something like personality [MacIntyre] |
8002 | Sophists don't distinguish a person outside one social order from someone outside all order [MacIntyre] |
8012 | The value/fact logical gulf is misleading, because social facts involve values [MacIntyre] |
8005 | 'Happiness' is a bad translation of 'eudaimonia', which includes both behaving and faring well [MacIntyre] |
8001 | 'Dikaiosune' is justice, but also fairness and personal integrity [MacIntyre] |
8023 | My duties depend on my identity, which depends on my social relations [MacIntyre] |
8022 | I am naturally free if I am not tied to anyone by a contract [MacIntyre] |
8031 | Fans of natural rights or laws can't agree on what the actual rights or laws are [MacIntyre] |
8008 | The Bible is a story about God in which humans are incidental characters [MacIntyre] |