79 ideas
9724 | Until the 1960s the only semantics was truth-tables [Enderton] |
Full Idea: Until the 1960s standard truth-table semantics were the only ones that there were. | |
From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], 1.10.1) | |
A reaction: The 1960s presumably marked the advent of possible worlds. |
9703 | 'dom R' indicates the 'domain' of objects having a relation [Enderton] |
Full Idea: 'dom R' indicates the 'domain' of a relation, that is, the set of all objects that are members of ordered pairs and that have that relation. | |
From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], Ch.0) |
9705 | 'fld R' indicates the 'field' of all objects in the relation [Enderton] |
Full Idea: 'fld R' indicates the 'field' of a relation, that is, the set of all objects that are members of ordered pairs on either side of the relation. | |
From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], Ch.0) |
9704 | 'ran R' indicates the 'range' of objects being related to [Enderton] |
Full Idea: 'ran R' indicates the 'range' of a relation, that is, the set of all objects that are members of ordered pairs and that are related to by the first objects. | |
From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], Ch.0) |
9710 | We write F:A→B to indicate that A maps into B (the output of F on A is in B) [Enderton] |
Full Idea: We write F : A → B to indicate that A maps into B, that is, the domain of relating things is set A, and the things related to are all in B. If we add that F = B, then A maps 'onto' B. | |
From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], Ch.0) |
9707 | 'F(x)' is the unique value which F assumes for a value of x [Enderton] |
Full Idea:
F(x) is a 'function', which indicates the unique value which y takes in |
|
From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], Ch.0) |
13201 | ∈ says the whole set is in the other; ⊆ says the members of the subset are in the other [Enderton] |
Full Idea: To know if A ∈ B, we look at the set A as a single object, and check if it is among B's members. But if we want to know whether A ⊆ B then we must open up set A and check whether its various members are among the members of B. | |
From: Herbert B. Enderton (Elements of Set Theory [1977], 1:04) | |
A reaction: This idea is one of the key ideas to grasp if you are going to get the hang of set theory. John ∈ USA ∈ UN, but John is not a member of the UN, because he isn't a country. See Idea 12337 for a special case. |
9712 | A relation is 'symmetric' on a set if every ordered pair has the relation in both directions [Enderton] |
Full Idea: A relation is 'symmetric' on a set if every ordered pair in the set has the relation in both directions. | |
From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], Ch.0) |
9713 | A relation is 'transitive' if it can be carried over from two ordered pairs to a third [Enderton] |
Full Idea: A relation is 'transitive' on a set if the relation can be carried over from two ordered pairs to a third. | |
From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], Ch.0) |
13204 | The 'ordered pair' <x,y> is defined to be {{x}, {x,y}} [Enderton] |
Full Idea: The 'ordered pair' <x,y> is defined to be {{x}, {x,y}}; hence it can be proved that <u,v> = <x,y> iff u = x and v = y (given by Kuratowski in 1921). ...The definition is somewhat arbitrary, and others could be used. | |
From: Herbert B. Enderton (Elements of Set Theory [1977], 3:36) | |
A reaction: This looks to me like one of those regular cases where the formal definitions capture all the logical behaviour of the concept that are required for inference, while failing to fully capture the concept for ordinary conversation. |
13206 | A 'linear or total ordering' must be transitive and satisfy trichotomy [Enderton] |
Full Idea: A 'linear ordering' (or 'total ordering') on A is a binary relation R meeting two conditions: R is transitive (of xRy and yRz, the xRz), and R satisfies trichotomy (either xRy or x=y or yRx). | |
From: Herbert B. Enderton (Elements of Set Theory [1977], 3:62) |
9699 | The 'powerset' of a set is all the subsets of a given set [Enderton] |
Full Idea: The 'powerset' of a set is all the subsets of a given set. Thus: PA = {x : x ⊆ A}. | |
From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], Ch.0) |
9700 | Two sets are 'disjoint' iff their intersection is empty [Enderton] |
Full Idea: Two sets are 'disjoint' iff their intersection is empty (i.e. they have no members in common). | |
From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], Ch.0) |
9702 | A 'domain' of a relation is the set of members of ordered pairs in the relation [Enderton] |
Full Idea: The 'domain' of a relation is the set of all objects that are members of ordered pairs that are members of the relation. | |
From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], Ch.0) |
9701 | A 'relation' is a set of ordered pairs [Enderton] |
Full Idea: A 'relation' is a set of ordered pairs. The ordering relation on the numbers 0-3 is captured by - in fact it is - the set of ordered pairs {<0,1>,<0,2>,<0,3>,<1,2>,<1,3>,<2,3>}. | |
From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], Ch.0) | |
A reaction: This can't quite be a definition of order among numbers, since it relies on the notion of a 'ordered' pair. |
9706 | A 'function' is a relation in which each object is related to just one other object [Enderton] |
Full Idea: A 'function' is a relation which is single-valued. That is, for each object, there is only one object in the function set to which that object is related. | |
From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], Ch.0) |
9708 | A function 'maps A into B' if the relating things are set A, and the things related to are all in B [Enderton] |
Full Idea: A function 'maps A into B' if the domain of relating things is set A, and the things related to are all in B. | |
From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], Ch.0) |
9709 | A function 'maps A onto B' if the relating things are set A, and the things related to are set B [Enderton] |
Full Idea: A function 'maps A onto B' if the domain of relating things is set A, and the things related to are set B. | |
From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], Ch.0) |
9711 | A relation is 'reflexive' on a set if every member bears the relation to itself [Enderton] |
Full Idea: A relation is 'reflexive' on a set if every member of the set bears the relation to itself. | |
From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], Ch.0) |
9714 | A relation satisfies 'trichotomy' if all pairs are either relations, or contain identical objects [Enderton] |
Full Idea: A relation satisfies 'trichotomy' on a set if every ordered pair is related (in either direction), or the objects are identical. | |
From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], Ch.0) |
9717 | A set is 'dominated' by another if a one-to-one function maps the first set into a subset of the second [Enderton] |
Full Idea: A set is 'dominated' by another if a one-to-one function maps the first set into a subset of the second. | |
From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], Ch.0) |
13200 | Note that {Φ} =/= Φ, because Φ ∈ {Φ} but Φ ∉ Φ [Enderton] |
Full Idea: Note that {Φ} =/= Φ, because Φ ∈ {Φ} but Φ ∉ Φ. A man with an empty container is better off than a man with nothing. | |
From: Herbert B. Enderton (Elements of Set Theory [1977], 1.03) |
13199 | The empty set may look pointless, but many sets can be constructed from it [Enderton] |
Full Idea: It might be thought at first that the empty set would be a rather useless or even frivolous set to mention, but from the empty set by various set-theoretic operations a surprising array of sets will be constructed. | |
From: Herbert B. Enderton (Elements of Set Theory [1977], 1:02) | |
A reaction: This nicely sums up the ontological commitments of mathematics - that we will accept absolutely anything, as long as we can have some fun with it. Sets are an abstraction from reality, and the empty set is the very idea of that abstraction. |
13203 | The singleton is defined using the pairing axiom (as {x,x}) [Enderton] |
Full Idea: Given any x we have the singleton {x}, which is defined by the pairing axiom to be {x,x}. | |
From: Herbert B. Enderton (Elements of Set Theory [1977], 2:19) | |
A reaction: An interesting contrivance which is obviously aimed at keeping the axioms to a minimum. If you can do it intuitively with a new axiom, or unintuitively with an existing axiom - prefer the latter! |
9715 | An 'equivalence relation' is a reflexive, symmetric and transitive binary relation [Enderton] |
Full Idea: An 'equivalence relation' is a binary relation which is reflexive, and symmetric, and transitive. | |
From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], Ch.0) |
9716 | We 'partition' a set into distinct subsets, according to each relation on its objects [Enderton] |
Full Idea: Equivalence classes will 'partition' a set. That is, it will divide it into distinct subsets, according to each relation on the set. | |
From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], Ch.0) |
13202 | Fraenkel added Replacement, to give a theory of ordinal numbers [Enderton] |
Full Idea: It was observed by several people that for a satisfactory theory of ordinal numbers, Zermelo's axioms required strengthening. The Axiom of Replacement was proposed by Fraenkel and others, giving rise to the Zermelo-Fraenkel (ZF) axioms. | |
From: Herbert B. Enderton (Elements of Set Theory [1977], 1:15) |
13205 | We can only define functions if Choice tells us which items are involved [Enderton] |
Full Idea: For functions, we know that for any y there exists an appropriate x, but we can't yet form a function H, as we have no way of defining one particular choice of x. Hence we need the axiom of choice. | |
From: Herbert B. Enderton (Elements of Set Theory [1977], 3:48) |
9722 | Inference not from content, but from the fact that it was said, is 'conversational implicature' [Enderton] |
Full Idea: The process is dubbed 'conversational implicature' when the inference is not from the content of what has been said, but from the fact that it has been said. | |
From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], 1.7.3) |
9718 | Validity is either semantic (what preserves truth), or proof-theoretic (following procedures) [Enderton] |
Full Idea: The point of logic is to give an account of the notion of validity,..in two standard ways: the semantic way says that a valid inference preserves truth (symbol |=), and the proof-theoretic way is defined in terms of purely formal procedures (symbol |-). | |
From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], 1.1.3..) | |
A reaction: This division can be mirrored in mathematics, where it is either to do with counting or theorising about things in the physical world, or following sets of rules from axioms. Language can discuss reality, or play word-games. |
9721 | A logical truth or tautology is a logical consequence of the empty set [Enderton] |
Full Idea: A is a logical truth (tautology) (|= A) iff it is a semantic consequence of the empty set of premises (φ |= A), that is, every interpretation makes A true. | |
From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], 1.3.4) | |
A reaction: So the final column of every line of the truth table will be T. |
9994 | A truth assignment to the components of a wff 'satisfy' it if the wff is then True [Enderton] |
Full Idea: A truth assignment 'satisfies' a formula, or set of formulae, if it evaluates as True when all of its components have been assigned truth values. | |
From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], 1.2) | |
A reaction: [very roughly what Enderton says!] The concept becomes most significant when a large set of wff's is pronounced 'satisfied' after a truth assignment leads to them all being true. |
9719 | A proof theory is 'sound' if its valid inferences entail semantic validity [Enderton] |
Full Idea: If every proof-theoretically valid inference is semantically valid (so that |- entails |=), the proof theory is said to be 'sound'. | |
From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], 1.1.7) |
9720 | A proof theory is 'complete' if semantically valid inferences entail proof-theoretic validity [Enderton] |
Full Idea: If every semantically valid inference is proof-theoretically valid (so that |= entails |-), the proof-theory is said to be 'complete'. | |
From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], 1.1.7) |
9995 | Proof in finite subsets is sufficient for proof in an infinite set [Enderton] |
Full Idea: If a wff is tautologically implied by a set of wff's, it is implied by a finite subset of them; and if every finite subset is satisfiable, then so is the whole set of wff's. | |
From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], 2.5) | |
A reaction: [Enderton's account is more symbolic] He adds that this also applies to models. It is a 'theorem' because it can be proved. It is a major theorem in logic, because it brings the infinite under control, and who doesn't want that? |
9996 | Expressions are 'decidable' if inclusion in them (or not) can be proved [Enderton] |
Full Idea: A set of expressions is 'decidable' iff there exists an effective procedure (qv) that, given some expression, will decide whether or not the expression is included in the set (i.e. doesn't contradict it). | |
From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], 1.7) | |
A reaction: This is obviously a highly desirable feature for a really reliable system of expressions to possess. All finite sets are decidable, but some infinite sets are not. |
9997 | For a reasonable language, the set of valid wff's can always be enumerated [Enderton] |
Full Idea: The Enumerability Theorem says that for a reasonable language, the set of valid wff's can be effectively enumerated. | |
From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], 2.5) | |
A reaction: There are criteria for what makes a 'reasonable' language (probably specified to ensure enumerability!). Predicates and functions must be decidable, and the language must be finite. |
17377 | All descriptive language is classificatory [Dupré] |
Full Idea: Classification pervades any descriptive use of language whatever. | |
From: John Dupré (The Disorder of Things [1993], 1) | |
A reaction: This is because, as Aristotle well knew, language consists almost entirely of universals (apart from the proper names). Language just is classification. |
17376 | We should aim for a classification which tells us as much as possible about the object [Dupré] |
Full Idea: The most important desideratum of a classificatory scheme is that assigning an object to a particular classification tell us as much as possible about that object. | |
From: John Dupré (The Disorder of Things [1993], Ch 1) | |
A reaction: We should probably say that the aim is a successful explanation, rather than a heap of information. If we are totally baffled by a particular type of object, it is presumably important to group the instances together, to focus the bafflement. |
17390 | Natural kinds don't need essentialism to be explanatory [Dupré] |
Full Idea: The importance of natural kinds for explanation does not depend on a doctrine of essences. | |
From: John Dupré (The Disorder of Things [1993], 3) | |
A reaction: He suggest as the alternative that laws do the explaining, employing natural kinds. He allows that individual essences might be explanatory. |
17389 | A species might have its essential genetic mechanism replaced by a new one [Dupré] |
Full Idea: Contradicting one of the main points of essentialism, there is no reason in principle why a species should not survive the demise of its current genetic mechanisms (some other species coherence gradually taking over). | |
From: John Dupré (The Disorder of Things [1993], 2) | |
A reaction: I would say that this meant that the species had a new essence, because I don't take what is essential to be the same as what is necessary. The new genetics would replace the old as the basic explanation of the species. |
17388 | It seems that species lack essential properties, so they can't be natural kinds [Dupré] |
Full Idea: It is widely agreed among biologists that no essential property can be found to demarcate species, so that if an essential property is necessary for a natural kind, species are not natural kinds. | |
From: John Dupré (The Disorder of Things [1993], 2) | |
A reaction: This uses 'essential' to mean 'necessary', but I would use 'essential' to mean 'deeply explanatory'. Biological species are, nevertheless, dubious members of an ontological system. Vegetables are the problem. |
9723 | Sentences with 'if' are only conditionals if they can read as A-implies-B [Enderton] |
Full Idea: Not all sentences using 'if' are conditionals. Consider 'if you want a banana, there is one in the kitchen'. The rough test is that a conditional can be rewritten as 'that A implies that B'. | |
From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], 1.6.4) |
17979 | Research shows perceptual discrimination is sharper at category boundaries [Murphy] |
Full Idea: Goldstone's research has shown how learning concepts can change perceptual units. For example, perceptual discrimination is heightened along category boundaries. | |
From: Gregory L. Murphy (The Big Book of Concepts [2004], Ch.13) | |
A reaction: [Goldstone 1994, 2000] This is just the sort of research which throws a spanner into the simplistic a priori thinking of many philosophers. |
17374 | The possibility of prediction rests on determinism [Dupré] |
Full Idea: Determinism is the metaphysical underlay of the possibility of prediction. | |
From: John Dupré (The Disorder of Things [1993], Intro) | |
A reaction: Not convinced. There might be micro-indeterminacies which iron out into macro-regularities. |
18690 | Induction is said to just compare properties of categories, but the type of property also matters [Murphy] |
Full Idea: Most theories of induction claim that it should depend primarily on the similarity of the categories involved, but then the type of property should not matter, yet research shows that it does. | |
From: Gregory L. Murphy (The Big Book of Concepts [2004], Ch. 6) | |
A reaction: I take this to be good empirical support for Gilbert Harman's view that induction is really inference to the best explanation. The thought (which strikes me as obviously correct) is that we bring nested domains of knowledge to bear in induction. |
17378 | Presumably molecular structure seems important because we never have the Twin Earth experience [Dupré] |
Full Idea: It is surely the absence of experiences like the one Putnam describes that makes it reasonable to attach to molecular structure at least most of the importance that Putnam ascribes to it. | |
From: John Dupré (The Disorder of Things [1993], 1) | |
A reaction: That is, whenever we experience water-like stuff, it always turns out to have the same molecular structure. Twin Earth is a nice thought experiment, except that XZY is virtually inconceivable. |
17980 | The main theories of concepts are exemplar, prototype and knowledge [Murphy] |
Full Idea: The three main theories of concepts under consideration are the exemplar, the prototype and the knowledge approaches. | |
From: Gregory L. Murphy (The Big Book of Concepts [2004], Ch.13) |
17973 | The theoretical and practical definitions for the classical view are very hard to find [Murphy] |
Full Idea: It has been extremely difficult to find definitions for most natural categories, and even harder to find definitions that are plausible psychological representations that people of all ages would be likely to use. | |
From: Gregory L. Murphy (The Big Book of Concepts [2004], Ch. 2) |
17969 | The classical definitional approach cannot distinguish typical and atypical category members [Murphy] |
Full Idea: The early psychological approaches to concepts took a definitional approach. ...but this view does not have any way of distinguishing typical and atypical category members (...as when a trout is a typical fish and an eel an atypical one). | |
From: Gregory L. Murphy (The Big Book of Concepts [2004], Ch. 2) | |
A reaction: [pp. 12 and 22] Eleanor Rosch in the 1970s is said to have largely killed off the classical view. |
17970 | Classical concepts follow classical logic, but concepts in real life don't work that way [Murphy] |
Full Idea: The classical view of concepts has been tied to traditional logic. 'Fido is a dog and a pet' is true if it has the necessary and sufficient conditions for both, ...but there is empirical evidence that people do not follow that rule. | |
From: Gregory L. Murphy (The Big Book of Concepts [2004], Ch. 2) | |
A reaction: Examples given are classifying chess as a sport and/or game, and classifying a tree house (which is agreed to be both a building and not a building!). |
17971 | Classical concepts are transitive hierarchies, but actual categories may be intransitive [Murphy] |
Full Idea: The classical view of concepts explains hierarchical order, where categories form nested sets. But research shows that categories are often not transitive. Research shows that a seat is furniture, and a car seat is a seat, but it is not furniture. | |
From: Gregory L. Murphy (The Big Book of Concepts [2004], Ch. 2) | |
A reaction: [compressed] Murphy adds that the nesting of definitions is classically used to match the nesting of hierarchies. This is a nice example of the neatness of the analytic philosopher breaking down when it meets the mess of the world. |
17972 | The classical core is meant to be the real concept, but actually seems unimportant [Murphy] |
Full Idea: A problem with the revised classical view is that the concept core does not seem to be an important part of the concept, despite its name and theoretical intention as representing the 'real' concept. | |
From: Gregory L. Murphy (The Big Book of Concepts [2004], Ch. 2) | |
A reaction: Apparently most researchers feel they can explain their results without reference to any core. Not so fast, I would say (being an essentialist). Maybe people acknowledge an implicit core without knowing what it is. See Susan Gelman. |
17975 | There is no 'ideal' bird or dog, and prototypes give no information about variability [Murphy] |
Full Idea: Is there really an 'ideal bird' that could represent all birds? ...Furthermore a single prototype would give no information about the variability of a category. ...Compare the incredible variety of dogs to the much smaller diversity of cats. | |
From: Gregory L. Murphy (The Big Book of Concepts [2004], Ch. 3) | |
A reaction: The point about variability is particularly noteworthy. You only grasp the concept of 'furniture' when you understand its range, as well as its typical examples. What structure is needed in a concept to achieve this? |
17976 | Prototypes are unified representations of the entire category (rather than of members) [Murphy] |
Full Idea: In the prototype view the entire category is represented by a unified representation rather than separate representations for each member, or for different classes of members. | |
From: Gregory L. Murphy (The Big Book of Concepts [2004], Ch. 3) | |
A reaction: This is the improved prototype view, as opposed to the implausible idea that there is one ideal exemplar. The new theory still have the problem of how to represent diversity within the category, while somehow remaining 'unified'. |
18691 | The prototype theory uses observed features, but can't include their construction [Murphy] |
Full Idea: Nothing in the prototype model says the shape of an animal is more important than its location in identifying its kind. The theory does not provide a way the features can be constructed, rather than just observed. | |
From: Gregory L. Murphy (The Big Book of Concepts [2004], Ch. 6) | |
A reaction: This makes some kind of mental modelling central to thought, and not just a bonus once you have empirically acquired the concepts. We bring our full range of experience to bear on even the most instantaneous observations. |
17983 | The prototype theory handles hierarchical categories and combinations of concepts well [Murphy] |
Full Idea: The prototype view has no trouble with either hierarchical structure or explaining categories. ...Meaning and conceptual combination provide strong evidence for prototypes. | |
From: Gregory L. Murphy (The Big Book of Concepts [2004], Ch.13) | |
A reaction: Prototypes are not vague, making clearer classification possible. A 'mountain lion' is clear, because its components are clear. |
17985 | Prototypes theory of concepts is best, as a full description with weighted typical features [Murphy] |
Full Idea: Our theory of concepts must be primarily prototype-based. That is, it must be a description of an entire concept, with its typical features (presumably weighted by their importance). | |
From: Gregory L. Murphy (The Big Book of Concepts [2004], Ch.13) | |
A reaction: This is to be distinguished from the discredited 'classical' view of concepts, that the concept consists of its definition. I take Aristotle's account of definition to be closer to a prototype description than to a dictionary definition. |
17986 | Learning concepts is forming prototypes with a knowledge structure [Murphy] |
Full Idea: My proposal is that people attempt to form prototypes as part of a larger knowledge structure when they learn concepts. | |
From: Gregory L. Murphy (The Big Book of Concepts [2004], Ch.13) | |
A reaction: This combines theory theory (knowledge) with the prototype view, and sounds rather persuasive. The formation of prototypes fits with the explanatory account of essentialism I am defending. He later calls prototype formation 'abstraction' (494). |
17974 | The most popular theories of concepts are based on prototypes or exemplars [Murphy] |
Full Idea: The most popular theories of concepts are based on prototype or exemplar theories that are strongly unclassical. | |
From: Gregory L. Murphy (The Big Book of Concepts [2004], Ch. 2) |
17977 | The exemplar view of concepts says 'dogs' is the set of dogs I remember [Murphy] |
Full Idea: In the exemplar view of concepts, the idea that people have a representation that somehow encompasses an entire concept is rejected. ...Instead a person's concept of dogs is the set of dogs that the person remembers. | |
From: Gregory L. Murphy (The Big Book of Concepts [2004], Ch. 3) | |
A reaction: [The theory was introduced by Medin and Schaffer 1978] I think I have finally met a plausible theory of concepts. When I think 'dog' I conjure up a fuzz of dogs that exhibit the range I have encountered (e.g. tiny to very big). Individuals come first! |
17982 | Exemplar theory struggles with hierarchical classification and with induction [Murphy] |
Full Idea: The exemplar view has trouble with hierarchical classification and with induction in adults. | |
From: Gregory L. Murphy (The Big Book of Concepts [2004], Ch.13) | |
A reaction: To me these both strongly support essentialism - that you form the concept 'dog' from seeing some dogs, but you then extrapolate to large categories and general truths about dogs, on the assumption of the natures of the dogs you have seen. |
17981 | Children using knowing and essentialist categories doesn't fit the exemplar view [Murphy] |
Full Idea: The findings showing that children use knowledge and may be essentialist about category membership do not comport well with the exemplar view. | |
From: Gregory L. Murphy (The Big Book of Concepts [2004], Ch.13) | |
A reaction: Tricky, because Gelman persuaded me of the essentialism, but the exemplar view of concepts looks the most promising. Clearly they must be forced to coexist.... |
17984 | Conceptual combination must be compositional, and can't be built up from exemplars [Murphy] |
Full Idea: The exemplar accounts of conceptual combination are demonstrably wrong, because the meaning of a phrase has to be composed from the meaning of its parts (plus broader knowledge), and it cannot be composed as a function of exemplars. | |
From: Gregory L. Murphy (The Big Book of Concepts [2004], Ch.13) | |
A reaction: This sounds quite persuasive, and I begin to see that my favoured essentialism fits the prototype view of concepts best, though this mustn't be interpreted too crudely. We change our prototypes with experience. 'Bird' is a tricky case. |
17987 | The concept of birds from exemplars must also be used in inductions about birds [Murphy] |
Full Idea: We don't have one concept of birds formed by learning from exemplars, and another concept of birds that is used in induction. | |
From: Gregory L. Murphy (The Big Book of Concepts [2004], Ch.13) | |
A reaction: In other words exemplar concepts break down when we generalise using the concept. The exemplars must be unified, to be usable in thought and language. |
17978 | We do not learn concepts in isolation, but as an integrated part of broader knowledge [Murphy] |
Full Idea: The knowledge approach argues that concepts are part of our general knowledge about the world. We do not learn concepts in isolation, ...but as part of our overall understanding of the world. Animal concepts are integrated with biology, behaviour etc. | |
From: Gregory L. Murphy (The Big Book of Concepts [2004], Ch. 3) | |
A reaction: This is one of the leading theories of concepts among psychologists. It seems to be an aspect of the true theory, but it needs underpinning with some account of isolated individual concepts. This is also known as the 'theory theory'. |
18687 | Concepts with familiar contents are easier to learn [Murphy] |
Full Idea: A concept's content influences how easy it is to learn. If the concept is grossly incompatible with what people know prior to the experiment, it will be difficult to acquire. | |
From: Gregory L. Murphy (The Big Book of Concepts [2004], Ch. 6) | |
A reaction: This is a preliminary fact which leads towards the 'knowledge' theory of concepts (aka 'theory theory'). The point being that the knowledge involved is integral to the concept. Fits my preferred mental files approach. |
18688 | Some knowledge is involved in instant use of categories, other knowledge in explanations [Murphy] |
Full Idea: Some kinds of knowledge are probably directly incorporated into the category representation and used in normal, fast decisions about objects. Other kinds of knowledge, however, may come into play only when it has been solicited. | |
From: Gregory L. Murphy (The Big Book of Concepts [2004], Ch. 6) | |
A reaction: This is a summary of empirical research, but seems to fit our normal experience. If you see a hawk, you have some instant understanding, but if you ask what the hawk is doing here, you draw more widely. |
18689 | People categorise things consistent with their knowledge, even rejecting some good evidence [Murphy] |
Full Idea: People tend to positively categorise items that are consistent with their knowledge and to exclude items that are inconsistent, sometimes even overruling purely empirical sources of information. | |
From: Gregory L. Murphy (The Big Book of Concepts [2004], Ch. 6) | |
A reaction: The main rival to 'theory theory' is the purely empirical account of how concepts are acquired. This idea reports empirical research in favour of the theory theory (or 'knowledge') approach. |
17381 | Phylogenetics involves history, and cladism rests species on splits in lineage [Dupré] |
Full Idea: The phylogenetic conception of classification reflects the facts of evolutionary history. Cladism insists that every taxonomic distinction should reflect an evolutionary event of lineage bifurcation. | |
From: John Dupré (The Disorder of Things [1993], 1) | |
A reaction: Devitt attacks cladism nicely. It rules out species change without bifurcation, and it insists on species change even in a line which remains unchanged after a split. |
17385 | Kinds don't do anything (including evolve) because they are abstract [Dupré] |
Full Idea: A kind, being an abstract object, cannot do anything, including evolve. | |
From: John Dupré (The Disorder of Things [1993], 2) | |
A reaction: Maybe. We might have an extensional view of the kind, so that 'gold' is the set of extant gold atoms. But possible gold atoms are also gold, and defunct ones too. Virtually every word in English is abtract if you think about it long enough. |
17375 | Natural kinds are decided entirely by the intentions of our classification [Dupré] |
Full Idea: The question of which natural kind a thing belongs to ....can be answered only in relation to some specification of the goal underlying the intent to classify the object. | |
From: John Dupré (The Disorder of Things [1993], Intro) | |
A reaction: I don't think I believe this. The situation is complex, and our intents are relevant, but to find an intent which no longer classifies tigers into the same category is wilful silliness. |
17379 | Borders between species are much less clear in vegetables than among animals [Dupré] |
Full Idea: The richest source of illustrations is the vegetable kingdom, where specific differences tend to be much less clear than among animals, and considerable developmental plasticity is the rule. | |
From: John Dupré (The Disorder of Things [1993], 1) | |
A reaction: Nice. Just as the idea that laws of nature are mathematical suits physics, but founders on biology, so natural kinds founder in an area of biology to which we pay less attention. He cites prickly pears and lilies. I'm thinking oranges, satsumas etc. |
17384 | Even atoms of an element differ, in the energy levels of their electrons [Dupré] |
Full Idea: Even if we claim that it is really isotopes not atoms that are the natural kinds (thus divorcing chemistry from ordinary language), atoms are said to differ with respect to such features as energy levels of the electrons. | |
From: John Dupré (The Disorder of Things [1993], 2) | |
A reaction: So we can't just pick out the features of one atom, and say that is the essence. Essence always involves some selection. I say the essence arises from the explanation of the atom's behaviour. |
17387 | Ecologists favour classifying by niche, even though that can clash with genealogy [Dupré] |
Full Idea: To the extent that the occupants of a particular niche do not coincide with the members of a particular genealogical line, a possibility widely acknowledged to occur, ecologists must favour a method of classification lacking genealogical grounding. | |
From: John Dupré (The Disorder of Things [1993], 2) | |
A reaction: Zoo keepers probably classify by cages, or which zoo owns what, but that doesn't mean that they reject genealogy. Don't assume ecologists are rejecting any underlying classification that differs from theirs. Compare classification by economists. |
17380 | Wales may count as fish [Dupré] |
Full Idea: The claim that whales are not fish is a debatable one | |
From: John Dupré (The Disorder of Things [1993], 1) | |
A reaction: A very nice challenge to an almost unquestioned orthodoxy. |
17382 | Cooks, unlike scientists, distinguish garlic from onions [Dupré] |
Full Idea: It would be a severe culinary misfortune if no distinction were drawn between garlic and onions, a distinction that is not reflected in scientific taxonomy. | |
From: John Dupré (The Disorder of Things [1993], 1) | |
A reaction: Not every persuasive. We distinguish some cows from others because they taste better, but no one thinks that is a serious way in which to classify cows. |
17383 | Species are the lowest-level classification in biology [Dupré] |
Full Idea: Species are, by definition, the lowest-level classificatory unit, or basal taxonomic unit, for biological organisms. | |
From: John Dupré (The Disorder of Things [1993], 2) | |
A reaction: I think this is the 'infima species' for Aristotelians. What about 'male' and 'female' in each species? |
17386 | The theory of evolution is mainly about species [Dupré] |
Full Idea: Species are what the theory of evolution is centrally about. | |
From: John Dupré (The Disorder of Things [1993], 2) |