Combining Texts

All the ideas for 'works', '(Nonsolipsistic) Conceptual Role Semantics' and 'Two Dogmas of Empiricism'

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


46 ideas

1. Philosophy / E. Nature of Metaphysics / 3. Metaphysical Systems
Any statement can be held true if we make enough adjustment to the rest of the system [Quine]
     Full Idea: Any statement can be held true come what may, if we make drastic enough adjustments elsewhere in the system.
     From: Willard Quine (Two Dogmas of Empiricism [1953], p.43)
2. Reason / A. Nature of Reason / 6. Coherence
Reasoning aims at increasing explanatory coherence [Harman]
     Full Idea: In reasoning you try among other things to increase the explanatory coherence of your view.
     From: Gilbert Harman ((Nonsolipsistic) Conceptual Role Semantics [1987], 12.2.2)
     A reaction: Harman is a champion of inference to the best explanation (abduction), and I agree with him. I think this idea extends to give us a view of justification as coherence, and that extends from inner individual coherence to socially extended coherence.
Reason conservatively: stick to your beliefs, and prefer reasoning that preserves most of them [Harman]
     Full Idea: Conservatism is important; you should continue to believe as you do in the absence of any special reason to doubt your view, and in reasoning you should try to minimize change in your initial opinions in attaining other goals of reasoning.
     From: Gilbert Harman ((Nonsolipsistic) Conceptual Role Semantics [1987], 12.2.6)
     A reaction: One of those principles like Ockham's Razor, which feels right but hard to justify. It seems the wrong principle for someone who can reason well, but has been brainwashed into a large collection of daft beliefs. Japanese soldiers still fighting WWII.
2. Reason / D. Definition / 1. Definitions
Definition rests on synonymy, rather than explaining it [Quine]
     Full Idea: Definition rests on synonymy, rather than explaining it.
     From: Willard Quine (Two Dogmas of Empiricism [1953], p.26)
5. Theory of Logic / A. Overview of Logic / 1. Overview of Logic
We have a theory of logic (implication and inconsistency), but not of inference or reasoning [Harman]
     Full Idea: There is as yet no substantial theory of inference or reasoning. To be sure, logic is well developed; but logic is not a theory of inference or reasoning. Logic is a theory of implication and inconsistency.
     From: Gilbert Harman ((Nonsolipsistic) Conceptual Role Semantics [1987], 12.2.2)
     A reaction: One problem is that animals can draw inferences without the use of language, and I presume we do so all the time, so it is hard to see how to formalise such an activity.
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / d. and
I might accept P and Q as likely, but reject P-and-Q as unlikely [Harman]
     Full Idea: Principles of implication imply there is not a purely probabilistic rule of acceptance for belief. Otherwise one might accept P and Q, without accepting their conjunction, if the conjuncts have a high probability, but the conjunction doesn't.
     From: Gilbert Harman ((Nonsolipsistic) Conceptual Role Semantics [1987], 12.2.2)
     A reaction: [Idea from Scott Soames] I am told that my friend A has just won a very big lottery prize, and am then told that my friend B has also won a very big lottery prize. The conjunction seems less believable; I begin to suspect a conspiracy.
5. Theory of Logic / F. Referring in Logic / 1. Naming / f. Names eliminated
Quine's arguments fail because he naively conflates names with descriptions [Fine,K on Quine]
     Full Idea: Quine's logical argument against modality presupposes a naïve view of singular terms under which no significant distinction is to be drawn between the use of names and descriptions.
     From: comment on Willard Quine (Two Dogmas of Empiricism [1953]) by Kit Fine - Intro to 'Modality and Tense' p. 6
     A reaction: See Idea 9201 for Quine's argument. The question is whether '9' and 'the number of planets' are names or descriptions. The 'number of planets' is not remotely descriptive of 9, so it must be referential. So '9' is a name? Hm.
