15 ideas
| 23449 | Interpreting a text is representing it as making sense [Morris,M] |
| 17833 | The first-order ZF axiomatisation is highly non-categorical [Hallett,M] |
| 17834 | Non-categoricity reveals a sort of incompleteness, with sets existing that the axioms don't reveal [Hallett,M] |
| 17837 | Zermelo allows ur-elements, to enable the widespread application of set-theory [Hallett,M] |
| 23484 | Bipolarity adds to Bivalence the capacity for both truth values [Morris,M] |
| 23494 | Conjunctive and disjunctive quantifiers are too specific, and are confined to the finite [Morris,M] |
| 23451 | Counting needs to distinguish things, and also needs the concept of a successor in a series [Morris,M] |
| 23460 | To count, we must distinguish things, and have a series with successors in it [Morris,M] |
| 23452 | Discriminating things for counting implies concepts of identity and distinctness [Morris,M] |
| 17836 | The General Continuum Hypothesis and its negation are both consistent with ZF [Hallett,M] |
| 3488 | Freud treats the unconscious as intentional and hence mental [Freud, by Searle] |
| 5689 | Freud and others have shown that we don't know our own beliefs, feelings, motive and attitudes [Freud, by Shoemaker] |
| 23950 | Freud said passions are pressures of some flowing hydraulic quantity [Freud, by Solomon] |
| 23491 | There must exist a general form of propositions, which are predictabe. It is: such and such is the case [Morris,M] |
| 22344 | Freud is pessimistic about human nature; it is ambivalent motive and fantasy, rather than reason [Freud, by Murdoch] |