375 ideas
9764 | Inspiration and social improvement need wisdom, but not professional philosophy [Quine] |
Full Idea: Professional philosophers have no peculiar fitness for inspirational and edifying writing, or helping to get society on an even keel (though we should do what we can). Wisdom may fulfil these crying needs: 'sophia' yes, but 'philosophia' not necessarily. | |
From: Willard Quine (Has Philosophy Lost Contact with People? [1979], p.193) | |
A reaction: This rather startlingly says that philosophy is unlikely to lead to wisdom, which is rather odd when it is defined as love of that very thing. Does love of horticulture lead to good gardening. I can't agree. Philosophy is the best hope of 'sophia'. |
9763 | For a good theory of the world, we must focus on our flabby foundational vocabulary [Quine] |
Full Idea: Our traditional introspective notions - of meaning, idea, concept, essence, all undisciplined and undefined - afford a hopelessly flabby and unmanageable foundation for a theory of the world. Control is gained by focusing on words. | |
From: Willard Quine (Has Philosophy Lost Contact with People? [1979], p.192) | |
A reaction: A very nice statement of the aim of modern language-centred philosophy, though the task offered appears to be that of an under-labourer, when the real target, even according to Quine, is supposed to be a 'theory of the world'. |
13736 | Quinean metaphysics just lists the beings, which is a domain with no internal structure [Schaffer,J on Quine] |
Full Idea: The Quinean task in metaphysics is to say what exists. What exists forms the domain of quantification. The domain is a set (or class, or plurality) - it has no internal structure. In other words, the Quinean task is to list the beings. | |
From: comment on Willard Quine (works [1961]) by Jonathan Schaffer - On What Grounds What 1.1 | |
A reaction: I really warm to this thesis. The Quinean version is what you get when you think that logic is the best tool for explicating metaphysics. Schaffer goes on to say that the only real aim for Quine is the cardinality of what exists! |
21634 | Metaphysics is (supposedly) first the ontology, then in general what things are like [Hofweber] |
Full Idea: Metaphysics can be divided into two parts: first ontology, which is supposed to tell us what there is in general. The second part is the rest of metaphysics, which is supposed to tell us what these things are like, in various general ways. | |
From: Thomas Hofweber (Ontology and the Ambitions of Metaphysics [2016], 01.1) | |
A reaction: Hofweber is a fairly sceptical guide to metaphysics, but this has been the standard view for the last decade. Before that, Quine had set an agenda of mere ontology. |
1627 | 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) |
22153 | Quine rejects Carnap's view that science and philosophy are distinct [Quine, by Boulter] |
Full Idea: Quine rejects Carnap's view that the methods of science and philosophy are distinct. | |
From: report of Willard Quine (On Carnap's Views on Ontology [1951]) by Stephen Boulter - Why Medieval Philosophy Matters 5 | |
A reaction: I can't decide this one. Leibniz agreed with Carnap, but rated philosophy more highly. I like the view of philosophy as continuous with science, but that doesn't make it a branch of science. I incline towards science being a branch of philosophy. |
22438 | Philosophy is largely concerned with finding the minimum that science could get by with [Quine] |
Full Idea: Philosophy is in large part concerned with ...what science could get along with, could be reconstructed by means of, as distinct from what science has historically made us of. | |
From: Willard Quine (Mr Strawson on Logical Theory [1953], V) | |
A reaction: This nicely summarises the programme for the whole of the philosophy of David Lewis, who was Quine's pupil. If you start by asking what it could 'get by with', it is not surprising that simplicity is the top intellectual virtue for both of them. |
6891 | Quine's naturalistic and empirical view is based entirely on first-order logic and set theory [Quine, by Mautner] |
Full Idea: Quine has aimed at a naturalistic and empirical world-view, and claims that first-order logic and set theory provide a framework sufficient for the articulation of our knowledge of the world. | |
From: report of Willard Quine (Word and Object [1960]) by Thomas Mautner - Penguin Dictionary of Philosophy p.465 | |
A reaction: Consequently he is fairly eliminativist about meaning and mental states, and does without universals in his metaphysics. An impressively puritanical enterprise, taking Ockham's Razor to the limit, but I find it hard to swallow. |
16415 | Esoteric metaphysics aims to be top science, investigating ultimate reality [Hofweber] |
Full Idea: Esoteric metaphysics appeals to those, I conjecture, who deep down hold that philosophy is the queen of sciences after all, since it investigates what the world is REALLY like. | |
From: Thomas Hofweber (Ambitious, yet modest, Metaphysics [2009], 2) | |
A reaction: He mentions Kit Fine and Jonathan Schaffer as esoteric metaphysicians. I see a pyramid of increasing generality and abstraction, with metaphysics at the top. This doesn't make it 'queen', though, because uncertainties multiply higher up. |
6310 | Enquiry needs a conceptual scheme, so we should retain the best available [Quine] |
Full Idea: No enquiry is possible without some conceptual scheme, so we may as well retain and use the best one we know. | |
From: Willard Quine (Word and Object [1960], §01) | |
A reaction: This remark leads to Davidson's splendid paper 'On the Very Idea of a Conceptual Scheme'. Quine's remark raises the question of how we know which conceptual scheme is 'best'. |
11103 | We aren't stuck with our native conceptual scheme; we can gradually change it [Quine] |
Full Idea: We must not leap to the fatalistic conclusion that we are stuck with the conceptual scheme that we grew up in. We can change it bit by bit, plank by plank. | |
From: Willard Quine (Identity, Ostension, and Hypostasis [1950], 5) | |
A reaction: This is an interesting commitment to Strawson's 'revisionary' metaphysics, rather than its duller cousin 'descriptive' metaphysics. Good for Quine. Remember, though, Davidson's 'On the Very Idea of Conceptual Scheme'. |
16413 | Science has discovered properties of things, so there are properties - so who needs metaphysics? [Hofweber] |
Full Idea: Material science has found that some features of metals make them more susceptible to corrosion but more resistant to fracture. Thus this immediately implies that there are features, i.e. properties. What is left for metaphysics to do? | |
From: Thomas Hofweber (Ambitious, yet modest, Metaphysics [2009], 1.1) | |
A reaction: Presumably economists have discovered 'features' of economies that cause unemployment, and literary critics have discovered 'features' of novels that make them good. |
21666 | 'Fundamentality' is either a superficial idea, or much too obscure [Hofweber] |
Full Idea: The dilemma of neo-Aristotelian metaphysics is that on an ordinary reading of prioriy, 'fundamentality' won't give the intended results, and on a metaphysical reading it turns into esoteric metaphysics. | |
From: Thomas Hofweber (Ontology and the Ambitions of Metaphysics [2016], 13.4.2) | |
A reaction: Hofweber is hostile to 'esoteric' metaphysics, but sympathetic to 'egalitarian' metaphysics, which anyone can understand (with a bit of effort). |
8996 | If if time is money then if time is not money then time is money then if if if time is not money... [Quine] |
Full Idea: If if time is money then if time is not money then time is money then if if if time is not money then time is money then time is money then if time is money then time is money. | |
From: Willard Quine (Truth by Convention [1935], p.95) | |
A reaction: Quine offers this with no hint of a smile. I reproduce it for the benefit of people who hate analytic philosophy, and get tired of continental philosophy being attacked for its obscurity. |
22436 | Logicians don't paraphrase logic into language, because they think in the symbolic language [Quine] |
Full Idea: The logician does not even need to paraphrase the vernacular into his logical notation, for he has learned to think directly in his logical notation, or even (which is the beauty of the thing) to let it think for him. | |
From: Willard Quine (Mr Strawson on Logical Theory [1953], V) | |
A reaction: See Williamson's love of logic (and his book on modal metaphysics). This idea embodies the dream of hardcore Frege-Russellian analytic philosophers. I wish someone had told me when I studied logic that the target was to actually think symbolically. |
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. |
9023 | If you say that a contradiction is true, you change the meaning of 'not', and so change the subject [Quine] |
Full Idea: Those who regard the conjunction p.not-p as true think they are talking about negation, 'not', but this ceases to be recognisable as negation. The deviant logician's predicament is when he tries to deny the doctrine he only changes the subject. | |
From: Willard Quine (Philosophy of Logic [1970], Ch.6) | |
A reaction: The charge of 'changing the subject' has become a classic move in modern discussions of non-standard logics. It is an important idea in discussions of arguments, and is found in Kant's account of the Ontological Argument. |
6564 | To affirm 'p and not-p' is to have mislearned 'and' or 'not' [Quine] |
Full Idea: To affirm a compound of the form 'p and not-p' is just to have mislearned one or both of these particles. | |
From: Willard Quine (From Stimulus to Science [1995], p.23), quoted by Robert Fogelin - Walking the Tightrope of Reason Ch.1 | |
A reaction: Quoted by Fogelin. This summarises the view of logic developed by the young Wittgenstein, that logical terms are 'operators', rather than referring terms. Of course the speaker may have a compartmentalised mind, or not understand 'p' properly. |
22431 | Good algorithms and theories need many occurrences of just a few elements [Quine] |
Full Idea: The power and simplicity of an algorithm, or indeed of any theory, depend on there being many occurrences of few elements rather than few occurrences of many. | |
From: Willard Quine (Mr Strawson on Logical Theory [1953], III) | |
A reaction: Not sure how this applies to a software function. One which produces a good result from a large number of input variables sounds particularly impressive to me. Many occurrences of a single variable sounds rather inefficient. |
8207 | The quest for simplicity drove scientists to posit new entities, such as molecules in gases [Quine] |
Full Idea: It is the quest for system and simplicity that has kept driving the scientist to posit further entities as values of his variables. By positing molecules, Boyles' law of gases could be assimilated into a general theory of bodies in motion. | |
From: Willard Quine (On Multiplying Entities [1974], p.262) | |
A reaction: Interesting that a desire for simplicity might lead to multiplications of entities. In fact, I presume molecules had been proposed elsewhere in science, and were adopted in gas-theory because they were thought to exist, not because simplicity is nice. |
8208 | In arithmetic, ratios, negatives, irrationals and imaginaries were created in order to generalise [Quine] |
Full Idea: In classical arithmetic, ratios were posited to make division generally applicable, negative numbers to make subtraction generally applicable, and irrationals and finally imaginaries to make exponentiation generally applicable. | |
From: Willard Quine (On Multiplying Entities [1974], p.263) | |
A reaction: This is part of Quine's proposal (c.f. Idea 8207) that entities have to be multiplied in order to produce simplicity. He is speculating. Maybe they are proposed because they are just obvious, and the generality is a nice side-effect. |
1623 | 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) |
19048 | Contextual definition shifted the emphasis from words to whole sentences [Quine] |
Full Idea: Contextual definition precipitated a revolution in semantics. The primary vehicle of meaning is seen no longer as the word, but as the sentence. | |
From: Willard Quine (Five Milestones of Empiricism [1975], p.69) | |
A reaction: I think the idea is that the term is now supported entirely by its surrounding language, and not by its denotation of something in the world. |
8995 | Definition by words is determinate but relative; fixing contexts could make it absolute [Quine] |
Full Idea: A definition endows a word with complete determinacy of meaning relative to other words. But we could determine the meaning of a new word absolutely by specifying contexts which are to be true and contexts which are to be false. | |
From: Willard Quine (Truth by Convention [1935], p.89) | |
A reaction: This is the beginning of Quine's distinction between the interior of 'the web' and its edges. The attack on the analytic/synthetic distinction will break down the boundary between the two. Surprising to find 'absolute' anywhere in Quine. |
19047 | Bentham's contextual definitions preserved terms after their denotation became doubtful [Quine] |
Full Idea: If Bentham found some term convenient but ontologically embarrassing, contextual definition enabled him in some cases to continue to enjoy the services of the term while disclaiming its denotation. | |
From: Willard Quine (Five Milestones of Empiricism [1975], p.68) | |
A reaction: In Quine's terms this would be to withdraw the term from the periphery of the theory, where it has to meet the world, and make it part of the inner connections of the theory. He suggests that Bentham invented this technique. |
21699 | Russell offered a paraphrase of definite description, to avoid the commitment to objects [Quine] |
Full Idea: Russell's theory involved defining a term not by presenting a direct equivalent of it, but by 'paraphrasis', providing equivalents of the sentences. In this way, reference to fictitious objects can be simulated without our being committed to the objects. | |
From: Willard Quine (Russell's Ontological Development [1966], p.75) | |
A reaction: I hadn't quite grasped that the modern strategy of paraphrase tracks back to Russell - though it now looks obvious, thanks to Quine. Paraphrase is a beautiful way of sidestepping ontological problems. See Frege on the moons of Jupiter. |
21697 | The Struthionic Fallacy is that of burying one's head in the sand [Quine] |
Full Idea: The Struthionic Fallacy is that of burying one's head in the sand [which I name from the Greek for 'ostrich'] | |
From: Willard Quine (Lecture on Nominalism [1946], §4) | |
A reaction: David Armstrong said this is the the fallacy involved in a denial of universals. Quine is accusing Carnap and co. of the fallacy. |
21750 | Science is sympathetic to truth as correspondence, since it depends on observation [Quine] |
Full Idea: Science, thanks to its links with observation, retains some title to a correspondence theory of truth. | |
From: Willard Quine (On the Nature of Moral Values [1978], p.63) | |
A reaction: I would describe what he is affirming as a 'robust' theory of truth. An interesting aside, given his usual allegiance to disquotational, and even redundancy, accounts of truth. You can hardly rely on observations if you think they contain no truth. |
9012 | Talk of 'truth' when sentences are mentioned; it reminds us that reality is the point of sentences [Quine] |
Full Idea: The truth predicate has its utility in places where we are compelled to mention sentences. It then serves to point through the sentence to the reality; it serves as a reminder that though sentences are mentioned, reality is still the whole point. | |
From: Willard Quine (Philosophy of Logic [1970], Ch.1) | |
A reaction: A sensible interpretation of the Tarskian account of truth as disquotation. Quine neatly combines a common sense correspondence with a sophisticated logicians view of the role of truth. So what does "I want the truth here" mean? |
9011 | Truth is redundant for single sentences; we do better to simply speak the sentence [Quine] |
Full Idea: Rather than speak of truth, we do better simply to say the sentence and so speak not about language but about the world. Of singly given sentences, the perfect theory of truth is the 'disappearance theory of truth' (Sellars). | |
From: Willard Quine (Philosophy of Logic [1970], Ch.1) | |
A reaction: Quine defends truth as the crucial link between language and reality, but only for large groups of sentences. If someone accuses you of lying or being incorrect, you can respond by repeating your sentence in a firmer tone of voice. |
21640 | 'It's true that Fido is a dog' conjures up a contrast class, of 'it's false' or 'it's unlikely' [Hofweber] |
Full Idea: 'It's true that Fido is a dog' gives rise to a contrastive focus on 'true', with the contrast class probably depending on members like 'it's false that...' or 'it's unlikely that...'. | |
From: Thomas Hofweber (Ontology and the Ambitions of Metaphysics [2016], 02.6.3) | |
A reaction: If we introduce (from linguistics) the idea of a 'contrast class', then Ramsey's famous example begins to sound meaningful. It might occur in a discussion of 'did Antony actually say 'Friends, Romans. countrymen'?' |
17990 | Instances of minimal truth miss out propositions inexpressible in current English [Hofweber] |
Full Idea: A standard objection to minimalist truth is the 'incompleteness objection'. Since there are propositions inexpressible in present English the concept of truth isn't captured by all the instances of the Tarski biconditional. | |
From: Thomas Hofweber (Inexpressible Properties and Propositions [2006], 5.3) | |
A reaction: Sounds like a good objection. |
22435 | The logician's '→' does not mean the English if-then [Quine] |
Full Idea: The logician drops 'if-then' in favour of '→' without ever entertaining the mistaken idea that they are synonymous. | |
From: Willard Quine (Mr Strawson on Logical Theory [1953], V) | |
A reaction: [Quine uses the older horseshoe symbol] The conditional in English is not well understood, whereas the symbol is unambiguous. A warning to myself, since I have a tendency to translate symbols into English all the time. [p.156 'implies' is worse!] |
9013 | We can eliminate 'or' from our basic theory, by paraphrasing 'p or q' as 'not(not-p and not-q)' [Quine] |
Full Idea: The construction of 'alternation' (using 'or') is useful in practice, but superfluous in theory. It can be paraphrased using only negation and conjunction. We say that 'p or q' is paraphrased as 'not(not-p and not-q)'. | |
From: Willard Quine (Philosophy of Logic [1970], Ch.2) | |
A reaction: Quine treats 'not' and 'and' as the axiomatic logical connectives, and builds the others from those, presumably because that is the smallest number he could get it down to. I quite like it, because it seems to mesh with basic thought procedures. |
10928 | Maybe we can quantify modally if the objects are intensional, but it seems unlikely [Quine] |
Full Idea: Perhaps there is no objection to quantifying into modal contexts as long as the values of any variables thus quantified are limited to intensional objects, but they also lead to disturbing examples. | |
From: Willard Quine (Reference and Modality [1953], §3) | |
A reaction: [Quine goes on to give his examples] I take it that possibilities are features of actual reality, not merely objects of thought. The problem is that they are harder to know than actual objects. |
5745 | Quine says quantified modal logic creates nonsense, bad ontology, and false essentialism [Melia on Quine] |
Full Idea: Quine charges quantified modal systems of logic with giving rise to unintended sense or nonsense, committing us to an incomprehensible ontology, and entailing an implausible or unsustainable Aristotelian essentialism. | |
From: comment on Willard Quine (Existence and Quantification [1966]) by Joseph Melia - Modality Ch.3 | |
A reaction: A nice summary. Personally I like essentialism in accounts of science (see Nature|Laws of Nature|Essentialism), so would like to save it in metaphysics. Possible worlds ontology may be very surprising, rather than 'incomprehensible'. |
13591 | Quantified modal logic collapses if essence is withdrawn [Quine] |
Full Idea: The whole of quantified modal logic collapses if essence is withdrawn. | |
From: Willard Quine (Intensions Revisited [1977], p.121) | |
A reaction: Quine offers an interesting qualification to this crushing remark in Idea 13590. The point is that objects must retain their identity in modal contexts, as if I say 'John Kennedy might have been Richard Nixon'. What could that mean? |
22433 | It is important that the quantification over temporal entities is timeless [Quine] |
Full Idea: It would be hard to exaggerate the importance of recognising the timelessness of quantification over temporal entities. | |
From: Willard Quine (Mr Strawson on Logical Theory [1953], IV) | |
A reaction: 'Some moments in this cricket match were crucial'. The domain is not timeless, but consists of moments in this match. Can you say the quantifier is timeless but its domain is not? Only in the sense that 'very' is a timeless word, I think. |
3302 | Set theory is full of Platonist metaphysics, so Quine aimed to keep it separate from logic [Quine, by Benardete,JA] |
Full Idea: Quine has showed us how set theory - now recognised to be positively awash in Platonistic metaphysics - can and should be prevented from infecting logic proper. | |
From: report of Willard Quine (works [1961]) by José A. Benardete - Metaphysics: the logical approach Intro |
9879 | NF has no models, but just blocks the comprehension axiom, to avoid contradictions [Quine, by Dummett] |
Full Idea: Quine's New Foundations system of set theory, devised with no model in mind, but on the basis of a hunch that a purely formal restriction on the comprehension axiom would block all contradictions. | |
From: report of Willard Quine (New Foundations for Mathematical Logic [1937]) by Michael Dummett - Frege philosophy of mathematics Ch.18 | |
A reaction: The point is that Quine (who had an ontological preference for 'desert landscapes') attempted to do without an ontological commitment to objects (and their subsequent models), with a purely formal system. Quine's NF is not now highly regarded. |
10211 | Quine wants V = L for a cleaner theory, despite the scepticism of most theorists [Quine, by Shapiro] |
Full Idea: Quine suggests that V = L be accepted in set theory because it makes for a cleaner theory, even though most set theorists are skeptical of V = L. | |
From: report of Willard Quine (works [1961]) by Stewart Shapiro - Philosophy of Mathematics Ch.1 | |
A reaction: Shapiro cites it as a case of a philosopher trying to make recommendations to mathematicians. Maddy supports Quine. |
21717 | Reducibility undermines type ramification, and is committed to the existence of functions [Quine, by Linsky,B] |
Full Idea: Quine charges that the axiom of Reducibility both undoes the effect of the ramification, and commits the theory to a platonist view of propositional functions (which is a theory of sets, once use/mention confusions are cleared up). | |
From: report of Willard Quine (Set Theory and its Logic [1963], p.249-58) by Bernard Linsky - Russell's Metaphysical Logic 6.1 |
18170 | The Axiom of Reducibility is self-effacing: if true, it isn't needed [Quine] |
Full Idea: The Axiom of Reducibility is self-effacing: if it is true, the ramification it is meant to cope with was pointless to begin with. | |
From: Willard Quine (Introduction to Russell's Theory of Types [1967], p.152), quoted by Penelope Maddy - Naturalism in Mathematics I.1 | |
A reaction: Maddy says the rejection of Reducibility collapsed the ramified theory of types into the simple theory. |
21695 | The set scheme discredited by paradoxes is actually the most natural one [Quine] |
Full Idea: Each proposed revision of set theory is unnatural, because the natural scheme is the unrestricted one that the antinomies discredit. | |
From: Willard Quine (The Ways of Paradox [1961], p.16) | |
A reaction: You can either takes this free-far-all version of set theory, and gradually restrain it for each specific problem, or start from scratch and build up in safe steps. The latter is (I think) the 'iterated' approach. |
21693 | Russell's antinomy challenged the idea that any condition can produce a set [Quine] |
Full Idea: In the case of Russell's antinomy, the tacit and trusted pattern of reasoning that is found wanting is this: for any condition you can formulate, there is a class whose members are the things meeting the condition. | |
From: Willard Quine (The Ways of Paradox [1961], p.11) | |
A reaction: This is why Russell's Paradox is so important for set theory, which in turn makes it important for the foundations of mathematics. |
3336 | Two things can never entail three things [Quine, by Benardete,JA] |
Full Idea: Two things can never entail three things. | |
From: report of Willard Quine (works [1961]) by José A. Benardete - Metaphysics: the logical approach Ch.17 |
9020 | My logical grammar has sentences by predication, then negation, conjunction, and existential quantification [Quine] |
Full Idea: We chose a standard grammar in which the simple sentences are got by predication, and all further sentences are generated from these by negation, conjunction, and existential quantification. | |
From: Willard Quine (Philosophy of Logic [1970], Ch.3) | |
A reaction: It is interesting that we 'choose' our logic, apparently guided by an imperative to achieve minimal ontology. Of these basic ingredients, negation and predication are the more mysterious, especially the latter. Quine is a bit of an 'ostrich' about that. |
13010 | In order to select the logic justified by experience, we would need to use a lot of logic [Boghossian on Quine] |
Full Idea: Quine ends up with the logic that is maximally justified by experience, ...but a large number of the core principles of logic will have to be used to select the logic that is maximally justified by experience. | |
From: comment on Willard Quine (Carnap and Logical Truth [1954]) by Paul Boghossian - Knowledge of Logic p.233 | |
A reaction: In order to grasp some core principles of logic, you will probably need a certain amount of experience. I take logic to be an abstracted feature of reality (unless it is extended by pure fictions). Some basic logic may be hard wired in us. |
9028 | Maybe logical truth reflects reality, but in different ways in different languages [Quine] |
Full Idea: Perhaps the logical truths owe their truth to certain traits of reality which are reflected in one way by the grammar of our language, in another way by the grammar of another language, and in a third way by the grammar and lexicon of a third language. | |
From: Willard Quine (Philosophy of Logic [1970], Ch.7) | |
A reaction: This explains Quine's subsequent interest in translation, and the interest of his pupil Davidson in charity, and whether there could actually be rival conceptual schemes. I like the link between logical truths and reality, which follows Russell. |
9002 | Elementary logic requires truth-functions, quantifiers (and variables), identity, and also sets of variables [Quine] |
Full Idea: Elementary logic, as commonly systematized nowadays, comprises truth-function theory (involving 'or', 'and', 'not' etc.), quantifiers (and their variables), and identity theory ('='). In addition, set theory requires classes among values of variables. | |
From: Willard Quine (Carnap and Logical Truth [1954], II) | |
A reaction: Quine is famous for trying to squeeze properties out of the picture, which would then block higher-order logics (which quantify over properties). Quine's list gives a nice programme for a student of the philosophy of logic to understand. |
13639 | Quine says higher-order items are intensional, and lack a clearly defined identity relation [Quine, by Shapiro] |
Full Idea: Quine (in 1941) attacked 'Principia Mathematica' because the items in the range of higher-order variables (attributes etc) are intensional and thus do not have a clearly defined identity relation. | |
From: report of Willard Quine (Whitehead and the Rise of Modern Logic [1941]) by Stewart Shapiro - Foundations without Foundationalism 1.3 |
8789 | Various strategies try to deal with the ontological commitments of second-order logic [Hale/Wright on Quine] |
Full Idea: Quine said higher-order logic is 'set theory in sheep's clothing', and there is concern about the ontology that is involved. One approach is to deny quantificational ontological commitments, or say that the entities involved are first-order objects. | |
From: comment on Willard Quine (Existence and Quantification [1966]) by B Hale / C Wright - Logicism in the 21st Century 8 | |
A reaction: [compressed] The second strategy is from Boolos. This question seems to be right at the heart of the strategy of exploring our ontology through the study of our logic. |
10014 | Quine rejects second-order logic, saying that predicates refer to multiple objects [Quine, by Hodes] |
Full Idea: Quine is unwilling to suppose second-order logic intelligible. He holds to Mill's account of the referential role of a predicate: it multiply denotes any and all objects to which it applies, and there is no need for a further 'predicative' entity. | |
From: report of Willard Quine (Philosophy of Logic [1970]) by Harold Hodes - Logicism and Ontological Commits. of Arithmetic p.130 | |
A reaction: If we assume that 'quantifying over' something is a commitment to its existence, then I think I am with Quine, because you end up with a massive commitment to universals, which I prefer to avoid. |
10828 | Quantifying over predicates is treating them as names of entities [Quine] |
Full Idea: To put the predicate letter 'F' in a quantifier is to treat predicate position suddenly as name position, and hence to treat predicates as names of entities of some sort. | |
From: Willard Quine (Philosophy of Logic [1970], Ch.5) | |
A reaction: It is tricky to distinguish quantifying over predicates in a first-order way (by reifying them), and in a second-order way (where it is not clear whether you are quantifying over a property or a unified set of things. |
21657 | Since properties can have properties, some theorists rank them in 'types' [Hofweber] |
Full Idea: Since properties themselves can have properties there is a well-known division in the theory of properties between those who take a typed and those who take a type-free approach. | |
From: Thomas Hofweber (Ontology and the Ambitions of Metaphysics [2016], 08.5) | |
A reaction: I take this idea to be about linguistic predicates, and about semantics which draws on model theory. To see it as about actual 'properties' in the physical world makes no sense. |
13681 | Logical consequence is marked by being preserved under all nonlogical substitutions [Quine, by Sider] |
Full Idea: Quine's view of logical consequence is that it is when there is no way of uniformly substituting nonlogical expressions in the premises and consequences so that the premises all remain true but the consequence now becomes false. | |
From: report of Willard Quine (Carnap and Logical Truth [1954], p.103) by Theodore Sider - Logic for Philosophy 1.5 | |
A reaction: One might just say that the consequence holds if you insert consistent variables for the nonlogical terms, which looks like Aristotle's view of the matter. |
12219 | Whether a modal claim is true depends on how the object is described [Quine, by Fine,K] |
Full Idea: Quine says if ∃x□(x>7) makes sense, then for which object x is the condition rendered true? Specify it as '9' and it is apparently rendered true, specify it as 'the number of planets' and it is apparently rendered false. | |
From: report of Willard Quine (Three Grades of Modal Involvement [1953]) by Kit Fine - Quine on Quantifying In p.105 | |
A reaction: This is normally characterised as Quine saying that only de dicto involvement is possible, and not de re involvement. Or that that all essences are nominal, and cannot be real. |
22437 | Logical languages are rooted in ordinary language, and that connection must be kept [Quine] |
Full Idea: A logical language is not independent of ordinary language. It has its roots in ordinary language, and these roots are not to be severed. | |
From: Willard Quine (Mr Strawson on Logical Theory [1953], V) | |
A reaction: Music to my ears. When you study logic, no one has to teach you what the words 'or' and 'if-then' mean, but they are disambiguated by the symbolism. The roots of logic are in ordinary talk of 'and', 'or' and 'not', which is the real world. |
10064 | Quine quickly dismisses If-thenism [Quine, by Musgrave] |
Full Idea: Quine quickly dismisses If-thenism. | |
From: report of Willard Quine (Truth by Convention [1935], p.327) by Alan Musgrave - Logicism Revisited §5 | |
A reaction: [Musgrave quotes a long chunk of Quine which is hard to compress!] Effectively, he says If-thenism is cheating, or begs the question, by eliminating whole sections of perfectly good mathematics, because they cannot be derived from axioms. |
20296 | Logic needs general conventions, but that needs logic to apply them to individual cases [Quine, by Rey] |
Full Idea: Quine argues that logic could not be established by conventions, since the logical truths, being infinite in number, must be given by general conventions rather than singly; and logic is needed in the meta-theory, to apply to individual cases. | |
From: report of Willard Quine (Truth by Convention [1935]) by Georges Rey - The Analytic/Synthetic Distinction 3.4 | |
A reaction: A helpful insight into Quine's claim. If only someone would print these one sentence summaries at the top of classic papers, we would all get far more out of them at first reading. Assuming Rey is right! |
8998 | Claims that logic and mathematics are conventional are either empty, uninteresting, or false [Quine] |
Full Idea: If logic and mathematics being true by convention says the primitives can be conventionally described, that works for anything, and is empty; if the conventions are only for those fields, that's uninteresting; if a general practice, that is false. | |
From: Willard Quine (Truth by Convention [1935], p.102) | |
A reaction: This is Quine's famous denial of the traditional platonist view, and the new Wittgensteinian conventional view, preparing the ground for a more naturalistic and empirical view. I feel more sympathy with Quine than with the other two. |
8999 | Logic isn't conventional, because logic is needed to infer logic from conventions [Quine] |
Full Idea: If logic is to proceed mediately from conventions, logic is needed for inferring logic from the conventions. Conventions for adopting logical primitives can only be communicated by free use of those very idioms. | |
From: Willard Quine (Truth by Convention [1935], p.104) | |
A reaction: A common pattern of modern argument, which always seems to imply that nothing can ever get off the ground. I suspect that there are far more benign circles in the world of thought than most philosophers imagine. |
9000 | If a convention cannot be communicated until after its adoption, what is its role? [Quine] |
Full Idea: When a convention is incapable of being communicated until after its adoption, its role is not clear. | |
From: Willard Quine (Truth by Convention [1935], p.106) | |
A reaction: Quine is discussing the basis of logic, but the point applies to morality - that if there is said to be a convention at work, the concepts of morality must already exist to get the conventional framework off the ground. What is it that comes first? |
19043 | Bivalence applies not just to sentences, but that general terms are true or false of each object [Quine] |
Full Idea: It is in the spirit of bivalence not just to treat each closed sentence as true or false; as Frege stressed, each general term must be definitely true or false of each object, specificiable or not. | |
From: Willard Quine (What Price Bivalence? [1981], p.36) | |
A reaction: But note that this is only the 'spirit' of the thing. If you had (as I do) doubts about whether predicates actually refer to genuine 'properties', you may want to stick to the whole sentence view, and not be so fine-grained. |
9024 | Excluded middle has three different definitions [Quine] |
Full Idea: The law of excluded middle, or 'tertium non datur', may be pictured variously as 1) Every closed sentence is true or false; or 2) Every closed sentence or its negation is true; or 3) Every closed sentence is true or not true. | |
From: Willard Quine (Philosophy of Logic [1970], Ch.6) | |
A reaction: Unlike many top philosophers, Quine thinks clearly about such things. 1) is the classical bivalent reading of excluded middle; 2) is the purely syntactic version; 3) leaves open how we interpret the 'not-true' option. |
10012 | Quantification theory can still be proved complete if we add identity [Quine] |
Full Idea: Complete proof procedures are available not only for quantification theory, but for quantification theory and identity together. Gödel showed that the theory is still complete if we add self-identity and the indiscernability of identicals. | |
From: Willard Quine (Philosophy of Logic [1970], Ch.5) | |
A reaction: Hence one talks of first-order logic 'with identity', even though, as Quine observes, it is unclear whether identity is actually a logical or a mathematical notion. |
22434 | Reduction to logical forms first simplifies idioms and grammar, then finds a single reading of it [Quine] |
Full Idea: Ordinary language is reduced to logical form in two ways: reduction of the variety of idioms and grammatical constructions, and reduction of each surviving idiom to one fixed and convenient interpretation. | |
From: Willard Quine (Mr Strawson on Logical Theory [1953], V) | |
A reaction: Is there a conflict between a 'fixed' and a 'convenient' result? By 'fixed' I suppose he means it is a commitment (to not waver). What is the logical form of a sentence which is deliberately ambiguous? |
13829 | If logical truths essentially depend on logical constants, we had better define the latter [Hacking on Quine] |
Full Idea: Quine said a logical truth is a truth in which only logical constants occur essentially, ...but then a fruitful definition of 'logical constant' is called for. | |
From: comment on Willard Quine (Carnap and Logical Truth [1954]) by Ian Hacking - What is Logic? §02 |
1618 | We study bound variables not to know reality, but to know what reality language asserts [Quine] |
Full Idea: We look to bound variables in connection with ontology not in order to know what there is, but in order to know what a given remark or doctrine, ours or someone else's, says there is. | |
From: Willard Quine (On What There Is [1948], p.15) |
12221 | 'Corner quotes' (quasi-quotation) designate 'whatever these terms designate' [Quine] |
Full Idea: A 'quasi-quotation' [corner quotes, Quine quotes] designates that (unspecified) expression which is obtained from the contents of the corners by replacing the Greek letters by the (unspecified) expressions which they designate. | |
From: Willard Quine (Mathematical Logic (revised) [1940], 1.6) | |
A reaction: Filed under 'variables', as they seem to be variables that can refer to actual expressions, like algebra. Quine was determined to distinguish clearly between 'mention' and 'use'. 'Half-hearted substitutional quantification', says Fine. |
21698 | All relations, apart from ancestrals, can be reduced to simpler logic [Quine] |
Full Idea: Much of the theory of relations can be developed as a virtual theory, in which we seem to talk of relations, but can explain our notation in terms {finally] of just the logic of truth-functions, quantification and identity. The exception is ancestrals. | |
From: Willard Quine (Lecture on Nominalism [1946], §8) | |
A reaction: The irreducibility of ancestrals is offered as a reason for treating sets as universals. |
8453 | If we had to name objects to make existence claims, we couldn't discuss all the real numbers [Quine] |
Full Idea: Since one wants to say that real numbers exist and yet one cannot name each of them, it is not unreasonable to relinquish the connection between naming an object and making an existence claim about it. | |
From: Willard Quine (works [1961]), quoted by Alex Orenstein - W.V. Quine Ch.2 | |
A reaction: One could say that same about people, such as 'the most recent citizen of Brazil'. Some sort of successful reference seems to be needed, such as 'the next prime beyond the biggest so far found'. Depends what your predicate is going to be. |
10925 | Failure of substitutivity shows that a personal name is not purely referential [Quine] |
Full Idea: Failure of substitutivity shows that the occurrence of a personal name is not purely referential. | |
From: Willard Quine (Reference and Modality [1953], §1) | |
A reaction: I don't think I understand the notion of a name being 'purely' referential, as if it somehow ceased to be a word, and was completely transparent to the named object. |
21653 | Maybe not even names are referential, but are just by used by speakers to refer [Hofweber] |
Full Idea: A more radical alternative which takes names not to be referring even in the broader sense, but only takes speakers to refer with uses of names. | |
From: Thomas Hofweber (Ontology and the Ambitions of Metaphysics [2016], 08.1) | |
A reaction: Given that you can make up nicknames and silly nonce names for people, this seems plausible. I may say a name in a crowded room and three people look up. |
10001 | An adjective contributes semantically to a noun phrase [Hofweber] |
Full Idea: The semantic value of a determiner (an adjective) is a function from semantic values to nouns to semantic values of full noun phrases. | |
From: Thomas Hofweber (Number Determiners, Numbers, Arithmetic [2005], §3.1) | |
A reaction: This kind of states the obvious (assuming one has a compositional view of sentences), but his point is that you can't just eliminate adjectival uses of numbers by analysing them away, as if they didn't do anything. |
21636 | 'Singular terms' are not found in modern linguistics, and are not the same as noun phrases [Hofweber] |
Full Idea: Being a 'singular term' is not a category in contemporary syntactic theory and it doesn't correspond to any of the notions employed there like that of a singular noun phrase or the like. | |
From: Thomas Hofweber (Ontology and the Ambitions of Metaphysics [2016], 02.3) | |
A reaction: Hofweber has researched such things. This is an important objection to the reliance of modern Fregeans on the ontological commitments of singular terms (as proof that there are 'mathematical objects'). |
21637 | If two processes are said to be identical, that doesn't make their terms refer to entities [Hofweber] |
Full Idea: Identity between objects occurs in 'How Mary makes a chocolate cake is identical to how my grandfather used to make it', but does this show that 'how Mary makes a chocolate cake' aims to pick out an entity? | |
From: Thomas Hofweber (Ontology and the Ambitions of Metaphysics [2016], 02.3) | |
A reaction: This is a counterexample to the Fregean thought that the criterion for the existence of the referent of a singular term is its capacity to participate in an identity relation. Defenders of the Fregean view are aware of such examples. |
19321 | We might do without names, by converting them into predicates [Quine, by Kirkham] |
Full Idea: Quine suggests that we can have a language with just predicates and no names. Thus for 'Ralph is red' we say 'x Ralphises and x is red'. | |
From: report of Willard Quine (Mathematical Logic (revised) [1940]) by Richard L. Kirkham - Theories of Truth: a Critical Introduction 5.6 | |
A reaction: Kirkham discusses this as a way of getting round the lack of names in Tarski's theory of truth (which just uses objects, predicates and quantifiers). Otherwise you must supplement Tarski with an account of what the names refer to. |
8455 | Canonical notation needs quantification, variables and predicates, but not names [Quine, by Orenstein] |
Full Idea: Quine says that names need not be part of one's canonical notation; in fact, whatever scientific purposes are accomplished by names can be carried out just as well by the devices of quantification, variables and predicates. | |
From: report of Willard Quine (On What There Is [1948]) by Alex Orenstein - W.V. Quine Ch.2 | |
A reaction: This is part of Quine's analysis of where the ontological commitment of a language is to be found. Kripke's notion that a name baptises an item comes as a challenge to this view. |
8456 | Quine extended Russell's defining away of definite descriptions, to also define away names [Quine, by Orenstein] |
Full Idea: Quine extended Russell's theory for defining away definite descriptions, so that he could also define away names. | |
From: report of Willard Quine (On What There Is [1948]) by Alex Orenstein - W.V. Quine Ch.2 | |
A reaction: Quine also gets rid of universals and properties, so his ontology is squeezed from both the semantic and the metaphysical directions. Quine seems to be the key figure in modern ontology. If you want to expand it (E.J. Lowe), justify yourself to Quine. |
9204 | 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. |
9016 | Names are not essential, because naming can be turned into predication [Quine] |
Full Idea: Names are convenient but redundant, because Fa is equivalent to (an x)(a=x,Fx), so a need only occur in the context a=, but this can be rendered as a simple predicate A, so that Fa gives way to (an x)(Ax.Fx). | |
From: Willard Quine (Philosophy of Logic [1970], Ch.2) | |
A reaction: In eliminating names from analysis, Quine takes Russell's strategy a step further. It is probably this which provoked Kripke into going right back to Mill's view of names as basic labels. The name/description boundary is blurred. Mr Gradgrind. |
1611 | Names can be converted to descriptions, and Russell showed how to eliminate those [Quine] |
Full Idea: I have shown that names can be converted to descriptions, and Russell has shown that descriptions can be eliminated. | |
From: Willard Quine (On What There Is [1948], p.12) |
9015 | Universal quantification is widespread, but it is definable in terms of existential quantification [Quine] |
Full Idea: Universal quantification is prominent in logical practice but superfluous in theory, since (for all x)Fx obviously amounts to not(exists an x)not-Fx. | |
From: Willard Quine (Philosophy of Logic [1970], Ch.2) | |
A reaction: The equivalence between these two works both ways, some you could take the universal quantifier as primitive instead, which would make general truths prior to particular ones. Is there something deep at stake here? |
16416 | The quantifier in logic is not like the ordinary English one (which has empty names, non-denoting terms etc) [Hofweber] |
Full Idea: The inferential role of the existential quantifier in first order logic does not carry over to the existential quantifier in English (we have empty names, singular terms that are not even in the business of denoting, and so on). | |
From: Thomas Hofweber (Ambitious, yet modest, Metaphysics [2009], 2) |
21643 | The inferential quantifier focuses on truth; the domain quantifier focuses on reality [Hofweber] |
Full Idea: When we ask 'is there a number?' in its inferential role (or internalist) reading, then we ask whether or not there is a true instance of 't is a number'. When we ask in its domain conditions (externalist) reading, we ask if the world contains a number. | |
From: Thomas Hofweber (Ontology and the Ambitions of Metaphysics [2016], 03.6) | |
A reaction: Hofweber's key distinction. The distinction between making truth prior and making reference prior is intriguing and important. The internalist version is close to substitutional quantification. Only the externalist view needs robust reference. |
10926 | Quantifying into referentially opaque contexts often produces nonsense [Quine] |
Full Idea: If to a referentially opaque context of a variable we apply a quantifier, with the intention that it govern that variable from outside the referentially opaque context, then what we commonly end up with is unintended sense or nonsense. | |
From: Willard Quine (Reference and Modality [1953], §2) |
10922 | Objects are the values of variables, so a referentially opaque context cannot be quantified into [Quine] |
Full Idea: The objects of a theory are not properly describable as the things named by the singular terms; they are the values, rather, of the variables of quantification. ..So a referentially opaque context is one that cannot properly be quantified into. | |
From: Willard Quine (Three Grades of Modal Involvement [1953], p.174) | |
A reaction: The point being that you cannot accurately pick out the objects in the domain |
10311 | No sense can be made of quantification into opaque contexts [Quine, by Hale] |
Full Idea: Quine says that no good sense can be made of quantification into opaque contexts. | |
From: report of Willard Quine (works [1961]) by Bob Hale - Abstract Objects Ch.2 | |
A reaction: This is because poor old Quine was trapped in a world of language, and had lost touch with reality. I can quantify over the things you are thinking about, as long as you are thinking about things that can be quantified over. |
10538 | Finite quantification can be eliminated in favour of disjunction and conjunction [Quine, by Dummett] |
Full Idea: Quine even asserts that where we have no infinite domains, quantification can be eliminated in favour of finite disjunction and conjunction. | |
From: report of Willard Quine (works [1961]) by Michael Dummett - Frege Philosophy of Language (2nd ed) Ch.14 | |
A reaction: Thus ∃x is expressed as 'this or this or this...', and ∀ is expressed as 'this and this and this...' Dummett raises an eyebrow, but it sounds OK to me. |
10007 | Quantifiers for domains and for inference come apart if there are no entities [Hofweber] |
Full Idea: Quantifiers have two functions in communication - to range over a domain of entities, and to have an inferential role (e.g. F(t)→'something is F'). In ordinary language these two come apart for singular terms not standing for any entities. | |
From: Thomas Hofweber (Number Determiners, Numbers, Arithmetic [2005], §6.3) | |
A reaction: This simple observations seems to me to be wonderfully illuminating of a whole raft of problems, the sort which logicians get steamed up about, and ordinary speakers don't. Context is the key to 90% of philosophical difficulties (?). See Idea 10008. |
10793 | Quine thought substitutional quantification confused use and mention, but then saw its nominalist appeal [Quine, by Marcus (Barcan)] |
Full Idea: Quine at first regarded substitutional quantification as incoherent, behind which there lurked use-mention confusions, but has over the years, given his nominalist dispositions, come to notice its appeal. | |
From: report of Willard Quine (works [1961]) by Ruth Barcan Marcus - Nominalism and Substitutional Quantifiers p.166 |
10801 | Either reference really matters, or we don't need to replace it with substitutions [Quine] |
Full Idea: When we reconstrue quantification in terms of substituted expressions rather than real values, we waive reference. ...but if reference matters, we cannot afford to waive it as a category; and if it does not, we do not need to. | |
From: Willard Quine (Reply to Professor Marcus [1962], p.183) | |
A reaction: An odd dilemma to pose. Presumably the substitution account is an attempt to explain how language actually works, without mentioning dubious direct ontological commitment in the quantifiers. |
21642 | If quantification is all substitutional, there is no ontology [Quine] |
Full Idea: Ontology is meaningless for a theory whose only quantification is substitutionally construed. | |
From: Willard Quine (Ontological Relativity [1968], p.64), quoted by Thomas Hofweber - Ontology and the Ambitions of Metaphysics 03.5.1 n18 | |
A reaction: Hofweber views it as none the worse for that, since clearly lots of quantification has no ontological commitment at all. But he says it is rightly called 'a nominalists attempt at a free lunch'. |
9025 | You can't base quantification on substituting names for variables, if the irrationals cannot all be named [Quine] |
Full Idea: A customary argument against quantification based on substitution of names for variables refers to the theorem of set theory that irrational numbers cannot all be assigned integers. Although the integers can all be named, the irrationals therefore can't. | |
From: Willard Quine (Philosophy of Logic [1970], Ch.6) | |
A reaction: [He names Ruth Marcus as a source of substitutional quantification] This sounds like more than a mere 'argument' against substitutional quantification, but an actual disproof. Or maybe you just can't quantify once you run out of names. |
9026 | Some quantifications could be false substitutionally and true objectually, because of nameless objects [Quine] |
Full Idea: An existential quantification could turn out false when substitutionally construed and true when objectually construed, because of there being objects of the purported kind but only nameless ones. | |
From: Willard Quine (Philosophy of Logic [1970], Ch.6) | |
A reaction: (Cf. Idea 9025) Some irrational numbers were his candidates for nameless objects, but as decimals they are infinite in length which seems unfair. I don't take even pi or root-2 to be objects in nature, so not naming irrationals doesn't bother me. |
17988 | Quantification can't all be substitutional; some reference is obviously to objects [Hofweber] |
Full Idea: The view that all quantification is substitutional is not very plausible in general. Some uses of quantifiers clearly seem to have the function to make a claim about a domain of objects out there, no matter how they relate to the terms in our language. | |
From: Thomas Hofweber (Inexpressible Properties and Propositions [2006], 2.1) | |
A reaction: Robust realists like myself are hardly going to say that quantification is just an internal language game. |
10705 | Putting a predicate letter in a quantifier is to make it the name of an entity [Quine] |
Full Idea: To put the predicate letter 'F' in a quantifier is to treat predicate positions suddenly as name positions, and hence to treat predicates as names of entities of some sort. | |
From: Willard Quine (Philosophy of Logic [1970], Ch.5) | |
A reaction: Quine's famous objection to second-order logic. But Quine then struggles to give an account of predicates and properties, and hence is accused by Armstrong of being an 'ostrich'. Boolos 1975 also attacks Quine here. |
12798 | Plurals can in principle be paraphrased away altogether [Quine] |
Full Idea: By certain standardizations of phrasing the contexts that call for plurals can in principle be paraphrased away altogether. | |
From: Willard Quine (Word and Object [1960], §19) | |
A reaction: Laycock, who quotes this, calls it 'unduly optimistic', but I presume that it was the standard view of plural reference until Boolos raised the subject. |
9027 | A sentence is logically true if all sentences with that grammatical structure are true [Quine] |
Full Idea: A sentence is logically true if all sentences with that grammatical structure are true. | |
From: Willard Quine (Philosophy of Logic [1970], Ch.7) | |
A reaction: Quine spends some time on the tricky question of deciding which parts of a sentence are grammatical structure ('syncategorematic'), and which parts are what he calls 'lexicon'. I bet there is a Quinean argument which blurs the boundary. |
21691 | Antinomies contradict accepted ways of reasoning, and demand revisions [Quine] |
Full Idea: An 'antinomy' produces a self-contradiction by accepted ways of reasoning. It establishes that some tacit and trusted pattern of reasoning must be made explicit and henceforward be avoided or revised. | |
From: Willard Quine (The Ways of Paradox [1961], p.05) | |
A reaction: Quine treats antinomies as of much greater importance than mere paradoxes. It is often possible to give simple explanations of paradoxes, but antinomies go to the root of our belief system. This was presumably Kant's intended meaning. |
21690 | Whenever the pursuer reaches the spot where the pursuer has been, the pursued has moved on [Quine] |
Full Idea: The Achilles argument is that (if the front runner keeps running) each time the pursuer reaches a spot where the pursuer has been, the pursued has moved a bit beyond. | |
From: Willard Quine (The Ways of Paradox [1961], p.03) | |
A reaction: Quine is always wonderfully lucid, and this is the clearest simple statement of the paradox. |
9003 | Set theory was struggling with higher infinities, when new paradoxes made it baffling [Quine] |
Full Idea: Unlike elementary logic, the truths of set theory are not obvious. Set theory was straining at the leash of intuition ever since Cantor discovered higher infinites; and with the added impetus of the paradoxes of set theory the leash snapped. | |
From: Willard Quine (Carnap and Logical Truth [1954], II) | |
A reaction: This problem seems to have forced Quine into platonism about sets, because he felt they were essential for mathematics and science, but couldn't be constructed with precision. So they must be real, but we don't quite understand them. |
21689 | A barber shaves only those who do not shave themselves. So does he shave himself? [Quine] |
Full Idea: In a certain village there is a barber, who shaves all and only those men in the village who do not shave themselves. So does the barber shave himself? The barber shaves himself if and only if he does not shave himself. | |
From: Willard Quine (The Ways of Paradox [1961], p.02) | |
A reaction: [Russell himself quoted this version of his paradox, from an unnamed source] Quine treats his as trivial because it only concerns barbers, but the full Russell paradox is a major 'antinomy', because it concerns sets. |
21694 | Membership conditions which involve membership and non-membership are paradoxical [Quine] |
Full Idea: With Russell's antinomy, ...each tie the trouble comes of taking a membership condition that itself talks in turn of membership and non-membership. | |
From: Willard Quine (The Ways of Paradox [1961], p.13) | |
A reaction: Hence various stipulations to rule out vicious circles or referring to sets of the 'wrong type' are invoked to cure the problem. The big question is how strong to make the restrictions. |
21692 | If we write it as '"this sentence is false" is false', there is no paradox [Quine] |
Full Idea: If we supplant the sentence 'this sentence is false' with one saying what it refers to, we get '"this sentence is false" is false'. But then the whole outside sentence attributes falsity no longer to itself but to something else, so there is no paradox. | |
From: Willard Quine (The Ways of Paradox [1961], p.07) | |
A reaction: Quine is pointing us towards type theory and meta-languages to solve the problem. We now have the Revenge Liar, and the problem has not been fully settled. |
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) |
8994 | If analytic geometry identifies figures with arithmetical relations, logicism can include geometry [Quine] |
Full Idea: Geometry can be brought into line with logicism simply by identifying figures with arithmetical relations with which they are correlated thought analytic geometry. | |
From: Willard Quine (Truth by Convention [1935], p.87) | |
A reaction: Geometry was effectively reduced to arithmetic by Descartes and Fermat, so this seems right. You wonder, though, whether something isn't missing if you treat geometry as a set of equations. There is more on the screen than what's in the software. |
10002 | '2 + 2 = 4' can be read as either singular or plural [Hofweber] |
Full Idea: There are two ways to read to read '2 + 2 = 4', as singular ('two and two is four'), and as plural ('two and two are four'). | |
From: Thomas Hofweber (Number Determiners, Numbers, Arithmetic [2005], §4.1) | |
A reaction: Hofweber doesn't notice that this phenomenon occurs elsewhere in English. 'The team is playing well', or 'the team are splitting up'; it simply depends whether you are holding the group in though as an entity, or as individuals. Important for numbers. |
21644 | Numbers are used as singular terms, as adjectives, and as symbols [Hofweber] |
Full Idea: Number words have a singular term use, and adjectival (or determiner) use, and the symbolic use. The main question is how they relate to each other. | |
From: Thomas Hofweber (Ontology and the Ambitions of Metaphysics [2016], 05.1) | |
A reaction: Thus 'the number four is even', 'there are four moons', and '4 comes after 3'. |
21646 | The Amazonian Piraha language is said to have no number words [Hofweber] |
Full Idea: The now famous Piraha language, of the Amazon region in Brazil, allegedly has no number words. | |
From: Thomas Hofweber (Ontology and the Ambitions of Metaphysics [2016], 05.6) | |
A reaction: Two groups can be shown to be of equal cardinality, by one-to-one matching rather than by counting. They could get by using 'equals' (and maybe unequally bigger and unequally smaller), and intuitive feelings for sizes of groups. |
9998 | What is the relation of number words as singular-terms, adjectives/determiners, and symbols? [Hofweber] |
Full Idea: There are three different uses of the number words: the singular-term use (as in 'the number of moons of Jupiter is four'), the adjectival (or determiner) use (as in 'Jupiter has four moons'), and the symbolic use (as in '4'). How are they related? | |
From: Thomas Hofweber (Number Determiners, Numbers, Arithmetic [2005], §1) | |
A reaction: A classic philosophy of language approach to the problem - try to give the truth-conditions for all three types. The main problem is that the first one implies that numbers are objects, whereas the others do not. Why did Frege give priority to the first? |
17905 | Any progression will do nicely for numbers; they can all then be used to measure multiplicity [Quine] |
Full Idea: The condition on an explication of number can be put succinctly: any progression will do nicely. Russell once held that one must also be able to measure multiplicity, but this was a mistake; any progression can be fitted to that further condition. | |
From: Willard Quine (Word and Object [1960], §54) | |
A reaction: [compressed] This is the strongest possible statement that the numbers are the ordinals, and the Peano Axioms will define them. The Fregean view that cardinality comes first is redundant. |
21665 | The fundamental theorem of arithmetic is that all numbers are composed uniquely of primes [Hofweber] |
Full Idea: The prime numbers are more fundamental than the even numbers, and than the composite non-prime numbers. The result that all numbers uniquely decompose into a product of prime numbers is called the 'Fundamental Theorem of Arithmetic'. | |
From: Thomas Hofweber (Ontology and the Ambitions of Metaphysics [2016], 13.4.2) | |
A reaction: I could have used this example in my thesis, which defended the view that essences are the fundamentals of explanation, even in abstract theoretical realms. |
21649 | How can words be used for counting if they are objects? [Hofweber] |
Full Idea: Number words as singular terms seem to refer to objects; numbers words in determiner or adjectival position are tied to counting. How these objects are related to counting is what the application problem is about. | |
From: Thomas Hofweber (Ontology and the Ambitions of Metaphysics [2016], 06.1.3) | |
A reaction: You can't use stones for counting, so there must be more to numbers than the announcement that they are 'objects'. They seem to have internal relations, which makes them unusual objects. |
8997 | There are four different possible conventional accounts of geometry [Quine] |
Full Idea: We can construe geometry by 1) identifying it with algebra, which is then defined on the basis of logic; 2) treating it as hypothetical statements; 3) defining it contextually; or 4) making it true by fiat, without making it part of logic. | |
From: Willard Quine (Truth by Convention [1935], p.99) | |
A reaction: [Very compressed] I'm not sure how different 3 is from 2. These are all ways to treat geometry conventionally. You could be more traditional, and say that it is a description of actual space, but the multitude of modern geometries seems against this. |
8463 | Maths can be reduced to logic and set theory [Quine] |
Full Idea: Researches in the foundations of mathematics have made it clear that all of (interpreted) mathematics can be got down to logic and set theory, and the objects needed for mathematics can be got down to the category of classes (and classes of classes..). | |
From: Willard Quine (The Scope and Language of Science [1954], §VI) | |
A reaction: This I take to be a retreat from pure logicism, presumably influenced by Gödel. So can set theory be reduced to logic? Crispin Wright is the one the study. |
8203 | All the arithmetical entities can be reduced to classes of integers, and hence to sets [Quine] |
Full Idea: The arithmetic of ratios and irrational and imaginary numbers can all be reduced by definition to the theory of classes of positive integers, and this can in turn be reduced to pure set theory. | |
From: Willard Quine (Vagaries of Definition [1972], p.53) | |
A reaction: This summarises Quine's ontology of mathematics, which tries to eliminate virtually everything, but has to affirm the existence of sets. Can you count sets and their members, if the sets are used to define the numbers? |
10242 | I apply structuralism to concrete and abstract objects indiscriminately [Quine] |
Full Idea: My own line is a yet more sweeping structuralism (than David Lewis's account of classes), applying to concrete and abstract objects indiscriminately. | |
From: Willard Quine (Structure and Nature [1992], p.6), quoted by Stewart Shapiro - Philosophy of Mathematics 4.9 | |
A reaction: Shapiro calls this 'breathtaking', and retreats from it, but it is something like my own view, starting from Mill's pebbles and working up. |
10003 | Why is arithmetic hard to learn, but then becomes easy? [Hofweber] |
Full Idea: Why is arithmetic so hard to learn, and why does it seem so easy to us now? For example, subtracting 789 from 26,789. | |
From: Thomas Hofweber (Number Determiners, Numbers, Arithmetic [2005], §4.2) | |
A reaction: His answer that we find thinking about objects very easy, but as children we have to learn with difficulty the conversion of the determiner/adjectival number words, so that we come to think of them as objects. |
10008 | Arithmetic is not about a domain of entities, as the quantifiers are purely inferential [Hofweber] |
Full Idea: I argue for an internalist conception of arithmetic. Arithmetic is not about a domain of entities, not even quantified entities. Quantifiers over natural numbers occur in their inferential-role reading in which they merely generalize over the instances. | |
From: Thomas Hofweber (Number Determiners, Numbers, Arithmetic [2005], §6.3) | |
A reaction: Hofweber offers the hope that modern semantics can disentangle the confusions in platonist arithmetic. Very interesting. The fear is that after digging into the semantics for twenty years, you find the same old problems re-emerging at a lower level. |
21696 | Nominalism rejects both attributes and classes (where extensionalism accepts the classes) [Quine] |
Full Idea: 'Nominalism' is distinct from 'extensionalism'. The main point of the latter doctrine is rejection of properties or attributes in favour of classes. But class are universals equally with attributes, and nominalism in the defined sense rejects both. | |
From: Willard Quine (Lecture on Nominalism [1946], §3) | |
A reaction: Hence Quine soon settled on labelling himself as an 'extensionalist', leaving proper nominalism to Nelson Goodman. It is commonly observed that science massively refers to attributes, so they can't just be eliminated. |
17738 | 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? |
9556 | Nearly all of mathematics has to quantify over abstract objects [Quine] |
Full Idea: Mathematics, except for very trivial portions such as very elementary arithmetic, is irredeemably committed to quantification over abstract objects. | |
From: Willard Quine (Word and Object [1960], §55) | |
A reaction: Personally I would say that we are no more committed to such things than actors in 'The Tempest' are committed to the existence of Prospero and Caliban (which is quite a strong commitment, actually). |
18198 | Mathematics is part of science; transfinite mathematics I take as mostly uninterpreted [Quine] |
Full Idea: The mathematics wanted for use in empirical sciences is for me on a par with the rest of science. Transfinite ramifications are on the same footing as simplifications, but anything further is on a par rather with uninterpreted systems, | |
From: Willard Quine (Review of Parsons (1983) [1984], p.788), quoted by Penelope Maddy - Naturalism in Mathematics II.2 | |
A reaction: The word 'uninterpreted' is the interesting one. Would mathematicians object if the philosophers graciously allowed them to continue with their transfinite work, as long as they signed something to say it was uninterpreted? |
10005 | Arithmetic doesn’t simply depend on objects, since it is true of fictional objects [Hofweber] |
Full Idea: That 'two dogs are more than one' is clearly true, but its truth doesn't depend on the existence of dogs, as is seen if we consider 'two unicorns are more than one', which is true even though there are no unicorns. | |
From: Thomas Hofweber (Number Determiners, Numbers, Arithmetic [2005], §6.2) | |
A reaction: This is an objection to crude empirical accounts of arithmetic, but the idea would be that there is a generalisation drawn from objects (dogs will do nicely), which then apply to any entities. If unicorns are entities, it will be true of them. |
10000 | We might eliminate adjectival numbers by analysing them into blocks of quantifiers [Hofweber] |
Full Idea: Determiner uses of number words may disappear on analysis. This is inspired by Russell's elimination of the word 'the'. The number becomes blocks of first-order quantifiers at the level of semantic representation. | |
From: Thomas Hofweber (Number Determiners, Numbers, Arithmetic [2005], §2) | |
A reaction: [compressed] The proposal comes from platonists, who argue that numbers cannot be analysed away if they are objects. Hofweber says the analogy with Russell is wrong, as 'the' can't occur in different syntactic positions, the way number words can. |
8993 | If mathematics follows from definitions, then it is conventional, and part of logic [Quine] |
Full Idea: To claim that mathematical truths are conventional in the sense of following logically from definitions is the claim that mathematics is a part of logic. | |
From: Willard Quine (Truth by Convention [1935], p.79) | |
A reaction: Quine is about to attack logic as convention, so he is endorsing the logicist programme (despite his awareness of Gödel), but resisting the full Wittgenstein conventionalist picture. |
21647 | Logicism makes sense of our ability to know arithmetic just by thought [Hofweber] |
Full Idea: Frege's tying the objectivity of arithmetic to the objectivity of logic makes sense of the fact that can find out about arithmetic by thinking alone. | |
From: Thomas Hofweber (Ontology and the Ambitions of Metaphysics [2016], 06.1.1) | |
A reaction: This assumes that logic is entirely a priori. We might compare the geometry of land surfaces with 'pure' geometry. If numbers are independent objects, it is unclear how we could have any a priori knowledge of them. |
21557 | Russell confused use and mention, and reduced classes to properties, not to language [Quine, by Lackey] |
Full Idea: Quine (1941) said that Russell had confused use and mention, and thus thought he had reduced classes to linguistic entities, while in fact he reduced them only to Platonic properties. | |
From: report of Willard Quine (Whitehead and the Rise of Modern Logic [1941]) by Douglas Lackey - Intros to Russell's 'Essays in Analysis' p.133 | |
A reaction: This is cited as the 'orthodox critical interpretation' of Russell and Whitehead. Confusion of use and mention was a favourite charge of Quine's. |
21648 | Neo-Fregeans are dazzled by a technical result, and ignore practicalities [Hofweber] |
Full Idea: A major flaw of the neo-Fregean program is that it is more impressed by the technical result that Peano Arithmetic can be interpreted by second-order logic plus Hume's Principle, than empirical considerations about how numbers come about. | |
From: Thomas Hofweber (Ontology and the Ambitions of Metaphysics [2016], 06.1.3) | |
A reaction: This doesn't sound like a problem that would bother Fregeans or neo-Fregeans much. Deriving the Peano Axioms from various beginnings has become a parlour game for modern philosophers of mathematics. |
10006 | First-order logic captures the inferential relations of numbers, but not the semantics [Hofweber] |
Full Idea: Representing arithmetic formally we do not primarily care about semantic features of number words. We are interested in capturing the inferential relations of arithmetical statements to one another, which can be done elegantly in first-order logic. | |
From: Thomas Hofweber (Number Determiners, Numbers, Arithmetic [2005], §6.3) | |
A reaction: This begins to pinpoint the difference between the approach of logicists like Frege, and those who are interested in the psychology of numbers, and the empirical roots of numbers in the process of counting. |
1613 | Logicists cheerfully accept reference to bound variables and all sorts of abstract entities [Quine] |
Full Idea: The logicism of Frege, Russell, Whitehead, Church and Carnap condones the use of bound variables or reference to abstract entities known and unknown, specifiable and unspecifiable, indiscriminately. | |
From: Willard Quine (On What There Is [1948], p.14) |
9004 | If set theory is not actually a branch of logic, then Frege's derivation of arithmetic would not be from logic [Quine] |
Full Idea: We might say that set theory is not really logic, but a branch of mathematics. This would deprive 'includes' of the status of a logical word. Frege's derivation of arithmetic would then cease to count as a derivation from logic: for he used set theory. | |
From: Willard Quine (Carnap and Logical Truth [1954], II) | |
A reaction: Quine has been making the point that higher infinities and the paradoxes undermine the status of set theory as logic, but he decides to continue thinking of set theory as logic. Critics of logicism frequently ask whether the reduction is to logic. |
1635 | Mathematics reduces to set theory (which is a bit vague and unobvious), but not to logic proper [Quine] |
Full Idea: Mathematics reduces only to set theory, and not to logic proper… but set theory cannot claim the same firmness and obviousness as logic. | |
From: Willard Quine (Epistemology Naturalized [1968], p.69-70) |
1616 | Formalism says maths is built of meaningless notations; these build into rules which have meaning [Quine] |
Full Idea: The formalism of Hilbert keeps classical maths as a play of insignificant notations. Agreement is found among the rules which, unlike the notations, are quite significant and intelligible. | |
From: Willard Quine (On What There Is [1948], p.15) |
1615 | Intuitionism says classes are invented, and abstract entities are constructed from specified ingredients [Quine] |
Full Idea: The intuitionism of Poincaré, Brouwer, Weyl and others holds that classes are invented, and accepts reference to abstract entities only if they are constructed from pre-specified ingredients. | |
From: Willard Quine (On What There Is [1948], p.14) |
8466 | For Quine, intuitionist ontology is inadequate for classical mathematics [Quine, by Orenstein] |
Full Idea: Quine feels that the intuitionist's ontology of abstract objects is too slight to serve the needs of classical mathematics. | |
From: report of Willard Quine (works [1961]) by Alex Orenstein - W.V. Quine Ch.3 | |
A reaction: Quine, who devoted his life to the application of Ockham's Razor, decided that sets were an essential part of the ontological baggage (which made him, according to Orenstein, a 'reluctant Platonist'). Dummett defends intuitionism. |
8467 | Intuitionists only admit numbers properly constructed, but classical maths covers all reals in a 'limit' [Quine, by Orenstein] |
Full Idea: Intuitionists will not admit any numbers which are not properly constructed out of rational numbers, ...but classical mathematics appeals to the real numbers (a non-denumerable totality) in notions such as that of a limit | |
From: report of Willard Quine (works [1961]) by Alex Orenstein - W.V. Quine Ch.3 | |
A reaction: (See Idea 8454 for the categories of numbers). This is a problem for Dummett. |
1614 | Conceptualism holds that there are universals but they are mind-made [Quine] |
Full Idea: Conceptualism holds that there are universals but they are mind-made. | |
From: Willard Quine (On What There Is [1948], p.14) |
10241 | For Quine, there is only one way to exist [Quine, by Shapiro] |
Full Idea: Quine takes 'existence' to be univocal, with a single ontology for his entire 'web of belief'. | |
From: report of Willard Quine (On What There Is [1948]) by Stewart Shapiro - Philosophy of Mathematics 4.9 | |
A reaction: Thus, there can be no 'different way of existing' (such as 'subsisting') for abstract objects such as those of mathematics. I presume that Quine's low-key physicalism is behind this. |
16966 | Philosophers tend to distinguish broad 'being' from narrower 'existence' - but I reject that [Quine] |
Full Idea: It has been fairly common in philosophy early and late to distinguish between being, as the broadest concept, and existence, as narrower. This is no distinction of mine; I mean 'exist' to cover all there is. | |
From: Willard Quine (Existence and Quantification [1966], p.100) | |
A reaction: I sort of agree with Quine, but 'being' has a role in philosophy that is not required in science and daily life, as the name of the central problem of ontology, which probably has to be broken down before any progress can happen. |
4064 | The idea of a thing and the idea of existence are two sides of the same coin [Quine, by Crane] |
Full Idea: According to Quine's conception of existence, the idea of a thing and the idea of existence are two sides of the same coin. | |
From: report of Willard Quine (On What There Is [1948]) by Tim Crane - Elements of Mind 1.5 | |
A reaction: I suspect that Quine's ontology is too dependent on language, but this thought seems profoundly right |
1633 | Absolute ontological questions are meaningless, because the answers are circular definitions [Quine] |
Full Idea: What makes ontological questions meaningless when taken absolutely is not universality but circularity. A question of the form "What is an F?" can only be answered with "An F is a G", which makes sense relative to the uncritical acceptance of G. | |
From: Willard Quine (Ontological Relativity [1968], p.53) |
19277 | Quine rests existence on bound variables, because he thinks singular terms can be analysed away [Quine, by Hale] |
Full Idea: It is because Quine holds constant singular terms to be always eliminable by an extension of Russell's theory of definite descriptions that he takes the bound variables of first-order quantification to be the sole means by which we refer to objects. | |
From: report of Willard Quine (On What There Is [1948]) by Bob Hale - Necessary Beings 01.2 | |
A reaction: Hale defends a Fregean commitment to existence based on the reference of singular terms in true statements. I think they're both wrong. If you want to know what I am committed to, ask me. Don't infer it from my use of English, or logic. |
16965 | All we have of general existence is what existential quantifiers express [Quine] |
Full Idea: Existence is what existential quantification expresses. …It is unreasonable to ask for an explication of (general) existence in simpler terms. …We may still ask what counts as evidence for existential quantifications. | |
From: Willard Quine (Existence and Quantification [1966], p.97) | |
A reaction: This has been orthodoxy for the last 60 years, with philosophers talking of 'quantifying over' instead of 'exists'. But are we allowed second-order logic, and plural quantification, and vague domains? |
11092 | A river is a process, with stages; if we consider it as one thing, we are considering a process [Quine] |
Full Idea: A river is a process through time, and the river stages are its momentary parts. Identification of the river bathed in once with the river bathed in again is just what determines our subject matter to be a river process as opposed to a river stage. | |
From: Willard Quine (Identity, Ostension, and Hypostasis [1950], 1) | |
A reaction: So if we take a thing which has stages, but instead of talking about the stages we talk about a single thing that endures through them, then we are talking about a process. Sounds very good to me. |
8205 | Explaining events just by bodies can't explain two events identical in space-time [Quine] |
Full Idea: An account of events just in terms of physical bodies does not distinguish between events that happen to take up just the same portion of space-time. A man's whistling and walking would be identified with the same temporal segment of the man. | |
From: Willard Quine (On Multiplying Entities [1974], p.260) | |
A reaction: We wouldn't want to make his 'walking' and his 'strolling' two events. Whistling and walking are different because different objects are involved (lips and legs). Hence a man is not (ontologically) a single object. |
21664 | Supervenience offers little explanation for things which necessarily go together [Hofweber] |
Full Idea: The results from the use of supervenience in philosophical theorising are limited. In particular, modal notions can't distinguish between things which necessarily go together. For example, that truths about numbers are grounded in truths about sets. | |
From: Thomas Hofweber (Ontology and the Ambitions of Metaphysics [2016], 13.4.1) | |
A reaction: [compressed] |
1630 | We can only see an alien language in terms of our own thought structures (e.g. physical/abstract) [Quine] |
Full Idea: We are prone to talk about physical and abstract objects. It is hard to know how else to talk, because we are bound to adapt any alien pattern to our own in the very process of understanding or translating the alien sentences. | |
From: Willard Quine (Speaking of Objects [1960], pt.I,p.1) |
11093 | We don't say 'red' is abstract, unlike a river, just because it has discontinuous shape [Quine] |
Full Idea: 'Red' is surely not going to be opposed to 'Cayster' [name of a river], as abstract to concrete, merely because of discontinuity in geometrical shape? | |
From: Willard Quine (Identity, Ostension, and Hypostasis [1950], 2) | |
A reaction: I've been slow to grasp the truth of this. However, Quine assumes that 'red' is concrete because 'Cayster' is, but it is perfectly arguable that 'Cayster' is an abstraction, despite all that water. |
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. |
12210 | Quine's ontology is wrong; his question is scientific, and his answer is partly philosophical [Fine,K on Quine] |
Full Idea: Quine's approach to ontology asks the wrong question, a scientific rather than philosophical question, and answers it in the wrong way, by appealing to philosophical considerations in addition to ordinary scientific considerations. | |
From: comment on Willard Quine (On What There Is [1948]) by Kit Fine - The Question of Ontology p.161 | |
A reaction: He goes on to call Quine's procedure 'cockeyed'. Presumably Quine would reply with bafflement that scientific and philosophical questions could be considered as quite different from one another. |
21660 | Reality can be seen as the totality of facts, or as the totality of things [Hofweber] |
Full Idea: Reality can be seen as everything that is the case - the totality of all facts that obtain - or reality can be seen as everything there is - the totality of all things that exist. | |
From: Thomas Hofweber (Ontology and the Ambitions of Metaphysics [2016], 10) | |
A reaction: Things are a lot easier to specify than facts, but on the whole I prefer facts, just in order to affirm that there is more to reality than the mere 'things' that compose it. Our ontology must capture the dynamic and relational character of reality. |
18438 | Every worldly event, without exception, is a redistribution of microphysical states [Quine] |
Full Idea: Nothing happens in the world, not the flutter of an eyelid, not the flicker of a thought, without some redistribution of microphysical states. | |
From: Willard Quine (on Goodman's 'Ways of Worldmaking' [1978], p.98) | |
A reaction: Is this causation, identity, or baffling supervenience? |
10243 | My ontology is quarks etc., classes of such things, classes of such classes etc. [Quine] |
Full Idea: My tentative ontology continues to consist of quarks and their compounds, also classes of such things, classes of such classes, and so on. | |
From: Willard Quine (Structure and Nature [1992], p.9), quoted by Stewart Shapiro - Philosophy of Mathematics 4.9 | |
A reaction: I would call this the Hierarchy of Abstraction (just coined it - what do you think?). Unlike Quine, I don't see why its ontology should include things called 'sets' in addition to the things that make them up. |
21661 | There are probably ineffable facts, systematically hidden from us [Hofweber] |
Full Idea: We do have reason to think that there are ineffable facts, and that these facts are systematically hidden from us. | |
From: Thomas Hofweber (Ontology and the Ambitions of Metaphysics [2016], 10.2.4) | |
A reaction: [Hofweber's Ch.10 is a lengthy and interesting discussion of ineffable facts] Things which are very very small, or very very remote in space seem obvious candidates. The most obvious candidates are tiny detail about the remote past. |
19042 | Terms learned by ostension tend to be vague, because that must be quick and unrefined [Quine] |
Full Idea: A term is apt to be vague if it is to be learned by ostension, since its applicability must admit of being judged on the spot and so cannot hinge of fine distinctions laboriously drawn. | |
From: Willard Quine (What Price Bivalence? [1981], p.32) | |
A reaction: [Quine cites C. Wright for this] Presumably precision can steadily increased by repeated ostension. After the first 'dog' it's pretty vague; after hundreds of them we are pretty clear about it. Long observation of borderline 'clouds' could do the same. |
8496 | What actually exists does not, of course, depend on language [Quine] |
Full Idea: Ontological controversy tends into controversy over language, but we must not jump to the conclusion that what there is depends on words. | |
From: Willard Quine (On What There Is [1948], p.16) | |
A reaction: An important corrective to my constant whinge against philosophers who treat ontology as if it were semantics, of whom Quine is the central villain. Quine was actually quite a sensible chap. |
11101 | General terms don't commit us ontologically, but singular terms with substitution do [Quine] |
Full Idea: The use of general terms does not commit us to admitting a corresponding abstract entity into our ontology, but an abstract singular term, including the law of putting equals for equals, flatly commits us to an abstract entity named by the term. | |
From: Willard Quine (Identity, Ostension, and Hypostasis [1950], 4) | |
A reaction: Does this mean that in 'for the sake of the children', I have to believe in 'sakes' if I can find a synonym which will substitute for it? |
19485 | Names have no ontological commitment, because we can deny that they name anything [Quine] |
Full Idea: I think there is no commitment to entities through use of alleged names of them; other things being equal, we can always deny the allegation that the words in question are names. | |
From: Willard Quine (On Carnap's Views on Ontology [1951], p.205) | |
A reaction: Hm. So why can't you deny that variables actually refer to existing entities? If I say 'I just saw James', it's a bit cheeky to then deny that James refers to anyone. He uses Russell's technique to paraphrase names. |
10667 | A logically perfect language could express all truths, so all truths must be logically expressible [Quine, by Hossack] |
Full Idea: Quine's test of ontological commitment says that anything that can be said truly at all must be capable of being said in a logically perfect language, so there must be a paraphrase of every truth into the language of logic. | |
From: report of Willard Quine (works [1961]) by Keith Hossack - Plurals and Complexes 2 | |
A reaction: A very nice statement of the Quinean view, much more persuasive than other statements I have encountered. I am suddenly almost converted to a doctrine I have hitherto despised. Isn't philosophy wonderful? |
1610 | To be is to be the value of a variable, which amounts to being in the range of reference of a pronoun [Quine] |
Full Idea: To be assumed as an entity is to be reckoned as the value of a variable. This amounts roughly to saying that to be is to be in the range of reference of a pronoun. | |
From: Willard Quine (On What There Is [1948], p.13) | |
A reaction: Cf. Idea 7784. |
19486 | We can use quantification for commitment to unnameable things like the real numbers [Quine] |
Full Idea: Through our variables of quantification we are quite capable of committing ourselves to entities which cannot be named individually at all in the resources of our language; witness the real numbers. | |
From: Willard Quine (On Carnap's Views on Ontology [1951], p.205) | |
A reaction: The real numbers are uncountable, and thus cannot all be named. This is quite an impressive point. I've always had doubts about the existence of real numbers, on the grounds that they could never all be named. |
5747 | "No entity without identity" - our ontology must contain items with settled identity conditions [Quine, by Melia] |
Full Idea: Quine's well-known slogan "no entity without identity" means that no object should be admitted into our ontology unless its identity conditions, the conditions that say which object it is, have been settled. | |
From: report of Willard Quine (Speaking of Objects [1960]) by Joseph Melia - Modality Ch.4 | |
A reaction: This invites science fiction scenarios, where we admit the existence of something before we have a clue what it is (whether it is physical, hallucination, divine..). Quine's slogan seems attractive but optimistic. How 'settled'? |
16963 | Existence is implied by the quantifiers, not by the constants [Quine] |
Full Idea: In the quantification '(∃)(x=a)', it is the existential quantifier, not the 'a' itself, which carries the existential import. | |
From: Willard Quine (Existence and Quantification [1966], p.94) | |
A reaction: The Fregean idea seems to be that the criterion of existence is participation in an equality, but here the equality seems not more than assigning a name. Why can't I quantify over 'sakes', in 'for the sake of the children'? |
16021 | Quine says we can expand predicates easily (ideology), but not names (ontology) [Quine, by Noonan] |
Full Idea: The highly intuitive methodological programme enunciated by Quine says that as our knowledge expands we should unhesitatingly expand our ideology, our stock of predicables, but should be much more wary about ontology, the name variables. | |
From: report of Willard Quine (works [1961]) by Harold Noonan - Identity §3 | |
A reaction: I suddenly embrace this as a crucial truth. This distinction allows you to expand on truths without expanding on reality. I would add that it is also crucial to distinguish properties from predicates. A new predicate isn't a new property. |
16964 | Theories are committed to objects of which some of its predicates must be true [Quine] |
Full Idea: Another way of saying what objects a theory requires is to say that they are the objects that some of the predicates of the theory have to be true of, in order for the theory to be true. | |
From: Willard Quine (Existence and Quantification [1966], p.95) | |
A reaction: The other was for the objects to be needed by the bound variables of the theory. This is the first-order approach, that predication is a commitment to an object. So what of predicates which have no application? |
8459 | Fictional quantification has no ontology, so we study ontology through scientific theories [Quine, by Orenstein] |
Full Idea: In fiction, 'Once upon a time there was an F who...' obviously does not make an ontological commitment, so Quine says the question of which ontology we accept must be dealt with in terms of the role an ontology plays in a scientific worldview. | |
From: report of Willard Quine (On What There Is [1948]) by Alex Orenstein - W.V. Quine Ch.3 | |
A reaction: This seems to invite questions about the ontology of people who don't espouse a scientific worldview. If your understanding of the outside world and of the past is created for you by storytellers, you won't be a Quinean. |
8497 | An ontology is like a scientific theory; we accept the simplest scheme that fits disorderly experiences [Quine] |
Full Idea: Our acceptance of ontology is similar in principle to our acceptance of a scientific theory; we adopt the simplest conceptual scheme into which the disordered fragments of raw experience can be fitted and arranged. | |
From: Willard Quine (On What There Is [1948], p.16) | |
A reaction: Quine (who says he likes 'desert landscapes') is the modern hero for anyone who loves Ockham's Razor, and seeks extreme simplicity. And yet he finds himself committed to the existence of sets to achieve this. |
4216 | Express a theory in first-order predicate logic; its ontology is the types of bound variable needed for truth [Quine, by Lowe] |
Full Idea: According to Quine, we find the ontological commitments of a theory by expressing it in first-order predicate logic, then determining what kind of entities must be admitted as bound variables if the theory is true. | |
From: report of Willard Quine (Existence and Quantification [1966]) by E.J. Lowe - A Survey of Metaphysics p.216 | |
A reaction: To me this is horribly wrong. The ontological commitments of our language is not the same as ontology. What are the ontological commitments of a pocket calculator? |
18966 | Ontological commitment of theories only arise if they are classically quantified [Quine] |
Full Idea: I hold that the question of the ontological commitment of a theory does not properly arise except as that theory is expressed in classical quantificational form. | |
From: Willard Quine (Existence and Quantification [1966], p.106) | |
A reaction: He is attacking substitutional quantification for its failure to commit. I smell circularity. If it must be quantified in the first-order classical manner, that restricts your ontology to objects before you've even started. Chicken/egg. |
18964 | Ontology is relative to both a background theory and a translation manual [Quine] |
Full Idea: Ontology is doubly relative. Specifying the universe of a theory makes sense only relative to some background theory, and only relative to some choice of a manual of translation of one theory into another. | |
From: Willard Quine (Ontological Relativity [1968], p.54) | |
A reaction: People tend to forget about the double nature of Quine's notion of ontological commitment, and usually only talk about the commitment of the theory being employed. Why is the philosophical community not devoting itself to the study of tranlation manuals? |
3325 | For Quine everything exists theoretically, as reference, predication and quantification [Quine, by Benardete,JA] |
Full Idea: Theoretical entities (which is everything, according to Quine) are postulated by us in a threefold fashion as an object (1) to which we refer, (2) of which we predicate, and (3) over which we quantify. | |
From: report of Willard Quine (works [1961]) by José A. Benardete - Metaphysics: the logical approach Ch.12 |
16261 | If commitment rests on first-order logic, we obviously lose the ontology concerning predication [Maudlin on Quine] |
Full Idea: If Quine restricts himself to first-order predicate calculus, then the ontological implications concern the subjects of predicates. The nature of predicates, and what must be true for the predication, have disappeared from the radar screen. | |
From: comment on Willard Quine (On What There Is [1948]) by Tim Maudlin - The Metaphysics within Physics 3.1 | |
A reaction: Quine's response, I presume, is that the predicates can all be covered extensionally (red is a list of the red objects), and so a simpler logic will do the whole job. I agree with Maudlin though. |
7698 | If to be is to be the value of a variable, we must already know the values available [Jacquette on Quine] |
Full Idea: To apply Quine's criterion that to be is to be the value of a quantifier-bound variable, we must already know the values of bound variables, which is to say that we must already be in possession of a preferred existence domain. | |
From: comment on Willard Quine (On What There Is [1948], Ch.6) by Dale Jacquette - Ontology | |
A reaction: [A comment on Idea 1610]. Very nice to accuse Quine, of all people, of circularity, given his attack on analytic-synthetic with the same strategy! The values will need to be known extra-lingistically, to avoid more circularity. |
19492 | 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. |
14490 | You can be implicitly committed to something without quantifying over it [Thomasson on Quine] |
Full Idea: Quine's test for ontological commitment ignores the fact that there are often implicit commitments to certain kinds of entities even where we are not yet quantifying over them. | |
From: comment on Willard Quine (Existence and Quantification [1966]) by Amie L. Thomasson - Ordinary Objects 09.4 | |
A reaction: Put this with the obvious problem (of which Quine is aware) that we don't quantify over 'sakes' in 'for the sake of the children', and quantification and commitment have been rather clearly pulled apart. |
16961 | In formal terms, a category is the range of some style of variables [Quine] |
Full Idea: In terms of formalized quantification theory, each category comprises the range of some distinctive style of variable. | |
From: Willard Quine (Existence and Quantification [1966], p.92) | |
A reaction: I add this for those who dream of formalising everything, but be warned that even Quine thought it of little help in deciding on the categories. Presumably there would be some variable that ranged across tigers. |
16462 | The quest for ultimate categories is the quest for a simple clear pattern of notation [Quine] |
Full Idea: The quest of a simplest, clearest overall pattern of canonical notation is not to be distinguished from a quest of ultimate categories, a limning of the most general traits of reality. | |
From: Willard Quine (Word and Object [1960], §33) | |
A reaction: I won't disagree, as long as we recognise that reality calls the shots, not the notation, and that even animals must have some sort of system of categories, achieved without 'notation'. |
11096 | Discourse generally departmentalizes itself to some degree [Quine] |
Full Idea: Discourse generally departmentalizes itself to some degree. | |
From: Willard Quine (Identity, Ostension, and Hypostasis [1950], 2) | |
A reaction: I pick this out because I think it is important. There is a continually shifting domain in any conversation ('what we are talking about'), and speech cannot be understand if the shifting domain or department has not been grasped. |
8461 | The category of objects incorporates the old distinction of substances and their modes [Quine] |
Full Idea: The category of objects embraces indiscriminately what would anciently have been distinguished as substances and as modes or states of substances. | |
From: Willard Quine (The Scope and Language of Science [1954], §6) | |
A reaction: This nicely captures Quine's elimination of properties, by presenting them as inseparable from their objects/substances. Armstrong calls this 'Ostrich Nominalism' (for refusing to address the universals problem) but Quineans are unshaken. |
17989 | Since properties have properties, there can be a typed or a type-free theory of them [Hofweber] |
Full Idea: Since properties themselves can have properties there is a well-known division in the theory of properties between those who take a typed and those who take a type-free approach. | |
From: Thomas Hofweber (Inexpressible Properties and Propositions [2006], 2.2) | |
A reaction: A typed approach would imply restrictions on what it can be a property of. 'Green' is a property of surfaces, 'dark' is a property of colours. My first reaction is to opt for type-free. |
8534 | Quine says the predicate of a true statement has no ontological implications [Quine, by Armstrong] |
Full Idea: Quine's doctrine is that the predicate of a true statement carries no ontological implications. | |
From: report of Willard Quine (works [1961]) by David M. Armstrong - Properties §1 | |
A reaction: Quine is ontologically committed to the subject of the statement (an object). The predicate seems to be an inseparable part of that object. Quine is, of course, a holist, so ontological commitment isn't judged in single statements. |
7925 | There is no proper identity concept for properties, and it is hard to distinguish one from two [Quine] |
Full Idea: The lack of a proper identity concept for attributes (properties) is a lack that philosophers feel impelled to supply; for, what sense is there in saying there are attributes when there is no sense in saying when there is one attribute and when two? | |
From: Willard Quine (Speaking of Objects [1960], IV) | |
A reaction: This strikes me as being a really crucial question. There is a mistaken tendency to take any possible linguistic predicate as implying a natural property. I sympathise with the sceptics here (see Ideas 4029, 3906, 3322). How to individuate properties? |
10295 | Quine suggests that properties can be replaced with extensional entities like sets [Quine, by Shapiro] |
Full Idea: Quine doubts the existence of properties, and, trying to be helpful, suggests that variables ranging over properties be replaced with variables ranging over respectable extensional entities like sets, so we can 'identify' a property with a singleton set. | |
From: report of Willard Quine (works [1961]) by Stewart Shapiro - Higher-Order Logic 2.1 | |
A reaction: This strikes me as a classic modern heresy, a slippery slope that loses all grip on what a property is, replacing it with entities that mean nothing, but make the logic work. |
3322 | Quine says that if second-order logic is to quantify over properties, that can be done in first-order predicate logic [Quine, by Benardete,JA] |
Full Idea: Quine assures us that if the specific mission of second-order logic is quantifying over properties, the task can readily be performed by first-order predicate logic, as in (Ex) x is a property, and (y) y has x. | |
From: report of Willard Quine (works [1961]) by José A. Benardete - Metaphysics: the logical approach Ch.10 |
6078 | Quine brought classes into semantics to get rid of properties [Quine, by McGinn] |
Full Idea: Quine brought classes into semantics in order to oust properties. | |
From: report of Willard Quine (works [1961]) by Colin McGinn - Logical Properties Ch.3 | |
A reaction: Quine's view has always struck me as odd, as I don't see how you can decide what set something belongs to if you haven't already decided its properties. But then I take it that nature informs you of most properties, and set membership is not arbitrary. |
9017 | Predicates are not names; predicates are the other parties to predication [Quine] |
Full Idea: Predicates are not names; predicates are the other parties to predication. | |
From: Willard Quine (Philosophy of Logic [1970], Ch.2) | |
A reaction: Does a wife only exist as party to a marriage? There's something missing here. We are taking predication to be primitive, but we then seem to single out one part of the process - the object - while ignoring the remainder. What are Quinean objects? |
8479 | Don't analyse 'red is a colour' as involving properties. Say 'all red things are coloured things' [Quine, by Orenstein] |
Full Idea: Quine proposes that 'red is a colour' does not require analysis, such as 'there is an x which is the property of being red and it is a colour' which needs an ontology of properties. We can just say that all red things are coloured things. | |
From: report of Willard Quine (works [1961]) by Alex Orenstein - W.V. Quine Ch.6 | |
A reaction: The question of the ontology of properties is here approached, in twentieth century style, as the question 'what is the logical form of property attribution sentences?' Quine's version deals in sets of prior objects, rather than abstract entities. |
18439 | Because things can share attributes, we cannot individuate attributes clearly [Quine] |
Full Idea: No two classes have exactly the same members, but two different attributes may be attributes of exactly the same things. Classes are identical when their members are identical. ...On the other hand, attributes have no clear principle of individuation. | |
From: Willard Quine (On the Individuation of Attributes [1975], p.100) |
14296 | Dispositions are physical states of mechanism; when known, these replace the old disposition term [Quine] |
Full Idea: Each disposition, in my view, is a physical state or mechanism. ...In some cases nowadays we understand the physical details and set them forth explicitly in terms of the arrangement and interaction of small bodies. This replaces the old disposition. | |
From: Willard Quine (The Roots of Reference [1990], p.11), quoted by Stephen Mumford - Dispositions 01.3 | |
A reaction: A challenge to the dispositions and powers view of nature, one which rests on the 'categorical' structural properties, rather than the 'hypothetical' dispositions. But can we define a mechanism without mentioning its powers? |
15723 | Either dispositions rest on structures, or we keep saying 'all things being equal' [Quine] |
Full Idea: The further a disposition is from those that can confidently be pinned on molecular structure or something comparably firm, the more our talk of it tends to depend on a vague factor of 'caeteris paribus' | |
From: Willard Quine (Word and Object [1960], §46) | |
A reaction: I approve of this. It is precisely the point of scientific essentialism, I take it. We are faced with innumerable uncertain dispositions, but once the underlying mechanisms are known, their role in nature becomes fairly precise. |
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'. |
15490 | Explain unmanifested dispositions as structural similarities to objects which have manifested them [Quine, by Martin,CB] |
Full Idea: Quine claims that an unmanifested disposition is explicable in terms of an object having a structure similar to a structure of an object that has manifested the supposed disposition. | |
From: report of Willard Quine (Word and Object [1960], §46) by C.B. Martin - The Mind in Nature 07.4 | |
A reaction: This is probably the best account available for the firm empiricist who denies modal features in the actual world. In other words, a disposition is the result of an induction, not a conditional statement. |
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. |
1612 | Realism, conceptualism and nominalism in medieval universals reappear in maths as logicism, intuitionism and formalism [Quine] |
Full Idea: The three medieval views on universals (realism, conceptualism and nominalism) reappear in the philosophy of maths as logicism, intuitionism and formalism. | |
From: Willard Quine (On What There Is [1948], p.14) |
3751 | Universals are acceptable if they are needed to make an accepted theory true [Quine, by Jacquette] |
Full Idea: Abstract entities (universals) are admitted to an ontology by Quine's criterion if they must be supposed to exist (or subsist) in order to make the propositions of an accepted theory true. | |
From: report of Willard Quine (works [1961]) by Dale Jacquette - Abstract Entity p.3 |
15402 | There is no entity called 'redness', and that some things are red is ultimate and irreducible [Quine] |
Full Idea: There is not any entity whatever, individual or otherwise, which is named by the word 'redness'. ...That the houses and roses and sunsets are all of them red may be taken as ultimate and irreducible. | |
From: Willard Quine (On What There Is [1948], p.10) | |
A reaction: This seems to invite the 'ostrich' charge (Armstrong), that there is something left over that needs explaining. If the reds are ultimate and irreducible, that seems to imply that they have no relationship at all to one another. |
9006 | Commitment to universals is as arbitrary or pragmatic as the adoption of a new system of bookkeeping [Quine] |
Full Idea: One's hypothesis as to there being universals is at bottom just as arbitrary or pragmatic a matter as one's adoption of a new brand of set theory or even a new system of bookkeeping. | |
From: Willard Quine (Carnap and Logical Truth [1954], x) | |
A reaction: This spells out clearly the strongly pragmatist vein in Quine's thinking. |
4443 | Quine has argued that predicates do not have any ontological commitment [Quine, by Armstrong] |
Full Idea: Quine has attempted to bypass the problem of universals by arguing for the ontological innocence of predicates, since it is the application conditions of predicates which furnish the Realists with much of their case. | |
From: report of Willard Quine (On What There Is [1948]) by David M. Armstrong - Universals p.503 | |
A reaction: Presumably this would be a claim that predicates appear to commit us to properties, but that properties are not natural features, and can be reduced to something else. Tricky.. |
11099 | Understanding 'is square' is knowing when to apply it, not knowing some object [Quine] |
Full Idea: No more need be demanded of 'is square' than that our listener learn when to expect us to apply it to an object and when not; there is no need for the phrase itself to be the name in turn of a separate object of any kind. | |
From: Willard Quine (Identity, Ostension, and Hypostasis [1950], 4) |
8504 | Quine aims to deal with properties by the use of eternal open sentences, or classes [Quine, by Devitt] |
Full Idea: Quine is not an 'ostrich', because his strategy for dealing with property sentences is clear enough: all talk of attributes is to be dispensed with in favour of talk of eternal open sentences or talk of classes. | |
From: report of Willard Quine (Word and Object [1960], §43) by Michael Devitt - 'Ostrich Nominalism' or 'Mirage Realism'? p.100 | |
A reaction: [See p.209 'Word and Object'] The proposal seems to be that a property like being-human (a category) would be dealt with by classes, and qualitative properties would be dealt with simply as predicates. I like the split, and the first half, not the second. |
7970 | Quine is committed to sets, but is more a Class Nominalist than a Platonist [Quine, by Macdonald,C] |
Full Idea: Armstrong dubs Quine an 'Ostrich Nominalist' (what problem??), but Quine calls himself a Platonist, because he is committed to classes or sets as well as particulars. He is not an extreme nominalist, and might best be called a Class Nominalist. | |
From: report of Willard Quine (works [1961], Ch.6 n15) by Cynthia Macdonald - Varieties of Things | |
A reaction: For someone as ontologically austere as Quine to show 'commitment' to sets deserves some recognition. If he wants to be a Platonist, I say that's fine. What on earth is a set, apart from its members? |
18442 | You only know an attribute if you know what things have it [Quine] |
Full Idea: May we not say that you know an attribute only insofar as you know what things have it? | |
From: Willard Quine (On the Individuation of Attributes [1975], p.106) | |
A reaction: Simple, and the best defence of class nominalism (a very implausible theory) which I have encountered. Do I have to know all the things? Do I not know 'red' if I don't know tomatoes have it? |
11097 | Red is the largest red thing in the universe [Quine] |
Full Idea: Red is the largest red thing in the universe - the scattered total thing whose parts are all the red things. | |
From: Willard Quine (Identity, Ostension, and Hypostasis [1950], 3) |
11094 | 'Red' is a single concrete object in space-time; 'red' and 'drop' are parts of a red drop [Quine] |
Full Idea: Why not view 'red' as naming a single concrete object extended in space and time? ..To say a drop is red is to say that the one object, the drop, is a spatio-temporal part of the other, red, as a waterfall is part of a river. | |
From: Willard Quine (Identity, Ostension, and Hypostasis [1950], 2) |
7924 | The notion of a physical object is by far the most useful one for science [Quine] |
Full Idea: In a contest of sheer systematic utility to science, the notion of physical object still leads the field. | |
From: Willard Quine (Word and Object [1960], §48) | |
A reaction: A delightful circumlocution from someone who seems terrified to assert that there just are objects. Not that I object to Quine's caution. It would be disturbing if his researches had revealed that we could manage without objects. But compare Idea 6124. |
1628 | 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) |
8498 | Treating scattered sensations as single objects simplifies our understanding of experience [Quine] |
Full Idea: By bringing together scattered sense events and treating them as perceptions of one object, we reduce the complexity of our stream of experience to a manageable conceptual simplicity. | |
From: Willard Quine (On What There Is [1948], p.17) | |
A reaction: If, however, our consideration of tricky cases, such as vague objects, or fast-changing objects, or spatially coinciding objects made it all seem too complex, then Quine's argument would be grounds for abandoning objects. See Merricks. |
8464 | Physical objects in space-time are just events or processes, no matter how disconnected [Quine] |
Full Idea: Physical objects, conceived four-dimensionally in space-time, are not to be distinguished from events or concrete processes. Each comprises simply the content, however heterogeneous, of a portion of space-time, however disconnected and gerrymandered. | |
From: Willard Quine (Word and Object [1960], §36) | |
A reaction: I very much like the suggestion that objects should be thought of as 'processes', but I dislike the idea that they can be gerrymandered. This is a refusal to cut nature at the joints (Idea 7953), which I find very counterintuitive. |
9018 | A physical object is the four-dimensional material content of a portion of space-time [Quine] |
Full Idea: We might think of a physical object as simply the whole four-dimensional material content, however sporadic and heterogeneous, of some portion of space-time. If it is firm and coherent internally, we call it a body. | |
From: Willard Quine (Philosophy of Logic [1970], Ch.2) | |
A reaction: An early articulation of one of the two standard views of objects in recent philosophy. I think I prefer the Quinean view, but I am still looking into that one... |
13387 | Our conceptual scheme becomes more powerful when we posit abstract objects [Quine] |
Full Idea: There is no denying the access of power that accrues to our conceptual scheme through the positing of abstract objects. | |
From: Willard Quine (Speaking of Objects [1960], §5) | |
A reaction: This seems right, both in its use of the word 'posit', and in its general pragmatic claim. So why? If they enable us to grapple with the world better, it must be because of their power of generalisation. They are nets thrown over chunks of reality. |
15783 | Definite descriptions can't unambiguously pick out an object which doesn't exist [Lycan on Quine] |
Full Idea: Meinong characteristically refers to his Objects using definite descriptions, such as 'the golden mountain'. But on his view there are many golden mountains, with different features. How can 'the golden mountain' then succeed in denoting a single Object? | |
From: comment on Willard Quine (works [1961]) by William Lycan - The Trouble with Possible Worlds 01 | |
A reaction: Use of definite descriptions doesn't seem obligatory in this situation. 'Think of a golden mountain' - 'which one?' - 'never mind which one!'. |
8277 | I prefer 'no object without identity' to Quine's 'no entity without identity' [Lowe on Quine] |
Full Idea: To adapt Quine's famous slogan ('no entity without identity'), I prefer to say 'no object without identity'. | |
From: comment on Willard Quine (Speaking of Objects [1960], p.52) by E.J. Lowe - The Possibility of Metaphysics 7.1 | |
A reaction: Quine was trying to make us all more scientific, but Lowe is closer to common sense. The sky is an entity, most of us would say, but with very shaky identity-conditions. A wave of the sea is a good example. |
18441 | No entity without identity (which requires a principle of individuation) [Quine] |
Full Idea: We have an acceptable notion of class, or physical object, or attribute, or any other sort of object, only insofar as we have an acceptable principle of individuation for that sort of object. There is no entity without identity. | |
From: Willard Quine (On the Individuation of Attributes [1975], p.102) | |
A reaction: Note that this is his criterion for an 'acceptable' notion. Presumably that is for science. It permits less acceptable notions which don't come up to the standard. And presumably true things can be said about the less acceptable entities. |
21652 | Our perceptual beliefs are about ordinary objects, not about simples arranged chair-wise [Hofweber] |
Full Idea: The belief that there are simples arranged chair-wise is not a perceptual belief. Our perceptual beliefs have a content about ordinary objects, not simples arranged chair-wise. | |
From: Thomas Hofweber (Ontology and the Ambitions of Metaphysics [2016], 07.3.1) | |
A reaction: Hofweber gives ontological priority to 'perceptual beliefs'. I'm inclined to agree, but I hear the critical hordes swarming against the gate. |
10923 | Aristotelian essentialism says a thing has some necessary and some non-necessary properties [Quine] |
Full Idea: What Aristotelian essentialism says is that you can have open sentences Fx and Gx, such that ∃x(nec Fx.Gx.¬nec Gx). For example, ∃x(nec(x>5). there are just x planets. ¬nec(there are just x planets)). | |
From: Willard Quine (Three Grades of Modal Involvement [1953], p.176) | |
A reaction: This is a denial of 'maximal essentialism', that all of a things properties might be essential. Quine is thus denying necessity, except under a description. He may be equivocating over the reference of 'there are just 9 planets'. |
10929 | 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. |
10930 | Quantification into modal contexts requires objects to have an essence [Quine] |
Full Idea: A reversion to Aristotelian essentialism is required if quantification into modal contexts is to be insisted on. An object must be seen as having some of its traits necessarily. | |
From: Willard Quine (Reference and Modality [1953], §3) | |
A reaction: This thought leads directly to Kripke's proposal of rigid designation of objects (and Lewis response of counterparts), which really gets modal logic off the ground. Quine's challenge remains - the modal logic entails a huge metaphysical commitment. |
8482 | Mathematicians must be rational but not two-legged, cyclists the opposite. So a mathematical cyclist? [Quine] |
Full Idea: Mathematicians are necessarily rational, and not necessarily two-legged; cyclists are the opposite. But what of an individual who counts among his eccentricities both mathematics and cycling? | |
From: Willard Quine (Word and Object [1960], §41) | |
A reaction: Quine's view is that the necessity (and essence) depends on how this eccentric is described. If he loses a leg, he must give up cycling; if he loses his rationality, he must give up the mathematics. Quine is wrong. |
12136 | Cyclist are not actually essentially two-legged [Brody on Quine] |
Full Idea: Cyclists are not essentially two-legged (a one-legged cyclist exists, but can't cycle any more), and mathematicians are not essentially rational (as they can lose rationality and continue to exist, though unable to do mathematics). | |
From: comment on Willard Quine (Word and Object [1960], §41.5) by Baruch Brody - Identity and Essence 5.1 | |
A reaction: Was Quine thinking of the nominal essence of this person - that 'cyclists' necessarily cylce, and 'mathematicians' necessarily do some maths? It is as bad to confuse 'necessary' with 'essential' as to confuse 'use' with 'mention'. |
13590 | Essences can make sense in a particular context or enquiry, as the most basic predicates [Quine] |
Full Idea: The notion of essence makes sense in context. Relative to a particular enquiry, some predicates may play a more basic role than others, or may apply more fixedly; and these may be treated as essential. | |
From: Willard Quine (Intensions Revisited [1977], p.121) | |
A reaction: Quine has got a bad press on essentialism, and on modal logic, but I take this point seriously. If you give something a fixed identity by means of essence in some context, you can then go ahead and apply possible world reasoning in that context. |
9019 | Four-d objects helps predication of what no longer exists, and quantification over items from different times [Quine] |
Full Idea: The four-dimensional view of objects aids relativity, and the grammar of tenses, but in logic it makes sense of applying a predicate to something that no longer exists, or of quantifying over objects that never coexisted at any one time. | |
From: Willard Quine (Philosophy of Logic [1970], Ch.2) | |
A reaction: Since you can predicate of or quantify over hypothetical or fictional objects ('Hamlet is gloomy', 'phlogiston explained fire quite well', 'peace and quiet would be nice') I don't see the necessity for this bold ontological commitment, on these grounds. |
17595 | To unite a sequence of ostensions to make one object, a prior concept of identity is needed [Quine] |
Full Idea: The concept of identity is central in specifying spatio-temporally broad objects by ostension. Without identity, n acts of ostension merely specify up to n objects. ..But when we affirm identity of object between ostensions, they refer to the same object. | |
From: Willard Quine (Identity, Ostension, and Hypostasis [1950], 1) | |
A reaction: Quine says that there is an induction involved. On the whole, Quine seems to give a better account of identity than Geach or Wiggins can offer. |
18965 | We know what things are by distinguishing them, so identity is part of ontology [Quine] |
Full Idea: We cannot know what something is without knowing how it is marked off from other things. Identity is thus of a piece with ontology. | |
From: Willard Quine (Ontological Relativity [1968], p.55) | |
A reaction: Actually it is failure of identity which seems to raise questions of individuation. If I say 'this apple is [pause] identical to this apple', I don't see how that helps me to individuate apples. |
17594 | We can paraphrase 'x=y' as a sequence of the form 'if Fx then Fy' [Quine] |
Full Idea: For general terms write 'if Fx then Fy' and vice versa, and 'if Fxz then Fyz'..... The conjunction of all these is coextensive with 'x=y' if any formula constructible from the vocabulary is; and we can adopt that conjunction as our version of identity. | |
From: Willard Quine (Word and Object [1960], §47) | |
A reaction: [first half compressed] The main rival views of equality are this and Wiggins (1980:199). Quine concedes that his account implies a modest version of the identity of indiscernibles. Wiggins says identity statements need a sortal. |
18440 | Identity of physical objects is just being coextensive [Quine] |
Full Idea: Physical objects are identical if and only if coextensive. | |
From: Willard Quine (On the Individuation of Attributes [1975], p.101) | |
A reaction: The supposed counterexample to this is the statue and the clay it is made of, which are said to have different modal properties (destroying the statue doesn't destroy the clay). |
11095 | We should just identify any items which are indiscernible within a given discourse [Quine] |
Full Idea: We might propound the maxim of the 'identification of indiscernibles': Objects indistinguishable from one another within the terms of a given discourse should be construed as identical for that discourse. | |
From: Willard Quine (Identity, Ostension, and Hypostasis [1950], 2) | |
A reaction: This increasingly strikes me as the correct way to discuss such things. Identity is largely contextual, and two things can be viewed as type-identical for practical purposes (e.g. teaspoons), but distinguished if it is necessary. |
10921 | Necessity can attach to statement-names, to statements, and to open sentences [Quine] |
Full Idea: Three degrees necessity in logic or semantics: first and least is attaching a semantical predicate to the names of statements (as Nec '9>5'); second and more drastic attaches to statements themselves; third and gravest attaches to open sentences. | |
From: Willard Quine (Three Grades of Modal Involvement [1953], p.158) |
14645 | To be necessarily greater than 7 is not a trait of 7, but depends on how 7 is referred to [Quine] |
Full Idea: To be necessarily greater than 7 is not a trait of a number, but depends on the manner of referring to the number. | |
From: Willard Quine (Reference and Modality [1953], §2) | |
A reaction: The most concise quotation of Quine's objection to 'de re' modality. The point is whether the number might have been referred to as 'the number of planets'. So many of these problems are solved by fixing unambiguous propositions first. |
12188 | 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. |
9001 | Frege moved Kant's question about a priori synthetic to 'how is logical certainty possible?' [Quine] |
Full Idea: When Kant's arithmetical examples of a priori synthetic judgements were sweepingly disqualified by Frege's reduction of arithmetic to logic, attention moved to the less tendentious and logically prior question 'How is logical certainty possible?' | |
From: Willard Quine (Carnap and Logical Truth [1954], I) | |
A reaction: A nice summary of the story so far, from someone who should know. This still leaves the question open of whether any synthetic truths can be derived from the logical certainties which are available. |
9201 | Whether 9 is necessarily greater than 7 depends on how '9' is described [Quine, by Fine,K] |
Full Idea: Quine's metaphysical argument is that if 9 is 7+2 the number 9 will be necessarily greater than 7, but when 9 is described as the number of planets, the number will not be necessarily greater than 7. The necessity depends on how it is described. | |
From: report of Willard Quine (Reference and Modality [1953]) by Kit Fine - Intro to 'Modality and Tense' p. 3 | |
A reaction: Thus necessity would be entirely 'de dicto' and not 'de re'. It sounds like a feeble argument. If I describe the law of identity (a=a) as 'my least favourite logical principle', that won't make it contingent. Describe 9, or refer to it? See Idea 9203. |
15090 | 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. |
10927 | Necessity only applies to objects if they are distinctively specified [Quine] |
Full Idea: Necessity does not properly apply to the fulfilment of conditions by objects (such as the number which numbers the planets), apart from special ways of specifying them. | |
From: Willard Quine (Reference and Modality [1953], §3) | |
A reaction: This appears to say that the only necessity is 'de dicto', and that there is no such thing as 'de re' necessity (of the thing in itself). How can Quine deny that there might be de re necessities? His point is epistemological - how can we know them? |
10924 | Necessity is in the way in which we say things, and not things themselves [Quine] |
Full Idea: Necessity resides in the way in which we say things, and not in the things we talk about. | |
From: Willard Quine (Three Grades of Modal Involvement [1953], p.176) | |
A reaction: This is a culminating idea of Quine's thoroughgoing empiricism, as filtered through logical positivism. I would hardly dare to accuse Quine of a use/mention confusion (his own bęte noir), but one seems to me to be lurking here. |
4577 | There is no necessity higher than natural necessity, and that is just regularity [Quine] |
Full Idea: In principle I see no higher or more austere necessity than natural necessity; and in natural necessity, or our attribution of it, I see only Hume's regularities | |
From: Willard Quine (Necessary Truth [1963], p.76) | |
A reaction: Presumably this allows logical necessity as a 'lower' necessity, but denies 'metaphysical' necessity, in line with Hume and other tough empiricists. Personally I adore metaphysical necessities, but they are a bit hard to establish conclusively. |
8206 | Necessity could be just generalisation over classes, or (maybe) quantifying over possibilia [Quine] |
Full Idea: The need to add a note of necessity to 'all black crows are black' could be met by a generalisation over classes (what belongs to sets x and y belongs to y), or maybe be quantifying over possible particulars. | |
From: Willard Quine (On Multiplying Entities [1974], p.262) | |
A reaction: He dislikes the second strategy because 'unactualized particulars are an obscure and troublesome lot'. The second is the strategy of Lewis. I think necessity starts to creep back in as soon as you ask WHY a generalisation holds true. |
8483 | Necessity is relative to context; it is what is assumed in an inquiry [Quine] |
Full Idea: The very notion of necessity makes sense to me only relative to context. Typically it is applied to what is assumed in an inquiry, as against what has yet to transpire. | |
From: Willard Quine (Intensions Revisited [1977], p.121) | |
A reaction: Lots of things are assumed by an inquiry without an assumption that they must be true. Quine is the greatest opponent of necessity in all of philosophy. Asserting necessities, though, is too much fun to give up. It would ruin philosophy. |
15782 | Quine wants identity and individuation-conditions for possibilia [Quine, by Lycan] |
Full Idea: Quine notoriously demands identity and individuation-conditions for mere possibilia. | |
From: report of Willard Quine (works [1961]) by William Lycan - The Trouble with Possible Worlds 01 | |
A reaction: Demanding individuation before speaking of anything strikes me as dubious. 'Whoever did this should own up'. 'There must be something we can do'. Obviously you need some idea of what you are talking about - but not much. |
9014 | Some conditionals can be explained just by negation and conjunction: not(p and not-q) [Quine] |
Full Idea: Often the purpose of a conditional, 'if p, q', can be served simply by negation and conjunction: not(p and not-q), the so-called 'material conditional'. | |
From: Willard Quine (Philosophy of Logic [1970], Ch.2) | |
A reaction: Logicians love the neatness of that, but get into trouble elsewhere with conditionals, particularly over the implications of not-p. |
15725 | Normal conditionals have a truth-value gap when the antecedent is false. [Quine] |
Full Idea: In its unquantified form 'If p then q' the indicative conditional is perhaps best represented as suffering a truth-value gap whenever its antecedent is false. | |
From: Willard Quine (Word and Object [1960], §46) | |
A reaction: That is, the clear truth-functional reading of the conditional (favoured by Lewis, his pupil) is unacceptable. Quine favours the Edgington line, that we are only interested in situations where the antecedent might be true. |
15722 | Conditionals are pointless if the truth value of the antecedent is known [Quine] |
Full Idea: The ordinary conditional loses its point when the truth value of its antecedent is known. | |
From: Willard Quine (Word and Object [1960], §46) | |
A reaction: A beautifully simple point that reveals a lot about what conditionals are. |
22432 | Normally conditionals have no truth value; it is the consequent which has a conditional truth value [Quine] |
Full Idea: Ordinarily the conditional is not thought of as true or false at all, but rather the consequent is thought of as conditionally true or false given the antecedent. | |
From: Willard Quine (Mr Strawson on Logical Theory [1953], III) | |
A reaction: At first this seems obvious, but a conditional asserts a relationship between two propositions, and so presumably it is true if that relationship exists. 'Is it actually true that if it is Monday then everyone in the office is depressed?'. |
15719 | We feign belief in counterfactual antecedents, and assess how convincing the consequent is [Quine] |
Full Idea: The subjunctive conditional depends, like indirect quotation and more so, on a dramatic projection: we feign belief in the antececent and see how convincing we then find the consequent. | |
From: Willard Quine (Word and Object [1960], §46) | |
A reaction: This seems accurate. It means that we are only interested in when the antecedent is true, and when it is false is irrelevant. |
15721 | Counterfactuals are plausible when dispositions are involved, as they imply structures [Quine] |
Full Idea: The subjunctive conditional is seen at its most respectable in the disposition terms. ...The reason is that they are conceived as built-in, enduring structural traits. | |
From: Willard Quine (Word and Object [1960], §46) | |
A reaction: Surprisingly, this is very sympathetic to a metaphysical view that seems a long way from Quine, since dispositions seem to invite commitment to modal features of reality. But the structural traits are not, of course, modal, in any way! |
21663 | Counterfactuals are essential for planning, and learning from mistakes [Hofweber] |
Full Idea: Counterfactuals are important for reasoning about the past and to plan for the future. If we want to learn from our mistakes, it is important to think about what would have happened if I had done things differently. | |
From: Thomas Hofweber (Ontology and the Ambitions of Metaphysics [2016], 13.4.1) | |
A reaction: A thought also found in Tim Williamson, but not the sort of thing you hear from Lewis or Stalnaker. It is a nice example of how highly abstract and theoretical problems need to be slotted into human psychology. |
15724 | Counterfactuals have no place in a strict account of science [Quine] |
Full Idea: The subjunctive conditional has no place in an austere canonical notation for science - but that ban is less restrictive than would at first appear. | |
From: Willard Quine (Word and Object [1960], §46) | |
A reaction: Idea 15723 shows what he has in mind - that what science aims for is accounts of dispositional mechanisms, which then leave talk of other possible worlds (in Lewis style) as unnecessary. I may be with Quine one this one. |
15720 | What stays the same in assessing a counterfactual antecedent depends on context [Quine] |
Full Idea: The traits to suppose preserved in a counterfactual depend on sympathy for the fabulist's purpose. Compare 'If Caesar were in command, he would use the atom bomb', and 'If Caesar were in command, he would use catapults'. | |
From: Willard Quine (Word and Object [1960], §46) | |
A reaction: This seems to be an important example for the Lewis approach, since you are asked to consider the 'nearest' possible world, but that will depend on context. |
2796 | For Quine the only way to know a necessity is empirically [Quine, by Dancy,J] |
Full Idea: Quine argues that no necessity can be known other than empirically. | |
From: report of Willard Quine (works [1961]) by Jonathan Dancy - Intro to Contemporary Epistemology 14.6 |
8856 | Quine's indispensability argument said arguments for abstracta were a posteriori [Quine, by Yablo] |
Full Idea: Fifty years ago, Quine convinced everyone who cared that the argument for abstract objects, if there were going to be one, would have to be a posteriori in nature; an argument that numbers, for example, are indispensable entities for 'total science'. | |
From: report of Willard Quine (On What There Is [1948], §1) by Stephen Yablo - Apriority and Existence | |
A reaction: This sets the scene for the modern debate on the a priori. The claim that abstractions are indispensable for a factual account of the physical world strikes me as highly implausible. |
13589 | Possible worlds are a way to dramatise essentialism, and yet they presuppose essentialism [Quine] |
Full Idea: Talk of possible worlds is a graphic way of waging the essentialist philosophy, but it is only that; it is not an explication. Essence is needed to identify an object from one possible world to another. | |
From: Willard Quine (Intensions Revisited [1977], p.118) | |
A reaction: He makes the proposal sound circular, but I take a commitment to essences to be prior to talk of possible worlds. Possible worlds are a tool for clarifying modalities, not for clarifying essential identities. |
12443 | Can an unactualized possible have self-identity, and be distinct from other possibles? [Quine] |
Full Idea: Is the concept of identity simply inapplicable to unactualized possibles? But what sense can be found in talking of entities which cannot meaningfully be said to be identical with themselve and distinct from one another. | |
From: Willard Quine (On What There Is [1948], p.4) | |
A reaction: Can he seriously mean that we are not allowed to talk about possible objects? If I design a house, it is presumably identical to the house I am designing, and distinct from houses I'm not designing. |
9203 | We can't quantify in modal contexts, because the modality depends on descriptions, not objects [Quine, by Fine,K] |
Full Idea: 'Necessarily 9>7' may be true while the sentence 'necessarily the number of planets < 7' is false, even though it is obtained by substituting a coreferential term. So quantification in these contexts is unintelligible, without a clear object. | |
From: report of Willard Quine (Reference and Modality [1953]) by Kit Fine - Intro to 'Modality and Tense' p. 4 | |
A reaction: This is Quine's second argument against modality. See Idea 9201 for his first. Fine attempts to refute it. The standard reply seems to be to insist that 9 must therefore be an object, which pushes materialist philosophers into reluctant platonism. |
13588 | A rigid designator (for all possible worlds) picks out an object by its essential traits [Quine] |
Full Idea: A rigid designator differs from others in that it picks out its object by essential traits. It designates the object in all possible worlds in which it exists. | |
From: Willard Quine (Intensions Revisited [1977], p.118) | |
A reaction: This states the point more clearly than Kripke ever does, and I presume it is right. Thus when we say that we wish 'our' Hubert Humphrey had won the election, we can allow that his victory elation would change him a bit. Kripke is right. |
13592 | Beliefs can be ascribed to machines [Quine] |
Full Idea: Beliefs have been ascribed to machines, in support of a mechanistic philosophy, and I share this attitude. | |
From: Willard Quine (Intensions Revisited [1977], p.123) | |
A reaction: [He cites Raymond Nelson] One suspects that this is Quine's latent behaviourism speaking. It strikes me as a crass misuse of 'belief' to ascribe it to a simple machine like a thermostat. |
18969 | How do you distinguish three beliefs from four beliefs or two beliefs? [Quine] |
Full Idea: Suppose I say that I have given up precisely three beliefs since lunch. An over-coarse individuation could reduce the number to two, and an over-fine one could raise it to four. | |
From: Willard Quine (Propositional Objects [1965], p.144) | |
A reaction: Obviously if you ask how many beliefs I hold, it would be crazy to give a precise answer. But if I search for my cat, I give up my belief that it is in the kitchen, in the lounge and in the bathroom. That's precise enough to be three beliefs, I think. |
18209 | We can never translate our whole language of objects into phenomenalism [Quine] |
Full Idea: There is no likelihood that each sentence about physical objects can actually be translated, however deviously and complexly, into the phenomenalistic language. | |
From: Willard Quine (On What There Is [1948], p.18), quoted by Penelope Maddy - Naturalism in Mathematics III.2 |
9379 | A sentence is obvious if it is true, and any speaker of the language will instantly agree to it [Quine] |
Full Idea: A sentence is obvious if (a) it is true and (b) any speaker of the language is prepared, for any reason or none, to assent to it without hesitation, unless put off by being asked so obvious a question. | |
From: Willard Quine (Reply to Hellman [1975], p.206), quoted by Paul Boghossian - Analyticity Reconsidered §III | |
A reaction: This comes from someone who is keen to deny a priori knowledge, but what are we to make of the expostulations "It's obvious, you idiot!", and "Now I see it, it's obvious!", and "It seemed obvious, but I was wrong!"? |
9005 | Examination of convention in the a priori begins to blur the distinction with empirical knowledge [Quine] |
Full Idea: In trying to make sense of the role of convention in a priori knowledge, the very distinction between a priori and empirical begins to waver and dissolve. | |
From: Willard Quine (Carnap and Logical Truth [1954], VI) | |
A reaction: This is the next stage in the argument after Wittgenstein presents the apriori as nothing more than what arises from truth tables. The rationalists react by taking us back to the original 'natural light of reason' view. Then we go round again... |
9383 | 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. |
12424 | 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). |
9338 | 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. |
9337 | 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. |
9340 | 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. |
21686 | Sense-data are dubious abstractions, with none of the plausibility of tables [Quine] |
Full Idea: The notion of pure sense datum is a pretty tenuous abstraction, a good deal more conjectural than the notion of an external object, a table or a sheep. | |
From: Willard Quine (On Mental Entities [1952], p.225) | |
A reaction: This seems to sum up the view of sense-data held by the generation after Russell and Moore. Ayer still talks about them, but Russell had already given them up. The simple challenge is - what is the evidence for their existence? Cf innate ideas. |
1620 | 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) |
8450 | Quine's empiricism is based on whole theoretical systems, not on single mental events [Quine, by Orenstein] |
Full Idea: Traditional empiricism takes impressions, ideas or sense data as the basic unit of empirical thought, but Quine takes account of the theoretical as well as the observational; the unit of empirical significance is whole systems of belief. | |
From: report of Willard Quine (works [1961]) by Alex Orenstein - W.V. Quine Ch.1 | |
A reaction: This invites either the question of what components make up the whole systems, or (alternatively) what sort of mental events decide to accept a system as a whole. Should Quine revert either to traditional empiricism, or to rationalism? |
19046 | Empiricism improvements: words for ideas, then sentences, then systems, then no analytic, then naturalism [Quine] |
Full Idea: Since 1750 empiricism shows five turns for the better. First was a shift from ideas to words. Second a shift from terms to sentences. Third the shift to systems of sentences. Fourth the abandonment of analytic-synthetic dualism. Fifth was naturalism. | |
From: Willard Quine (Five Milestones of Empiricism [1975], p.67) | |
A reaction: [compressed] Quine must be largely credited with the last two. The first four are almost entirely linguistic in character, which is characteristic of mid-twentieth-century empiricism. I would offer the recognition of explanation as central for the sixth. |
19049 | In scientific theories sentences are too brief to be independent vehicles of empirical meaning [Quine] |
Full Idea: We have come to recognise that in a scientific theory even a whole sentence is ordinarily too short a text to serve as an independent vehicle of empirical meaning. | |
From: Willard Quine (Five Milestones of Empiricism [1975], p.70) |
1629 | 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) |
21685 | Empiricism says evidence rests on the senses, but that insight is derived from science [Quine] |
Full Idea: The crucial insight of empiricism is that any evidence for science has its end points in the senses. This insight remains valid, but it is an insight which comes after physics, physiology, and psychology, not before. | |
From: Willard Quine (On Mental Entities [1952], p.225) | |
A reaction: Interesting. I think Hume and co. were probably outlining essential presuppositions and contraints which must be accepted by science. Quine offers empiricism as more like a description of science (with success as its authority?). |
19488 | 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. |
7627 | You can't reduce epistemology to psychology, because that presupposes epistemology [Maund on Quine] |
Full Idea: There is something seriously misguided about Quine's project of reducing epistemology to psychology, since psychology, like any of the natural sciences, presupposes an epistemology. | |
From: comment on Willard Quine (Epistemology Naturalized [1968]) by Barry Maund - Perception Ch.1 | |
A reaction: I wonder if epistemology presupposes psychology? Belief, for example, is a category of folk psychology, which could be challenged. There is a quiet battle going on between philosophy and science. |
8871 | We should abandon a search for justification or foundations, and focus on how knowledge is acquired [Quine, by Davidson] |
Full Idea: Quine is suggesting that philosophy should abandon the attempt to provide a foundation for knowledge, or otherwise justify it, and should instead give an account of how knowledge is acquired. | |
From: report of Willard Quine (Epistemology Naturalized [1968]) by Donald Davidson - Epistemology Externalized p.193 | |
A reaction: If you are going to explain how 'knowledge' is acquired, you'd better know what knowledge is. My suspicion is that Quine would be quite happy (in the pragmatist tradition) to just focus on belief, and forget about knowledge entirely. |
8826 | If we abandon justification and normativity in epistemology, we must also abandon knowledge [Kim on Quine] |
Full Idea: Quine asks us to set aside the entire framework of justification-centered epistemology, ..and repudiate normativity. ..But then knowledge itself drops out of epistemology, for our concept of knowledge is inseparably tied to that of justification. | |
From: comment on Willard Quine (Epistemology Naturalized [1968]) by Jaegwon Kim - What is 'naturalized epistemology'? p.305 | |
A reaction: Presumably this would not bother Quine, who wants to hand so-called 'epistemology' over to the psychologists. A psychological account of belief seems plausible. Presumably false beliefs could only be pragmatically characterised. |
8827 | Without normativity, naturalized epistemology isn't even about beliefs [Kim on Quine] |
Full Idea: If normativity is wholly excluded from naturalized epistemology it cannot even be thought of as being about beliefs. | |
From: comment on Willard Quine (Epistemology Naturalized [1968]) by Jaegwon Kim - What is 'naturalized epistemology'? p.306 | |
A reaction: And if it doesn't refer to beliefs, it certainly doesn't refer to knowledge. One might try to subsume normativity under evolutionary pragmatic 'drives', or something. Quine's project would then become wildly speculative, and hence boring. |
8899 | Epistemology is a part of psychology, studying how our theories relate to our evidence [Quine] |
Full Idea: Epistemology falls into place as a chapter of psychology, and hence of natural science. ..We study meagre input and torrential output, to see how evidence relates to theory, and in what ways one's theory of nature transcends any available evidence. | |
From: Willard Quine (Epistemology Naturalized [1968], p.83) | |
A reaction: It depends what you are interested in. If you just want to know what makes humans tick, then Quine is your man, but if you want to know things in general, and want to know how to get it right, then the normative side of epistemology is unavoidable. |
3868 | To proclaim cultural relativism is to thereby rise above it [Quine, by Newton-Smith] |
Full Idea: Truth, says the cultural relativist, is culture-bound. But if it were, then he, within his own culture, ought to see his own culture-bound truth as absolute. He cannot proclaim cultural relativism without rising above it. | |
From: report of Willard Quine (works [1961]) by W.H. Newton-Smith - The Rationality of Science VII.10 |
1634 | Two things are relative - the background theory, and translating the object theory into the background theory [Quine] |
Full Idea: Relativity has two components: to the choice of a background theory, and to the choice of how to translate the object theory into the background theory. | |
From: Willard Quine (Ontological Relativity [1968], p.67) |
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. |
4630 | Two theories can be internally consistent and match all the facts, yet be inconsistent with one another [Quine, by Baggini /Fosl] |
Full Idea: Duhem and Quine have maintained that it may be possible to develop two or more theories that are 1) internally consistent, 2) inconsistent with one another, and 3) perfectly consistent with all the data we can muster. | |
From: report of Willard Quine (Word and Object [1960]) by J Baggini / PS Fosl - The Philosopher's Toolkit §1.06 | |
A reaction: Obviously this may be a contingent truth about our theories, but why not presume that this is because we are unable to collect the crucial data (e.g. about prehistoric biology), rather than denigrate the whole concept of a theory, and undermine science? |
21687 | It seems obvious to prefer the simpler of two theories, on grounds of beauty and convenience [Quine] |
Full Idea: It is not to be wondered that theory makers seek simplicity. When two theories are equally defensible on other counts, certainly the simpler of the two is to be preferred on the score of both beauty and convenience. | |
From: Willard Quine (On Simple Theories of a Complex World [1960], p.255) | |
A reaction: A simple application of Ockham's Razor. Quine goes on to nicely deconstruct what is involved in simplicity, and identify a certain amount of dubious prejudice in the concept. |
21688 | There are four suspicious reasons why we prefer simpler theories [Quine] |
Full Idea: We prefer simpler theories through wishful thinking, or a bias which slants the data, or a bias where the simpler hypothesis is more open to confirmation, or simpler hypotheses tolerating wider deviations in score-keeping. | |
From: Willard Quine (On Simple Theories of a Complex World [1960], p.258) | |
A reaction: [a compression of his summary of the paper] Quine is not dismissing our preference for simpler theories, but just very nicely inviting us to focus of aspects about which we should be cautious. |
4713 | For Quine, theories are instruments used to make predictions about observations [Quine, by O'Grady] |
Full Idea: Quine's epistemological position is instrumentalist. Our theories are instruments we use to make predictions about observations. | |
From: report of Willard Quine (works [1961]) by Paul O'Grady - Relativism Ch.3 | |
A reaction: This is the pragmatist in Quine. It fits the evolutionary view to think that the bottom line is prediction. My theory about the Pelopponesian War seems an exception. |
1625 | 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) |
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. |
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. |
21748 | More careful inductions gradually lead to the hypothetico-deductive method [Quine] |
Full Idea: Our inductions become increasingly explicit and deliberate, and in the fulness of time we even rise above induction, to the hypothetico-deductive method. | |
From: Willard Quine (On the Nature of Moral Values [1978], p.57) | |
A reaction: This seems to defer to Hempel's account of scientific theorising. I wander what exactly 'rising above' means? |
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. |
10004 | Our minds are at their best when reasoning about objects [Hofweber] |
Full Idea: Our minds mainly reason about objects. Most cognitive problems we are faced with deal with particular objects, whether they are people or material things. Reasoning about them is what our minds are good at. | |
From: Thomas Hofweber (Number Determiners, Numbers, Arithmetic [2005], §4.3) | |
A reaction: Hofweber is suggesting this as an explanation of why we continually reify various concepts, especially numbers. Very plausible. It works for qualities of character, and explains our tendency to talk about universals as objects ('redness'). |
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. |
3131 | Quine expresses the instrumental version of eliminativism [Quine, by Rey] |
Full Idea: Quine expresses the instrumental version of eliminativism. | |
From: report of Willard Quine (Word and Object [1960]) by Georges Rey - Contemporary Philosophy of Mind Int.3 |
8462 | A hallucination can, like an ague, be identified with its host; the ontology is physical, the idiom mental [Quine] |
Full Idea: A physical ontology has a place for states of mind. An inspiration or a hallucination can, like the fit of ague, be identified with its host for the duration. It leaves our mentalistic idioms fairly intact, but reconciles them with a physical ontology. | |
From: Willard Quine (The Scope and Language of Science [1954], §VI) | |
A reaction: Quine is employing the same strategy that he uses for substances and properties (Idea 8461): take the predication as basic, rather than reifying the thing being predicated. The ague analogy suggests that Quine is an incipient functionalist. |
11104 | Concepts are language [Quine] |
Full Idea: Concepts are language. | |
From: Willard Quine (Identity, Ostension, and Hypostasis [1950], 5) | |
A reaction: Hm. This seems to mean that animals and pre-linguistic children have no concepts. I just don't believe that. |
11102 | Apply '-ness' or 'class of' to abstract general terms, to get second-level abstract singular terms [Quine] |
Full Idea: Applying the operator '-ness' or 'class of' to abstract general terms, we get second-level abstract singular terms. | |
From: Willard Quine (Identity, Ostension, and Hypostasis [1950], 5) | |
A reaction: This is the derivation of abstract concepts by naming classes, rather than by deriving equivalence classes. Any theory which doesn't allow multi-level abstraction is self-evidently hopeless. Quine says Frege and Russell get numbers this way. |
1626 | 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. |
21654 | The "Fido"-Fido theory of meaning says every expression in a language has a referent [Hofweber] |
Full Idea: The picture of language often called the "Fido"-Fido theory of meaning says every expression in natural languages refers; they simply differ in what they refer to. | |
From: Thomas Hofweber (Ontology and the Ambitions of Metaphysics [2016], 08.2) | |
A reaction: It seems obvious that at least there are syncategorematic terms like 'not' and 'or' and 'maybe' that are internal to language. I'm inclining to the opposite view of Paul Pietroski. Hofweber says if all words are names, they can't add up to truth. |
8898 | Inculcations of meanings of words rests ultimately on sensory evidence [Quine] |
Full Idea: All inculcation of meanings of words must rest ultimately on sensory evidence. | |
From: Willard Quine (Epistemology Naturalized [1968], p.75) | |
A reaction: This betrays Quine's behaviourist tendencies, and rules out introspection, definitions and inferences. Quine's conclusion is fairly total scepticism about meaning, but that is not surprising, given his external and meaningless starting point. |
22430 | If we understand a statement, we know the circumstances of its truth [Quine] |
Full Idea: We understand under what circumstances to say of any given statement that it is true, just as clearly as we understand the statement itself. | |
From: Willard Quine (Mr Strawson on Logical Theory [1953], II) | |
A reaction: This probably shouldn't be taken as a theory of meaning (in which Quine doesn't really believe) but as a plausible statement of correlated facts. Hypothetical assertions might be a problem case. 'If only I could be in two places at once'? |
21700 | Taking sentences as the unit of meaning makes useful paraphrasing possible [Quine] |
Full Idea: The new freedom that Russell confers by paraphrasis (of definite descriptions) is our reward for recognising that the unit of communication is the sentence and not the word. | |
From: Willard Quine (Russell's Ontological Development [1966], p.75) | |
A reaction: Since many people hardly ever speak a properly formed sentence, I take propositions to be better candidates for this. However, I don't see how we can reject the compositional view (the meanings are assembled). |
21701 | Knowing a word is knowing the meanings of sentences which contain it [Quine] |
Full Idea: We can say that knowing words is knowing how to work out the meanings of sentences containing them. Dictionary definitions are mere clauses in a recursive definition of the meanings of sentences. | |
From: Willard Quine (Russell's Ontological Development [1966], p.76) | |
A reaction: Do you have to recursively define all the sentences that might contain the word, before you can fully know the meaning of the word? He seems to credit Russell with the holistic view of sentences (though I think that starts with Frege). |
1619 | There is an attempt to give a verificationist account of meaning, without the error of reducing everything to sensations [Dennett on Quine] |
Full Idea: This essay offered a verificationist account of language without the logical positivist error of supposing that verification could be reduced to a mere sequence of sense-experiences. | |
From: comment on Willard Quine (On What There Is [1948]) by Daniel C. Dennett - works | |
A reaction: This is because of Quine's holistic view of theory, so that sentences are not tested individually, where sense-data might be needed as support, but as whole teams which need to be simple, coherent etc. |
21641 | Inferential role semantics is an alternative to semantics that connects to the world [Hofweber] |
Full Idea: An inferential role semantics is generally seen as a large-scale alternative to a semantics based on reference and other language-world relations. | |
From: Thomas Hofweber (Ontology and the Ambitions of Metaphysics [2016], 03.4.5) | |
A reaction: Presumably the other obvious language-world relation is truth. Being a robust realist, I take it I have to be strongly committed to semantics which connects to the world - or do I? Reality is robust, but our talk about it is evasive? |
7317 | '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. |
9009 | Single words are strongly synonymous if their interchange preserves truth [Quine] |
Full Idea: We can define, it would seem, a strong synonymy relation for single words by them being interchangeable salva veritate. | |
From: Willard Quine (Philosophy of Logic [1970], Ch.1) | |
A reaction: This is a first step in Quine's rejection of synonymous sentences. He goes on to raise the problem of renate/cordate. Presumably any two word types can have different connotations, and hence not always be interchangeable - in poetry, for example. |
1621 | 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. |
9471 | Intensions are creatures of darkness which should be exorcised [Quine] |
Full Idea: Intensions are creatures of darkness and I shall rejoice with the reader when they are exorcised. | |
From: Willard Quine (Quantifiers and Propositional Attitudes [1955], §II) | |
A reaction: Quine seems to be in a diminshing minority with this view. For 'intensions' read 'meanings', presumably. |
8202 | Meaning is essence divorced from things and wedded to words [Quine] |
Full Idea: Meaning is essence divorced from the thing and wedded to the word. | |
From: Willard Quine (Vagaries of Definition [1972], p.51) | |
A reaction: Quine's strategy is that a demolition of essences will be a definition of meaning. Personally I would like to defend essences, though I admit to finding meaning tricky. That is because essences are external, but meanings are in minds. |
1609 | I do not believe there is some abstract entity called a 'meaning' which we can 'have' [Quine] |
Full Idea: Some philosophers construe meaningfulness as the having (in some sense of 'having') of some abstract entity which he calls a meaning, whereas I do not. | |
From: Willard Quine (On What There Is [1948], p.11) | |
A reaction: To call a meaning an 'entity' is to put a spin on it that makes it very implausible. Introspection shows us a gap between grasping a word and grasping its meaning. |
1617 | The word 'meaning' is only useful when talking about significance or about synonymy [Quine] |
Full Idea: The useful ways in which ordinary people talk about meanings boil down to two: the having of meanings, which is significance, and sameness of meaning, or synonymy. | |
From: Willard Quine (On What There Is [1948], p.11) | |
A reaction: If the Fregean criterion for precise existence is participation in an identity relation, then synonymy does indeed pinpoint what we mean by 'meaning. |
4712 | Quine says there is no matter of fact about reference - it is 'inscrutable' [Quine, by O'Grady] |
Full Idea: Quine holds the doctrine of the 'inscrutability of reference', which means there is no fact of the matter about reference. | |
From: report of Willard Quine (works [1961]) by Paul O'Grady - Relativism Ch.3 | |
A reaction: Presumably reference depends on conventions like pointing, or the functioning of words like "that", or the ambiguities of descriptions. If you can't define it, it doesn't exist? I don't believe him. |
8470 | Reference is inscrutable, because we cannot choose between theories of numbers [Quine, by Orenstein] |
Full Idea: For Quine, we cannot sensibly ask which is the real number five, the Frege-Russell set or the Von Neumann one. There is no arithmetical or empirical way of deciding between the two. Reference is inscrutable. | |
From: report of Willard Quine (Ontological Relativity [1968]) by Alex Orenstein - W.V. Quine Ch.3 | |
A reaction: To generalise from a problem of reference in the highly abstract world of arithmetic, and say that all reference is inscrutable, strikes me as implausible. |
21638 | Syntactic form concerns the focus of the sentence, as well as the truth-conditions [Hofweber] |
Full Idea: Syntactic form is not only related to the truth conditions of a sentence; it is also related to what focus an utterance of a sentence will have. | |
From: Thomas Hofweber (Ontology and the Ambitions of Metaphysics [2016], 02.5.2) | |
A reaction: Hofweber has commendably studied some linguistics. The idea of mental and linguistic 'focus' increasingly strikes me as of importance in many areas of philosophy. E.g. in the scope of ethics, on whom should you focus? |
15788 | Syntax and semantics are indeterminate, and modern 'semantics' is a bogus subject [Quine, by Lycan] |
Full Idea: Quine has argued tirelessly that syntax and 'semantics' are indeterminate, and linguistic semantics of the sort that is currently in favor is a pseudoscience and a pipe dream. | |
From: report of Willard Quine (Methodological Reflections on Current Linguistic Theory [1972]) by William Lycan - The Trouble with Possible Worlds 02 | |
A reaction: I think the defence of such things is that they may not integrate into science very well (or even integrate at all), but semantics is intended to integrate into philosophy, and is motivated by philosophical concerns. Quine may be right! |
19159 | Quine relates predicates to their objects, by being 'true of' them [Quine, by Davidson] |
Full Idea: Quine relates predicates to the things of which they can be predicated ...and hence predicates are 'true of' each and every thing of which the predicate can be truly predicated. | |
From: report of Willard Quine (On What There Is [1948]) by Donald Davidson - Truth and Predication 5 | |
A reaction: Davidson comments that the virtue of Quine's view is negative, in avoiding a regress in the explanation of predication. I'm not sure about true 'of' as an extra sort of truth, but I like dropping predicates from ontology, and sticking to truths. |
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'? |
21658 | Properties can be expressed in a language despite the absence of a single word for them [Hofweber] |
Full Idea: Simply because there is no single word in a certain language for a certain property doesn't mean that it isn't expressible in that language. | |
From: Thomas Hofweber (Ontology and the Ambitions of Metaphysics [2016], 09.1.1) | |
A reaction: Good. For example a shade of blue for which there is no label might be 'the next darkest discriminable shade of blue adjacent to the one we are looking at'. And then the one after that... But 'tastes better than Diet Pepsi' in ancient Greek? |
21659 | 'Being taller than this' is a predicate which can express many different properties [Hofweber] |
Full Idea: It is said that not every property can be expressed because there are more properties than there are predicates. ...But the same predicate can be used to express many different properties: 'being taller than this' depends on what 'this' refers to. | |
From: Thomas Hofweber (Ontology and the Ambitions of Metaphysics [2016], 09.2) | |
A reaction: A good example, but being a comparative and relying on a demonstrative indexical makes it a favourable example. 'Being made of iron' doesn't have much scope for expressing many properties. |
21655 | Compositonality is a way to build up the truth-conditions of a sentence [Hofweber] |
Full Idea: Compositional semantics assigns semantic values to various expressions in order to generate the truth conditions of the sentences in which they can occur correctly, ...thus leading to the truth-conditions of the sentence. | |
From: Thomas Hofweber (Ontology and the Ambitions of Metaphysics [2016], 08.3) | |
A reaction: I favour both the compositional and the truth-conditional accounts of semantics, but I am not sure how to fit the pragmatic and contextual ingredient into that picture. You can't leave out psychology. |
21656 | Proposition have no content, because they are content [Hofweber] |
Full Idea: If there propositions then they do not have content, because they are content. | |
From: Thomas Hofweber (Ontology and the Ambitions of Metaphysics [2016], 08.4) | |
A reaction: This sounds right. A rather obvious regress threatens if you say otherwise. |
18967 | A 'proposition' is said to be the timeless cognitive part of the meaning of a sentence [Quine] |
Full Idea: A 'proposition' is the meaning of a sentence. More precisely, since propositions are supposed to be true or false once and for all, it is the meaning of an eternal sentence. More precisely still, it is the 'cognitive' meaning, involving truth, not poetry. | |
From: Willard Quine (Propositional Objects [1965], p.139) | |
A reaction: Quine defines this in order to attack it. I equate a proposition with a thought, and take a sentence to be an attempt to express a proposition. I have no idea why they are supposed to be 'timeless'. Philosophers have some very odd ideas. |
21635 | Without propositions there can be no beliefs or desires [Hofweber] |
Full Idea: If there are no propositions, then there are no contents, and thus there are no beliefs and desires. | |
From: Thomas Hofweber (Ontology and the Ambitions of Metaphysics [2016], 01.4.3) | |
A reaction: A simple but powerful point. Those who claim that there are only sentences (and no propositions) can hardly claim that you must formulate a sentence every time you have a specific belief or desire. |
21662 | Do there exist thoughts which we are incapable of thinking? [Hofweber] |
Full Idea: Might there be some thought token that has a different content than any such token we can in principle have? | |
From: Thomas Hofweber (Ontology and the Ambitions of Metaphysics [2016], 10.3.3) | |
A reaction: For me the idea that a thought might exist which can never be thought is an absurdity, but people who believe in the external existence of parts of reality called 'propositions' seem committed to it. A baffling view. |
18968 | The problem with propositions is their individuation. When do two sentences express one proposition? [Quine] |
Full Idea: The trouble with propositions, as cognitive meanings of eternal sentences, is individuation. Given two eternal sentences, themselves visibly different linguistically, it is not sufficiently clear under when to say that they mean the same proposition. | |
From: Willard Quine (Propositional Objects [1965], p.140) | |
A reaction: If a group of people agree that two sentences mean the same thing, which happens all the time, I don't see what gives Quine the right to have a philosophical moan about some dubious activity called 'individuation'. |
9007 | It makes no sense to say that two sentences express the same proposition [Quine] |
Full Idea: My objection to propositions is not parsimony, or disapproval of abstract entities, ..but that propositions induce a relation of synonymy or equivalence between sentences (expressing the same proposition), and this makes no objective sense. | |
From: Willard Quine (Philosophy of Logic [1970], Ch.1) | |
A reaction: Personally I think propositions are unavoidable when you try to connect language to activities of the brain, and also when you consider animal thought. And also when you introspect about your own language processes. Mr Quine, he wrong. |
9008 | There is no rule for separating the information from other features of sentences [Quine] |
Full Idea: There is no evident rule for separating the information from the stylistic or other immaterial features of the sentences. | |
From: Willard Quine (Philosophy of Logic [1970], Ch.1) | |
A reaction: There is no rule for deciding precisely when night falls, so I don't believe in night. I take a proposition, prima facie, as an answer to the question 'What exactly do you mean by that remark?' How do you extract logical form from sentences? |
9010 | We can abandon propositions, and just talk of sentences and equivalence [Quine] |
Full Idea: Why not just talk of sentences and equivalence and let the propositions go? Propositions have been projected as shadows of sentences, but at best they will give us nothing the sentences will not give. | |
From: Willard Quine (Philosophy of Logic [1970], Ch.1) | |
A reaction: I don't understand how you decide that two sentences are equivalent. 'There's someone in that wood'; 'yes, there's a person amongst those trees'. Identical truth-conditions. We can formulate a non-linguistic fact about those truth-conditions. |
9371 | 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. |
19487 | Without the analytic/synthetic distinction, Carnap's ontology/empirical distinction collapses [Quine] |
Full Idea: If there is no proper distinction between analytic and synthetic, then no basis at all remains for the contrast which Carnap urges between ontological statements and empirical statements of existence. Ontology then ends up on a par with natural science. | |
From: Willard Quine (On Carnap's Views on Ontology [1951], p.211) | |
A reaction: Carnap says ontology is relative to a linguistic framework. 'External' ontology is empty. This quotation gives Quine's main motivation for denying the analytic/synthetic distinction. |
1622 | 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'. |
9366 | 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.). |
14473 | 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? |
7321 | 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. |
8803 | 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'? |
17737 | 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. |
1624 | 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. |
8900 | In observation sentences, we could substitute community acceptance for analyticity [Quine] |
Full Idea: Perhaps the controversial notion of analyticity can be dispensed with, in our definition of observation sentences, in favour of the straightforward attitude of community-wide acceptance. | |
From: Willard Quine (Epistemology Naturalized [1968], p.86) | |
A reaction: That might be a reasonable account of 'bachelors'. If the whole community accepts 'God exists', does that make it analytic? If a whole (small!) community claims to actually observe a ghost or a flying saucer, is that then analytic? |
8201 | The distinction between meaning and further information is as vague as the essence/accident distinction [Quine] |
Full Idea: The distinction between what belongs to the meaning of a word and what counts as further information is scarcely clearer than the distinction between the essence of a thing and its accidents. | |
From: Willard Quine (Vagaries of Definition [1972], p.51) | |
A reaction: In lots of cases the distinction between essence and accident strikes me as totally clear. Tricky borderline cases don't destroy a distinction. That bachelors are married is clearly not 'further information'. |
19050 | Holism in language blurs empirical synthetic and empty analytic sentences [Quine] |
Full Idea: Holism blurs the supposed contrast beween the synthetic sentence, with its empirical content, and the analytic sentence, with its null content. | |
From: Willard Quine (Five Milestones of Empiricism [1975], p.71) | |
A reaction: This spells out nicely that Quine's rejection of the distinction is completely tied to his holistic view of language. The obvious phenomenon of compositionality (building sentence meaning in steps) counts against holism. |
21338 | I will even consider changing a meaning to save a law; I question the meaning-fact cleavage [Quine] |
Full Idea: I am not concerned even to avoid the trivial extreme of sustaining a law by changing a meaning; for the cleavage between meaning and fact is part of what ...I am questioning. | |
From: Willard Quine (Letters [1962], 1962.06.01) | |
A reaction: [Letter to Adolf Grünbaum. Found on Twitter] A strikingly helpful expression of his position by Quine. We should take about the 'meaning/fact distinction' in order to understand clearly what is going on here. |
9021 | A good way of explaining an expression is saying what conditions make its contexts true [Quine] |
Full Idea: A reasonable way of explaining an expression is by saying what conditions make its various contexts true. | |
From: Willard Quine (Philosophy of Logic [1970], Ch.3) | |
A reaction: I like the circumspect phrasing of this, which carefully avoids any entities such as 'meanings' or 'truth conditions'. Maybe the whole core of philosophy of language should shift from theories of meaning to just trying to 'explain' sentences. |
21645 | 'Semantic type coercion' is selecting the reading of a word to make the best sense [Hofweber] |
Full Idea: 'Semantic type coercion' is where an expression of variable type is forced to take a particular type on a particular occasion so that the sentence as a whole in which it occurse is semantically interpretable. | |
From: Thomas Hofweber (Ontology and the Ambitions of Metaphysics [2016], 05.4.4) | |
A reaction: He compares 'and' in 'John sang and Mary danced' with 'John and Mary danced together', where 'and' can vary in type, and we adopt the reading that makes sense. Hofweber says we do this with number language. He favours 'cognitive need'. |
21639 | 'Background deletion' is appropriately omitting background from an answer [Hofweber] |
Full Idea: 'Background deletion' is the pheomenon that what isn't focused in an answer, what is the background, can be left out of the answer, with the resulting sub-sentential answer nonetheless being appropriate. | |
From: Thomas Hofweber (Ontology and the Ambitions of Metaphysics [2016], 02.6.2) | |
A reaction: [I'm struck by the verbosity of this sentence, from an over-long book] It is not unreasonable to think that each conversational exchange has an implicit and agreed domain of quantification. Well, 'focus', then. |
19045 | Translation is too flimsy a notion to support theories of cultural incommensurability [Quine] |
Full Idea: Translation is a flimsy notion, unfit to bear the weight of the theories of cultural incommensurability that Davidson effectively and justly criticises. | |
From: Willard Quine (On the Very Idea of a Third Dogma [1981], p.42) | |
A reaction: I presume he means that a claim to accurately translate something is false, because there is no clear idea of what a good translation looks like it. I just don't believe him. The practice of daily life belies Quine's theories on this. |
17991 | Holism says language can't be translated; the expressibility hypothesis says everything can [Hofweber] |
Full Idea: Holism says that nothing that can be said in one language can be said in another one. The expressibility hypothesis says that everything that can be said in one language can be said in every other one. | |
From: Thomas Hofweber (Inexpressible Properties and Propositions [2006], 6.4) | |
A reaction: Obviously expressibility would only refer to reasonably comprehensive languages (with basic logical connectives, for example). Personally I vote for the expressibility hypothesis, which Hofweber seems to favour. |
3988 | Indeterminacy of translation also implies indeterminacy in interpreting people's mental states [Dennett on Quine] |
Full Idea: Quine's thesis of the indeterminacy of radical translation carries all the way in, as the thesis of the indeterminacy of radical interpretation of mental states and processes. | |
From: comment on Willard Quine (Word and Object [1960]) by Daniel C. Dennett - Daniel Dennett on himself p.239 | |
A reaction: Strong scepticism seems wrong here. Davidson's account of charity in interpretation, and the role of truth, seems closer. |
6311 | The firmer the links between sentences and stimuli, the less translations can diverge [Quine] |
Full Idea: The firmer the direct links of a sentence with non-verbal stimulation, the less drastically its translations can diverge from one another from manual to manual. | |
From: Willard Quine (Word and Object [1960], §07) | |
A reaction: This implies (plausibly) that talk about farming will have fairly determinate translations into foreign languages, but talk of philosophy will not. An interesting case is logic, where we might expect tight translation with little non-verbal stimulation. |
6312 | We can never precisely pin down how to translate the native word 'Gavagai' [Quine] |
Full Idea: There is no evident criterion whereby to strip extraneous effects away and leave just the meaning of 'Gavagai' properly so-called - whatever meaning properly so-called may be. | |
From: Willard Quine (Word and Object [1960], §09) | |
A reaction: Quine's famous assertion that translation is ultimately 'indeterminate'. Huge doubts about meaning and language and truth follow from his claim. Personally I think it is rubbish. People become fluent in very foreign languages, and don't have breakdowns. |
6313 | Stimulus synonymy of 'Gavagai' and 'Rabbit' does not even guarantee they are coextensive [Quine] |
Full Idea: Stimulus synonymy of the occasion sentences 'Gavagai' and 'Rabbit' does not even guarantee that 'gavagai' and 'rabbit' are coextensive terms, terms true of the same things. | |
From: Willard Quine (Word and Object [1960], §12) | |
A reaction: Since this scepticism eventually seems to result in the reader no longer knowing what they mean themselves by the word 'rabbit', I doubt Quine's claim. Problems after hearing one word of a foreign language disappear after years of residence. |
6317 | Dispositions to speech behaviour, and actual speech, are never enough to fix any one translation [Quine] |
Full Idea: Rival systems of analytical hypotheses can fit the totality of speech behaviour to perfection, and can fit the totality of dispositions to speech behaviour as well, and still specify mutually incompatible translations of countless sentences. | |
From: Willard Quine (Word and Object [1960], §15) | |
A reaction: This is Quine's final assertion of indeterminacy, having explored charity, bilingual speakers etc. It seems to me that he is a victim of his underlying anti-realism, which won't allow nature to dictate ways of cutting up the world. |
1631 | You could know the complete behavioural conditions for a foreign language, and still not know their beliefs [Quine] |
Full Idea: We could know the necessary and sufficient stimulatory conditions of every possible act of utterance, in a foreign language, and still not know how to determine what objects the speakers of that language believe in. | |
From: Willard Quine (Speaking of Objects [1960], pt.III,p.11) | |
A reaction: I just don't believe this, because the same scepticism then creeps into discussions of native speakers of a single language, and all communcation is blighted - which is nonsense. |
1632 | Translation of our remote past or language could be as problematic as alien languages [Quine] |
Full Idea: Translation of our remote past or future discourse into the terms we now know could be about as tenuous and arbitrary a projection as translation of a heathen language was seen to be. | |
From: Willard Quine (Speaking of Objects [1960], pt.V,p.25) | |
A reaction: Is he seriously saying that we can't understand Shakespeare, because holism implies that we would have to be Elizabethans? So scholarship is in vain? Is yesterday the 'past'? |
18963 | Indeterminacy translating 'rabbit' depends on translating individuation terms [Quine] |
Full Idea: The indeterminacy between 'rabbit', 'rabbit stage' and the rest depended only on a correlative indeterminacy of translation of the English apparatus of individuation - pronouns, plurals, identity, numerals and so on. | |
From: Willard Quine (Ontological Relativity [1968], p.35) | |
A reaction: This spells out the problem a little better than in 'Word and Object'. I just don't believe these problems are intractable. Quine is like a child endlessly asking 'why?'. |
6315 | We should be suspicious of a translation which implies that a people have very strange beliefs [Quine] |
Full Idea: The more absurd or exotic the beliefs imputed to a people, the more suspicious we are entitled to be of the translations. | |
From: Willard Quine (Word and Object [1960], §15) | |
A reaction: Quine is famous for his relativist and indeterminate account of translation, but he gradually works his way towards the common sense which Davidson later brought out into the open. |
6314 | Weird translations are always possible, but they improve if we impose our own logic on them [Quine] |
Full Idea: Wanton translation can make natives sound as queer as one pleases; better translation imposes our logic upon them. | |
From: Willard Quine (Word and Object [1960], §13) | |
A reaction: This begins to point towards the principle of charity, on which Davidson is so keen, and even on doubts whether two different conceptual schemes are possible. Personally I think there is only one logic (deep down), and the natives will have it. |
7330 | The principle of charity only applies to the logical constants [Quine, by Miller,A] |
Full Idea: Quine takes to the principle of charity to apply only to the translation of the logical constants. | |
From: report of Willard Quine (works [1961]) by Alexander Miller - Philosophy of Language 8.7 | |
A reaction: Given how weird some people's view of the world seems to be, this very cautious approach has an interesting rival appeal to Davidson't much more charitable view, that people mostly speak truth. It depends whether you are discussing lunch or the gods. |
21749 | Altruistic values concern other persons, and ceremonial values concern practices [Quine] |
Full Idea: Altruistic values attach to satisfactions of other persons, without regard to ulterior satisfactions accruing to oneself. Ceremonial values attach to practices of one's society, without regard to satisfactions accruing to oneself. | |
From: Willard Quine (On the Nature of Moral Values [1978], p.58) | |
A reaction: An interesting distinction, but probably as blurred and circular as (according to Quine) the analytic/synthetic distinction. |
21751 | Love seems to diminish with distance from oneself [Quine] |
Full Idea: One cannot reasonably be called upon to love even one's neighbour quite as oneself. Is love to diminish inversely as the square of the distance? Is it to extend to other species than one's own? | |
From: Willard Quine (On the Nature of Moral Values [1978], p.65) | |
A reaction: Quine isn't actually saying that love is inherently egoistic, but that is the implication. The power of my love is at its most powerful when it is closest to home. |
13304 | Learned men gain more in one day than others do in a lifetime [Posidonius] |
Full Idea: In a single day there lies open to men of learning more than there ever does to the unenlightened in the longest of lifetimes. | |
From: Posidonius (fragments/reports [c.95 BCE]), quoted by Seneca the Younger - Letters from a Stoic 078 | |
A reaction: These remarks endorsing the infinite superiority of the educated to the uneducated seem to have been popular in late antiquity. It tends to be the religions which discourage great learning, especially in their emphasis on a single book. |
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. |
10370 | Causal relata are individuated by coarse spacetime regions [Quine, by Schaffer,J] |
Full Idea: Quine's view is that causal relata are individuated by spacetime regions, which is even less fine-grained than Davidson's account of events.... He says fine-grained events are poorly individuated and unfamiliar. | |
From: report of Willard Quine (Events and Reification [1985]) by Jonathan Schaffer - The Metaphysics of Causation 1.2 | |
A reaction: [Schaffer cites Davidson 1985 as accepting this view] This is a nice suggestion, if we are looking for a naturalistic account of causal relata. It makes a minimum ontological commitment (a Quine trait), and I would supplement it with active 'powers'. |
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. |
17862 | Essence gives an illusion of understanding [Quine, by Almog] |
Full Idea: Essence engenders a mere illusion of understanding | |
From: report of Willard Quine (works [1961]) by Joseph Almog - Nature Without Essence Intro | |
A reaction: [Almog quotes Quine, but doesn't give a reference] This is roughly the same as Popper's criticism of essentialism. |
10931 | We can't say 'necessarily if x is in water then x dissolves' if we can't quantify modally [Quine] |
Full Idea: To say an object is soluble in water is to say that it would dissolve if it were in water,..which implies that 'necessarily if x is in water then x dissolves'. Yet we do not know if there is a suitable sense of 'necessarily' into which we can so quantify. | |
From: Willard Quine (Reference and Modality [1953], §4) | |
A reaction: This is why there has been a huge revival of scientific essentialism - because Krike seems to offer exacty the account which Quine said was missing. So can you have modal logic without rigid designation? |
18970 | The concept of a 'point' makes no sense without the idea of absolute position [Quine] |
Full Idea: Unless we are prepared to believe that absolute position makes sense, the very idea of a point as an entity in its own right must be rejected as not merely mysterious but absurd. | |
From: Willard Quine (Propositional Objects [1965], p.149) | |
A reaction: The fact that without absolute position we can only think of 'points' as relative to a conceptual grid doesn't stop the grid from picking out actual locations in space, as shown by latitude and longitude. |
20820 | Time is an interval of motion, or the measure of speed [Posidonius, by Stobaeus] |
Full Idea: Posidonius defined time thus: it is an interval of motion, or the measure of speed and slowness. | |
From: report of Posidonius (fragments/reports [c.95 BCE]) by John Stobaeus - Anthology 1.08.42 | |
A reaction: Hm. Can we define motion or speed without alluding to time? Looks like we have to define them as a conjoined pair, which means we cannot fully understand either of them. |
13713 | Quine holds time to be 'space-like': past objects are as real as spatially remote ones [Quine, by Sider] |
Full Idea: Quine's view is that time is 'space-like'. Past objects are as real as present ones; they're just temporally distant, just as spatially distant objects are just as real as the ones around here. | |
From: report of Willard Quine (Mr Strawson on Logical Theory [1953]) by Theodore Sider - Logic for Philosophy 7.3.1 | |
A reaction: Something is a wrong with a view that says that a long-dead person is just as real as one currently living. Death is rather more than travelling to a distant place. Arthur Prior responded to Quine by saying 'tense operators' are inescapable. |