6. Mathematics / B. Foundations for Mathematics / 3. Axioms for Geometry
Archimedes defined a straight line as the shortest distance between two points [Archimedes, by Leibniz]
     Full Idea: Archimedes gave a sort of definition of 'straight line' when he said it is the shortest line between two points.
     From: report of Archimedes (fragments/reports [c.240 BCE]) by Gottfried Leibniz - New Essays on Human Understanding 4.13
     A reaction: Commentators observe that this reduces the purity of the original Euclidean axioms, because it involves distance and measurement, which are absent from the purest geometry.
6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / a. Mathematical empiricism
Quine blurs the difference between knowledge of arithmetic and of physics [Jenkins on Quine]
     Full Idea: Quine cannot deal with the intuition that there is a difference in kind between our knowledge of arithmetic and our knowledge of physics.
     From: comment on Willard Quine (Two Dogmas of Empiricism [1953]) by Carrie Jenkins - Grounding Concepts 7.5
     A reaction: The endorses this criticism, which she says is widespread. I'm not convinced that there is a clear notion of 'difference in kind' here. Jenkins gets arithmetic from concepts and physics from the world. Is that a sharp distinction?
7. Existence / D. Theories of Reality / 3. Reality
Reality is the overlap of true complete theories [Harman]
     Full Idea: Reality is what is invariant among true complete theories.
     From: Gilbert Harman ((Nonsolipsistic) Conceptual Role Semantics [1987], 12.2.4)
     A reaction: The sort of slogan that gets coined in the age of Quine. The whole manner of starting from your theories and working out to what we think reality is seems to be putting the cart before the horse.
7. Existence / D. Theories of Reality / 11. Ontological Commitment / e. Ontological commitment problems
Quine is hopeless circular, deriving ontology from what is literal, and 'literal' from good ontology [Yablo on Quine]
     Full Idea: Quine's advice is to countenance numbers iff the literal part of our theory quantifies over them; and to count the part of our theory that quantifies over numbers literal iff there turn out really to be numbers.
     From: comment on Willard Quine (Two Dogmas of Empiricism [1953]) by Stephen Yablo - Does Ontology Rest on a Mistake? XIII
     A reaction: This sounds a bit devastating. Presumably it is indeed the choice of a best theory which results in the ontological commitment, so it is not much help to then read off the ontology from the theory.
9. Objects / A. Existence of Objects / 1. Physical Objects
If physical objects are a myth, they are useful for making sense of experience [Quine]
     Full Idea: The myth of physical objects is epistemologically superior to most in that it has proved more efficacious than other myths as a device for working a manageable structure into the flux of experience.
     From: Willard Quine (Two Dogmas of Empiricism [1953], p.44)
9. Objects / D. Essence of Objects / 15. Against Essentialism
Aristotelian essence of the object has become the modern essence of meaning [Quine]
     Full Idea: The Aristotelian notion of essence was the forerunner of the modern notion of intension or meaning. ...Meaning is what essence becomes when it is divorced from the object of reference and wedded to the word.
     From: Willard Quine (Two Dogmas of Empiricism [1953], §1)
     A reaction: Quine first wants to jettison de re necessity (essence of the object), by shifting it to de dicto necessity (necessity in meaning), but he subsequently rejects that as well, presumably because he doesn't even believe in meanings.
10. Modality / A. Necessity / 6. Logical Necessity
Contrary to some claims, Quine does not deny logical necessity [Quine, by McFetridge]
     Full Idea: Nothing in Quine's argument seems to be said directly against the view that the propositions of logic are necessary truths, ..though Crispin Wright has represented him as saying this at the end of 'Two Dogmas'.
     From: report of Willard Quine (Two Dogmas of Empiricism [1953]) by Ian McFetridge - Logical Necessity: Some Issues §3
     A reaction: Quine famously denies that logical truths are merely a matter of convention, so the question is, if he believes in logical necessity, what does he think is the basis of it? Answers, as always, on a postcard.
10. Modality / A. Necessity / 11. Denial of Necessity
Quine's attack on the analytic-synthetic distinction undermined necessary truths [Quine, by Shoemaker]
     Full Idea: Quine's attack on the analytic-synthetic distinction sought to contract, if not to empty, the class of truths that are called necessary.
     From: report of Willard Quine (Two Dogmas of Empiricism [1953]) by Sydney Shoemaker - Causal and Metaphysical Necessity I
     A reaction: The thought was that absolutely everything, including, for example, basic logic, became potentially revisable. See the last section of Quine's paper.
