Combining Texts

All the ideas for 'Structures and Structuralism in Phil of Maths', 'The Essential Child' and 'Moral Luck'

unexpand these ideas     |    start again     |     specify just one area for these texts


51 ideas

3. Truth / F. Semantic Truth / 2. Semantic Truth
While true-in-a-model seems relative, true-in-all-models seems not to be [Reck/Price]
     Full Idea: While truth can be defined in a relative way, as truth in one particular model, a non-relative notion of truth is implied, as truth in all models.
     From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §4)
     A reaction: [The article is actually discussing arithmetic] This idea strikes me as extremely important. True-in-all-models is usually taken to be tautological, but it does seem to give a more universal notion of truth. See semantic truth, Tarski, Davidson etc etc.
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
ZFC set theory has only 'pure' sets, without 'urelements' [Reck/Price]
     Full Idea: In standard ZFC ('Zermelo-Fraenkel with Choice') set theory we deal merely with pure sets, not with additional urelements.
     From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §2)
     A reaction: The 'urelements' would the actual objects that are members of the sets, be they physical or abstract. This idea is crucial to understanding philosophy of mathematics, and especially logicism. Must the sets exist, just as the urelements do?
5. Theory of Logic / G. Quantification / 5. Second-Order Quantification
Three types of variable in second-order logic, for objects, functions, and predicates/sets [Reck/Price]
     Full Idea: In second-order logic there are three kinds of variables, for objects, for functions, and for predicates or sets.
     From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §5)
     A reaction: It is interesting that a predicate seems to be the same as a set, which begs rather a lot of questions. For those who dislike second-order logic, there seems nothing instrinsically wicked in having variables ranging over innumerable multi-order types.
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / g. Real numbers
'Analysis' is the theory of the real numbers [Reck/Price]
     Full Idea: 'Analysis' is the theory of the real numbers.
     From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §2)
     A reaction: 'Analysis' began with the infinitesimal calculus, which later built on the concept of 'limit'. A continuum of numbers seems to be required to make that work.
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / a. Axioms for numbers
Mereological arithmetic needs infinite objects, and function definitions [Reck/Price]
     Full Idea: The difficulties for a nominalistic mereological approach to arithmetic is that an infinity of physical objects are needed (space-time points? strokes?), and it must define functions, such as 'successor'.
     From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §4)
     A reaction: Many ontologically austere accounts of arithmetic are faced with the problem of infinity. The obvious non-platonist response seems to be a modal or if-then approach. To postulate infinite abstract or physical entities so that we can add 3 and 2 is mad.
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / e. Peano arithmetic 2nd-order
Peano Arithmetic can have three second-order axioms, plus '1' and 'successor' [Reck/Price]
     Full Idea: A common formulation of Peano Arithmetic uses 2nd-order logic, the constant '1', and a one-place function 's' ('successor'). Three axioms then give '1 is not a successor', 'different numbers have different successors', and induction.
     From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §2)
     A reaction: This is 'second-order' Peano Arithmetic, though it is at least as common to formulate in first-order terms (only quantifying over objects, not over properties - as is done here in the induction axiom). I like the use of '1' as basic instead of '0'!
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory
Set-theory gives a unified and an explicit basis for mathematics [Reck/Price]
     Full Idea: The merits of basing an account of mathematics on set theory are that it allows for a comprehensive unified treatment of many otherwise separate branches of mathematics, and that all assumption, including existence, are explicit in the axioms.
     From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §4)
     A reaction: I am forming the impression that set-theory provides one rather good model (maybe the best available) for mathematics, but that doesn't mean that mathematics is set-theory. The best map of a landscape isn't a landscape.
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / a. Structuralism
Structuralism emerged from abstract algebra, axioms, and set theory and its structures [Reck/Price]
     Full Idea: Structuralism has emerged from the development of abstract algebra (such as group theory), the creation of axiom systems, the introduction of set theory, and Bourbaki's encyclopaedic survey of set theoretic structures.
     From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §2)
     A reaction: In other words, mathematics has gradually risen from one level of abstraction to the next, so that mathematical entities like points and numbers receive less and less attention, with relationships becoming more prominent.
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / b. Varieties of structuralism
Relativist Structuralism just stipulates one successful model as its arithmetic [Reck/Price]
     Full Idea: Relativist Structuralism simply picks one particular model of axiomatised arithmetic (i.e. one particular interpretation that satisfies the axioms), and then stipulates what the elements, functions and quantifiers refer to.
     From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §4)
     A reaction: The point is that a successful model can be offered, and it doesn't matter which one, like having any sort of aeroplane, as long as it flies. I don't find this approach congenial, though having a model is good. What is the essence of flight?
