49 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. |
| 16943 | Philosophy is continuous with science, and has no external vantage point [Quine] |
| Full Idea: I see philosophy not as an a priori propaedeutic or groundwork for science, but as continuous with science. I see philosophy and science as in the same boat. …There is no external vantage point, no first philosophy. | |
| From: Willard Quine (Natural Kinds [1969], p.126) | |
| A reaction: Philosophy is generalisation. Science holds the upper hand, because it settles the subject-matter to be generalised. |
| 19215 | Arguers often turn the opponent's modus ponens into their own modus tollens [Merricks] |
| Full Idea: There is a seasoned method of turning your opponent's modus ponens into your own modus tollens. | |
| From: Trenton Merricks (Propositions [2015], 5.VII) | |
| A reaction: That is, they say 'if he's coming he'll be hear by now, and he's definitely coming', to which you say 'I'm afraid he's not here, so he obviously isn't coming after all'. They say if-A-then-B, and A, so B. You say not-B, so you're wrong about A. |
| 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. |
| 19205 | 'Snow is white' only contingently expresses the proposition that snow is white [Merricks] |
| Full Idea: It is contingently true that 'snow is white' expresses the proposition that snow is white. | |
| From: Trenton Merricks (Propositions [2015], 1.V n14) | |
| A reaction: Tarski stuck to sentences, but Merricks rightly argues that truth concerns propositions, not sentences. Sentences are subservient entities - mere tools used to express what matters, which is our thoughts (say I). |
| 19209 | Simple Quantified Modal Logc doesn't work, because the Converse Barcan is a theorem [Merricks] |
| Full Idea: Logical consequence guarantees preservation of truth. The Converse Barcan, a theorem of Simple Quantified Modal Logic, says that an obvious truth implies an obvious falsehood. So SQML gets logical consequence wrong. So SQML is mistaken. | |
| From: Trenton Merricks (Propositions [2015], 2.V) | |
| A reaction: I admire this. The Converse Barcan certainly strikes me as wrong (Idea 19208). Merricks grasps this nettle. Williamson grasps the other nettle. Most people duck the issue, I suspect. Merricks says later that domains are the problem. |
| 19208 | The Converse Barcan implies 'everything exists necessarily' is a consequence of 'necessarily, everything exists' [Merricks] |
| Full Idea: The Converse Barcan Formula has a startling result. Simple Quantified Modal Logic (SQML) has the following as a theorem: □∀xFx → ∀x□Fx. So 'everything exists necessarily' is a consequence of 'necessarily, everything exists'. | |
| From: Trenton Merricks (Propositions [2015], 2.V) | |
| A reaction: He says this is blatantly wrong. Williamson is famous for defending it. I think I'm with Merricks on this one. |
| 19207 | Sentence logic maps truth values; predicate logic maps objects and sets [Merricks] |
| Full Idea: The models for sentential logic map sentences to truth-values. The models for predicate logic map parts of sentences to objects and sets. | |
| From: Trenton Merricks (Propositions [2015], 2.II) | |
| A reaction: Logic books rarely tell you important things like this. That is why this database is so incredibly important! You will never understand the subject if you don't collect together the illuminating asides of discussion. They say it all so much more simply. |
| 16949 | Klein summarised geometry as grouped together by transformations [Quine] |
| Full Idea: Felix Klein's so-called 'Erlangerprogramm' in geometry involved characterizing the various branches of geometry by what transformations were irrelevant to each. | |
| From: Willard Quine (Natural Kinds [1969], p.137) |
| 16939 | Mass terms just concern spread, but other terms involve both spread and individuation [Quine] |
| Full Idea: 'Yellow' and 'water' are mass terms, concerned only with spread; 'apple' and 'square' are terms of divided reference, concerned with both spread and individuation. | |
| From: Willard Quine (Natural Kinds [1969], p.124) | |
| A reaction: Would you like some apple? Pass me that water. It is helpful to see that it is a requirement of 'individuation' that is missing from terms for stuff. |
| 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. |
| 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'. |
| 16948 | Once we know the mechanism of a disposition, we can eliminate 'similarity' [Quine] |
| Full Idea: Once we can legitimize a disposition term by defining the relevant similarity standard, we are apt to know the mechanism of the disposition, and so by-pass the similarity. | |
| From: Willard Quine (Natural Kinds [1969], p.135) | |
| A reaction: I love mechanisms, but can we characterise mechanisms without mentioning powers and dispositions? Quine's dream is to eliminate 'similarity'. |
| 16945 | We judge things to be soluble if they are the same kind as, or similar to, things that do dissolve [Quine] |
| Full Idea: Intuitively, what qualifies a thing as soluble though it never gets into water is that it is of the same kind as the things that actually did or will dissolve; it is similar to them. | |
| From: Willard Quine (Natural Kinds [1969], p.130) | |
| A reaction: If you can judge that the similar things 'will' dissolve, you can cut to the chase and judge that this thing will dissolve. |
| 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. |
| 19214 | In twinning, one person has the same origin as another person [Merricks] |
| Full Idea: Origin essentialists claim that parental union results in a person, and that person could not have resulted from any other union. However, if the fertilised egg undergoes twinning, at least one of the resultant persons is not the original person. | |
| From: Trenton Merricks (Propositions [2015], 5.V) | |
| A reaction: Merricks says that therefore that origin could have just produced the second twin, rather than the original person. This is interesting, but doesn't seem to threaten the necessity of origin thesis. Once I'm here, I have that origin, despite my twin. |
| 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. |
| 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. |
| 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. |
| 16944 | Science is common sense, with a sophisticated method [Quine] |
| Full Idea: Sciences differ from common sense only in the degree of methodological sophistication. | |
| From: Willard Quine (Natural Kinds [1969], p.129) | |
| A reaction: Science is normal thinking about the world, but it is teamwork, with the bar set very high. |
| 16940 | Induction is just more of the same: animal expectations [Quine] |
| Full Idea: Induction is essentially only more of the same: animal expectation or habit formation. | |
| From: Willard Quine (Natural Kinds [1969], p.125) | |
| A reaction: My working definition of induction is 'learning from experience', but that doesn't disagree with Quine. Lipton has a richer account of different types of induction. Quine's point is that it rests on resemblance. |
| 16941 | Induction relies on similar effects following from each cause [Quine] |
| Full Idea: Induction expresses our hopes that similar causes will have similar effects. | |
| From: Willard Quine (Natural Kinds [1969], p.125) | |
| A reaction: Some top philosophers are also top teachers, and Quine was one of them, in his writings. He boils it down for the layman. Once again, he is pointing to the fundamental role of the similarity relation. |
| 16933 | Grue is a puzzle because the notions of similarity and kind are dubious in science [Quine] |
| Full Idea: What makes Goodman's example a puzzle is the dubious scientific standing of a general notion of similarity, or of kind. | |
| From: Willard Quine (Natural Kinds [1969], p.116) | |
| A reaction: Illuminating. It might be best expressed as revealing a problem with sortal terms, as employed by Geach, or by Wiggins. Grue is a bit silly, but sortals are subject to convention and culture. 'Natural' properties seem needed. |
| 16934 | General terms depend on similarities among things [Quine] |
| Full Idea: The usual general term, whether a common noun or a verb or an adjective, owes its generality to some resemblance among the things referred to. | |
| From: Willard Quine (Natural Kinds [1969], p.116) | |
| A reaction: Quine has a nice analysis of the basic role of similarity in a huge amount of supposedly strict scientific thought. |
| 16938 | To learn yellow by observation, must we be told to look at the colour? [Quine] |
| Full Idea: According to the 'respects' view, our learning of yellow by ostension would have depended on our first having been told or somehow apprised that it was going to be a question of color. | |
| From: Willard Quine (Natural Kinds [1969], p.122) | |
| A reaction: Quine suggests there is just one notion of similarity, and respects can be 'abstracted' afterwards. Even the ontologically ruthless Quine admits psychological abstraction! |
| 8486 | Standards of similarity are innate, and the spacing of qualities such as colours can be mapped [Quine] |
| Full Idea: A standard of similarity is in some sense innate. The spacing of qualities (such as red, pink and blue) can be explored and mapped in the laboratory by experiments. They are needed for all learning. | |
| From: Willard Quine (Natural Kinds [1969], p.123) | |
| A reaction: This reasserts Hume's original point in more scientific terms. It is one of the undeniable facts about our perceptions of qualities and properties, no matter how platonist your view of universals may be. |
| 16947 | Similarity is just interchangeability in the cosmic machine [Quine] |
| Full Idea: Things are similar to the extent that they are interchangeable parts of the cosmic machine. | |
| From: Willard Quine (Natural Kinds [1969], p.134) | |
| A reaction: This is a major idea for Quine, because it is a means to gradually eliminate the fuzzy ideas of 'resemblance' or 'similarity' or 'natural kind' from science. I love it! Two tigers are same insofar as they are substitutable. |
| 19217 | I don't accept that if a proposition is directly about an entity, it has a relation to the entity [Merricks] |
| Full Idea: The Aboutness Assumption says that necessarily, if a proposition is directly about an entity, then that proposition stands in a relation to the entity. I shall argue that the Assumption is false. | |
| From: Trenton Merricks (Propositions [2015], 5.VII) | |
| A reaction: This feels sort of right, though the nature of aboutness remains elusive. He cites denials of existence. I take speech to be fairly internal, even though its main role is communication. Maybe its a Cambridge relation, as far as the entity is concerned. |
| 19203 | A sentence's truth conditions depend on context [Merricks] |
| Full Idea: A sentence has truth conditions only in a context of use. And the truth conditions of many sentences can differ from one context of use to another (as in 'I am a philosopher'). | |
| From: Trenton Merricks (Propositions [2015], 1.II) | |
| A reaction: He is building a defence of propositions, because they are eternal, and have their truth conditions essentially. I too am a fan of propositions. |
| 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. |
| 16932 | Projectible predicates can be universalised about the kind to which they refer [Quine] |
| Full Idea: 'Projectible' predicates are predicates F and G whose shared instances all do count, for whatever reason, towards confirmation of 'All F are G'. ….A projectible predicate is one that is true of all and only the things of a kind. | |
| From: Willard Quine (Natural Kinds [1969], p.115-6) | |
| A reaction: Both Quine and Goodman are infuriatingly brief about the introduction of this concept. 'Red' is true of all ripe tomatoes, but not 'only' of them. Hardly any predicates are true only of one kind. Is that a scholastic 'proprium'? |
| 19200 | Propositions are standardly treated as possible worlds, or as structured [Merricks] |
| Full Idea: The thesis that propositions are sets of possible worlds is one of the two leading accounts of the nature of propositions. The other leading account endorses structured propositions. | |
| From: Trenton Merricks (Propositions [2015], Intro) | |
| A reaction: Merricks sets out to reject both main views. I take the idea that propositions actually are sets of possible worlds to be ridiculous (though they may offer a way of modelling them). The idea that they have no structure at all strikes me as odd. |
| 19206 | 'Cicero is an orator' represents the same situation as 'Tully is an orator', so they are one proposition [Merricks] |
| Full Idea: The proposition expressed by 'Cicero is an orator' represents things as being exactly the same way as does the proposition expressed by 'Tully is an orator'. Hence two sentences express the same proposition. Fregeans about names deny this. | |
| From: Trenton Merricks (Propositions [2015], 2.II) | |
| A reaction: Merricks makes the situation in the world fix the contents of the proposition. I don't agree. I would expand the first proposition as 'The person I know as 'Cicero' was an orator', but I might never have heard of 'Tully'. |
| 19202 | Propositions are necessary existents which essentially (but inexplicably) represent things [Merricks] |
| Full Idea: My account says that each proposition is a necessary existent that essentially represents things as being a certain way, ...and there is no explanation of how propositions do that. | |
| From: Trenton Merricks (Propositions [2015], Intro) | |
| A reaction: Since I take propositions to be brain events, I don't expect much of an explanation either. The idea that propositions necessarily exist strikes me as false. If there were no minds, there would have been no propositions. |
| 19204 | True propositions existed prior to their being thought, and might never be thought [Merricks] |
| Full Idea: 1,000 years ago, no sentence had ever expressed, and no one had believed, the true proposition 'a water molecule has two hydrogen and one oxygen atoms'. There are surely true propositions that have never been, and never will be, expressed or believed. | |
| From: Trenton Merricks (Propositions [2015], 1.V) | |
| A reaction: 'Surely'? Surely not! How many propositions exist? Where do they exist? What are they made of? If they already exist when we think them, how do we tune into them? When did his example come into existence? Before water did? No! No! |
| 19210 | The standard view of propositions says they never change their truth-value [Merricks] |
| Full Idea: The standard view among philosophers nowadays seems to be that propositions do not and even cannot change in truth-value. But my own view is that some propositions can, and do, change in truth value. | |
| From: Trenton Merricks (Propositions [2015], 3.VII) | |
| A reaction: He gives 'that A sits' as an example of one which can change, though 'that A sits at time t' cannot change. I take Merricks to be obviously right, and cannot get my head round the 'standard' view. What on earth do they think a proposition is? |
| 19201 | Propositions can be 'about' an entity, but that doesn't make the entity a constituent of it [Merricks] |
| Full Idea: If a singular proposition is 'directly about' an entity, I argue that a singular proposition does not have the entity that it is directly about as a constituent. | |
| From: Trenton Merricks (Propositions [2015], Intro) | |
| A reaction: This opposes the view of the early Russell, that propositions actually contain the entities they are about, thus making propositions real features of the external world. I take that view of Russell's to be absurd. |
| 19211 | Early Russell says a proposition is identical with its truthmaking state of affairs [Merricks] |
| Full Idea: I describe Russell's 1903 account of propositions as the view that each proposition is identical with the state of affairs that makes that proposition true. That is, a proposition is identical with its 'truthmaking' state of affairs. | |
| From: Trenton Merricks (Propositions [2015], 4.II) | |
| A reaction: Russell soon gave this view up (false propositions proving tricky), and I'm amazed anyone takes it seriously. I take it as axiomatic that if there were no minds there would be no propositions. Was the Big Bang a set of propositions? |
| 19212 | Unity of the proposition questions: what unites them? can the same constituents make different ones? [Merricks] |
| Full Idea: What binds the constituents of a structured proposition together into a single unity, a proposition? Can the very same constituents constitute two distinct propositions? These are questions about 'the unity of the proposition'. | |
| From: Trenton Merricks (Propositions [2015], 4.II) | |
| A reaction: Merricks solves it by saying propositions have no structure. The problem is connected to the nature of predication (instantiation, partaking). You can't just list objects and their properties. Objects are united, and thus propositions are too. |
| 19213 | We want to explain not just what unites the constituents, but what unites them into a proposition [Merricks] |
| Full Idea: A successful account of the unity of the proposition tells us what unites the relevant constituents not merely into some entity or other, but into a proposition. | |
| From: Trenton Merricks (Propositions [2015], 4.X) | |
| A reaction: Merrickes takes propositions to be unanalysable unities, but their central activity is representation, so if they needed uniting, that would be the place to look. Some people say that we unite our propositions. Others say the world does. I dunno. |
| 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. |
| 7375 | Quine probably regrets natural kinds now being treated as essences [Quine, by Dennett] |
| Full Idea: The concept of natural kinds was reintroduced by Quine, who may now regret the way it has become a stand-in for the dubious but covertly popular concept of essences. | |
| From: report of Willard Quine (Natural Kinds [1969]) by Daniel C. Dennett - Consciousness Explained 12.2 n2 | |
| A reaction: He is right that Quine would regret it, and he is right that we can't assume that there are necessary essences just because there seem to be stable natural kinds, but personally I am an essentialist, so I'm not that bothered. |
| 16935 | If similarity has no degrees, kinds cannot be contained within one another [Quine] |
| Full Idea: If similarity has no degrees there is no containing of kinds within broader kinds. If colored things are a kind, they are similar, but red things are too narrow for a kind. If red things are a kind, colored things are not similar, and it's too broad. | |
| From: Willard Quine (Natural Kinds [1969], p.118) | |
| A reaction: [compressed] I'm on Quine's side with this. We glibly talk of 'kinds', but the criteria for sorting things into kinds seems to be a mess. Quine goes on to offer a better account than the (diadic, yes-no) one rejected here. |
| 16936 | Comparative similarity allows the kind 'colored' to contain the kind 'red' [Quine] |
| Full Idea: With the triadic relation of comparative similarity, kinds can contain one another, as well as overlapping. Red and colored things can both count as kinds. Colored things all resemble one another, even though less than red things do. | |
| From: Willard Quine (Natural Kinds [1969], p.119) | |
| A reaction: [compressed] Quine claims that comparative similarity is necessary for kinds - that there be some 'foil' in a similarity - that A is more like C than B is. |
| 16937 | You can't base kinds just on resemblance, because chains of resemblance are a muddle [Quine] |
| Full Idea: If kinds are based on similarity, this has the Imperfect Community problem. Red round, red wooden and round wooden things all resemble one another somehow. There may be nothing outside the set resembling them, so it meets the definition of kind. | |
| From: Willard Quine (Natural Kinds [1969], p.120) | |
| A reaction: [ref. to Goodman 'Structure' 2nd 163- , which attacks Carnap on this] This suggests an invocation of Wittgenstein's family resemblance, which won't be much help for natural kinds. |
| 16942 | It is hard to see how regularities could be explained [Quine] |
| Full Idea: Why there have been regularities is an obscure question, for it is hard to see what would count as an answer. | |
| From: Willard Quine (Natural Kinds [1969], p.126) | |
| A reaction: This is the standard pessimism of the 20th century Humeans, but it strikes me as comparable to the pessimism about science found in Locke and Hume. Regularities are explained all the time by scientists, though the lowest level may be hopeless. |