12. Knowledge Sources / A. A Priori Knowledge / 8. A Priori as Analytic
Metaphysical analyticity (and linguistic necessity) are hopeless, but epistemic analyticity is a priori [Boghossian on Quine]
     Full Idea: Quine showed the vacuity of the metaphysical concept of analyticity and the futility of the underwritten project - the linguistic theory of necessity. But that doesn't effect the epistemic notion of analyticity needed for a priori knowledge.
     From: comment on Willard Quine (Two Dogmas of Empiricism [1953]) by Paul Boghossian - Analyticity Reconsidered Concl
     A reaction: This summarise Boghossian's view, that a priori knowledge is still analytic, once we get clear about analyticity. See Idea 9368 for his two types of analyticity. Horwich attacks the view.
Quine challenges the claim that analytic truths are knowable a priori [Quine, by Kitcher]
     Full Idea: The last section of Quine's article challenges the claim that analytic truths are knowable a priori.
     From: report of Willard Quine (Two Dogmas of Empiricism [1953]) by Philip Kitcher - The Nature of Mathematical Knowledge 04.5
     A reaction: That is, Quine does not deny that there are truths which rest entirely on meaning. It is a 'dogma of empiricism' that the a priori can be equated with the analytic (and the necessary).
12. Knowledge Sources / A. A Priori Knowledge / 11. Denying the A Priori
Quine's objections to a priori knowledge only work in the domain of science [Horwich on Quine]
     Full Idea: Quine's arguments provide no reason to doubt the existence of a priori knowledge outside the domain of science.
     From: comment on Willard Quine (Two Dogmas of Empiricism [1953]) by Paul Horwich - Stipulation, Meaning and Apriority §10
     A reaction: This rather ignores Quine's background view of thoroughgoing physicalism, so that the domain of science is the domain of nature, which is the domain of everything. See his naturalising of epistemology, for example. Maths is part of his science.
Science is empirical, simple and conservative; any belief can hence be abandoned; so no a priori [Quine, by Horwich]
     Full Idea: Quine says scientific beliefs follow empirical adequacy, simplicity and conservatism; science and rationality support this view; hence any hypothesis can be abandoned to increase simplicity; so no scientific belief is a priori.
     From: report of Willard Quine (Two Dogmas of Empiricism [1953]) by Paul Horwich - Stipulation, Meaning and Apriority §10
     A reaction: [Compressed] I just don't accept this claim. If science wants to drop simple arithmetic or the laws of thought, so much the worse for science - they've obviously taken a wrong turning somewhere. We must try to infer God's logic.
Logic, arithmetic and geometry are revisable and a posteriori; quantum logic could be right [Horwich on Quine]
     Full Idea: I think logic, arithmetic and geometry are subject to Quine's empirical revisability argument: quantum logic may turn out to be the best overall theory; so these things are justified a posteriori.
     From: comment on Willard Quine (Two Dogmas of Empiricism [1953]) by Paul Horwich - Stipulation, Meaning and Apriority §11
     A reaction: Not much of an argument, because 'quantum logic' may also turn out to be a will-o'-the-whisp. Until it is established (which I doubt, because quantum theory is so poorly understood), I think we should be highly suspicious of the Quinean view.
12. Knowledge Sources / D. Empiricism / 1. Empiricism
Empiricism makes a basic distinction between truths based or not based on facts [Quine]
     Full Idea: One dogma of empiricism is that there is some fundamental cleavage between truths that are analytic, or grounded in meanings independently of facts, and truths which are synthetic, or grounded in fact.
     From: Willard Quine (Two Dogmas of Empiricism [1953], p.20)
Our outer beliefs must match experience, and our inner ones must be simple [Quine]
     Full Idea: The outer edge of our empirical system must be kept squared with experience; the rest, with all its elaborate myths and fictions, has as its objective the simplicity of laws.
     From: Willard Quine (Two Dogmas of Empiricism [1953], p.45)