There are 'particular' structures, and 'universal' structures (what the former have in common) [Reck/Price]
     Full Idea: The term 'structure' has two uses in the literature, what can be called 'particular structures' (which are particular relational systems), but also what can be called 'universal structures' - what particular systems share, or what they instantiate.
     From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §6)
     A reaction: This is a very helpful distinction, because it clarifies why (rather to my surprise) some structuralists turn out to be platonists in a new guise. Personal my interest in structuralism has been anti-platonist from the start.
Pattern Structuralism studies what isomorphic arithmetic models have in common [Reck/Price]
     Full Idea: According to 'pattern' structuralism, what we study are not the various particular isomorphic models of arithmetic, but something in addition to them: a corresponding pattern.
     From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §7)
     A reaction: Put like that, we have to feel a temptation to wield Ockham's Razor. It's bad enough trying to give the structure of all the isomorphic models, without seeking an even more abstract account of underlying patterns. But patterns connect to minds..
There are Formalist, Relativist, Universalist and Pattern structuralism [Reck/Price]
     Full Idea: There are four main variants of structuralism in the philosophy of mathematics - formalist structuralism, relativist structuralism, universalist structuralism (with modal variants), and pattern structuralism.
     From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §9)
     A reaction: I'm not sure where Chihara's later book fits into this, though it is at the nominalist end of the spectrum. Shapiro and Resnik do patterns (the latter more loosely); Hellman does modal universalism; Quine does the relativist version. Dedekind?
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / c. Nominalist structuralism
Formalist Structuralism says the ontology is vacuous, or formal, or inference relations [Reck/Price]
     Full Idea: Formalist Structuralism endorses structural methodology in mathematics, but rejects semantic and metaphysical problems as either meaningless, or purely formal, or as inference relations.
     From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §3)
     A reaction: [very compressed] I find the third option fairly congenial, certainly in preference to rather platonist accounts of structuralism. One still needs to distinguish the mathematical from the non-mathematical in the inference relations.
Maybe we should talk of an infinity of 'possible' objects, to avoid arithmetic being vacuous [Reck/Price]
     Full Idea: It is tempting to take a modal turn, and quantify over all possible objects, because if there are only a finite number of actual objects, then there are no models (of the right sort) for Peano Arithmetic, and arithmetic is vacuously true.
     From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §5)
     A reaction: [compressed; Geoffrey Hellman is the chief champion of this view] The article asks whether we are not still left with the puzzle of whether infinitely many objects are possible, instead of existent.
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / d. Platonist structuralism
Universalist Structuralism is based on generalised if-then claims, not one particular model [Reck/Price]
     Full Idea: Universalist Structuralism is a semantic thesis, that an arithmetical statement asserts a universal if-then statement. We build an if-then statement (using quantifiers) into the structure, and we generalise away from any one particular model.
     From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §5)
     A reaction: There remains the question of what is distinctively mathematical about the highly generalised network of inferences that is being described. Presumable the axioms capture that, but why those particular axioms? Russell is cited as an originator.
Universalist Structuralism eliminates the base element, as a variable, which is then quantified out [Reck/Price]
     Full Idea: Universalist Structuralism is eliminativist about abstract objects, in a distinctive form. Instead of treating the base element (say '1') as an ambiguous referring expression (the Relativist approach), it is a variable which is quantified out.
     From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §5)
     A reaction: I am a temperamental eliminativist on this front (and most others) so this is tempting. I am also in love with the concept of a 'variable', which I take to be utterly fundamental to all conceptual thought, even in animals, and not just a trick of algebra.
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / e. Structuralism critique
The existence of an infinite set is assumed by Relativist Structuralism [Reck/Price]
     Full Idea: Relativist Structuralism must first assume the existence of an infinite set, otherwise there would be no model to pick, and arithmetical terms would have no reference.
     From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §4)
     A reaction: See Idea 10169 for Relativist Structuralism. They point out that ZFC has an Axiom of Infinity.
