22 ideas
| 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] |
| 13206 | A 'linear or total ordering' must be transitive and satisfy trichotomy [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] |
| 3523 | Shadows are supervenient on their objects, but not reducible [Maslin] |
| 3517 | 'Ontology' means 'study of things which exist' [Maslin] |
| 3538 | Analogy to other minds is uncheckable, over-confident and chauvinistic [Maslin] |
| 3488 | Freud treats the unconscious as intentional and hence mental [Freud, by Searle] |
| 3540 | If we are brains then we never meet each other [Maslin] |
| 3518 | I'm not the final authority on my understanding of maths [Maslin] |
| 5689 | Freud and others have shown that we don't know our own beliefs, feelings, motive and attitudes [Freud, by Shoemaker] |
| 3530 | Denial of purely mental causation will lead to epiphenomenalism [Maslin] |
| 3520 | Token-identity removes the explanatory role of the physical [Maslin] |
| 23950 | Freud said passions are pressures of some flowing hydraulic quantity [Freud, by Solomon] |
| 22344 | Freud is pessimistic about human nature; it is ambivalent motive and fantasy, rather than reason [Freud, by Murdoch] |
| 3528 | Causality may require that a law is being followed [Maslin] |
| 3525 | Strict laws make causation logically necessary [Maslin] |
| 3527 | Strict laws allow no exceptions and are part of a closed system [Maslin] |