25 ideas
| 15375 | If terms change their designations in different states, they are functions from states to objects [Fitting] |
| Full Idea: The common feature of every designating term is that designation may change from state to state - thus it can be formalized by a function from states to objects. | |
| From: Melvin Fitting (Intensional Logic [2007], 3) | |
| A reaction: Specifying the objects sounds OK, but specifying states sounds rather tough. |
| 15376 | Intensional logic adds a second type of quantification, over intensional objects, or individual concepts [Fitting] |
| Full Idea: To first order modal logic (with quantification over objects) we can add a second kind of quantification, over intensions. An intensional object, or individual concept, will be modelled by a function from states to objects. | |
| From: Melvin Fitting (Intensional Logic [2007], 3.3) |
| 15378 | Awareness logic adds the restriction of an awareness function to epistemic logic [Fitting] |
| Full Idea: Awareness logic enriched Hintikka's epistemic models with an awareness function, mapping each state to the set of formulas we are aware of at that state. This reflects some bound on the resources we can bring to bear. | |
| From: Melvin Fitting (Intensional Logic [2007], 3.6.1) | |
| A reaction: [He cites Fagin and Halpern 1988 for this] |
| 15379 | Justication logics make explicit the reasons for mathematical truth in proofs [Fitting] |
| Full Idea: In justification logics, the logics of knowledge are extended by making reasons explicit. A logic of proof terms was created, with a semantics. In this, mathematical truths are known for explicit reasons, and these provide a measure of complexity. | |
| From: Melvin Fitting (Intensional Logic [2007], 3.6.1) |
| 11026 | Classical logic is deliberately extensional, in order to model mathematics [Fitting] |
| Full Idea: Mathematics is typically extensional throughout (we write 3+2=2+3 despite the two terms having different meanings). ..Classical first-order logic is extensional by design since it primarily evolved to model the reasoning of mathematics. | |
| From: Melvin Fitting (Intensional Logic [2007], §1) |
| 11028 | λ-abstraction disambiguates the scope of modal operators [Fitting] |
| Full Idea: λ-abstraction can be used to abstract and disambiguate a predicate. De re is [λx◊P(x)](f) - f has the possible-P property - and de dicto is ◊[λxP(x)](f) - possibly f has the P-property. Also applies to □. | |
| From: Melvin Fitting (Intensional Logic [2007], §3.3) | |
| A reaction: Compare the Barcan formula. Originated with Church in the 1930s, and Carnap 1947, but revived by Stalnaker and Thomason 1968. Because it refers to the predicate, it has a role in intensional versions of logic, especially modal logic. |
| 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. |
| 15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
| Full Idea: Definite descriptions pick out different objects in different possible worlds quite naturally. | |
| From: Melvin Fitting (Intensional Logic [2007], 3.4) | |
| A reaction: A definite description can pick out the same object in another possible world, or a very similar one, or an object which has almost nothing in common with the others. |
| 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. |
| 20643 | Consilience is a common groundwork of explanation [Whewell] |
| Full Idea: Consilience is the jumping together of knowledge by the linking of facts and fact-based theory across disciplines to create a common groundwork of explanation. | |
| From: William Whewell (The Philosophy of the Inductive Sciences [1840]), quoted by Peter Watson - Convergence Intro 'United' | |
| A reaction: Apparently this is the first use of the word, which was popularised by E.O. Wilson in recent times. If, as I do, you dream of a final theory, in philosophy as well as in science, then you have to be a fan of consilience. |
| 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) |