7. Existence / E. Categories / 2. Categorisation
Even fairly simple animals make judgements based on categories [Gelman]
     Full Idea: All organisms form categories: even mealworms have category-based preferences, and higher-order animals such as pigeons or octopi can display quite sophisticated categorical judgements.
     From: Susan A. Gelman (The Essential Child [2003], 01 'Prelims')
     A reaction: [She cites some 1980 research to support this] This comes as no surprise, as I take categorisation as almost definitive of what a mind is. My surmise is that some sort of 'labelling' system is at the heart of it (like Googlemail labels!).
Children accept real stable categories, with nonobvious potential that gives causal explanations [Gelman]
     Full Idea: By five children assume that a variety of categories have rich inductive potential, are stable over outward transformations, include crucial nonobvious properties, have innate potential, privilege causal features, can be explained causally, and are real.
     From: Susan A. Gelman (The Essential Child [2003], 06 'Intro')
     A reaction: This is Gelman's helpful summary of the findings of research on childhood essentialising, and says the case for this phenomenon is 'compelling'.
8. Modes of Existence / E. Nominalism / 6. Mereological Nominalism
A nominalist might avoid abstract objects by just appealing to mereological sums [Reck/Price]
     Full Idea: One way for a nominalist to reject appeal to all abstract objects, including sets, is to only appeal to nominalistically acceptable objects, including mereological sums.
     From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §4)
     A reaction: I'm suddenly thinking that this looks very interesting and might be the way to go. The issue seems to be whether mereological sums should be seen as constrained by nature, or whether they are unrestricted. See Mereology in Ontology...|Intrinsic Identity.
9. Objects / D. Essence of Objects / 1. Essences of Objects
In India, upper-castes essentialize caste more than lower-castes do [Gelman]
     Full Idea: The notion of caste in India is more essentialized among upper-caste than lower-caste individuals.
     From: Susan A. Gelman (The Essential Child [2003], 08 'Intro')
     A reaction: In a book defending fairly innate essentialism in the human race, Gelman offers this point as a warning that large cultural ingredients can be involved. Racism is the classic difficulty with essentialism.
Essentialism is either natural to us, or an accident of our culture, or a necessary result of language [Gelman]
     Full Idea: The two views contrasting with essentialism naturally emerging in childhood are the claim that essentialism is a historical accident emerging from Western philosophy, and that essentialism is an inherent consequence of naming things.
     From: Susan A. Gelman (The Essential Child [2003], 01 'Background')
     A reaction: Helpful. I take Idea 15682 to rule out the idea that it is just a feature of western culture. I can't conceive of early man surviving without essentialism. I don't think it rules out the naming view. Animals may do what emerges in us as full 'naming'.
Children's concepts include nonobvious features, like internal parts, functions and causes [Gelman]
     Full Idea: Children incorporate a variety of nonobvious features into their concepts, including internal parts, functions, causes, and ontological distinctions.
     From: Susan A. Gelman (The Essential Child [2003], 01 'Prelims')
     A reaction: This remark sums up the general thesis of her book, which she supports with a wealth of first-hand evidence. It supports my view, that the desire and need for explanation is at the root of essentialist concepts. It's hard wired in us.
9. Objects / D. Essence of Objects / 2. Types of Essence
Essentialism: real or representational? sortal, causal or ideal? real particulars, or placeholders? [Gelman]
     Full Idea: We map types of essentialism by asking is it in the world or in our representations, is it sortal or causal or ideal, and is it specific particulars or placeholders for the unknown?
     From: Susan A. Gelman (The Essential Child [2003], 01 'Prelims')
     A reaction: I am struck by the way that this practising experimental psychologist gets to ask questions and make distinctions much more extensively than most armchair philosophers on the subject. She focuses on the representational, causal, placeholder view.
9. Objects / D. Essence of Objects / 5. Essence as Kind
Essentialism says categories have a true hidden nature which gives an object its identity [Gelman]
     Full Idea: Essentialism is the view that categories have an underlying reality or true nature that one cannot observe directly but that gives an object its identity.
     From: Susan A. Gelman (The Essential Child [2003], 01 'Intro')
     A reaction: I think the introduction of categories here is a misunderstanding. Does an uncategorisable thing therefore have no identity (even though it has properties)? If categories give objects their identity, what gives categories their identity?
