21 ideas
| 17750 | The first clear proof of the consistency of the first order predicate logic was in 1928 [Hilbert/Ackermann, by Walicki] |
| Full Idea: The first clear proof of the consistency of the first order predicate logic is found in the 1928 book of Hilbert and Ackermann. | |
| From: report of Hilbert,D/Ackermann,W (Principles of Theoretical Logic [1928]) by Michal Walicki - Introduction to Mathematical Logic History E.2.1 |
| 6007 | If you know your father, but don't recognise your father veiled, you know and don't know the same person [Eubulides, by Dancy,R] |
| Full Idea: The 'undetected' or 'veiled' paradox of Eubulides says: if you know your father, and don't know the veiled person before you, but that person is your father, you both know and don't know the same person. | |
| From: report of Eubulides (fragments/reports [c.390 BCE]) by R.M. Dancy - Megarian School | |
| A reaction: Essentially an uninteresting equivocation on two senses of "know", but this paradox comes into its own when we try to give an account of how linguistic reference works. Frege's distinction of sense and reference tried to sort it out (Idea 4976). |
| 6006 | If you say truly that you are lying, you are lying [Eubulides, by Dancy,R] |
| Full Idea: The liar paradox of Eubulides says 'if you state that you are lying, and state the truth, then you are lying'. | |
| From: report of Eubulides (fragments/reports [c.390 BCE]) by R.M. Dancy - Megarian School | |
| A reaction: (also Cic. Acad. 2.95) Don't say it, then. These kind of paradoxes of self-reference eventually lead to Russell's 'barber' paradox and his Theory of Types. |
| 6008 | Removing one grain doesn't destroy a heap, so a heap can't be destroyed [Eubulides, by Dancy,R] |
| Full Idea: The 'sorites' paradox of Eubulides says: if you take one grain of sand from a heap (soros), what is left is still a heap; so no matter how many grains of sand you take one by one, the result is always a heap. | |
| From: report of Eubulides (fragments/reports [c.390 BCE]) by R.M. Dancy - Megarian School | |
| A reaction: (also Cic. Acad. 2.49) This is a very nice paradox, which goes to the heart of our bewilderment when we try to fully understand reality. It homes in on problems of identity, as best exemplified in the Ship of Theseus (Ideas 1212 + 1213). |
| 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. |
| 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. |
| 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. |
| 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. |
| 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. |
| 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. |
| 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) |