86 ideas
| 10468 | A metaphysics has an ontology (objects) and an ideology (expressed ideas about them) [Oliver] |
| Full Idea: A metaphysical theory hs two parts: ontology and ideology. The ontology consists of the entities which the theory says exist; the ideology consists of the ideas which are expressed within the theory using predicates. Ideology sorts into categories. | |
| From: Alex Oliver (The Metaphysics of Properties [1996], §02.1) | |
| A reaction: Say 'what there is', and 'what we can say about it'. The modern notion remains controversial (see Ladyman and Ross, for example), so it is as well to start crystalising what metaphysics is. I am enthusiastic, but nervous about what is being said. |
| 16841 | Good inference has mechanism, precision, scope, simplicity, fertility and background fit [Lipton] |
| Full Idea: Among the inferential virtues commonly cited are mechanism, precision, scope, simplicity, fertility or fruitfulness, and fit with background beliefs. | |
| From: Peter Lipton (Inference to the Best Explanation (2nd) [2004], 08 'the guiding') | |
| A reaction: [He cites Hempel, Kuhn, Quine, and Newton-Smith] I take the over-arching term 'coherence' to cover much of this, though a bolder hypothesis offers more than mere coherence. |
| 16854 | Contrary pairs entail contradictions; one member entails negation of the other [Lipton] |
| Full Idea: All pairs of contraries entail a pair of contradictories, since one member of such a pair always entails the negation of the other. P&Q and not-P are contraries, but the first entails P, which is contradictory of not-P. | |
| From: Peter Lipton (Inference to the Best Explanation (2nd) [2004], 09 'Is the best') |
| 10471 | Ockham's Razor has more content if it says believe only in what is causal [Oliver] |
| Full Idea: One might give Ockham's Razor a bit more content by advising belief in only those entities which are causally efficacious. | |
| From: Alex Oliver (The Metaphysics of Properties [1996], §03) | |
| A reaction: He cites Armstrong as taking this line, but I immediately think of Shoemaker's account of properties. It seems to me to be the only account which will separate properties from predicates, and bring them under common sense control. |
| 10749 | Necessary truths seem to all have the same truth-maker [Oliver] |
| Full Idea: The definition of truth-makers entails that a truth-maker for a given necessary truth is equally a truth-maker for every other necessary truth. | |
| From: Alex Oliver (The Metaphysics of Properties [1996], §24) | |
| A reaction: Maybe we could accept this. Necessary truths concern the way things have to be, so all realities will embody them. Are we to say that nothing makes a necessary truth true? |
| 10750 | Slingshot Argument: seems to prove that all sentences have the same truth-maker [Oliver] |
| Full Idea: Slingshot Argument: if truth-makers work for equivalent sentences and co-referring substitute sentences, then if 'the numbers + S1 = the numbers' has a truth-maker, then 'the numbers + S2 = the numbers' will have the same truth-maker. | |
| From: Alex Oliver (The Metaphysics of Properties [1996], §24) | |
| A reaction: [compressed] Hence every sentence has the same truth-maker! Truth-maker fans must challenge one of the premises. |
| 10747 | Accepting properties by ontological commitment tells you very little about them [Oliver] |
| Full Idea: The route to the existence of properties via ontological commitment provides little information about what properties are like. | |
| From: Alex Oliver (The Metaphysics of Properties [1996], §22) | |
| A reaction: NIce point, and rather important, I would say. I could hardly be committed to something for the sole reason that I had expressed a statement which contained an ontological commitment. Start from the reason for making the statement. |
| 10748 | Reference is not the only way for a predicate to have ontological commitment [Oliver] |
| Full Idea: For a predicate to have a referential function is one way, but not the only way, to harbour ontological commitment. | |
| From: Alex Oliver (The Metaphysics of Properties [1996], §22) | |
| A reaction: Presumably the main idea is that the predicate makes some important contribution to a sentence which is held to be true. Maybe reference is achieved by the whole sentence, rather than by one bit of it. |
| 10719 | There are four conditions defining the relations between particulars and properties [Oliver] |
| Full Idea: Four adequacy conditions for particulars and properties: asymmetry of instantiation; different particulars can have the same property; particulars can have many properties; two properties can be instantiated by the same particulars. | |
| From: Alex Oliver (The Metaphysics of Properties [1996], §09) | |
| A reaction: The distinction between particulars and universals has been challenged (e.g. by Ramsey and MacBride). There are difficulties in the notion of 'instantiation', and in the notion of two properties being 'the same'. |
| 10721 | If properties are sui generis, are they abstract or concrete? [Oliver] |
| Full Idea: If properties are sui generis entities, one must decide whether they are abstract or concrete. | |
| From: Alex Oliver (The Metaphysics of Properties [1996], §09) | |
| A reaction: A nice basic question! I take the real properties to be concrete, but we abstract from them, especially from their similarities, and then become deeply confused about the ontology, because our language doesn't mark the distinctions clearly. |
| 10716 | There are just as many properties as the laws require [Oliver] |
| Full Idea: One conception of properties says there are only as many properties as are needed to be constituents of laws. | |
| From: Alex Oliver (The Metaphysics of Properties [1996], §03) | |
| A reaction: I take this view to the be precise opposite of the real situation. The properties are what lead to the laws. Properties are internal to nature, and laws are imposed from outside, which is ridiculous unless you think there is an active deity. |
| 10720 | We have four options, depending whether particulars and properties are sui generis or constructions [Oliver] |
| Full Idea: Both properties and particulars can be taken as either sui generis or as constructions, so we have four options: both sui generis, or both constructions, or one of each. | |
| From: Alex Oliver (The Metaphysics of Properties [1996], §09) | |
| A reaction: I think I favour both being sui generis. God didn't make the objects, then add their properties, or make the properties then create some instantiations. There can't be objects without properties, or objectless properties (except in thought). |
| 10714 | The expressions with properties as their meanings are predicates and abstract singular terms [Oliver] |
| Full Idea: The types of expressions which have properties as their meanings may vary, the chief candidates being predicates, such as '...is wise', and abstract singular terms, such as 'wisdom'. | |
| From: Alex Oliver (The Metaphysics of Properties [1996], §02) | |
| A reaction: This seems to be important, because there is too much emphasis on predicates. If this idea is correct, we need some account of what 'abstract' means, which is notoriously tricky. |
| 10715 | There are five main semantic theories for properties [Oliver] |
| Full Idea: Properties in semantic theory: functions from worlds to extensions ('Californian'), reference, as opposed to sense, of predicates (Frege), reference to universals (Russell), reference to situations (Barwise/Perry), and composition from context (Lewis). | |
| From: Alex Oliver (The Metaphysics of Properties [1996], §02 n12) | |
| A reaction: [compressed; 'Californian' refers to Carnap and Montague; the Lewis view is p,67 of Oliver]. Frege misses out singular terms, or tries to paraphrase them away. Barwise and Perry sound promising to me. Situations involve powers. |
| 10738 | Tropes are not properties, since they can't be instantiated twice [Oliver] |
| Full Idea: I rule that tropes are not properties, because it is not true that one and the same trope of redness is instantiated by two books. | |
| From: Alex Oliver (The Metaphysics of Properties [1996], §12) | |
| A reaction: This seems right, but has very far-reaching implications, because it means there are no properties, and no two things have the same properties, so there can be no generalisations about properties, let alone laws. ..But they have equivalence sets. |
| 10739 | The property of redness is the maximal set of the tropes of exactly similar redness [Oliver] |
| Full Idea: Using the predicate '...is exactly similar to...' we can sort tropes into equivalence sets, these sets serving as properties and relations. For example, the property of redness is the maximal set of the tropes of redness. | |
| From: Alex Oliver (The Metaphysics of Properties [1996], §12) | |
| A reaction: You have somehow to get from scarlet and vermilion, which have exact similarity within their sets, to redness, which doesn't. |
| 10740 | The orthodox view does not allow for uninstantiated tropes [Oliver] |
| Full Idea: It is usual to hold an aristotelian conception of tropes, according to which tropes are present in their particular instances, and which does not allow for uninstantiated tropes. | |
| From: Alex Oliver (The Metaphysics of Properties [1996], §12) | |
| A reaction: What are you discussing when you ask what colour the wall should be painted? Presumably we can imagine non-existent tropes. If I vividly imagine my wall looking yellow, have I brought anything into existence? |
| 10741 | Maybe concrete particulars are mereological wholes of abstract particulars [Oliver] |
| Full Idea: Some trope theorists give accounts of particulars. Sets of tropes will not do because they are always abstract, but we might say that particulars are (concrete) mereological wholes of the tropes which they instantiate. | |
| From: Alex Oliver (The Metaphysics of Properties [1996], §12) | |
| A reaction: Looks like a non-starter to me. How can abstract entities add up to a mereological whole which is concrete? |
| 10742 | Tropes can overlap, and shouldn't be splittable into parts [Oliver] |
| Full Idea: More than one trope can occupy the same place at the same time, and a trope occupies a place without having parts which occupy parts of the place. | |
| From: Alex Oliver (The Metaphysics of Properties [1996], §12) | |
| A reaction: This is the general question of the size of a spatial trope, or 'how many red tropes in a tin of red paint?' |
| 10472 | 'Structural universals' methane and butane are made of the same universals, carbon and hydrogen [Oliver] |
| Full Idea: The 'structural universals' methane and butane are each made up of the same universals, carbon and hydrogen. | |
| From: Alex Oliver (The Metaphysics of Properties [1996], §07) | |
| A reaction: He cites Lewis 1986, who is criticising Armstrong. If you insist on having universals, they might (in this case) best be described as 'patterns', which would be useful for structuralism in mathematics. They reduce to relations. |
| 10724 | Located universals are wholly present in many places, and two can be in the same place [Oliver] |
| Full Idea: So-called aristotelian universals have some queer features: one universal can be wholly present at different places at the same time, and two universals can occupy the same place at the same time. | |
| From: Alex Oliver (The Metaphysics of Properties [1996], §11) | |
| A reaction: If you want to make a metaphysical doctrine look ridiculous, stating it in very simple language will often do the job. Belief in fairies is more plausible than the first of these two claims. |
| 7963 | Aristotle's instantiated universals cannot account for properties of abstract objects [Oliver] |
| Full Idea: Properties and relations of abstract objects may need to be acknowledged, but they would have no spatio-temporal location, so they cannot instantiate Aristotelian universals, there being nowhere for such universals to be. | |
| From: Alex Oliver (The Metaphysics of Properties [1996], §11), quoted by Cynthia Macdonald - Varieties of Things | |
| A reaction: Maybe. Why can't the second-order properties be in the same location as the first-order ones? If the reply is that they would seem to be in many places at once, that is only restating the original problem of universals at a higher level. |
| 10730 | If universals ground similarities, what about uniquely instantiated universals? [Oliver] |
| Full Idea: If universals are to ground similarities, it is hard to see why one should admit universals which only happen to be instantiated once. | |
| From: Alex Oliver (The Metaphysics of Properties [1996], §11) | |
| A reaction: He is criticising Armstrong, who holds that universals must be instantiated. This is a good point about any metaphysics which makes resemblance basic. |
| 10727 | Uninstantiated universals seem to exist if they themselves have properties [Oliver] |
| Full Idea: We may have to accept uninstantiated universals because the properties and relations of abstract objects may need to be acknowledged. | |
| From: Alex Oliver (The Metaphysics of Properties [1996], §11) | |
| A reaction: This is the problem of 'abstract reference'. 'Courage matters more than kindness'; 'Pink is more like red than like yellow'. Not an impressive argument. All you need is second-level abstraction. |
| 7962 | Uninstantiated properties are useful in philosophy [Oliver] |
| Full Idea: Uninstantiated properties and relations may do some useful philosophical work. | |
| From: Alex Oliver (The Metaphysics of Properties [1996], §11), quoted by Cynthia Macdonald - Varieties of Things | |
| A reaction: Their value isn't just philosophical; hopes and speculations depend on them. This doesn't make universals mind-independent. I think the secret is a clear understanding of the word 'abstract' (which I don't have). |
| 10722 | Instantiation is set-membership [Oliver] |
| Full Idea: One view of instantiation is that it is the set-membership predicate. | |
| From: Alex Oliver (The Metaphysics of Properties [1996], §10) | |
| A reaction: This cuts the Gordian knot rather nicely, but I don't like it, if the view of sets is extensional. We need to account for natural properties, and we need to exclude mere 'categorial' properties. |
| 10744 | Nominalism can reject abstractions, or universals, or sets [Oliver] |
| Full Idea: We can say that 'Harvard-nominalism' is the thesis that there are no abstract objects, 'Oz-nominalism' that there are no universals, and Goodman's nominalism rejects entities, such as sets, which fail to obey a certain principle of composition. | |
| From: Alex Oliver (The Metaphysics of Properties [1996], §15 n46) | |
| A reaction: Personally I'm a Goodman-Harvard-Oz nominalist. What are you rebelling against? What have you got? We've been mesmerized by the workings of our own minds, which are trying to grapple with a purely physical world. |
| 10726 | Things can't be fusions of universals, because two things could then be one thing [Oliver] |
| Full Idea: If a particular thing is a bundle of located universals, we might say it is a mereological fusion of them, but if two universals can be instantiated by more than one particular, then two particulars can have the same universals, and be the same thing. | |
| From: Alex Oliver (The Metaphysics of Properties [1996], §11) | |
| A reaction: This and Idea 10725 pretty thoroughly demolish the idea that objects could be just bundles of universals. The problem pushes some philosophers back to the idea of 'substance', or some sort of 'substratum' which has the universals. |
| 10725 | Abstract sets of universals can't be bundled to make concrete things [Oliver] |
| Full Idea: If a particular thing is a bundle of located universals, we might say that it is the set of its universals, but this won't work because the thing can be concrete but sets are abstract. | |
| From: Alex Oliver (The Metaphysics of Properties [1996], §11) | |
| A reaction: This objection applies just as much to tropes (abstract particulars) as it does to universals. |
| 10745 | Science is modally committed, to disposition, causation and law [Oliver] |
| Full Idea: Natural science is up to its ears in modal notions because of its use of the concepts of disposition, causation and law. | |
| From: Alex Oliver (The Metaphysics of Properties [1996], §15) | |
| A reaction: This is aimed at Quine. It might be possible for an auster physicist to dispense with these concepts, by merely describing patterns of observed behaviour. |
| 16814 | Understanding is not mysterious - it is just more knowledge, of causes [Lipton] |
| Full Idea: On the causal model of explanation, understanding is unmysterious and objective; it is not some sort of super-knowledge, but simply more knowledge; knowledge of causes. | |
| From: Peter Lipton (Inference to the Best Explanation (2nd) [2004], 03 'Fact') | |
| A reaction: There seems to be some distinction between revealing some causes, and revealing a cause which 'makes the light dawn'. |
| 16825 | How do we distinguish negative from irrelevant evidence, if both match the hypothesis? [Lipton] |
| Full Idea: How can Best Explanation distinguish negative evidence from irrelevant evidence, when the evidence is logically consistent with the hypothesis? | |
| From: Peter Lipton (Inference to the Best Explanation (2nd) [2004], 05 'A case') | |
| A reaction: There seems no answer to this other than to assess batches of evidence by their coherence, rather than one at a time. Anomalies can be conclusive, or pure chance. |
| 16851 | The inference to observables and unobservables is almost the same, so why distinguish them? [Lipton] |
| Full Idea: The inferential path to unobservables is often the same as to unobserved observables. In these two sorts of case, the reason for belief can be equally strong, so the suggestion that we infer truth in one case but not the other seems perverse. | |
| From: Peter Lipton (Inference to the Best Explanation (2nd) [2004], 09 'Voltaire's') | |
| A reaction: [Van Fraassen 1980 is the target of this] Van F seems to be in the grip of some sort of verificationism, which I always disliked on the grounds that speculation can be highly meaningful. Why embrace something because it 'could' be observed? |
| 16799 | Inductive inference is not proof, but weighing evidence and probability [Lipton] |
| Full Idea: Inductive inference is a matter of weighing evidence and judging probability, not of proof. | |
| From: Peter Lipton (Inference to the Best Explanation (2nd) [2004], 01 'Underd') | |
| A reaction: This sounds like a plausible fallibilist response to the optimistic view of Aristotle. |
| 16798 | We infer from evidence by working out what would explain that evidence [Lipton] |
| Full Idea: Explanatory considerations are an important guide to inference, …we work out what to infer from our evidence by thinking about what would explain that evidence. | |
| From: Peter Lipton (Inference to the Best Explanation (2nd) [2004], Pref 2nd ed) | |
| A reaction: I take this to be inferences about the physical world, rather than of pure logic. The thesis sounds a bit thin, since there is no logical sense of 'infer' here, so all it could mean is 'what caused that?'. |
| 16856 | It is more impressive that relativity predicted Mercury's orbit than if it had accommodated it [Lipton] |
| Full Idea: We are more impressed by the fact that the special theory of relativity was used to predict the shift in the perihelion of Mercury than we would have been if we knew that the theory was constructed in order to account for that effect. | |
| From: Peter Lipton (Inference to the Best Explanation (2nd) [2004], 10 'The fudging') | |
| A reaction: Lipton has a nice discussion of the relative merits of predicting data and accommodating it. He invites astrologers to predict events, rather than accommodate past ones. |
| 16857 | Predictions are best for finding explanations, because mere accommodations can be fudged [Lipton] |
| Full Idea: Accommodations are often worth less than predictions, because only they have to face the possibility that the best explanation of the fit between the theory and data is that the theoretical system was fudged. | |
| From: Peter Lipton (Inference to the Best Explanation (2nd) [2004], 11 'Circularity') | |
| A reaction: Lipton illuminatingly explores the discovery by Semmelweiss of the cause of childbed fever. He predicted various explanations, and tested them out in a hospital. It clicks when the prediction occurs. |
| 16827 | If we make a hypothesis about data, then a deduction, where does the hypothesis come from? [Lipton] |
| Full Idea: The cost of the hypothetico-deductive method …is that we are left in the dark about the source of the hypotheses themselves. | |
| From: Peter Lipton (Inference to the Best Explanation (2nd) [2004], 05 'Explanation') | |
| A reaction: How do we distinguish a wild hypothesis from a plausible one? It can only be from patterns in the data, rather than mere accumulations of data. If water causes cholera, or smoking causes cancer, the hypothesis guides the data search. |
| 16804 | Induction is repetition, instances, deduction, probability or causation [Lipton] |
| Full Idea: Five attempts to describe induction are 'more of the same', the instantial model, the hypothetico-deductive model, the Bayesian approach …and causal inference. | |
| From: Peter Lipton (Inference to the Best Explanation (2nd) [2004], 01 'Descr') | |
| A reaction: This interesting list totally fails to mention the best answer, which is essentialism! If you observe some instances, you only begin to think that there will be more of the same if you think you have discerned the essence. Ravens are black things! |
| 16823 | Standard induction does not allow for vertical inferences, to some unobservable lower level [Lipton] |
| Full Idea: One of the problems of the extrapolation and instantial models of confirmation is that they do not cover vertical inferences, where we infer from what we observe to something at a different level that is often unobservable. | |
| From: Peter Lipton (Inference to the Best Explanation (2nd) [2004], 04 'Attractions') | |
| A reaction: This is my preferred essentialist view of induction, that we don't just infer that future swans will be white, but also that whiteness is built into the biology of swans. There seems to be predictive induction and explanatory induction. |
| 16800 | An inductive inference is underdetermined, by definition [Lipton] |
| Full Idea: If an inference is inductive, then by definition it is underdetermined by the evidence and the rules of deduction. | |
| From: Peter Lipton (Inference to the Best Explanation (2nd) [2004], 01 'Underd') |
| 16858 | We can argue to support our beliefs, so induction will support induction, for believers in induction [Lipton] |
| Full Idea: There is nothing illegitimate about giving arguments for beliefs one already holds. …So inductive justification of induction, while impotent against the skeptic, is legitimate for those who already rely on induction. | |
| From: Peter Lipton (Inference to the Best Explanation (2nd) [2004], 11 'Circularity') | |
| A reaction: Not so fast! The first sentence is generally right, but if the 'beliefs one already holds' are beliefs about methods of argument, that is a different case. Compare 'this book is the word of God, because it says so in the book'. Can logic prove logic? |
| 16832 | If something in ravens makes them black, it may be essential (definitive of ravens) [Lipton] |
| Full Idea: We are considering that there is something in ravens, a gene perhaps, that makes them black, and this cause is part of the essence of ravens. Birds lacking this cause could not interbreed with ravens. | |
| From: Peter Lipton (Inference to the Best Explanation (2nd) [2004], 05 'Unsuitable') | |
| A reaction: At last, the essentialist approach to induction! Of course, it is tricky to decide a priori whether there could be albino ravens. It only takes one white (interbreeding) raven to ruin a nice essentialist story. Individuals matter. |
| 16836 | My shoes are not white because they lack some black essence of ravens [Lipton] |
| Full Idea: The reason my shoe is white is not that it lacks some feature essential to ravens that makes them black. | |
| From: Peter Lipton (Inference to the Best Explanation (2nd) [2004], 06 'The Method') | |
| A reaction: Good, but not totally true. If my shoes were made to grow from genes, and then had some raven spliced into them, we might manage it. That is an explanation, but a long way from the best one. Enquiry is explanations, not deductions. |
| 16831 | A theory may explain the blackness of a raven, but say nothing about the whiteness of shoes [Lipton] |
| Full Idea: Explanatory considerations help with the raven paradox since, while the raven hypothesis may provide an explanation for the blackness of a particular raven, neither the original hypothesis nor its contrastive explanation explain why the shoe is white. | |
| From: Peter Lipton (Inference to the Best Explanation (2nd) [2004], 06 'Unsuitable') | |
| A reaction: For me, the examination of ravens is a search for the essence of ravenhood, which is why non-ravens don't help. Of course, if you eliminate all culprits except one, you have your culprit, but will your evidence stand up in court? |
| 16833 | We can't turn non-black non-ravens into ravens, to test the theory [Lipton] |
| Full Idea: We cannot transform a non-black non-raven into a raven to see whether we get a simultaneous transformation from non-black to black, in the way we can transform a flame without sodium into a flame with sodium. | |
| From: Peter Lipton (Inference to the Best Explanation (2nd) [2004], 06 'Unsuitable') | |
| A reaction: A white shoe would be an example of a non-black non-raven. People mesmerised by the raven paradox are too concerned with investigation being a 'logical' process. Lipton makes a nice point. We need to know the nature of ravens. |
| 16834 | To pick a suitable contrast to ravens, we need a hypothesis about their genes [Lipton] |
| Full Idea: Without something like a hypothesis about the genes of ravens, we simply do not know what would count as a relevantly similar bird for comparison. | |
| From: Peter Lipton (Inference to the Best Explanation (2nd) [2004], 06 'Unsuitable') | |
| A reaction: Lipton is endorsing the view that explanation should be 'contrastive', as well as aiming to discover the inner nature of ravens. He makes a good case for the contrastive approach. |
| 16802 | Bayes seems to rule out prior evidence, since that has a probability of one [Lipton] |
| Full Idea: Old evidence seems to provide some confirmation, but Bayesianism does not allow for this, since old evidence will have a prior probability of one, and so have no effect on the posterior probability of the hypothesis. | |
| From: Peter Lipton (Inference to the Best Explanation (2nd) [2004], 01 'Descr') |
| 16801 | A hypothesis is confirmed if an unlikely prediction comes true [Lipton] |
| Full Idea: In English, Bayes's Theorem says that there is a high confirmation when your hypothesis entails an unlikely prediction that turns out to be correct - a very plausible claim. | |
| From: Peter Lipton (Inference to the Best Explanation (2nd) [2004], 01 'Descr') | |
| A reaction: Presumably the simple point is that a likely prediction could have been caused by many things, but an unlikely prediction will probably only be caused by that thing. |
| 16837 | Bayes involves 'prior' probabilities, 'likelihood', 'posterior' probability, and 'conditionalising' [Lipton] |
| Full Idea: In p(H|E) = p(E|H)p(H)/p(E), the left side is the 'posterior' probability of H given E, p(E|H) is the 'likelihood' of E given H, and the others are the 'priors' of H and E. Moving from right to left is known as 'conditionalization'. | |
| From: Peter Lipton (Inference to the Best Explanation (2nd) [2004], 07 'The Bayesian') |
| 16839 | Explanation may be an important part of implementing Bayes's Theorem [Lipton] |
| Full Idea: Explanatory considerations may play an important role in the actual mechanisms by which inquirers 'realize' Bayesian reasoning. | |
| From: Peter Lipton (Inference to the Best Explanation (2nd) [2004], 07 'The Bayesian') | |
| A reaction: Lipton's strategy for making peace between IBE and Bayesians. Explanations give likeliness. The background question for Bayesians always seems to be how the initial probabilities are assigned. Pure logic won't do that job. |
| 16803 | Bayes is too liberal, since any logical consequence of a hypothesis confirms it [Lipton] |
| Full Idea: Since the Bayesian account says a hypothesis is confirmed by any of its logical consequences …it seems to inherit the over-permissiveness of the hypothetico-deductive model. | |
| From: Peter Lipton (Inference to the Best Explanation (2nd) [2004], 01 'Descr') | |
| A reaction: This sounds like Hempel's Raven Paradox, where the probability of some logical consequences seems impossible to assess. |
| 16850 | Explanation may describe induction, but may not show how it justifies, or leads to truth [Lipton] |
| Full Idea: Explanation is a partial answer to the descriptive problem of induction, …but the justificatory problem is recalcitrant, since it may seem particularly implausible that explanatory considerations should be a reliable guide to truth. | |
| From: Peter Lipton (Inference to the Best Explanation (2nd) [2004], 09 'Voltaire's') | |
| A reaction: His claim that explanation is a guide to inference is intended to bridge the gap. One might say that a good explanation has to be true, so just make sure your explanation is 'good', according to a few criteria. |
| 16807 | An explanation gives the reason the phenomenon occurred [Lipton] |
| Full Idea: According to the reason model of explanation, to explain a phenomenon is to give a reason to believe that the phenomenon occurs. | |
| From: Peter Lipton (Inference to the Best Explanation (2nd) [2004], 02 'Reason') | |
| A reaction: [He cites Hempel 1965] Put like that, it doesn't sound very promising. Personally I believe things occur if my wife tells me they do, because I trust her. Lipton says knowing that it occurs is not understanding why it occurs. |
| 16808 | An explanation is what makes the unfamiliar familiar to us [Lipton] |
| Full Idea: On the 'familiarity' model of explanation, unfamiliar phenomena call for explanation, and good explanations somehow make them familiar. | |
| From: Peter Lipton (Inference to the Best Explanation (2nd) [2004], 02 'Reason') | |
| A reaction: Lipton notes that his encourages explanation by analogy, but that may not add to understanding. A better version is that an explanation makes a phenomenon less surprising (but that sounds rather relative and subjective). |
| 16806 | An explanation is what is added to knowledge to yield understanding [Lipton] |
| Full Idea: The question about explanation can be put this way: What has to be added to knowledge to yield understanding? | |
| From: Peter Lipton (Inference to the Best Explanation (2nd) [2004], 02 'Underst') | |
| A reaction: In the spirit of Aristotle, I take 'understanding' to be the end of all enquiry, even if it's rather open-ended, relative and vague. Presumably there are lots of true explanations which don't deliver understanding, because baffling ingredients are cited. |
| 16822 | Seaching for explanations is a good way to discover the structure of the world [Lipton] |
| Full Idea: One of the points of our obsessive search for explanations is that this is a peculiarly effective way of discovering the structure of the world. | |
| From: Peter Lipton (Inference to the Best Explanation (2nd) [2004], 04 'Attractions') | |
| A reaction: This remark is a nice corrective to the sceptical view that explanations are entirely subjective, pragmatic, and even conventional. Whether this means that there are 'real' and 'objective' explanations is another matter. |
| 16816 | In 'contrastive' explanation there is a fact and a foil - why that fact, rather than this foil? [Lipton] |
| Full Idea: In a 'contrastive' explanation what gets explained is not 'Why this?', but 'Why this rather than that?'. There is a fact and a foil, and one fact may have several foils. Why do leaves turn yellow in November rather than in January? | |
| From: Peter Lipton (Inference to the Best Explanation (2nd) [2004], 03 'Fact') | |
| A reaction: Lipton really likes this, and builds his story around it. Maybe, but it looks to me like an easier step towards a proper explanation. The foils are infinite. Why turn yellow rather than radioactive, insincere, divisible by three, or expensive? |
| 16826 | With too many causes, find a suitable 'foil' for contrast, and the field narrows right down [Lipton] |
| Full Idea: The class of possible causes is often too big, …but if we are lucky or clever enough to find or produce a contrast where fact and foil have similar histories, most potential explanations are immediately 'cancelled out', and we have a research programme. | |
| From: Peter Lipton (Inference to the Best Explanation (2nd) [2004], 05 'A case') | |
| A reaction: He has a nice example of a triumph in 19th century German epidemiology. Once you get a good hypothesis, you can set up comparisons, based on a possible fact and a good foil. Genius is spotting hypothesis and foil. Nice. |
| 16811 | An explanation unifies a phenomenon with our account of other phenomena [Lipton] |
| Full Idea: According to the 'unification' model of explanation, we come to understand a phenomenon when we see how it fit together with other phenomena into unified whole. | |
| From: Peter Lipton (Inference to the Best Explanation (2nd) [2004], 02 'Reason') | |
| A reaction: [He cites Kitcher 1989] This works quite well for a lot of explanation, but a revolutionary explanation might involve a completely new theory. Lipton says it is rather linguistic, and has no room for a regress of causes, or for singular explanations. |
| 16810 | Deduction explanation is too easy; any law at all will imply the facts - together with the facts! [Lipton] |
| Full Idea: Deduction models of explanation make it far too easy to explain. You can explain that planets move in an ellipse from the conjunction of the fact that they do, together with any law you please, say a law in economics. | |
| From: Peter Lipton (Inference to the Best Explanation (2nd) [2004], 02 'Reason') |
| 16829 | We reject deductive explanations if they don't explain, not if the deduction is bad [Lipton] |
| Full Idea: The hypothetico-deductive model does not account for the negative impact of explanatory failure. We reject hypotheses because they fail to explain contrasts, not because they are logically incompatible with them. | |
| From: Peter Lipton (Inference to the Best Explanation (2nd) [2004], 05 'Explanation') | |
| A reaction: The general move in modern accounts of investigation is away from an excessive emphasis on logic that used to be favoured. The underpinning of this is that science concerns mechanisms more than equations. |
| 16809 | Good explanations may involve no laws and no deductions [Lipton] |
| Full Idea: Many ordinary explanations include no laws and allow no deduction, yet are not incomplete or mere sketches. | |
| From: Peter Lipton (Inference to the Best Explanation (2nd) [2004], 02 'Reason') | |
| A reaction: The simplest sort of explanation simply shows the underlying cause. |
| 16812 | An explanation shows why it was necessary that the effect occurred [Lipton] |
| Full Idea: According to the 'necessity' model of explanation, an explanation shows that the phenomenon in question had to occur. | |
| From: Peter Lipton (Inference to the Best Explanation (2nd) [2004], 02 'Reason') | |
| A reaction: [He cites Glymour 1980] Lipton objects that the sort of necessity involved is too uncertain, can't account for the 'why-regress', and doesn't fit everyday explanation, like why we abandoned the football match. |
| 16846 | A cause may not be an explanation [Lipton] |
| Full Idea: I take it that we may think about causes without thinking especially about explanations, and so we might judge likeliest cause without considering loveliest explanation. | |
| From: Peter Lipton (Inference to the Best Explanation (2nd) [2004], 08 'From cause') |
| 16813 | To explain is to give either the causal history, or the causal mechanism [Lipton] |
| Full Idea: According to the causal model of explanation, to explain a phenomenon is simply to give information about its causal history, or, where the phenomenon is itself a causal regularity, to give information about the mechanism linking cause and effect. | |
| From: Peter Lipton (Inference to the Best Explanation (2nd) [2004], 03 'Fact') | |
| A reaction: [He cites Lewis's 1986 paper] Simply citing causal regularity seems to me to explain nothing. It happened because it always happens. Mechanism, on the other hand, is just what we are after. |
| 16815 | Mathematical and philosophical explanations are not causal [Lipton] |
| Full Idea: Mathematical explanations are never causal, and philosophical explanations seldom are. | |
| From: Peter Lipton (Inference to the Best Explanation (2nd) [2004], 03 'Fact') | |
| A reaction: There may still be a 'direction' of explanation in mathematics, as when the nature of the triangle explains the Pythagoras Theorem, but the theorem may not give you the basic nature of triangles. Lipton suggests 'determination' for 'causation'. |
| 16849 | Explanations may be easier to find than causes [Lipton] |
| Full Idea: It is often easier to say what a factor would explain than it is to say what it would cause. | |
| From: Peter Lipton (Inference to the Best Explanation (2nd) [2004], 08 'From cause') | |
| A reaction: Presumably the presence of some factor might explain something, but the factor itself might have mysterious causal powers. A catalyst, for example. We don't need to understand the factor that explains. |
| 16848 | Causal inferences are clearest when we can manipulate things [Lipton] |
| Full Idea: Our most secure basis for causal inference is manipulation, as when flicking the switch causes the light to go on. | |
| From: Peter Lipton (Inference to the Best Explanation (2nd) [2004], 08 'From cause') | |
| A reaction: Correct, but Woodward elevates this into an entire theory of causation, which does not convince me. |
| 16842 | We want to know not just the cause, but how the cause operated [Lipton] |
| Full Idea: We understand a phenomenon better when we know not just what caused it, but how the cause operated. | |
| From: Peter Lipton (Inference to the Best Explanation (2nd) [2004], 08 'the guiding') | |
| A reaction: This is the key point behind the desire for 'mechanism' in explanation. It strikes me as undeniable. |
| 16840 | To maximise probability, don't go beyond your data [Lipton] |
| Full Idea: If all we wanted was to maximise probability, we would never venture beyond our data. | |
| From: Peter Lipton (Inference to the Best Explanation (2nd) [2004], 07 'friends') |
| 16824 | Is Inference to the Best Explanation nothing more than inferring the likeliest cause? [Lipton] |
| Full Idea: A suspicion is that Inference to the Best Explanation is nothing more than Inference to the Likeliest Cause in fancy dress, and so fails to account for the symptoms of likeliness. | |
| From: Peter Lipton (Inference to the Best Explanation (2nd) [2004], 04 'Attractions') | |
| A reaction: In a lot of cases the cause is the explanation. An explanation might be the absence of a cause (as in 'you forgot to switch it on'). Lipton's 'lovely' explanations go further, and reveal a network of causes. |
| 16817 | Best Explanation as a guide to inference is preferable to best standard explanations [Lipton] |
| Full Idea: The core idea of Inference to the Best Explanation (IBE) is that explanatory considerations are a guide to inference. …Inserting one of the standard models of explanation yields disappointing results, because of their backward state. | |
| From: Peter Lipton (Inference to the Best Explanation (2nd) [2004], 04 'Spelling') | |
| A reaction: Inferences tend to come one at a time, but I see best explanations as the formation of coherent pictures. The tricky bit is when to decide the coherence makes it acceptable. Lipton has that problem too, with his inferences. 'Working explanations'. |
| 16818 | The 'likeliest' explanation is the best supported; the 'loveliest' gives the most understanding [Lipton] |
| Full Idea: There is a distinction between the explanation best supported by the evidence, and the explanation that would provide the most understanding: in short, between the 'likeliest' and the 'loveliest' explanation. | |
| From: Peter Lipton (Inference to the Best Explanation (2nd) [2004], 04 'Spelling') | |
| A reaction: A very nice, very real and very illuminating distinction. Presumably truth must play an important role in both likelihood and loveliness. |
| 16819 | IBE is inferring that the best potential explanation is the actual explanation [Lipton] |
| Full Idea: According to Inference to the Best Explanation we do not infer the best actual explanation; rather we infer that the best of the available potential explanations is an actual explanation. | |
| From: Peter Lipton (Inference to the Best Explanation (2nd) [2004], 04 'Spelling') | |
| A reaction: Clearly to say that you should just accept the best available explanation is asking for trouble, if all the available explanations are absurd. But what are the criteria for saying the best one is the actual one? |
| 16820 | Finding the 'loveliest' potential explanation links truth to understanding [Lipton] |
| Full Idea: We should considere Inference to the Loveliest Potential Explanation, …which links the search for truth and the search for understanding in a fundamental way. | |
| From: Peter Lipton (Inference to the Best Explanation (2nd) [2004], 04 'Spelling') |
| 16828 | IBE is not passive treatment of data, but involves feedback between theory and data search [Lipton] |
| Full Idea: The slogan 'Inference to the Best Explanation' may bring to mind an excessively passive picture of scientific enquiry, …but there is the feedback between hypothesis formation and data acquisition that characterises actual enquiry. | |
| From: Peter Lipton (Inference to the Best Explanation (2nd) [2004], 05 'Explanation') | |
| A reaction: Perhaps it should be renamed 'Search for the Best Explanation'. |
| 16844 | A contrasting difference is the cause if it offers the best explanation [Lipton] |
| Full Idea: We are to infer that a difference marks a cause just in case the difference would provide the best explanation of the contrast. | |
| From: Peter Lipton (Inference to the Best Explanation (2nd) [2004], 08 'Improved') | |
| A reaction: Lipton's offers this as his distinctive contribution to Mill's methods of enquiry. His point is that we draw inferences for explanatory reasons. He rests on Mill, and on contrastive explanation. It sounds rightish, but a bit optimistic. |
| 16853 | We select possible explanations for explanatory reasons, as well as choosing among them [Lipton] |
| Full Idea: Explanatory considerations can play a role in the generation of potential explanations as well as in the subsequent selection from among them. | |
| From: Peter Lipton (Inference to the Best Explanation (2nd) [2004], 09 'The two-stage') | |
| A reaction: Lipton offers this to meet an obvious objection to Inference to the Best Explanation - that compiling the possible explanations seems to need guidance. Seems a good reply. |
| 16821 | Must we only have one explanation, and must all the data be made relevant? [Lipton] |
| Full Idea: Two problems for IBE are that only one explanation can be inferred from any set of data, and that the only data that are relevant to a hypothesis are data the hypothesis explains. | |
| From: Peter Lipton (Inference to the Best Explanation (2nd) [2004], 04 'Spelling') | |
| A reaction: I don't see why the theory prohibits a tie for what is 'best', given that you don't have to commit. The second one is partly to do with what observers should do about anomalies, and it is sometimes right to ignore them. |
| 16838 | Bayesians say best explanations build up an incoherent overall position [Lipton] |
| Full Idea: Bayesians object to inference to the best explanation, because someone who favoured powerful ('lovely') explanations would end up with an incoherent distribution of states of belief. They would be persuaded by loss-making wagers (a 'dutch book'). | |
| From: Peter Lipton (Inference to the Best Explanation (2nd) [2004], 07 'The Bayesian') | |
| A reaction: [compressed; he cites Van Fraassen 1989 Ch.7] Lipton's Ch. 7 tries to address this issue. |
| 16855 | The best theory is boring: compare 'all planets move elliptically' with 'most of them do' [Lipton] |
| Full Idea: The best theory is almost always boring. …The claim that all planets move in ellipses is interesting, and the claim that some do not is not interesting. | |
| From: Peter Lipton (Inference to the Best Explanation (2nd) [2004], 09 'Is the best') | |
| A reaction: This applies to any extraction of a universal 'law' by induction. The best theory just affirms what has been observed. How could generalising about what you haven't observed be 'better'? Answer: because it goes via the essence. |
| 16852 | Best explanation can't be a guide to truth, because the truth must precede explanation [Lipton] |
| Full Idea: Inference to the best explanation cannot be epistemically effective, since an actual explanation must be true, so one would have to know the truth before one could infer an explanation. | |
| From: Peter Lipton (Inference to the Best Explanation (2nd) [2004], 09 'Voltaire's') | |
| A reaction: Lipton rests on 'contrastive' explanation, so that the one that explains more is more likely to be true. If true, it explains. That seems to me correct, even though it could occasionally go horribly wrong. Approach explanation cautiously. |
| 10746 | Conceptual priority is barely intelligible [Oliver] |
| Full Idea: I find the notion of conceptual priority barely intelligible. | |
| From: Alex Oliver (The Metaphysics of Properties [1996], §19 n48) | |
| A reaction: I don't think I agree, though there is a lot of vagueness and intuition involved, and not a lot of hard argument. Can you derive A from B, but not B from A? Is A inconceivable without B, but B conceivable without A? |
| 6005 | Animals are dangerous and nourishing, and can't form contracts of justice [Hermarchus, by Sedley] |
| Full Idea: Hermarchus said that animal killing is justified by considerations of human safety and nourishment and by animals' inability to form contractual relations of justice with us. | |
| From: report of Hermarchus (fragments/reports [c.270 BCE]) by David A. Sedley - Hermarchus | |
| A reaction: Could the last argument be used to justify torturing animals? Or could we eat a human who was too brain-damaged to form contracts? |
| 16847 | Counterfactual causation makes causes necessary but not sufficient [Lipton] |
| Full Idea: The counterfactual conception of causation makes causes necessary but not sufficient conditions for their effects. | |
| From: Peter Lipton (Inference to the Best Explanation (2nd) [2004], 08 'From cause') | |
| A reaction: Interesting. Then causes would be necessary, but would not necessitate. So what makes a cause sufficient? |