Sortals are needed for determining essence - the thing must be categorised first [Gelman]
     Full Idea: I suggest that sortals are likewise required for determining essence. One cannot answer the question 'What is the essence of this?' without supplying the sortal - of this 'what'.
     From: Susan A. Gelman (The Essential Child [2003], 01 'Prelims')
     A reaction: I remain baffled by this view. I take the category to be an inductive generalisation from other similar individuals. It can't get off the ground if you don't start with the individuals. Sortals are just a shorthand.
Kind (unlike individual) essentialism assumes preexisting natural categories [Gelman]
     Full Idea: With kind essentialism the person assumes that the world is divided up into preexisting natural categories. Individual essentialism seems not to require any such commitment to kind realism.
     From: Susan A. Gelman (The Essential Child [2003], 06 'Essentialism')
     A reaction: This pinpoints my difficulty: how do we decide whether some category or attributed essence is part of a preexisting natural kind? Some natural kinds are self-evident, like water (roughly), but others need subtle teasing out. How is the teasing done?
9. Objects / D. Essence of Objects / 7. Essence and Necessity / c. Essentials are necessary
Kinship is essence that comes in degrees, and age groups are essences that change over time [Gelman]
     Full Idea: Kinship is essentialized, but admits of degrees, ...and people can be essentialist even about categories they do not view as fixed over time, such as age groupings.
     From: Susan A. Gelman (The Essential Child [2003], 03 'Summary')
     A reaction: Given my notion of essence are necessarily explanatory, I embrace both of these points. Being very athletic comes in degrees, and changes over times.
9. Objects / D. Essence of Objects / 14. Knowledge of Essences
Essentialism comes from the cognitive need to categorise [Gelman]
     Full Idea: Essentialism has its source in the cognitive requirement of categorization in certain domains - particularly as they affect the young learner.
     From: Susan A. Gelman (The Essential Child [2003], 01 'Essentialist')
     A reaction: I think the phenomenon is better understood as part of the cognitive requirement to understand and explain. Categorisation is just one way to aid explanation. Children try to understand (essentially) a new animal without categorisation.
We found no evidence that mothers teach essentialism to their children [Gelman]
     Full Idea: We found no evidence that mothers teach essentialism to their children. ...Mothers teach children about kinds, not about essences, and mothers help children identify which categories are richly structured.
     From: Susan A. Gelman (The Essential Child [2003], 07 'Conclusions')
     A reaction: This is a psychologist who specialises in this topic. If you think essentialism is inculcated by a our culture, you will have to blame the fathers.
9. Objects / D. Essence of Objects / 15. Against Essentialism
Essentialism is useful for predictions, but it is not the actual structure of reality [Gelman]
     Full Idea: Essentialism is a reasoning heuristic that allows us to make fairly good predictions much of the time, but it should not be confused with the structure of reality.
     From: Susan A. Gelman (The Essential Child [2003], 11 'Discussion')
     A reaction: She particularly cites biology as the area where it might be inaccurate. I'm beginning to think that the operations of induction are the place to look for an good understanding of essentialism.
9. Objects / E. Objects over Time / 12. Origin as Essential
Peope favor historical paths over outward properties when determining what something is [Gelman]
     Full Idea: People favor historical paths over outward properties when determining what something is. ...An object looking like a knife is less likely to be called 'a knife' if it is described as having been created by accident.
     From: Susan A. Gelman (The Essential Child [2003], 06 'Essentialism')
     A reaction: I like this because it talks, suggestively, of 'historical paths' rather than of 'origin'. Thus we might judge a person's identity by their traumatic experience rather than by their birth. This doesn't challenge necessity of origin, but affects labels.
11. Knowledge Aims / A. Knowledge / 2. Understanding
There is intentional, mechanical, teleological, essentialist, vitalist and deontological understanding [Gelman]
     Full Idea: The modes of understanding (or modes of construal) which have been proposed are intentional, mechanical, teleological, essentialist, vitalist (perhaps), and deontological.
     From: Susan A. Gelman (The Essential Child [2003], 11 'Broadening')
     A reaction: She cites psychological research to support this, and calls it 'a relatively small number' of modes. Compare Aristotle's four modes of cause/explanation.
12. Knowledge Sources / E. Direct Knowledge / 4. Memory
Memories often conform to a theory, rather than being neutral [Gelman]
     Full Idea: Memory is notorious for conforming to theory (rather than memory being a neutral source of information).
     From: Susan A. Gelman (The Essential Child [2003], 09 'Theory')
     A reaction: This observation by a psychologist is music to sceptics about objectivity. Memory is so fundamental to our basic epistemology that it could even be the nature of thought itself.
