35 ideas
| 9247 | Life will be lived better if it has no meaning [Camus] |
| 6707 | Suicide - whether life is worth living - is the one serious philosophical problem [Camus] |
| 9254 | In philosophy the truth can only be reached via the ruins of the false [Prichard] |
| 9245 | To an absurd mind reason is useless, and there is nothing beyond reason [Camus] |
| 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] |
| 9244 | Logic is easy, but what about logic to the point of death? [Camus] |
| 18465 | An 'equivalence' relation is one which is reflexive, symmetric and transitive [Kunen] |
| 9249 | Whether we are free is uninteresting; we can only experience our freedom [Camus] |
| 9253 | The human heart has a tiresome tendency to label as fate only what crushes it [Camus] |
| 9261 | The 'Ethics' is disappointing, because it fails to try to justify our duties [Prichard] |
| 9250 | Discussing ethics is pointless; moral people behave badly, and integrity doesn't need rules [Camus] |
| 9252 | The more one loves the stronger the absurd grows [Camus] |
| 9262 | The mistake is to think we can prove what can only be seen directly in moral thinking [Prichard] |
| 9256 | I see the need to pay a debt in a particular instance, and any instance will do [Prichard] |
| 9257 | The complexities of life make it almost impossible to assess morality from a universal viewpoint [Prichard] |
| 9260 | Virtues won't generate an obligation, so it isn't a basis for morality [Prichard] |
| 9251 | One can be virtuous through a whim [Camus] |
| 9259 | We feel obligations to overcome our own failings, and these are not relations to other people [Prichard] |
| 9255 | Seeing the goodness of an effect creates the duty to produce it, not the desire [Prichard] |
| 9258 | If pain were instrinsically wrong, it would be immoral to inflict it on ourselves [Prichard] |
| 6708 | Happiness and the absurd go together, each leading to the other [Camus] |
| 9243 | If we believe existence is absurd, this should dictate our conduct [Camus] |
| 9242 | Essential problems either risk death, or intensify the passion of life [Camus] |
| 9246 | Danger and integrity are not in the leap of faith, but in remaining poised just before the leap [Camus] |
| 9248 | It is essential to die unreconciled and not of one's own free will [Camus] |