Combining Texts

All the ideas for 'Natural Kinds', 'Two Dogmas of Empiricism' and 'Goodbye Descartes'

unexpand these ideas     |    start again     |     specify just one area for these texts


61 ideas

1. Philosophy / B. History of Ideas / 5. Later European Thought
Logic was merely a branch of rhetoric until the scientific 17th century [Devlin]
     Full Idea: Until the rise of what we call the scientific method in the seventeenth century, logic was regarded largely as one aspect of rhetoric - a study of how one person't argument could convince another.
     From: Keith Devlin (Goodbye Descartes [1997], Ch.11)
     A reaction: This may well give the main reason why the Greeks invented logic in the first place. Aristotle wrote a book on rhetoric, and that was where the money was. Leibniz is clearly a key figure in the change of attitude.
1. Philosophy / E. Nature of Metaphysics / 3. Metaphysical Systems
Any statement can be held true if we make enough adjustment to the rest of the system [Quine]
     Full Idea: Any statement can be held true come what may, if we make drastic enough adjustments elsewhere in the system.
     From: Willard Quine (Two Dogmas of Empiricism [1953], p.43)
1. Philosophy / G. Scientific Philosophy / 3. Scientism
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.
2. Reason / D. Definition / 1. Definitions
Definition rests on synonymy, rather than explaining it [Quine]
     Full Idea: Definition rests on synonymy, rather than explaining it.
     From: Willard Quine (Two Dogmas of Empiricism [1953], p.26)
4. Formal Logic / A. Syllogistic Logic / 2. Syllogistic Logic
'No councillors are bankers' and 'All bankers are athletes' implies 'Some athletes are not councillors' [Devlin]
     Full Idea: Most people find it hard to find any conclusion that fits the following premises: 'No councillors are bankers', and 'All bankers are athletes'. There is a valid conclusion ('Some athletes are not councillors') but it takes quite an effort to find it.
     From: Keith Devlin (Goodbye Descartes [1997], Ch. 2)
     A reaction: A nice illustration of the fact that syllogistic logic is by no means automatic and straightforward. There is a mechanical procedure, but a lot of intuition and common sense is also needed.
4. Formal Logic / B. Propositional Logic PL / 1. Propositional Logic
Modern propositional inference replaces Aristotle's 19 syllogisms with modus ponens [Devlin]
     Full Idea: Where Aristotle had 19 different inference rules (his valid syllogisms), modern propositional logic carries out deductions using just one rule of inference: modus ponens.
     From: Keith Devlin (Goodbye Descartes [1997], Ch. 4)
     A reaction: At first glance it sounds as if Aristotle's guidelines might be more useful than the modern one, since he tells you something definite and what implies what, where modus ponens just seems to define the word 'implies'.
4. Formal Logic / B. Propositional Logic PL / 2. Tools of Propositional Logic / e. Axioms of PL
Predicate logic retains the axioms of propositional logic [Devlin]
     Full Idea: Since predicate logic merely extends propositional logic, all the axioms of propositional logic are axioms of predicate logic.
     From: Keith Devlin (Goodbye Descartes [1997], Ch. 4)
     A reaction: See Idea 7798 for the axioms.
5. Theory of Logic / A. Overview of Logic / 1. Overview of Logic
Situation theory is logic that takes account of context [Devlin]
     Full Idea: In many respects, situation theory is an extension of classical logic that takes account of context.
     From: Keith Devlin (Goodbye Descartes [1997], Ch. 8)
     A reaction: John Barwise is cited as the parent of this movement. Many examples show that logical form is very hard to pin down, because word-meaning depends on context (e.g. 'several crumbs' differs from 'several mountains').
5. Theory of Logic / A. Overview of Logic / 2. History of Logic
Montague's intensional logic incorporated the notion of meaning [Devlin]
     Full Idea: Montague's intensional logic was the first really successful attempt to develop a mathematical framework that incorporates the notion of meaning.
     From: Keith Devlin (Goodbye Descartes [1997], Ch. 8)
     A reaction: Previous logics, led by Tarski, had flourished by sharply dividing meaning from syntax, and concentrating on the latter.