12. Knowledge Sources / D. Empiricism / 5. Empiricism Critique
The second dogma is linking every statement to some determinate observations [Quine, by Yablo]
     Full Idea: Quine's second dogma of empiricism is the reductionism that finds every statement to be linkable by fixed correspondence rules to a determinate range of confirming observations.
     From: report of Willard Quine (Two Dogmas of Empiricism [1953]) by Stephen Yablo - Does Ontology Rest on a Mistake? V
     A reaction: Quine's response to this is to embrace holism about theories, instead of precise connections with Humean impressions. I'm thinking that Lewis disagrees with Quine, when his Humean supervenience rests on a 'mosaic' of small qualities.
14. Science / B. Scientific Theories / 6. Theory Holism
Statements about the external world face the tribunal of sense experience as a corporate body [Quine]
     Full Idea: My suggestion, following Carnap, is that our statements about the external world face the tribunal of sense experience not individually but only as a corporate body.
     From: Willard Quine (Two Dogmas of Empiricism [1953], p.41)
15. Nature of Minds / A. Nature of Mind / 6. Anti-Individualism
There is no natural border between inner and outer [Harman]
     Full Idea: There is no natural border between inner and outer.
     From: Gilbert Harman ((Nonsolipsistic) Conceptual Role Semantics [1987], 12.3.4)
     A reaction: Perhaps this is the key idea for the anti-individualist view of mind. Subjectively I would have to accept this idea, but looking objectively at another person it seems self-evident nonsense.
We can only describe mental attitudes in relation to the external world [Harman]
     Full Idea: No one has ever described a way of explaining what beliefs, desires, and other mental states are except in terms of actual or possible relations to things in the external world.
     From: Gilbert Harman ((Nonsolipsistic) Conceptual Role Semantics [1987], 12.3.4)
     A reaction: If I pursue my current favourite idea, that how we explain things is the driving force in what ontology we adopt, then this way of seeing the mind, and taking an externalist anti-individualist view of it seems quite attractive.
15. Nature of Minds / B. Features of Minds / 5. Qualia / c. Explaining qualia
The way things look is a relational matter, not an intrinsic matter [Harman]
     Full Idea: According to functionalism, the way things look to you is a relational characteristic of your experience, not part of its intrinsic character.
     From: Gilbert Harman ((Nonsolipsistic) Conceptual Role Semantics [1987], 12.3.3)
     A reaction: No, can't make sense of that. How would being in a relation determine what something is? Similar problems with the structuralist account of mathematics. If the whole family love some one cat or one dog, the only difference is intrinsic to the animal.
18. Thought / D. Concepts / 5. Concepts and Language / a. Concepts and language
Concepts in thought have content, but not meaning, which requires communication [Harman]
     Full Idea: Concepts and other aspects of mental representation have content but not (normally) meaning (unless they are also expressions in a language used in communication).
     From: Gilbert Harman ((Nonsolipsistic) Conceptual Role Semantics [1987], 12.1.2)
     A reaction: Given his account of meaning as involving some complex 'role', he has to say this, though it seems a dubious distinction, going against the grain of a normal request to ask what some concept 'means'. What is 'democracy'?
19. Language / A. Nature of Meaning / 1. Meaning
It is troublesome nonsense to split statements into a linguistic and a factual component [Quine]
     Full Idea: My present suggestion is that it is nonsense, and the root of much nonsense, to speak of a linguistic component and a factual component in the truth of any individual statement.
     From: Willard Quine (Two Dogmas of Empiricism [1953], p.42)
     A reaction: I take the language and its subject matter to be obviously separate, but it is right that we can't separate these two components within a sample of language.
19. Language / A. Nature of Meaning / 6. Meaning as Use
Take meaning to be use in calculation with concepts, rather than in communication [Harman]
     Full Idea: (Nonsolipsistic) conceptual role semantics is a version of the theory that meaning is use, where the basic use is taken to be in calculation, not in communication, and where concepts are treated as symbols in a 'language of thought'.
     From: Gilbert Harman ((Nonsolipsistic) Conceptual Role Semantics [1987], 12.1.1)
     A reaction: The idea seems to be to connect the highly social Wittgensteinian view of language with the reductive physicalist account of how brains generate concepts. Interesting, thought I never like meaning-as-use.