14. Science / C. Induction / 1. Induction
Inductive success is rewarded with more induction [Gelman]
     Full Idea: Inductive success is rewarded with more induction.
     From: Susan A. Gelman (The Essential Child [2003], 11 'Broadening')
     A reaction: I love this one. Neat, accurate, and central to how we understand the world. I take inductive success to be stored as labels, concepts, categories, words and general truths, which are then our resource for further attempts.
14. Science / C. Induction / 3. Limits of Induction
Children make errors in induction by focusing too much on categories [Gelman]
     Full Idea: Because of their narrow focus, children's sensitivity to categories as the basis of induction is a reasoning bias that, though useful much of the time, results in systematic errors.
     From: Susan A. Gelman (The Essential Child [2003], 06 'The role')
     A reaction: This is the bad sense of 'essentialism' which worries its opponents. Presumably, though, my favoured scientific essentialism will be 'scientific', and avoid this problem. The relation between categories and induction needs to be clear.
Children overestimate the power of a single example [Gelman]
     Full Idea: We suggest that children overestimate the power of a single example.
     From: Susan A. Gelman (The Essential Child [2003], 06 'The role')
     A reaction: This conclusion arises from extensive psychological research. 'My grandma smoked, and she lived to be 97' - adults do this too. Wittgenstein says assuming other minds because of your own is induction from one example!
14. Science / D. Explanation / 1. Explanation / a. Explanation
People tend to be satisfied with shallow explanations [Gelman]
     Full Idea: People tend to be satisfied with rather shallow explanations.
     From: Susan A. Gelman (The Essential Child [2003], 06 'Is essentialism')
     A reaction: She cites some psychological research to support this. Pretty obvious really. I take the so-called 'scientific method' to be nothing more than ceasing to be satisfied with such shallowness.
18. Thought / A. Modes of Thought / 4. Folk Psychology
Folk essentialism rests on belief in natural kinds, in hidden properties, and on words indicating structures [Gelman]
     Full Idea: The three components of essentialism as a folk belief are the idea that certain categories are natural kinds, the idea that some unobservable property causes the way things are, and the idea that words reflect real structures.
     From: Susan A. Gelman (The Essential Child [2003], 01 'Prelims')
18. Thought / D. Concepts / 3. Ontology of Concepts / a. Concepts as representations
Labels may indicate categories which embody an essence [Gelman]
     Full Idea: Labels may signal categories that are believed to embody an essence.
     From: Susan A. Gelman (The Essential Child [2003], 02 'Privileged')
     A reaction: This is quoted by her, as a summary of a substantial body of research which she endorses. I cite it because it pinpoints my own view. I take 'labels' to be basic to minds, as organisers of thought, and this ties essences to labels. Satisfying picture.
18. Thought / D. Concepts / 4. Structure of Concepts / a. Conceptual structure
Causal properties are seen as more central to category concepts [Gelman]
     Full Idea: Properties that enter into causally meaningful links are better remembered and are treated as more central to the category than properties that are not causally meaningful.
     From: Susan A. Gelman (The Essential Child [2003], 05 'Causation2')
     A reaction: This is a summary of considerable psychological research. This account not only sounds plausible, but would fit better withy why we form concepts and categories in the first place. We are trying to relate to the causations of nature.
18. Thought / D. Concepts / 4. Structure of Concepts / d. Concepts as prototypes
Categories are characterized by distance from a prototype [Gelman]
     Full Idea: On prototype views, categories are characterized by distance from a prototype.
     From: Susan A. Gelman (The Essential Child [2003], 05 'Causation')
     A reaction: Gelman observes that this view makes no reference to any causal features of things. This cuts them off from using underlying essences in the process of categorisation and concept-formation. How do you spot a prototype, with no category?
18. Thought / D. Concepts / 4. Structure of Concepts / f. Theory theory of concepts
Theory-based concepts use rich models to show which similarities really matter [Gelman]
     Full Idea: Theory-based approaches to categories are a response to the limitations of mere similarities holding the category together, and require knowledge-rich explanatory models to say which features are more central to a concept.
     From: Susan A. Gelman (The Essential Child [2003], 05 'Causation1')
     A reaction: I see a promising account in linking theory theory to essentialism. For a physical object (or even for a process) infer a structure, and then identify what is most important in that structure. That gives you your stable, agreed concept.
