45 ideas
| 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] |
| 15682 | Even fairly simple animals make judgements based on categories [Gelman] |
| 15691 | Children accept real stable categories, with nonobvious potential that gives causal explanations [Gelman] |
| 15700 | In India, upper-castes essentialize caste more than lower-castes do [Gelman] |
| 15685 | Essentialism is either natural to us, or an accident of our culture, or a necessary result of language [Gelman] |
| 15684 | Children's concepts include nonobvious features, like internal parts, functions and causes [Gelman] |
| 15681 | Essentialism: real or representational? sortal, causal or ideal? real particulars, or placeholders? [Gelman] |
| 15678 | Essentialism says categories have a true hidden nature which gives an object its identity [Gelman] |
| 15683 | Sortals are needed for determining essence - the thing must be categorised first [Gelman] |
| 15697 | Kind (unlike individual) essentialism assumes preexisting natural categories [Gelman] |
| 15687 | Kinship is essence that comes in degrees, and age groups are essences that change over time [Gelman] |
| 15679 | Essentialism comes from the cognitive need to categorise [Gelman] |
| 15698 | We found no evidence that mothers teach essentialism to their children [Gelman] |
| 15709 | Essentialism is useful for predictions, but it is not the actual structure of reality [Gelman] |
| 15696 | Peope favor historical paths over outward properties when determining what something is [Gelman] |
| 15707 | There is intentional, mechanical, teleological, essentialist, vitalist and deontological understanding [Gelman] |
| 15703 | Memories often conform to a theory, rather than being neutral [Gelman] |
| 15708 | Inductive success is rewarded with more induction [Gelman] |
| 15694 | Children overestimate the power of a single example [Gelman] |
| 15695 | Children make errors in induction by focusing too much on categories [Gelman] |
| 15692 | People tend to be satisfied with shallow explanations [Gelman] |
| 15680 | Folk essentialism rests on belief in natural kinds, in hidden properties, and on words indicating structures [Gelman] |
| 15686 | Labels may indicate categories which embody an essence [Gelman] |
| 15690 | Causal properties are seen as more central to category concepts [Gelman] |
| 15688 | Categories are characterized by distance from a prototype [Gelman] |
| 15689 | Theory-based concepts use rich models to show which similarities really matter [Gelman] |
| 15699 | Prelinguistic infants acquire and use many categories [Gelman] |
| 23405 | Rituals escape natural chaos, and benefit everyone, by reshaping our motivations [Xunzi (Xun Kuang), by Norden] |
| 23406 | Rituals don't arise from human nature; they are the deliberate creations of a sage [Xunzi (Xun Kuang)] |
| 15693 | One sample of gold is enough, but one tree doesn't give the height of trees [Gelman] |
| 15701 | Nouns seem to invoke stable kinds more than predicates do [Gelman] |
| 15705 | Essentialism encourages us to think about the world scientifically [Gelman] |
| 15702 | Essentialism doesn't mean we know the essences [Gelman] |
| 15704 | Essentialism starts from richly structured categories, leading to a search for underlying properties [Gelman] |
| 15706 | A major objection to real essences is the essentialising of social categories like race, caste and occupation [Gelman] |