The use theory attaches meanings to words, not to sentences [Harman]
     Full Idea: A use theory of meaning has to suppose it is words and ways of putting words together that have meaning because of their uses, not sentences.
     From: Gilbert Harman ((Nonsolipsistic) Conceptual Role Semantics [1987], 12.1.3)
     A reaction: He says that most sentences are unique, so cannot have a standard use. Words do a particular job over and over again. How do you distinguish the quirky use of a word from its standard use?
19. Language / A. Nature of Meaning / 7. Meaning Holism / c. Meaning by Role
Meaning from use of thoughts, constructed from concepts, which have a role relating to reality [Harman]
     Full Idea: Conceptual role semantics involves meanings of expressions determined by used contents of concepts and thoughts, contents constructed from concepts, concepts determined by functional role, which involves relations to things in the world.
     From: Gilbert Harman ((Nonsolipsistic) Conceptual Role Semantics [1987], 12.1)
     A reaction: This essay is the locus classicus for conceptual-role semantics. Any attempt to say what something IS by giving an account of its function always feels wrong to me.
Some regard conceptual role semantics as an entirely internal matter [Harman]
     Full Idea: I call my conceptual role semantics 'non-solipsistic' to contrast it with that of authors (Field, Fodor, Loar) who think of conceptual role solipsistically as a completely internal matter.
     From: Gilbert Harman ((Nonsolipsistic) Conceptual Role Semantics [1987], 12.1)
     A reaction: Evidently Harman is influenced by Putnam's Twin Earth, and that meanings ain't in the head, so that the conceptual role has to be extended out into the world to get a good account. I prefer extending into the language community, rather into reality.
The content of thought is relations, between mental states, things in the world, and contexts [Harman]
     Full Idea: In (nonsolipsistic) conceptual role semantics the content of thought is not in an 'intrinsic nature', but is rather a matter of how mental states are related to each other, to things in the external world, and to things in a context understood as normal.
     From: Gilbert Harman ((Nonsolipsistic) Conceptual Role Semantics [1987], 12.3.3)
     A reaction: This is part of Harman's functional view of consciousness, which I find rather dubious. If things only have identity because of some place in a flow diagram, we must ask why that thing has that place in that diagram.
19. Language / A. Nature of Meaning / 8. Synonymy
'Renate' and 'cordate' have identical extensions, but are not synonymous [Quine, by Miller,A]
     Full Idea: It is easy to see that intersubstitutability salva veritate is not a sufficient condition for synonymy. 'Renate' (with kidney) and 'cordate' (with heart) can be substituted in a purely extensional language, but are plainly not synonymous.
     From: report of Willard Quine (Two Dogmas of Empiricism [1953]) by Alexander Miller - Philosophy of Language 4.2
     A reaction: This seems to be a key example (along with Hesperus, and many others) in mapping out synonymy, meaning, analyticity, sense, reference, extension, intension, and all that stuff.
19. Language / A. Nature of Meaning / 10. Denial of Meanings
Once meaning and reference are separated, meaning ceases to seem important [Quine]
     Full Idea: Once theory of meaning and of reference are separated it is a short step to recognising as the primary business of theory of meaning simply the synonymy of linguistic forms and analyticity of statements; meanings themselves may be abandoned.
     From: Willard Quine (Two Dogmas of Empiricism [1953], p.22)
     A reaction: I can't buy the abandonment of meaning, because when I introspect my own speech there is clearly what I want to say formulating in my mind before the words are settled.
19. Language / E. Analyticity / 1. Analytic Propositions
Analytic statements are either logical truths (all reinterpretations) or they depend on synonymy [Quine]
     Full Idea: Analytic statements fall into two classes: 'no unmarried man is married' typifies the first class, of logical truths; it remains true under all reinterpretations. 'No bachelor is married' is analytic if synonyms replace synonyms, and there's the problem.
     From: Willard Quine (Two Dogmas of Empiricism [1953], §1)
     A reaction: Boghossian emphasises this passage. In other papers Quine argues that logical truths also cannot be purely analytic, although he does not deny that there are logical truths.
