38 ideas
| 23064 | So-called wisdom is just pondering things instead of acting [Cioran] |
| 23072 | Systems are the worst despotism, in philosophy and in life [Cioran] |
| 23075 | A text explained ceases to be a text [Cioran] |
| 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] |
| 23066 | Negation doesn't arise from reasoning, but from deep instincts [Cioran] |
| 23077 | The word 'being' is very tempting, but in fact means nothing at all [Cioran] |
| 23068 | People who really believe anti-realism don't bother to prove it [Cioran] |
| 23073 | Convictions are failures to study anything thoroughly [Cioran] |
| 23078 | Opinions are fine, but having convictions means something has gone wrong [Cioran] |
| 23076 | If people always acted without words we would take them for robots [Cioran] |
| 23065 | If only we could write like a reptile, of endless sensations and no concepts! [Cioran] |
| 23071 | We could only be responsible if we had consented before birth to who we are [Cioran] |
| 7096 | We may still admire a person's character even if the traits are involuntary [Statman] |
| 23070 | We morally dissolve if we spend time with excessive beauty [Cioran] |
| 7098 | There is a new sort of moral scepticism, about the possibility of moral theories [Statman] |
| 7099 | With a broad concept of flourishing, it might be possible without the virtues [Statman] |
| 7100 | Virtue theory isn't a genuine ethical theory, because it doesn't have universal application [Statman] |
| 7102 | Promises create moral duties that have nothing to do with character [Statman] |
| 7095 | Moral education is better by concrete example than abstract principle [Statman] |
| 7094 | Friends express friendship even when no utility is involved [Statman] |
| 7093 | Behaviour may be disgusting or inhumane, but violate no duty [Statman] |
| 7104 | The ancients recognised imperfect duties, but we have added perfect duties like justice [Statman] |
| 23074 | In anxiety people cling to what reinforces it, because it is a deep need [Cioran] |
| 23069 | Fear cures boredom, because it is stronger [Cioran] |
| 23062 | It is better to watch the hours pass, than trying to fill them [Cioran] |
| 7103 | Abortion issues focus on the mother's right over her body, and the status of the foetus [Statman] |
| 23067 | Suicide is pointless, because it always comes too late [Cioran] |
| 23063 | The first man obviously found paradise unendurable [Cioran] |