Golden ages: 1900-1960 for pure logic, and 1950-1985 for applied logic [Devlin]
     Full Idea: The period from 1900 to about 1960 could be described as the golden age of 'pure' logic, and 1950 to 1985 the golden age of 'applied' logic (e.g. applied to everyday reasoning, and to theories of language).
     From: Keith Devlin (Goodbye Descartes [1997], Ch. 4)
     A reaction: Why do we always find that we have just missed the Golden Age? However this supports the uneasy feeling that the golden age for all advances in human knowledge is just coming to an end. Biology, including the brain, is the last frontier.
5. Theory of Logic / B. Logical Consequence / 7. Strict Implication
Where a conditional is purely formal, an implication implies a link between premise and conclusion [Devlin]
     Full Idea: Implication involves some form of link or causality between the antecedent and the consequent of an if-then; normally it says that the conclusion is a consequence of the premise (where conditionals are just defined by 'true' and 'false').
     From: Keith Devlin (Goodbye Descartes [1997], Ch. 2)
     A reaction: This distinction is a key one when discussing 'If-then' sentences. Some are merely formal conditionals, but others make real claims about where you can get to from where you are.
5. Theory of Logic / E. Structures of Logic / 1. Logical Form
Sentences of apparent identical form can have different contextual meanings [Devlin]
     Full Idea: "Safety goggles must be worn in the building" is clear enough, but "dogs must always be carried on the escalator" doesn't require us to head off in search of a dog.
     From: Keith Devlin (Goodbye Descartes [1997], Ch. 1)
     A reaction: A nice illustration of how the requirements of logical form will often take us beyond the strict and literal meaning of a sentence, into context, tone, allusion and subjective aspects.
5. Theory of Logic / F. Referring in Logic / 1. Naming / f. Names eliminated
Quine's arguments fail because he naively conflates names with descriptions [Fine,K on Quine]
     Full Idea: Quine's logical argument against modality presupposes a naïve view of singular terms under which no significant distinction is to be drawn between the use of names and descriptions.
     From: comment on Willard Quine (Two Dogmas of Empiricism [1953]) by Kit Fine - Intro to 'Modality and Tense' p. 6
     A reaction: See Idea 9201 for Quine's argument. The question is whether '9' and 'the number of planets' are names or descriptions. The 'number of planets' is not remotely descriptive of 9, so it must be referential. So '9' is a name? Hm.
5. Theory of Logic / L. Paradox / 4. Paradoxes in Logic / a. Achilles paradox
Space and time are atomic in the arrow, and divisible in the tortoise [Devlin]
     Full Idea: The arrow paradox starts with the assumption that space and time are atomic; the tortoise starts with the opposite assumption that space and time are infinitely divisible.
     From: Keith Devlin (Goodbye Descartes [1997], Ch. 2)
     A reaction: Aquinas similarly covers all options (the cosmos has a beginning, or no beginning). The nature of movement in a space which involves quantum leaps remains metaphysically puzzling. Where is a particle at half of the Planck time?
6. Mathematics / A. Nature of Mathematics / 2. Geometry
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)
6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / a. Mathematical empiricism
Quine blurs the difference between knowledge of arithmetic and of physics [Jenkins on Quine]
     Full Idea: Quine cannot deal with the intuition that there is a difference in kind between our knowledge of arithmetic and our knowledge of physics.
     From: comment on Willard Quine (Two Dogmas of Empiricism [1953]) by Carrie Jenkins - Grounding Concepts 7.5
     A reaction: The endorses this criticism, which she says is widespread. I'm not convinced that there is a clear notion of 'difference in kind' here. Jenkins gets arithmetic from concepts and physics from the world. Is that a sharp distinction?
7. Existence / C. Structure of Existence / 8. Stuff / a. Pure stuff
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.
7. Existence / D. Theories of Reality / 11. Ontological Commitment / e. Ontological commitment problems
Quine is hopeless circular, deriving ontology from what is literal, and 'literal' from good ontology [Yablo on Quine]
     Full Idea: Quine's advice is to countenance numbers iff the literal part of our theory quantifies over them; and to count the part of our theory that quantifies over numbers literal iff there turn out really to be numbers.
     From: comment on Willard Quine (Two Dogmas of Empiricism [1953]) by Stephen Yablo - Does Ontology Rest on a Mistake? XIII
     A reaction: This sounds a bit devastating. Presumably it is indeed the choice of a best theory which results in the ontological commitment, so it is not much help to then read off the ontology from the theory.