18. Thought / D. Concepts / 5. Concepts and Language / c. Concepts without language
Prelinguistic infants acquire and use many categories [Gelman]
     Full Idea: Language does not appear to be necessary for forming categories, since prelinguistic infants acquire many categories, and even use categories to form inferences about unknown properties.
     From: Susan A. Gelman (The Essential Child [2003], 08 'Intro')
     A reaction: She cites lots of research in support of this claim. The idea may come as a surprise to some people, but not to me. I take it that categorisation is what a brain is for, including animal brains.
22. Metaethics / C. The Good / 1. Goodness / i. Moral luck
If all that matters in morality is motive and intention, that makes moral luck irrelevant [Williams,B]
     Full Idea: The idea that one's whole life can be immune to luck has not prevailed (e.g. in Christianity), …but its place has been taken by the idea that moral value can be immune, …if it is motive that counts, and in actions it is not worldly changes but intention.
     From: Bernard Williams (Moral Luck [1976], p.20)
     A reaction: [compressed] That is, that Kant offers a way to make luck irrelevant to morality. Williams disagrees, but says at least Kant offers 'solace to a sense of the world's unfairness'.
26. Natural Theory / B. Natural Kinds / 3. Knowing Kinds
One sample of gold is enough, but one tree doesn't give the height of trees [Gelman]
     Full Idea: We can confidently determine the chemical composition of gold from just a single sample, but we cannot determine the height of trees from just a single tree.
     From: Susan A. Gelman (The Essential Child [2003], 06 'The role')
     A reaction: The tricky word here is 'confidently'. If you meet one Latvian who is nice, do you assume they are all nice? At what point do you decide gold etc. really are natural kinds, where one sample tells all? Evolution of species...
26. Natural Theory / B. Natural Kinds / 5. Reference to Natural Kinds
Nouns seem to invoke stable kinds more than predicates do [Gelman]
     Full Idea: Children judged personal characteristics as more stable when they were referred to by a noun ('She is a carrot eater') than by a verbal predicate ('She eats carrots whenever she can')
     From: Susan A. Gelman (The Essential Child [2003], 08 'Naming')
     A reaction: This fits with my feeling that 'labels' are the basis of how the mind works. The noun invokes a genuine category of thing, where a predicate attaches to some preselected category ('she'). Gelman says names encourage inductions.
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / a. Scientific essentialism
Essentialism doesn't mean we know the essences [Gelman]
     Full Idea: Essentialism does not entail that people know what the essence is.
     From: Susan A. Gelman (The Essential Child [2003], 09 'Theory')
     A reaction: This is a fundamental and (I would say) fairly obvious point, but it needs to be made to the more passionate opponents of essentialism.
Essentialism encourages us to think about the world scientifically [Gelman]
     Full Idea: Essentialism encourages a 'scientific' mindset in thinking about the natural world, a belief that intensive study of a natural domain will yield ever more underlying properties.
     From: Susan A. Gelman (The Essential Child [2003], 11 'Intro')
     A reaction: Maybe scientists must be committed to essences, the way mathematicians must be committed to numbers? This idea spendidly opposes the doubts expressed by Popper.
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / d. Knowing essences
Essentialism starts from richly structured categories, leading to a search for underlying properties [Gelman]
     Full Idea: If my speculations are correct, then essentialism starts out strictly as a belief that many categories are richly structured kinds, then additionally becomes a search for underlying inherent properties.
     From: Susan A. Gelman (The Essential Child [2003], 10 'Figuring')
     A reaction: This is her summary of extensive essentialist research among children. She favours the priority of kinds and categories. We actually change taxonomies on the basis of revisions in our accounts of essence. Science negotiates.
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / e. Anti scientific essentialism
A major objection to real essences is the essentialising of social categories like race, caste and occupation [Gelman]
     Full Idea: One major argument against the view that essences are real is the rampant essentializing of categories that are socially constructed (such as race, caste and occupation).
     From: Susan A. Gelman (The Essential Child [2003], 11 'Is essentialism')
     A reaction: You can't argue with that. It raises the question of whether the approach of scientific essentialism has any value in the social, rather than physical, sciences. We jokingly essentialise groups of people such as referees or Oxonians.