19. Language / E. Analyticity / 4. Analytic/Synthetic Critique
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'.
Quine's attack on analyticity undermined linguistic views of necessity, and analytic views of the a priori [Quine, by Boghossian]
     Full Idea: Quine's attack on analyticity devastated the philosophical programs that depend upon a notion of analyticity - specifically, the linguistic theory of necessary truth, and the analytic theory of a priori knowledge.
     From: report of Willard Quine (Two Dogmas of Empiricism [1953]) by Paul Boghossian - Analyticity Reconsidered §I
     A reaction: Note that much more would be needed to complete Quine's aim of more or less eliminating both necessity and the a priori from his scientific philosophy. Quine was trying to complete a programme initiated by C.I. Lewis (q.v.).
Quine attacks the Fregean idea that we can define analyticity through synonyous substitution [Quine, by Thomasson]
     Full Idea: Quine's attack argues against the Fregean attempt to define 'analyticity' in terms of synonymy - where analytical truths are logical truths ('unmarried men are unmarried'), or become logical truths by synonymous replacement ('bachelors are unmarried').
     From: report of Willard Quine (Two Dogmas of Empiricism [1953]) by Amie L. Thomasson - Ordinary Objects 02.1
     A reaction: This is a very helpful explanation of what is going on in Quine. Why won't philosophers explain clearly what they are attacking, before they attack it?
The last two parts of 'Two Dogmas' are much the best [Miller,A on Quine]
     Full Idea: The arguments of the final two sections of 'Two Dogmas' have received more acceptance than the arguments of the first four sections, which are now generally acknowledged to be unsuccessful.
     From: comment on Willard Quine (Two Dogmas of Empiricism [1953]) by Alexander Miller - Philosophy of Language 4 Read
     A reaction: The early sections are the 'circular' argument against analyticity; the later parts are further discussions of the concept. We don't have to take Miller's word for this, but it is a useful pointer when reading the paper.
Erasing the analytic/synthetic distinction got rid of meanings, and saved philosophy of language [Davidson on Quine]
     Full Idea: Erasing the line between the analytic and the synthetic saved philosophy of language as a serious subject by showing how it could be pursued without what there cannot be: determinate meanings.
     From: comment on Willard Quine (Two Dogmas of Empiricism [1953]) by Donald Davidson - Coherence Theory of Truth and Knowledge p.158
     A reaction: Note that this comes from the most famous modern champion of one of the main theories of meaning (as truth-conditions). Did anyone ever believe in reified objects called 'meanings'?
The analytic needs excessively small units of meaning and empirical confirmation [Quine, by Jenkins]
     Full Idea: Quine rejects the analytic on the grounds that it assumes a smaller unit of meaning than a total theory, and he does not think it makes sense to talk about such smaller units of meaning because there are no smaller units of empirical confirmation.
     From: report of Willard Quine (Two Dogmas of Empiricism [1953]) by Carrie Jenkins - Grounding Concepts 7.5
     A reaction: A very helpful account of the famous Quine argument, showing how it arises out of his particular holistic view of empiricism.
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.
19. Language / F. Communication / 3. Denial
If one proposition negates the other, which is the negative one? [Harman]
     Full Idea: A relation of negation might hold between two beliefs without there being anything that determines which belief is the negative one.
     From: Gilbert Harman ((Nonsolipsistic) Conceptual Role Semantics [1987], 12.1.4)
     A reaction: [He attributes this thought to Brian Loar] This seems to give us a reason why we need a semantics for a logic, and not just a structure of inferences and proofs.
19. Language / F. Communication / 6. Interpreting Language / a. Translation
Mastery of a language requires thinking, and not just communication [Harman]
     Full Idea: If one cannot think in a language, one has not yet mastered it. A symbol system used only for communication, like Morse code, is not a language.
     From: Gilbert Harman ((Nonsolipsistic) Conceptual Role Semantics [1987], 12.1.2)
     A reaction: This invites the question of someone who has mastered thinking, but has no idea how to communicate. No doubt we might construct a machine with something like that ability. I think it might support Harman's claim.