8. Modes of Existence / C. Powers and Dispositions / 6. Dispositions / a. Dispositions
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'.
8. Modes of Existence / C. Powers and Dispositions / 6. Dispositions / d. Dispositions as occurrent
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.
9. Objects / A. Existence of Objects / 1. Physical Objects
If physical objects are a myth, they are useful for making sense of experience [Quine]
     Full Idea: The myth of physical objects is epistemologically superior to most in that it has proved more efficacious than other myths as a device for working a manageable structure into the flux of experience.
     From: Willard Quine (Two Dogmas of Empiricism [1953], p.44)
9. Objects / D. Essence of Objects / 15. Against Essentialism
Aristotelian essence of the object has become the modern essence of meaning [Quine]
     Full Idea: The Aristotelian notion of essence was the forerunner of the modern notion of intension or meaning. ...Meaning is what essence becomes when it is divorced from the object of reference and wedded to the word.
     From: Willard Quine (Two Dogmas of Empiricism [1953], §1)
     A reaction: Quine first wants to jettison de re necessity (essence of the object), by shifting it to de dicto necessity (necessity in meaning), but he subsequently rejects that as well, presumably because he doesn't even believe in meanings.
10. Modality / A. Necessity / 6. Logical Necessity
Contrary to some claims, Quine does not deny logical necessity [Quine, by McFetridge]
     Full Idea: Nothing in Quine's argument seems to be said directly against the view that the propositions of logic are necessary truths, ..though Crispin Wright has represented him as saying this at the end of 'Two Dogmas'.
     From: report of Willard Quine (Two Dogmas of Empiricism [1953]) by Ian McFetridge - Logical Necessity: Some Issues §3
     A reaction: Quine famously denies that logical truths are merely a matter of convention, so the question is, if he believes in logical necessity, what does he think is the basis of it? Answers, as always, on a postcard.
10. Modality / A. Necessity / 11. Denial of Necessity
Quine's attack on the analytic-synthetic distinction undermined necessary truths [Quine, by Shoemaker]
     Full Idea: Quine's attack on the analytic-synthetic distinction sought to contract, if not to empty, the class of truths that are called necessary.
     From: report of Willard Quine (Two Dogmas of Empiricism [1953]) by Sydney Shoemaker - Causal and Metaphysical Necessity I
     A reaction: The thought was that absolutely everything, including, for example, basic logic, became potentially revisable. See the last section of Quine's paper.
12. Knowledge Sources / A. A Priori Knowledge / 8. A Priori as Analytic
Metaphysical analyticity (and linguistic necessity) are hopeless, but epistemic analyticity is a priori [Boghossian on Quine]
     Full Idea: Quine showed the vacuity of the metaphysical concept of analyticity and the futility of the underwritten project - the linguistic theory of necessity. But that doesn't effect the epistemic notion of analyticity needed for a priori knowledge.
     From: comment on Willard Quine (Two Dogmas of Empiricism [1953]) by Paul Boghossian - Analyticity Reconsidered Concl
     A reaction: This summarise Boghossian's view, that a priori knowledge is still analytic, once we get clear about analyticity. See Idea 9368 for his two types of analyticity. Horwich attacks the view.
Quine challenges the claim that analytic truths are knowable a priori [Quine, by Kitcher]
     Full Idea: The last section of Quine's article challenges the claim that analytic truths are knowable a priori.
     From: report of Willard Quine (Two Dogmas of Empiricism [1953]) by Philip Kitcher - The Nature of Mathematical Knowledge 04.5
     A reaction: That is, Quine does not deny that there are truths which rest entirely on meaning. It is a 'dogma of empiricism' that the a priori can be equated with the analytic (and the necessary).
