153 ideas
9593 | Progress in philosophy is incremental, not an immature seeking after drama [Williamson] |
Full Idea: The incremental progress which I envisage for philosophy lacks the drama after which some philosophers still hanker, and that hankering is itself a symptom of the intellectual immaturity that helps hold philosophy back. | |
From: Timothy Williamson (The Philosophy of Philosophy [2007], Intro) | |
A reaction: This could stand as a motto for the whole current profession of analytical philosophy. It means that if anyone attempts to be dramatic they can make their own way out. They'll find Kripke out there, smoking behind the dustbins. |
9184 | We can't presume that all interesting concepts can be analysed [Williamson] |
Full Idea: We have no prior reason to suppose that philosophically significant concepts have interesting analyses into necessary and sufficient conditions. | |
From: Timothy Williamson (Review of Bob Hale's 'Abstract Objects' [1988]) | |
A reaction: We might think that they are either analysable or primitive, and that failure of analysis invites us to take a concept as primitive. But maybe God can analyse it and we can't. |
6859 | Analytic philosophy has much higher standards of thinking than continental philosophy [Williamson] |
Full Idea: Certain advances in philosophical standards have been made within analytic philosophy, and there would be a serious loss of integrity involved in abandoning them in the way required to participate in current continental philosophy. | |
From: Timothy Williamson (Interview with Baggini and Stangroom [2001], p.151) | |
A reaction: The reply might be to concede the point, but say that the precision and rigour achieved are precisely what debar analytical philosophy from thinking about the really interesting problems. One might as well switch to maths and have done with it. |
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') |
21616 | Truth and falsity apply to suppositions as well as to assertions [Williamson] |
Full Idea: The notion of truth and falsity apply to suppositions as well as to assertions. | |
From: Timothy Williamson (Vagueness [1994], 7.2) | |
A reaction: This may not be obvious to those who emphasise pragmatics and ordinary language, but it is self-evident to anyone who emphasises logic. |
21623 | True and false are not symmetrical; false is more complex, involving negation [Williamson] |
Full Idea: The concepts of truth and falsity are not symmetrical. The asymmetry is visible in the fundamental principles governing them, for F is essentially more complex than T, by its use of negation. | |
From: Timothy Williamson (Vagueness [1994], 7.5) | |
A reaction: If T and F are primitives, controlled by axioms, then they might be symmetrical in nature, but asymmetrical in use. However, if forced to choose just one primitive, I presume it would be T. |
15134 | The truthmaker principle requires some specific named thing to make the difference [Williamson] |
Full Idea: The truthmaker principle seems compelling, because if a proposition is true, something must be different from a world in which it is false. The principle makes this specific, by treating 'something' as a quantifier binding a variable in name position. | |
From: Timothy Williamson (Truthmakers and Converse Barcan Formula [1999], §2) | |
A reaction: See Williamson for an examination of the logical implications of this. The point is that the principle seems to require some very specific 'thing', which may be asking too much. For a start, it might be the absence of a thing. |
15140 | The converse Barcan formula will not allow contingent truths to have truthmakers [Williamson] |
Full Idea: The converse Barcan formula does not allow any contingent truths at all to have a truthmaker. Once cannot combine the converse Barcan formula with any truthmaker principle worth having. | |
From: Timothy Williamson (Truthmakers and Converse Barcan Formula [1999], §3) | |
A reaction: One might reply, so much the worse for the converse Barcan formula, but Williamson doesn't think that. |
15141 | Truthmaker is incompatible with modal semantics of varying domains [Williamson] |
Full Idea: Friends of the truthmaker principle should reject the Kripke semantics of varying domains. | |
From: Timothy Williamson (Truthmakers and Converse Barcan Formula [1999], §3) | |
A reaction: See other ideas from this paper to get a sense of what that is about. |
9594 | Correspondence to the facts is a bad account of analytic truth [Williamson] |
Full Idea: Even if talk of truth as correspondence to the facts is metaphorical, it is a bad metaphor for analytic truth in a way that it is not for synthetic truth. | |
From: Timothy Williamson (The Philosophy of Philosophy [2007], 3.1) | |
A reaction: A very simple and rather powerful point. Maybe the word 'truth' should be withheld from such cases. You might say that accepted analytic truths are 'conventional'. If that is wrong, then they correspond to natural facts at a high level of abstraction. |
14626 | In S5 matters of possibility and necessity are non-contingent [Williamson] |
Full Idea: In system S5 matters of possibility and necessity are always non-contingent. | |
From: Timothy Williamson (Modal Logic within Counterfactual Logic [2010], 3) | |
A reaction: This will be because if something is possible in one world (because it can be seen to be true in some possible world) it will be possible for all worlds (since they can all see that world in S5). |
15131 | If metaphysical possibility is not a contingent matter, then S5 seems to suit it best [Williamson] |
Full Idea: In S5, necessity and possibility are not themselves contingent matters. This is plausible for metaphysical modality, since metaphysical possibility, unlike practical possibility, does not depend on the contingencies of one's situation. | |
From: Timothy Williamson (Truthmakers and Converse Barcan Formula [1999], §1) | |
A reaction: This is the clearest statement I have found of why S5 might be preferable for metaphysics. See Nathan Salmon for the rival view. Williamson's point sounds pretty persuasive to me. |
15135 | If the domain of propositional quantification is constant, the Barcan formulas hold [Williamson] |
Full Idea: If the domain of propositional quantification is constant across worlds, the Barcan formula and its converse hold. | |
From: Timothy Williamson (Truthmakers and Converse Barcan Formula [1999], §2) | |
A reaction: So the issue is whether we should take metaphysics to be dealing with a constant or varying domains. Williamson seems to favour the former, but my instincts incline towards the latter. |
15130 | If a property is possible, there is something which can have it [Williamson] |
Full Idea: Barcan's axiom says if there can be something that has a certain property, then there is something that can have that property. It and its converse are not obviously correct or incorrect. They claim that it is non-contingent what individuals there are. | |
From: Timothy Williamson (Laudatio: Prof Ruth Barcan Marcus [2011], p.1) | |
A reaction: Williamson defends the two Barcan formulas, but the more I understand them the less plausible they sound to me. |
15139 | Converse Barcan: could something fail to meet a condition, if everything meets that condition? [Williamson] |
Full Idea: The converse Barcan is at least plausible, since its denial says there is something that could fail to meet a condition when everything met that condition; but how could everything meet that condition if that thing did not? | |
From: Timothy Williamson (Truthmakers and Converse Barcan Formula [1999], §3) | |
A reaction: Presumably the response involves a discussion of domains, since everything in a given domain might meet a condition, but something in a different domain might fail it. |
21602 | Many-valued logics don't solve vagueness; its presence at the meta-level is ignored [Williamson] |
Full Idea: It is an illusion that many-valued logic constitutes a well-motivated and rigorously worked out theory of vagueness. ...[top] There has been a reluctance to acknowledge higher-order vagueness, or to abandon classical logic in the meta-language. | |
From: Timothy Williamson (Vagueness [1994], 4.12) |
6862 | Fuzzy logic uses a continuum of truth, but it implies contradictions [Williamson] |
Full Idea: Fuzzy logic is based on a continuum of degrees of truth, but it is committed to the idea that it is half-true that one identical twin is tall and the other twin is not, even though they are the same height. | |
From: Timothy Williamson (Interview with Baggini and Stangroom [2001], p.154) | |
A reaction: Maybe to be shocked by a contradiction is missing the point of fuzzy logic? Half full is the same as half empty. The logic does not say the twins are different, because it is half-true that they are both tall, and half-true that they both aren't. |
6858 | Formal logic struck me as exactly the language I wanted to think in [Williamson] |
Full Idea: As soon as I started learning formal logic, that struck me as exactly the language that I wanted to think in. | |
From: Timothy Williamson (Interview with Baggini and Stangroom [2001]) | |
A reaction: It takes all sorts… It is interesting that formal logic might be seen as having the capacity to live up to such an aspiration. I don't think the dream of an ideal formal language is dead, though it will never encompass all of reality. Poetic truth. |
21611 | Formal semantics defines validity as truth preserved in every model [Williamson] |
Full Idea: An aim of formal semantics is to define in mathematical terms a set of models such that an argument is valid if and only if it preserves truth in every model in the set, for that will provide us with a precise standard of validity. | |
From: Timothy Williamson (Vagueness [1994], 5.3) |
21606 | 'Bivalence' is the meta-linguistic principle that 'A' in the object language is true or false [Williamson] |
Full Idea: The meta-logical law of excluded middle is the meta-linguistic principle that any statement 'A' in the object language is either truth or false; it is now known as the principle of 'bivalence'. | |
From: Timothy Williamson (Vagueness [1994], 5.2) | |
A reaction: [He cites Henryk Mehlberg 1958] See also Idea 21605. Without this way of distinguishing bivalence from excluded middle, most discussions of them strikes me as shockingly lacking in clarity. Personally I would cut the normativity from this one. |
21605 | Excluded Middle is 'A or not A' in the object language [Williamson] |
Full Idea: The logical law of excluded middle (now the standard one) is the schema 'A or not A' in the object-language. | |
From: Timothy Williamson (Vagueness [1994], 5.2) | |
A reaction: [He cites Henryk Mehlberg 1958] See Idea 21606. The only sensible way to keep Excluded Middle and Bivalence distinct. I would say: (meta-) only T and F are available, and (object) each proposition must have one of them. Are they both normative? |
18492 | Not all quantification is either objectual or substitutional [Williamson] |
Full Idea: We should not assume that all quantification is either objectual or substitutional. | |
From: Timothy Williamson (Truthmakers and Converse Barcan Formula [1999], p.262) | |
A reaction: [see Prior 1971:31-4] He talks of quantifying into sentence position. |
15136 | Substitutional quantification is metaphysical neutral, and equivalent to a disjunction of instances [Williamson] |
Full Idea: If quantification into sentence position is substitutional, then it is metaphysically neutral. A substitutionally interpreted 'existential' quantification is semantically equivalent to the disjunction (possibly infinite) of its substitution instances. | |
From: Timothy Williamson (Truthmakers and Converse Barcan Formula [1999], §2) | |
A reaction: Is it not committed to the disjunction, just as the objectual reading commits to objects? Something must make the disjunction true. Or is it too verbal to be about reality? |
15138 | Not all quantification is objectual or substitutional [Williamson] |
Full Idea: We should not assume that all quantification is objectual or substitutional. | |
From: Timothy Williamson (Truthmakers and Converse Barcan Formula [1999], §2) |
21612 | Or-elimination is 'Argument by Cases'; it shows how to derive C from 'A or B' [Williamson] |
Full Idea: Argument by Cases (or or-elimination) is the standard way of using disjunctive premises. If one can argue from A and some premises to C, and from B and some premises to C, one can argue from 'A or B' and the combined premises to C. | |
From: Timothy Williamson (Vagueness [1994], 5.3) |
21599 | A sorites stops when it collides with an opposite sorites [Williamson] |
Full Idea: A sorites paradox is stopped when it collides with a sorites paradox going in the opposite direction. That account will not strike a logician as solving the sorites paradox. | |
From: Timothy Williamson (Vagueness [1994], 3.3) |
9183 | Platonism claims that some true assertions have singular terms denoting abstractions, so abstractions exist [Williamson] |
Full Idea: The Fregean argument for platonism is that some true assertions contain singular terms which denote abstract objects if they denote anything; since the assertions are true, the singular terms denote. | |
From: Timothy Williamson (Review of Bob Hale's 'Abstract Objects' [1988]) | |
A reaction: I am perplexed that anyone would rest their view of reality on such an argument. The obvious comparison would be with true remarks about blatantly fictional characters, or blatantly invented concepts such as 'checkmate'. |
9601 | The realist/anti-realist debate is notoriously obscure and fruitless [Williamson] |
Full Idea: The debate between realism and anti-realism has become notorious in the rest of philosophy for its obscurity, convolution, and lack of progress. | |
From: Timothy Williamson (The Philosophy of Philosophy [2007], After) | |
A reaction: I find this reassuring, because fairly early on I decided that this problem was not of great interest, and quietly tiptoed away. I take the central issue to be whether nature has 'joints', to which the answer appears to be 'yes'. End of story. |
15137 | If 'fact' is a noun, can we name the fact that dogs bark 'Mary'? [Williamson] |
Full Idea: If one uses 'fact' as a noun, the question arises why one cannot name the fact that dogs bark 'Mary'. | |
From: Timothy Williamson (Truthmakers and Converse Barcan Formula [1999], §2 n10) | |
A reaction: What an intriguing thought! Must all nouns pass this test? 'The courage of the regiment was called Alfred'? |
21601 | A vague term can refer to very precise elements [Williamson] |
Full Idea: Both 30° and 60° are clearly acute angles. 'Acute' is precise in all relevant respects. Nevertheless, 30° is acuter than 60°. | |
From: Timothy Williamson (Vagueness [1994], 4.11) | |
A reaction: A very nice example of something which is vague, despite involving precise ingredients. But then 'bald' is vague, while 'this is a hair on his head' is fairly precise. |
21589 | When bivalence is rejected because of vagueness, we lose classical logic [Williamson] |
Full Idea: The principle of bivalence (that every statement is either true or false) has been rejected for vague languages. To reject bivalence is to reject classical logic or semantics. | |
From: Timothy Williamson (Vagueness [1994], Intro) | |
A reaction: His example is specifying a moment when Rembrandt became 'old'. This is the number one reason why the problem of vagueness is seen as important. Is the rejection of classical logic a loss of our grip on the world? |
21596 | Vagueness undermines the stable references needed by logic [Williamson] |
Full Idea: Logic requires expressions to have the same referents wherever they occur; vague natural languages violate this contraint. | |
From: Timothy Williamson (Vagueness [1994], 2.2) | |
A reaction: This doesn't mean that logic has to win. Maybe it is important for philosophers who see logic as central to be always aware of vagueness as the gulf between their precision and the mess of reality. Precision is worth trying for, though. |
21629 | Equally fuzzy objects can be identical, so fuzziness doesn't entail vagueness [Williamson] |
Full Idea: Fuzzy boundaries do not in any way require vague identity. Objects are identical only if their boundaries have exactly the same fuzziness. | |
From: Timothy Williamson (Vagueness [1994], 9.2) | |
A reaction: This all rests on the Fregean idea that determinate existence requires the ability to participate in an identity statement. |
9599 | There cannot be vague objects, so there may be no such thing as a mountain [Williamson] |
Full Idea: It is sometimes argued that if there is such a thing as a mountain it would be a vague object, but it is logically impossible for an object to be vague, so there is no such thing as a mountain. | |
From: Timothy Williamson (The Philosophy of Philosophy [2007], 7.2) | |
A reaction: I don't take this to be a daft view. No one is denying the existence of the solid rock that is involved, but allowing such a vague object may be a slippery slope to the acceptance of almost anything as an 'object'. |
21591 | Vagueness is epistemic. Statements are true or false, but we often don't know which [Williamson] |
Full Idea: My thesis is that vagueness is an epistemic phenomenon. In cases of unclarity, statements remain true or false, but speakers of the language have no way of knowing which. Higher-order vagueness consists in ignorance about ignorance. | |
From: Timothy Williamson (Vagueness [1994], Intro) | |
A reaction: He has plumped for the intuitively least plausible theory. It means that a hair dropping out of someone's head triggers a situation where they are 'bald', but none of us know when that was. And Rembrandt became 'old' in an instant. |
21619 | If a heap has a real boundary, omniscient speakers would agree where it is [Williamson] |
Full Idea: If, in judging a heap as grains are removed, omniscient speakers all stop at the same point, it must does mark some sort of previously hidden boundary. ...If there is no hidden boundary, then different omniscient speakers would stop at different points. | |
From: Timothy Williamson (Vagueness [1994], 7.3) | |
A reaction: A very nice thought experiment, which obviously won't settle anything, but brings out nicely the view the vagueness is a sort of ignorance. God is never vague in the application of terms (though God might withhold the application if there is no boundary). |
21620 | The epistemic view says that the essence of vagueness is ignorance [Williamson] |
Full Idea: The epistemic view is that ignorance is the real essence of the phenomenon ostensively identified as vagueness. ...[203] According to the epistemic view, I am either thin or not thin, ...and we have no idea how to find out out which. | |
From: Timothy Williamson (Vagueness [1994], 7.4) | |
A reaction: Presumably this implies that there is often a real border (of which we may be ignorant), but it doesn't seem to rule out cases where there just is no border. Where does the east Atlantic meet the west Atlantic? |
21622 | If there is a true borderline of which we are ignorant, this drives a wedge between meaning and use [Williamson] |
Full Idea: A common complaint against the epistemic view is that to postulate a matter of fact in borderline cases is to suppose, incoherently, that the meanings of our words draw a line where our use of them does not. | |
From: Timothy Williamson (Vagueness [1994], 7.5) | |
A reaction: This doesn't necessarily seem to require the view that the meaning of words is their usage. Just that if there is one consensus on usage, it seems unlikely that there is a different underlying reality about the true meaning. Externalist meanings? |
9120 | Vagueness in a concept is its indiscriminability from other possible concepts [Williamson] |
Full Idea: Vagueness in a concept is its indiscriminability from other possible concepts; this can be reconciled with our knowledge of vague terms. | |
From: Timothy Williamson (Vagueness [1994], 8.1) | |
A reaction: Sorensen objects that this makes vagueness too relative to members of a speech community. He prefers 'absolute borderline cases'. If you like the epistemic view, then Williamson seems more plausible. My 'vague' might differ from yours. |
6863 | Close to conceptual boundaries judgement is too unreliable to give knowledge [Williamson] |
Full Idea: If one is very close to a conceptual boundary, then one's judgement will be too unreliable to constitute knowledge, and therefore one will be ignorant. | |
From: Timothy Williamson (Interview with Baggini and Stangroom [2001], p.156) | |
A reaction: This is the epistemological rather than ontological interpretation of vagueness. It sounds very persuasive, but I am reluctant to accept that reality is full of very precise boundaries which we cannot quite discriminate. |
21614 | The 'nihilist' view of vagueness says that 'heap' is not a legitimate concept [Williamson] |
Full Idea: The 'nihilist' view is that no genuine distinction can be vaguely drawn; since vague expressions are not properly meaningful, there is nothing for sorites reasoning to betray; they are empty. | |
From: Timothy Williamson (Vagueness [1994], 6.1) | |
A reaction: He cites Frege as holding this view. The thought is that 'heap' is not a legitimate concept, so fussing over what qualifies as one is pointless. This seems to be a semantic view of vagueness, of which the main rival is the contextual view. |
21617 | We can say propositions are bivalent, but vague utterances don't express a proposition [Williamson] |
Full Idea: A philosopher might endorse bivalence for propositions, while treating vagueness as the failure of an utterance to express a unique proposition. | |
From: Timothy Williamson (Vagueness [1994], 7.2) | |
A reaction: This idea jumps at out me as an extremely promising approach to vagueness, because I am a fan of propositions (and have written a paper on them). The whole point of propositions is that they are not ambiguous (and probably not vague). |
21618 | If the vague 'TW is thin' says nothing, what does 'TW is thin if his perfect twin is thin' say? [Williamson] |
Full Idea: If vague utterances in borderline cases fail to say anything, then if 'TW is thin' is vague, and TW has a twin of identical dimensions, it still seems that 'If TW is thin then his twin is thin' must be true, and so it must have said something. | |
From: Timothy Williamson (Vagueness [1994], 7.2 (d)) | |
A reaction: This an objection to the Fregean 'nihilistic' view of Idea 21614. I am inclined to a solution based on the proposition expressed, rather than the sentence. The first question is whether you are willing to assert 'TW is thin'. |
21625 | The vagueness of 'heap' can remain even when the context is fixed [Williamson] |
Full Idea: Vagueness remains even when the context is fixed. In principle, a vague word might exhibit no context dependence whatsoever. ...For example, a dispute over whether someone has left a 'heap' of sand on the floor. | |
From: Timothy Williamson (Vagueness [1994], 7.7) | |
A reaction: A fairly devastating rebuttal of what seems to be David Lewis's view. He talks of something being 'smooth' depending on context. |
21590 | Asking when someone is 'clearly' old is higher-order vagueness [Williamson] |
Full Idea: Difficulties of vagueness are presented by the question 'When did Rembrandt become clearly old?', and the iterating question 'When did he become clearly clearly old?'. This is the phenomenon of higher-order vagueness. The language of vagueness is vague. | |
From: Timothy Williamson (Vagueness [1994], Intro) | |
A reaction: [compressed] I presume the bottom level is a question about Rembrandt, the second level is about this use of the word 'old', and the third level is about this particular application of the word 'clearly'. Meta-languages. |
21609 | Supervaluationism defines 'supertruth', but neglects it when defining 'valid' [Williamson] |
Full Idea: Supervaluationists identify truth with 'supertruth'; since validity is necessary preservation of truth, they should identify it with necessary preservation of supertruth. But it plays no role in their definition of 'local' validity. | |
From: Timothy Williamson (Vagueness [1994], 5.3) | |
A reaction: [See text for 'local'] Generally Williamson's main concern with attempts to sort out vagueness is that higher-order and meta-language issues are neglected. |
21610 | Supervaluation adds a 'definitely' operator to classical logic [Williamson] |
Full Idea: Supervaluation seems to inherit the power of classical logic, ...but also enables it to be extended. It makes room for a new operator 'definitely' to express supertruth in the object-language. | |
From: Timothy Williamson (Vagueness [1994], 5.3) | |
A reaction: Once you mention higher-order vagueness you can see a regress looming over the horizon. 'He is definitely definitely definitely bald'. [p.164 he says 'definitely' has no analysis, and is an uninteresting primitive] |
21613 | Supervaluationism cannot eliminate higher-order vagueness [Williamson] |
Full Idea: Supervaluationism cannot eliminate higher-order vagueness. It must conduct its business in a vague meta-language. ...[162] All truth is at least disquotational, and supertruth is not. | |
From: Timothy Williamson (Vagueness [1994], 5.6) | |
A reaction: This is Williamson's final verdict on the supervaluation strategy for vagueness. Intuitively, it looks as if merely narrowing down the vagueness (by some sort of consensus) is no solution to the problem of vagueness. |
21592 | Supervaluation keeps classical logic, but changes the truth in classical semantics [Williamson] |
Full Idea: Supervaluationism preserves almost all of classical logic, at the expense of classical semantics, but giving a non-standard account of truth. I argue that its treatment of higher-order vagueness undermines the non-standard account of truth. | |
From: Timothy Williamson (Vagueness [1994], Intro) |
21603 | You can't give a precise description of a language which is intrinsically vague [Williamson] |
Full Idea: If a vague language is made precise, its expressions change in meaning, so an accurate semantic description of the precise language is inaccurate as a description of the vague one. | |
From: Timothy Williamson (Vagueness [1994], 5.1) | |
A reaction: Kind of obvious, really, but it clarifies the nature of any project (starting with Leibniz) to produce a wholly precise language. That is usually seen as a specialist language for science. |
21604 | Supervaluation assigns truth when all the facts are respected [Williamson] |
Full Idea: 'Admissible' interpretations respect all the theoretical and ostensive connections. ...'Supervaluation' is the assignment of truth to the statements true on all admissible valuations, falsity to the false one, and neither to the rest. | |
From: Timothy Williamson (Vagueness [1994], 5.2) | |
A reaction: So 'he is bald' is true if when faced with all observations and definitions it is acceptable. Prima facie, that doesn't sound like a solution to the problem. Supervaluation started in philosophy of science. [p.156 'Admissible seems vague'] |
21607 | Supervaluation has excluded middle but not bivalence; 'A or not-A' is true, even when A is undecided [Williamson] |
Full Idea: The supervaluationist denies bivalence but accepts excluded middle. The statement 'A or not-A' is true on each admissible interpretation, and therefore true, even if 'A' (and hence 'not-A') are true and some and false on others, so neither T nor F. | |
From: Timothy Williamson (Vagueness [1994], 5.2) | |
A reaction: See Ideas 21605 and 21606 for the distinction being used here. Denying bivalence allows 'A' to be neither true nor false. It seems common sense that 'he is either bald or not-bald' is true, without being sure about the disjuncts. |
21608 | Truth-functionality for compound statements fails in supervaluation [Williamson] |
Full Idea: A striking fearure of supervaluations is the failure of truth-functionality for compound statements. | |
From: Timothy Williamson (Vagueness [1994], 5.3) | |
A reaction: Supervaluations has the initial appearance of enhancing classical logic, but turns out to somewhat undermine it. Hence Williamson's lack of sympathy. But see Idea 21610. |
21633 | Nominalists suspect that properties etc are our projections, and could have been different [Williamson] |
Full Idea: The nominalist suspects that properties, relations and states of affairs are mere projections onto the world of our forms of speech. One source of the suspicion is a sense that we could just as well have classified things differently. | |
From: Timothy Williamson (Vagueness [1994], 9.3) | |
A reaction: I know it is very wicked to say so, but I'm afraid I have some sympathy with this view. But I like the primary/secondary distinction, so there is more 'projection' in the latter case. Classification is not random; it is a response to reality. |
21630 | If fuzzy edges are fine, then why not fuzzy temporal, modal or mereological boundaries? [Williamson] |
Full Idea: If objects can have fuzzy spatial boundaries, surely they can have fuzzy temporal, modal or mereological boundaries too. | |
From: Timothy Williamson (Vagueness [1994], 9.2) | |
A reaction: Fair point. I think there is a distinction between parts of the thing, such as its edges, being fuzzy, and the whole thing being fuzzy, in the temporal case. |
6861 | What sort of logic is needed for vague concepts, and what sort of concept of truth? [Williamson] |
Full Idea: The problem of vagueness is the problem of what logic is correct for vague concepts, and correspondingly what notions of truth and falsity are applicable to vague statements (does one need a continuum of degrees of truth, for example?). | |
From: Timothy Williamson (Interview with Baggini and Stangroom [2001], p.153) | |
A reaction: This certainly makes vagueness sound like one of the most interesting problems in all of philosophy, though also one of the most difficult. Williamson's solution is that we may be vague, but the world isn't. |
9602 | Common sense and classical logic are often simultaneously abandoned in debates on vagueness [Williamson] |
Full Idea: The constraints of common sense and classical logic are often simultaneously abandoned in debates on vagueness. | |
From: Timothy Williamson (The Philosophy of Philosophy [2007], After) | |
A reaction: Wiliamson has described himself (in my hearing) as a 'rottweiller realist', but presumably the problem of vagueness interests a lot of people precisely because it pushes us away from common sense and classical logic. |
21632 | A river is not just event; it needs actual and counterfactual boundaries [Williamson] |
Full Idea: A river is not just an event. One would need to specify counterfactual as well as actual boundaries. | |
From: Timothy Williamson (Vagueness [1994], 9.3) | |
A reaction: In other words the same river can change its course a bit, but it can't head off in the opposite direction. |
14625 | Necessity is counterfactually implied by its negation; possibility does not counterfactually imply its negation [Williamson] |
Full Idea: Modal thinking is logically equivalent to a type of counterfactual thinking. ...The necessary is that which is counterfactually implied by its own negation; the possible is that which does not counterfactually imply its own negation. | |
From: Timothy Williamson (Modal Logic within Counterfactual Logic [2010], 1) | |
A reaction: I really like this, because it builds modality on ordinary imaginative thinking. He says you just need to grasp counterfactuals, and also negation and absurdity, and you can then understand necessity and possibility. We can all do that. |
14623 | Strict conditionals imply counterfactual conditionals: □(A⊃B)⊃(A□→B) [Williamson] |
Full Idea: The strict conditional implies the counterfactual conditional: □(A⊃B) ⊃ (A□→B) - suppose that A would not have held without B holding too; then if A had held, B would also have held. | |
From: Timothy Williamson (Modal Logic within Counterfactual Logic [2010], 1) | |
A reaction: [He then adds a reading of his formula in terms of possible worlds] This sounds rather close to modus ponens. If A implies B, and A is actually the case, what have you got? B! |
14624 | Counterfactual conditionals transmit possibility: (A□→B)⊃(◊A⊃◊B) [Williamson] |
Full Idea: The counterfactual conditional transmits possibility: (A□→B) ⊃ (◊A⊃◊B). Suppose that if A had held, B would also have held; the if it is possible for A to hold, it is also possible for B to hold. | |
From: Timothy Williamson (Modal Logic within Counterfactual Logic [2010], 1) |
14531 | Rather than define counterfactuals using necessity, maybe necessity is a special case of counterfactuals [Williamson, by Hale/Hoffmann,A] |
Full Idea: Instead of regarding counterfactuals as conditionals restricted to a range of possible worlds, we can define the necessity operator by means of counterfactuals. Metaphysical necessity is a special case of ordinary counterfactual thinking. | |
From: report of Timothy Williamson (Modal Logic within Counterfactual Logic [2010]) by Bob Hale/ Aviv Hoffmann - Introduction to 'Modality' 2 | |
A reaction: [compressed] I very much like Williamson's approach, of basing these things on the ordinary way that ordinary people think. To me it is a welcome inclusion of psychology into metaphysics, which has been out in the cold since Frege. |
21621 | We can't infer metaphysical necessities to be a priori knowable - or indeed knowable in any way [Williamson] |
Full Idea: The inference from metaphysical necessity to a priori knowlability is, as Kripke has emphasized, fallacious. Indeed, metaphysical necessities cannot be assumed knowable in any way at all. | |
From: Timothy Williamson (Vagueness [1994], 7.4) | |
A reaction: The second sentence sounds like common sense. He cites Goldbach's Conjecture. A nice case of the procedural rule of keeping your ontology firmly separated from your epistemology. How is it? is not How do we know it? |
9598 | Modal thinking isn't a special intuition; it is part of ordinary counterfactual thinking [Williamson] |
Full Idea: The epistemology of metaphysical modality requires no dedicated faculty of intuition. It is simply a special case of the epistemology of counterfactual thinking, a kind of thinking tightly integrated with our thinking about the spatio-temporal world. | |
From: Timothy Williamson (The Philosophy of Philosophy [2007], 5.6) | |
A reaction: This seems to me to be spot-on, though it puts the focus increasingly on the faculty of imagination, as arguably an even more extraordinary feature of brains than the much-vaunted normal consciousness. |
16536 | Williamson can't base metaphysical necessity on the psychology of causal counterfactuals [Lowe on Williamson] |
Full Idea: The psychological mechanism that Williamson proposes as the supposedly reliable source of our knowledge of necessities only seems applicable to counterfactuals that are distinctively causal, not metaphysical, in character. | |
From: comment on Timothy Williamson (The Philosophy of Philosophy [2007]) by E.J. Lowe - What is the Source of Knowledge of Modal Truths? 5 | |
A reaction: My rough impression of Williamson's account is that it is correct but unilluminating. We have to assess necessities by counterfactual thinking, because nothing else is available (apart from evaluating the coherence of the findings). |
9596 | We scorn imagination as a test of possibility, forgetting its role in counterfactuals [Williamson] |
Full Idea: The epistemology of modality often focuses on (and pours scorn on) imagination or conceivability as a test of possibility, while ignoring the role of the imagination in the assessment of mundane counterfactuals. | |
From: Timothy Williamson (The Philosophy of Philosophy [2007], 5.4) | |
A reaction: Good point. I've been guilty of this easy scorn myself. Williamson gives our modal capacities an evolutionary context. What is needed is well-informed imagination, rather than wild fantasy. |
15142 | Our ability to count objects across possibilities favours the Barcan formulas [Williamson] |
Full Idea: Consideration of our ability to count objects across possibilities strongly favour both the Barcan formula and its converse. | |
From: Timothy Williamson (Truthmakers and Converse Barcan Formula [1999], §3) | |
A reaction: I'm not sure that I can understand counting objects across possibilities. The objects themselves are possibilia, and possibilia seem to include unknowns. The unexpected is highly possible. |
18925 | If talking donkeys are possible, something exists which could be a talking donkey [Williamson, by Cameron] |
Full Idea: Williamson's view on modality is that everything that could exist does exist: since there could exist a talking donkey there actually exists some thing that could be a talking donkey. | |
From: report of Timothy Williamson (Modal Logic as Metaphysics [2013], n20) by Ross P. Cameron - Truthmaking for Presentists n20 | |
A reaction: Well that thing certainly isn't me, or Tim Williamson. I'm guessing that the thing is an actual donkey, probably a rather bright one. Actually, I think this is one of those views that invites the incredulous stare. (Barcan formulae). |
21627 | We have inexact knowledge when we include margins of error [Williamson] |
Full Idea: Inexact knowledge is a widespread and easily recognised cognitive phenomenon, whose underlying nature turns out to be characterised by the holding of margin of error principles. | |
From: Timothy Williamson (Vagueness [1994], 8.3) | |
A reaction: Williamson is invoking this as a tool in developing his epistemic view of vagueness. It obviously invites the question of how it can be knowledge if error is a possibility. A very large margin of error would obviously invalidate it. |
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'. |
4760 | Belief aims at knowledge (rather than truth), and mere believing is a kind of botched knowing [Williamson] |
Full Idea: Knowing is the best kind of believing. Mere believing is a kind of botched knowing. In short, belief aims at knowledge (not just truth). | |
From: Timothy Williamson (Knowledge and its Limits [2000], §1.5) | |
A reaction: The difference between aiming at truth and aiming at knowledge has to be in the justificiation, so beliefs aim to be justified. Believers always aim at truth, but they can be strikingly relaxed about justification. |
19512 | Don't analyse knowledge; use knowledge to analyse other concepts in epistemology [Williamson, by DeRose] |
Full Idea: Williamson says that instead of being viewed as a concept to be analysed, knowledge should be seen as something useful in the analysis of all sorts of other concepts to epistemology - and to philosophy of mind as well. | |
From: report of Timothy Williamson (Knowledge and its Limits [2000]) by Keith DeRose - The Case for Contextualism 1.8 | |
A reaction: I just don't believe this, because knowledge is obviously a complex state of mind, which invites breaking it down into ingredients. How could knowledge possibly be prior to truth? |
19528 | Knowledge is prior to believing, just as doing is prior to trying to do [Williamson] |
Full Idea: Knowing corresponds to doing, believing to trying. Just as trying is naturally understood in relation to doing, so believing is naturally understood in relation to knowing. | |
From: Timothy Williamson (Knowledge First (and reply) [2014], p.4) | |
A reaction: An interesting analogy. You might infer that there can be no concept of 'belief' without the concept of 'knowledge', but we could say that it is 'truth' which is indispensible, and leave out knowledge entirely. Belief is to truth as trying is to doing? |
19527 | We don't acquire evidence and then derive some knowledge, because evidence IS knowledge [Williamson] |
Full Idea: When we acquire new evidence in perception, we do not first acquire unknown evidence and then somehow base knowledge on it later. Rather, acquiring new is evidence IS acquiring new knowledge. | |
From: Timothy Williamson (Knowledge First (and reply) [2014], p.4) | |
A reaction: This makes his point much better than Idea 19526 does. |
19529 | Belief explains justification, and knowledge explains belief, so knowledge explains justification [Williamson] |
Full Idea: If justification is the fundamental epistemic norm of belief, and a belief ought to constitute knowledge, then justification should be understood in terms of knowledge too. | |
From: Timothy Williamson (Knowledge First (and reply) [2014], p.5) | |
A reaction: If we are looking for the primitive norm which motivates the whole epistemic game, then I am thinking that truth might well play that role better than knowledge. TW would have to reply that it is the 'grasped truth', rather than the 'theoretical truth'. |
19536 | Knowledge-first says your total evidence IS your knowledge [Williamson] |
Full Idea: Knowledge-first equate one's total evidence with one's total knowledge. | |
From: Timothy Williamson (Knowledge First (and reply) [2014], p.8) | |
A reaction: Couldn't lots of evidence which merely had a high probability be combined together to give a state we would call 'knowledge'? Many dubious witnesses confirm the truth, as long as they are independent, and agree. |
19530 | A neutral state of experience, between error and knowledge, is not basic; the successful state is basic [Williamson] |
Full Idea: A neutral state covering both perceiving and misperceiving (or remembering and misrembering) is not somehow more basic than perceiving, for what unifies the case of each neutral state is their relation to the successful state. | |
From: Timothy Williamson (Knowledge First (and reply) [2014], p.5-6) | |
A reaction: An alternative is Disjunctivism, which denies the existence of a single neutral state, so that there is nothing to unite the two states, and they don't have a dependence relation. Why can't there be a prior family of appearances, some of them successful? |
19531 | Internalism about mind is an obsolete view, and knowledge-first epistemology develops externalism [Williamson] |
Full Idea: A postulated underlying layer of narrow mental states is a myth, whose plausibility derives from a comfortingly familiar but obsolescent philosophy of mind. Knowledge-first epistemology is a further step in the development of externalism. | |
From: Timothy Williamson (Knowledge First (and reply) [2014], p.6) | |
A reaction: Williamson is a real bruiser, isn't he? I don't take internalism about mind to be obsolescent at all, but now I feel so inferior for clinging to such an 'obsolescent' belief. ...But then I cling to Aristotle, who is (no doubt) an obsolete philosopher. |
19526 | Surely I am acquainted with physical objects, not with appearances? [Williamson] |
Full Idea: When I ask myself what I am acquainted with, the physical objects in front of me are far more natural candidates than their appearances. | |
From: Timothy Williamson (Knowledge First (and reply) [2014], p.3) | |
A reaction: Not very impressive. The word 'acquainted' means the content of the experience, not the phenomena. Do I 'experience' the objects, or the appearances? The answer there is less obvious. If you apply it to colours, it is even less obvious. |
9597 | There are 'armchair' truths which are not a priori, because experience was involved [Williamson] |
Full Idea: There is extensive 'armchair knowledge' in which experience plays no strictly evidential role, but it may not fit the stereotype of the a priori, because the contribution of experience was more than enabling, such as armchair truths about our environment. | |
From: Timothy Williamson (The Philosophy of Philosophy [2007], 5.5) | |
A reaction: Once this point is conceded we have no idea where to draw the line. Does 'if it is red it can't be green' derive from experience? I think it might. |
6860 | How can one discriminate yellow from red, but not the colours in between? [Williamson] |
Full Idea: If one takes a spectrum of colours from yellow to red, it might be that given a series of colour samples along that spectrum, each sample is indiscriminable by the naked eye from the next one, though samples at either end are blatantly different. | |
From: Timothy Williamson (Interview with Baggini and Stangroom [2001], p.151) | |
A reaction: This seems like a nice variant of the Sorites paradox (Idea 6008). One could demonstrate it with just three samples, where A and C seemed different from each other, but other comparisons didn't. |
9592 | Intuition is neither powerful nor vacuous, but reveals linguistic or conceptual competence [Williamson] |
Full Idea: Crude rationalists postulate a special knowledge-generating faculty of rational intuition. Crude empiricists regard intuition as an obscurantist term of folk psychology. Linguistic/conceptual philosophy says it reveals linguistic or conceptual competence. | |
From: Timothy Williamson (The Philosophy of Philosophy [2007], Intro) | |
A reaction: Kripke seems to think that it is the basis of logical competence. I would use it as a blank term for any insight in which we have considerable confidence, and yet are unable to articulate its basis; roughly, for rational thought that evades logic. |
20181 | When analytic philosophers run out of arguments, they present intuitions as their evidence [Williamson] |
Full Idea: 'Intuition' plays a major role in contemporary analytic philosophy's self-understanding. ...When contemporary analytic philosophers run out of arguments, they appeal to intuitions. ...Thus intuitions are presented as our evidence in philosophy. | |
From: Timothy Williamson (The Philosophy of Philosophy [2007], p.214-5), quoted by Herman Cappelen - Philosophy without Intuitions 01.1 | |
A reaction: Williamson says we must investigate this 'scandal', but Cappelen's book says analytic philosophy does not rely on intuition. |
21626 | Knowing you know (KK) is usually denied if the knowledge concept is missing, or not considered [Williamson] |
Full Idea: The failure of the KK principle is not news. The standard counterexamples involve knowing subjects who lack the concept of knowledge, or have not reflected on their knowledge, and therefore do not know that they know. | |
From: Timothy Williamson (Vagueness [1994], 8.2) | |
A reaction: There is also the timid but knowledgeable pupil, who can't believe they know so much. The simplest case would be if we accept that animals know lots of things, but are largely devoid of any metathinking. |
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. |
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. |
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. |
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') |
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') |
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') |
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. |
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. |
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. |
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'. |
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') |
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. |
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. |
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. |
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') |
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? |
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. |
14628 | Imagination is important, in evaluating possibility and necessity, via counterfactuals [Williamson] |
Full Idea: Imagination can be made to look cognitively worthless. Once we recall its fallible but vital role in evaluating counterfactual conditionals, we should be more open to the idea that it plays such a role in evaluating claims of possibility and necessity. | |
From: Timothy Williamson (Modal Logic within Counterfactual Logic [2010], 6) | |
A reaction: I take this to be a really important idea, because it establishes the importance of imagination within the formal framework of modern analytic philosopher (rather than in the whimsy of poets and dreamers). |
21631 | To know, believe, hope or fear, one must grasp the thought, but not when you fail to do them [Williamson] |
Full Idea: To know, believe, hope, or fear that A, one must grasp the thought that A. In contrast, to fail to know, believe, hope or fear that A, one need not grasp the thought that A. | |
From: Timothy Williamson (Vagueness [1994], 9.3 c) | |
A reaction: A simple point, which at least shows that propositional attitudes are a two-stage operation. |
21600 | 'Blue' is not a family resemblance, because all the blues resemble in some respect [Williamson] |
Full Idea: 'Blue' is vague by some standards, for it has borderline cases, but that does not make it a family resemblance term, for all the shades of blue resemble each other in some respect. | |
From: Timothy Williamson (Vagueness [1994], 3.3) | |
A reaction: Presumably the point of family resemblance is that fringe members as still linked to the family, despite having lost the main features. A bit of essentialism seems needed here. |
9595 | You might know that the word 'gob' meant 'mouth', but not be competent to use it [Williamson] |
Full Idea: Someone who acquires the word 'gob' just by being reliably told that it is synonymous with 'mouth' knows what 'gob' means without being fully competent to use it. | |
From: Timothy Williamson (The Philosophy of Philosophy [2007], 4.7) | |
A reaction: Not exactly an argument against meaning-as-use, but a very nice cautionary example to show that 'knowing the meaning' of a word may be a rather limited, and dangerous, achievement. |
21615 | References to the 'greatest prime number' have no reference, but are meaningful [Williamson] |
Full Idea: The predicate 'is a prime number greater than all other prime numbers' is necessarily not true of anything, but it is not semantically defective, for it occurs in sentences that constitute a sound proof that there is no such number. | |
From: Timothy Williamson (Vagueness [1994], 6.2) | |
A reaction: One might reply that the description can be legitimately mentioned, but not legitimately used. |
18038 | The 't' and 'f' of formal semantics has no philosophical interest, and may not refer to true and false [Williamson] |
Full Idea: In a formal semantics we can label two properties 't' and 'f' and suppose that some sentences have neither (or both). Such a manoeuvre shows nothing of philosophical interest. No connection has been made between 't' and 'f' and truth and falsity. | |
From: Timothy Williamson (Vagueness [1994], 7.2) | |
A reaction: This is right, and means there is a huge gulf between 'formal' semantics (which could be implemented on a computer), and seriously interesting semantics about how language refers to and describes the world. |
19534 | How does inferentialism distinguish the patterns of inference that are essential to meaning? [Williamson] |
Full Idea: Inferentialism faces the grave problem of separating patterns of inference that are to count as essential to the meaning of an expression from those that will count as accidental (a form of the analytic/synthetic distinction). | |
From: Timothy Williamson (Knowledge First (and reply) [2014], p.6) | |
A reaction: This sounds like a rather persuasive objection to inferentialism, though I don't personally take that as a huge objection to all internalist semantics. |
19535 | Internalist inferentialism has trouble explaining how meaning and reference relate [Williamson] |
Full Idea: The internalist version of inferentialist semantics has particular difficulty in establishing an adequate relation between meaning and reference. | |
From: Timothy Williamson (Knowledge First (and reply) [2014], p.6) | |
A reaction: I would have thought that this was a big problem for referentialist semantics too, though evidently Williamson doesn't think so. If he is saying that the meaning is in the external world, dream on. |
19533 | Inferentialist semantics relies on internal inference relations, not on external references [Williamson] |
Full Idea: On internalist inferential (or conceptual role) semantics, the inferential relations of an expression do not depend on what, if anything, it refers to, ...rather, the meaning is something like its place in a web of inferential relations. | |
From: Timothy Williamson (Knowledge First (and reply) [2014], p.6) | |
A reaction: Williamson says the competition is between externalist truth-conditional referential semantics (which he favours), and this internalist inferential semantics. He is, like, an expert, of course, but I doubt whether that is the only internalist option. |
19532 | Truth-conditional referential semantics is externalist, referring to worldly items [Williamson] |
Full Idea: Truth-conditional referential semantics is an externalist programme. In a context of utterance the atomic expressions of a language refer to worldly items, from which the truth-conditions of sentences are compositionally determined. | |
From: Timothy Williamson (Knowledge First (and reply) [2014], p.6) | |
A reaction: I just don't see how a physical object can be part of the contents of a sentence. 'Dragons fly' is atomic, and meaningful, but its reference fails. 'The cat is asleep' is just words - it doesn't contain a live animal. |
21624 | It is known that there is a cognitive loss in identifying propositions with possible worlds [Williamson] |
Full Idea: It is well known that when a proposition is identified with the set of possible worlds at which it is true, a region in the space of possible worlds, cognitively significant distinctions are lost. | |
From: Timothy Williamson (Vagueness [1994], 7.6) | |
A reaction: Alas, he doesn't specify which distinctions get lost, so this is just a pointer. It would seem likely that two propositions could have identical sets of possible worlds, while not actually saying the same thing. Equilateral/equiangular. |
19216 | Propositions (such as 'that dog is barking') only exist if their items exist [Williamson] |
Full Idea: A proposition about an item exists only if that item exists... how could something be the proposition that that dog is barking in circumstances in which that dog does not exist? | |
From: Timothy Williamson (Necessary Existents [2002], p.240), quoted by Trenton Merricks - Propositions | |
A reaction: This is a view of propositions I can't make sense of. If I'm under an illusion that there is a dog barking nearby, when there isn't one, can I not say 'that dog is barking'? If I haven't expressed a proposition, what have I done? |
9600 | If languages are intertranslatable, and cognition is innate, then cultures are all similar [Williamson] |
Full Idea: Given empirical evidence for the approximate intertranslatability of all human languages, and a universal innate basis of human cognition, we may wonder how 'other' any human culture really is. | |
From: Timothy Williamson (The Philosophy of Philosophy [2007], 8.1) | |
A reaction: This seems to be a fairly accurate account of the situation. In recent centuries people seem to have been over-impressed by superficial differences in cultural behaviour, but we increasingly see the underlying identity. |
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? |
15133 | A thing can't be the only necessary existent, because its singleton set would be as well [Williamson] |
Full Idea: That there is just one necessary existent is surely false, for if x is a necessary, {x} is a distinct necessary existent. | |
From: Timothy Williamson (Truthmakers and Converse Barcan Formula [1999], §1) | |
A reaction: You would have to believe that sets actually 'exist' to accept this, but it is a very neat point. |