20 ideas
7823 | Lucretius was rediscovered in 1417 [Grayling] |
13206 | A 'linear or total ordering' must be transitive and satisfy trichotomy [Enderton] |
13201 | ∈ says the whole set is in the other; ⊆ says the members of the subset are in the other [Enderton] |
13204 | The 'ordered pair' <x,y> is defined to be {{x}, {x,y}} [Enderton] |
13200 | Note that {Φ} =/= Φ, because Φ ∈ {Φ} but Φ ∉ Φ [Enderton] |
13199 | The empty set may look pointless, but many sets can be constructed from it [Enderton] |
13203 | The singleton is defined using the pairing axiom (as {x,x}) [Enderton] |
13202 | Fraenkel added Replacement, to give a theory of ordinal numbers [Enderton] |
13205 | We can only define functions if Choice tells us which items are involved [Enderton] |
21515 | Incoherence may be more important for enquiry than coherence [Olsson] |
21514 | Coherence is the capacity to answer objections [Olsson] |
21496 | Mere agreement of testimonies is not enough to make truth very likely [Olsson] |
21499 | Coherence is only needed if the information sources are not fully reliable [Olsson] |
21502 | A purely coherent theory cannot be true of the world without some contact with the world [Olsson] |
21512 | Extending a system makes it less probable, so extending coherence can't make it more probable [Olsson] |
7809 | In an honour code shame is the supreme punishment, and revenge is a duty [Grayling] |
7824 | If suicide is lawful, but assisting suicide is unlawful, powerless people are denied their rights [Grayling] |
7819 | Religion gives answers, comforts, creates social order, and panders to superstition [Grayling] |
7817 | To make an afterlife appealing, this life has to be denigrated [Grayling] |
7818 | In Greek mythology only heroes can go to heaven [Grayling] |