12. Knowledge Sources / A. A Priori Knowledge / 11. Denying the A Priori
Quine's objections to a priori knowledge only work in the domain of science [Horwich on Quine]
     Full Idea: Quine's arguments provide no reason to doubt the existence of a priori knowledge outside the domain of science.
     From: comment on Willard Quine (Two Dogmas of Empiricism [1953]) by Paul Horwich - Stipulation, Meaning and Apriority §10
     A reaction: This rather ignores Quine's background view of thoroughgoing physicalism, so that the domain of science is the domain of nature, which is the domain of everything. See his naturalising of epistemology, for example. Maths is part of his science.
Science is empirical, simple and conservative; any belief can hence be abandoned; so no a priori [Quine, by Horwich]
     Full Idea: Quine says scientific beliefs follow empirical adequacy, simplicity and conservatism; science and rationality support this view; hence any hypothesis can be abandoned to increase simplicity; so no scientific belief is a priori.
     From: report of Willard Quine (Two Dogmas of Empiricism [1953]) by Paul Horwich - Stipulation, Meaning and Apriority §10
     A reaction: [Compressed] I just don't accept this claim. If science wants to drop simple arithmetic or the laws of thought, so much the worse for science - they've obviously taken a wrong turning somewhere. We must try to infer God's logic.
Logic, arithmetic and geometry are revisable and a posteriori; quantum logic could be right [Horwich on Quine]
     Full Idea: I think logic, arithmetic and geometry are subject to Quine's empirical revisability argument: quantum logic may turn out to be the best overall theory; so these things are justified a posteriori.
     From: comment on Willard Quine (Two Dogmas of Empiricism [1953]) by Paul Horwich - Stipulation, Meaning and Apriority §11
     A reaction: Not much of an argument, because 'quantum logic' may also turn out to be a will-o'-the-whisp. Until it is established (which I doubt, because quantum theory is so poorly understood), I think we should be highly suspicious of the Quinean view.
12. Knowledge Sources / D. Empiricism / 1. Empiricism
Empiricism makes a basic distinction between truths based or not based on facts [Quine]
     Full Idea: One dogma of empiricism is that there is some fundamental cleavage between truths that are analytic, or grounded in meanings independently of facts, and truths which are synthetic, or grounded in fact.
     From: Willard Quine (Two Dogmas of Empiricism [1953], p.20)
Our outer beliefs must match experience, and our inner ones must be simple [Quine]
     Full Idea: The outer edge of our empirical system must be kept squared with experience; the rest, with all its elaborate myths and fictions, has as its objective the simplicity of laws.
     From: Willard Quine (Two Dogmas of Empiricism [1953], p.45)
12. Knowledge Sources / D. Empiricism / 5. Empiricism Critique
The second dogma is linking every statement to some determinate observations [Quine, by Yablo]
     Full Idea: Quine's second dogma of empiricism is the reductionism that finds every statement to be linkable by fixed correspondence rules to a determinate range of confirming observations.
     From: report of Willard Quine (Two Dogmas of Empiricism [1953]) by Stephen Yablo - Does Ontology Rest on a Mistake? V
     A reaction: Quine's response to this is to embrace holism about theories, instead of precise connections with Humean impressions. I'm thinking that Lewis disagrees with Quine, when his Humean supervenience rests on a 'mosaic' of small qualities.
13. Knowledge Criteria / E. Relativism / 5. Language Relativism
People still say the Hopi have no time concepts, despite Whorf's later denial [Devlin]
     Full Idea: The Hopi time myth does not appear to have been stopped for a moment by the fact that Whorf himself subsequently wrote that the Hopi language does indeed have words for past, present, and future
     From: Keith Devlin (Goodbye Descartes [1997], Ch. 5)
     A reaction: Arguments for relativism based on the Hopi seem now to be thoroughly discredited. Sensible people never believed them in the first place.
14. Science / A. Basis of Science / 3. Experiment
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.
14. Science / B. Scientific Theories / 6. Theory Holism
Statements about the external world face the tribunal of sense experience as a corporate body [Quine]
     Full Idea: My suggestion, following Carnap, is that our statements about the external world face the tribunal of sense experience not individually but only as a corporate body.
     From: Willard Quine (Two Dogmas of Empiricism [1953], p.41)
14. Science / C. Induction / 1. Induction
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.
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.
14. Science / C. Induction / 5. Paradoxes of Induction / a. Grue problem
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.
15. Nature of Minds / C. Capacities of Minds / 7. Seeing Resemblance
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.
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!
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.
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.
19. Language / A. Nature of Meaning / 1. Meaning
It is troublesome nonsense to split statements into a linguistic and a factual component [Quine]
     Full Idea: My present suggestion is that it is nonsense, and the root of much nonsense, to speak of a linguistic component and a factual component in the truth of any individual statement.
     From: Willard Quine (Two Dogmas of Empiricism [1953], p.42)
     A reaction: I take the language and its subject matter to be obviously separate, but it is right that we can't separate these two components within a sample of language.
19. Language / A. Nature of Meaning / 8. Synonymy
'Renate' and 'cordate' have identical extensions, but are not synonymous [Quine, by Miller,A]
     Full Idea: It is easy to see that intersubstitutability salva veritate is not a sufficient condition for synonymy. 'Renate' (with kidney) and 'cordate' (with heart) can be substituted in a purely extensional language, but are plainly not synonymous.
     From: report of Willard Quine (Two Dogmas of Empiricism [1953]) by Alexander Miller - Philosophy of Language 4.2
     A reaction: This seems to be a key example (along with Hesperus, and many others) in mapping out synonymy, meaning, analyticity, sense, reference, extension, intension, and all that stuff.
19. Language / A. Nature of Meaning / 10. Denial of Meanings
Once meaning and reference are separated, meaning ceases to seem important [Quine]
     Full Idea: Once theory of meaning and of reference are separated it is a short step to recognising as the primary business of theory of meaning simply the synonymy of linguistic forms and analyticity of statements; meanings themselves may be abandoned.
     From: Willard Quine (Two Dogmas of Empiricism [1953], p.22)
     A reaction: I can't buy the abandonment of meaning, because when I introspect my own speech there is clearly what I want to say formulating in my mind before the words are settled.
19. Language / C. Assigning Meanings / 1. Syntax
How do we parse 'time flies like an arrow' and 'fruit flies like an apple'? [Devlin]
     Full Idea: How do people identify subject and verb in the sentences "time flies like an arrow" and "fruit flies like an apple"?
     From: Keith Devlin (Goodbye Descartes [1997], Ch. 1)
     A reaction: A nice illustration of the fact that even if we have an innate syntax mechanism, it won't work without some semantics, and some experience of the environmental context of utterances.
19. Language / C. Assigning Meanings / 3. Predicates
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'?
19. Language / D. Propositions / 2. Abstract Propositions / a. Propositions as sense
The distinction between sentences and abstract propositions is crucial in logic [Devlin]
     Full Idea: The distinction between sentences and the abstract propositions that they express is one of the key ideas of logic. A logical argument consists of propositions, assembled together in a systematic fashion.
     From: Keith Devlin (Goodbye Descartes [1997], Ch. 2)
     A reaction: He may claim that arguments consist of abstract propositions, but they always get expressed in sentences. However, the whole idea of logical form implies the existence of propositions - there is something which a messy sentence 'really' says.
19. Language / E. Analyticity / 1. Analytic Propositions
Analytic statements are either logical truths (all reinterpretations) or they depend on synonymy [Quine]
     Full Idea: Analytic statements fall into two classes: 'no unmarried man is married' typifies the first class, of logical truths; it remains true under all reinterpretations. 'No bachelor is married' is analytic if synonyms replace synonyms, and there's the problem.
     From: Willard Quine (Two Dogmas of Empiricism [1953], §1)
     A reaction: Boghossian emphasises this passage. In other papers Quine argues that logical truths also cannot be purely analytic, although he does not deny that there are logical truths.
19. Language / E. Analyticity / 4. Analytic/Synthetic Critique
Erasing the analytic/synthetic distinction got rid of meanings, and saved philosophy of language [Davidson on Quine]
     Full Idea: Erasing the line between the analytic and the synthetic saved philosophy of language as a serious subject by showing how it could be pursued without what there cannot be: determinate meanings.
     From: comment on Willard Quine (Two Dogmas of Empiricism [1953]) by Donald Davidson - Coherence Theory of Truth and Knowledge p.158
     A reaction: Note that this comes from the most famous modern champion of one of the main theories of meaning (as truth-conditions). Did anyone ever believe in reified objects called 'meanings'?
The analytic needs excessively small units of meaning and empirical confirmation [Quine, by Jenkins]
     Full Idea: Quine rejects the analytic on the grounds that it assumes a smaller unit of meaning than a total theory, and he does not think it makes sense to talk about such smaller units of meaning because there are no smaller units of empirical confirmation.
     From: report of Willard Quine (Two Dogmas of Empiricism [1953]) by Carrie Jenkins - Grounding Concepts 7.5
     A reaction: A very helpful account of the famous Quine argument, showing how it arises out of his particular holistic view of empiricism.
Did someone ever actually define 'bachelor' as 'unmarried man'? [Quine]
     Full Idea: How do we find that 'bachelor' is defined as unmarried man? Who defined it thus, and when? Not the lexicographer, who is a scientist recording antecedent facts.
     From: Willard Quine (Two Dogmas of Empiricism [1953], p.24)
     A reaction: All mid-20th C philosophy of language is too individualistic in its strategy. Eventually later Wittgenstein sank in, and socially agreed meanings for 'water' and 'elm'.
If we try to define analyticity by synonymy, that leads back to analyticity [Quine]
     Full Idea: In defining analyticity an appeal to meanings seems natural, but that reduces to synonymy or definition. Definition is a will-o'-the-wisp, and synonymy is best understood by a priori appeal to analyticity, so we are back at the problem of analyticity.
     From: Willard Quine (Two Dogmas of Empiricism [1953], p.32)
     A reaction: Quine is full of these over-neat sceptical arguments, saying everything is circular, or can never get started. Compare Aristotle's benign circle of virtuous people and virtuous actions.
Quine's attack on analyticity undermined linguistic views of necessity, and analytic views of the a priori [Quine, by Boghossian]
     Full Idea: Quine's attack on analyticity devastated the philosophical programs that depend upon a notion of analyticity - specifically, the linguistic theory of necessary truth, and the analytic theory of a priori knowledge.
     From: report of Willard Quine (Two Dogmas of Empiricism [1953]) by Paul Boghossian - Analyticity Reconsidered §I
     A reaction: Note that much more would be needed to complete Quine's aim of more or less eliminating both necessity and the a priori from his scientific philosophy. Quine was trying to complete a programme initiated by C.I. Lewis (q.v.).
Quine attacks the Fregean idea that we can define analyticity through synonyous substitution [Quine, by Thomasson]
     Full Idea: Quine's attack argues against the Fregean attempt to define 'analyticity' in terms of synonymy - where analytical truths are logical truths ('unmarried men are unmarried'), or become logical truths by synonymous replacement ('bachelors are unmarried').
     From: report of Willard Quine (Two Dogmas of Empiricism [1953]) by Amie L. Thomasson - Ordinary Objects 02.1
     A reaction: This is a very helpful explanation of what is going on in Quine. Why won't philosophers explain clearly what they are attacking, before they attack it?
The last two parts of 'Two Dogmas' are much the best [Miller,A on Quine]
     Full Idea: The arguments of the final two sections of 'Two Dogmas' have received more acceptance than the arguments of the first four sections, which are now generally acknowledged to be unsuccessful.
     From: comment on Willard Quine (Two Dogmas of Empiricism [1953]) by Alexander Miller - Philosophy of Language 4 Read
     A reaction: The early sections are the 'circular' argument against analyticity; the later parts are further discussions of the concept. We don't have to take Miller's word for this, but it is a useful pointer when reading the paper.
26. Natural Theory / B. Natural Kinds / 1. Natural Kinds
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.
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.
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.
26. Natural Theory / B. Natural Kinds / 3. Knowing Kinds
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.
26. Natural Theory / D. Laws of Nature / 4. Regularities / a. Regularity theory
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.