Indexical Semantics in the Language of Thought

 

 

Indexical Semantics in the Language of Thought

 

 

Accepting that there is an innate and universal language of thought, we can inquire into its formal characteristics. It will have two components: a syntactic component and a lexical component. These components will be found in every human being’s cognitive-linguistic repertoire (barring pathology), like any other innate human trait. There is no problem about this with respect to the syntactic component: there is no reason to doubt that each person uses an identically structured internal language. Nor is there any obvious problem about large tracts of the lexical component: people share a large number of basic concepts because they live in a common world of space and time, colors and shapes, other minds, plants and animals, logical and mathematical truth, ethical demands, etc. That is, the universality implied by the idea of an innate species-wide internal language is not contradicted by the facts of human psychology. However, there is a segment of the lexical component that does appear to present a problem for this picture—the words that refer to specific local objects, artifacts, and natural kinds in the individual’s environment. It is not plausible to suppose that people in foreign lands have names for the places, people, artifacts, and animal species found in this land. Generally, it can hardly be that words for local entities are genetically encoded in our species and enter the thoughts of every human on the planet. Yet we do use such parochial concepts to think about the world. So either the language of thought is not fully innate and universal or it innately covers a lot more than it is plausible to suppose that it does. How do we get out of this problem?

            The problem can be put like this: how do we find an interpretation for all such locally bound lexical items that is consistent with the absolute universality of the language of thought? What kind of semantics would allow us to declare that the “referential component” is universal to humans? It can’t be a semantics that simply assigns a unique entity to each such term, on pain of assigning the same entities to terms no matter the location of the individual in question—people from the jungles of the Amazon don’t have a name for London! Clearly we need a semantics that provides a uniform inner linguistic structure that combines with a contribution from the local environment. One way to do this would be to suppose that the innate language contains interpretation-free terms as well as interpretation-bound terms; the free terms pick up reference from the way the individual is contingently embedded in the world. The genes supply these initially meaningless terms, which are common to everybody, in order to allow for the future possibility of local reference, relying upon the embedding of the individual to provide them with an interpretation. Thus a single symbol S in the language of thought can come to refer in one land to London and in another land to a certain Amazonian village, having no intrinsic fixed meaning at the outset. We could call this the “interpretation-free component”—the part of the lexicon that requires a suitable embedding before it acquires any meaning.

            But there is another approach, akin to this one but without the assumption of initial meaninglessness, namely that the innate language of thought is heavily indexical. The form of this type of theory allows us to say that the lexical component is universal and semantically interpreted, while accepting that not everyone shares the same range of references. What we have is a universal language that gets tied down to particular entities by virtue of the context in which that language finds itself located. Semantically it’s like the word “I”: everyone has the same indexical word but context determines to whom it refers. Names are then introduced on the back of indexical expressions, as in, “Let ‘London’ denote this city”, where the name “London” is not part of the genetically given language of thought but the demonstrative “this city” is. The Amazonians and us share the underlying indexical apparatus but not the local terms that are subsequently tied to it. This solves the problem of reconciling linguistic universality with referential locality: the language is universal but its referential interpretation is local. The words of the language mean the same thing for everyone everywhere, but context links these words to different entities (which can subsequently be given names). Thus there is no interpretation-free (meaningless) component to the innate language, yet words of this language can receive different referential interpretations in different environments. That is how the genes solved the problem of parochial reference in a common language: they invented indexical semantics. Some sort of mutational and selective history led to a semantic structure that can deliver variation from uniformity, thus preserving the commonality of the language while combining it with referential diversity. The apparatus is common to all humans, though that apparatus gets applied to different entities in different contexts. It is the apparatus that is encoded in the genes, but that apparatus allows for non-genetic factors to fix reference in specific contexts. Thus the indexical component of the language of thought is what enables us to solve the problem of referential diversity.

            What is the evidence for the indexical theory of the language of thought? The indexical character of natural languages of course: natural languages are heavily indexical, and this reflects the character of the underlying language of thought. I won’t repeat all the arguments for recognizing the ubiquitous role of indexical expressions in natural languages (all natural languages); my point is just that the role of indexical expressions in solving the problem of universality is mirrored in the manifestly indexical character of spoken languages. Arguably, natural languages cannot perform their referential function without relying on indexical reference; it turns out that the underlying language of thought could not exist without a similar reliance. The use of an indexical apparatus is what is needed to make that language both biologically universal and environmentally variable. The lexical component needs an indexical component if it is to be possessed by all humans alike. Natural languages make this component visible. We are born indexical thinkers.  [1]

 

Colin McGinn

 

  [1] Thus the language of thought will not be a context-free logical language like first-order predicate calculus; it will be a context-dependent indexical language exhibiting the semantics of content and character in the style of David Kaplan.

Share

Impossible Meaning

                                               

 

 

 

Impossible Meaning

 

 

Here is an argument purporting to show that the word “blue” is meaningless. There are many specific shades of blue that have their own names: aquamarine, navy blue, cobalt blue, azure, cerulean, indigo, etc. With respect to each of these we have a specific concept or idea, as well as a specific type of visual experience. But the word “blue” is more general than any of these words: it includes them all while not being as specific as any. What kind of idea corresponds to it? The natural and traditional answer is that the idea of blue is an abstract idea—it abstracts away from the peculiarities of each shade of blue. We form the idea by a process of abstraction whereby we eliminate what is concrete and specific to leave the pure abstract concept of blueness.  [1] But what is this idea exactly? As Berkeley pointed out, it seems to be “all and none of these at once”, and hence inconsistent.  [2] Certainly we can have no mental image of such an abstract quality, only of its more specific types. Nor do we ever see an object as simply blue but only as a specific shade of blue. The alleged abstract idea seems elusive and problematic, a will o’ the wisp with no substantial content. In the sense in which I have an idea of cobalt blue I don’t have an idea of blue simpliciter. The idea looks like an invention, a piece of mythology. What is this process of abstraction that deletes everything specific to a shade and leaves only what is common to all shades? It is certainly not like separating in thought the wings and beak of a bird. But if there is no such general abstract idea, then the word “blue” cannot express such an idea. If so, it must be meaningless, since meaning consists in the expression of (existent) ideas. Obviously the argument generalizes to other general terms such as “triangle” and “cat”; indeed, it would seem to apply to a vast range of words. So large tracts of language must be declared meaningless. Or else we have to rethink our general account of what meaning is, perhaps questioning the very idea that ideas constitute meanings. That theory has produced a monster in the shape of abstract ideas, so perhaps it needs to be demolished and replaced by something different and better.

            This argument, which will be familiar, can be added to the family of arguments that purport to show that meaning is impossible (or must be radically rethought): Quine’s indeterminacy argument, Kripke’s skeptical paradox argument, rampant verificationism, and perhaps others. Thus: the extension of a predicate must be determinate if its meaning is to exist, but it is not; there has to be a right and wrong way to follow a rule if meaning is to be possible, but no fact can be found that constitutes following a rule correctly; sentences must be verifiably true if they are to be meaningful, but few sentences are verifiably true. The present argument contends that general terms must express abstract ideas if they are to be meaningful, but the notion of an abstract idea is incoherent. This is a serious argument: Berkeley clearly has a strong point against Locke. It is indeed difficult to make sense of abstract ideas: they are abstract to the point of non-existence. It is also difficult to make sense of abstract universals as mind-independent entities (as opposed to concrete universals): objects can exemplify shades of blue, and we can see these shades, but no object is simply blue and can be seen as such. This is an abstraction, not a perceptual given. Russell thought that we understand predicates by being acquainted with the universals they denote, but how does one become acquainted with the abstract universal blue? That alleged universal cannot come before the mind in its own right, but only as qualified by some specific shade of blue. We can’t have an idea of blueness as such because there is no such property as blueness as such—there is nothing to have an idea of. And yet we have the general term “blue”. Nor is it easy to confine the force of the argument to certain fragments of language: not only will it apply to a great many general terms; it will also generalize to singular terms. This is because singular reference is often or always mediated by general concepts, as in the description theory of names: predicates show up in the descriptions and they will be vulnerable to the same argument. Quine’s argument and Kripke’s argument are initially directed at a sub-class of expressions (“rabbit”, “plus”) and may or may not generalize to every expression of language, but they are enough to put the whole notion of meaning into question; similarly with the present argument—the argument seems to cut at the very essence of language, viz. generality. If “blue” is meaningless, something must be seriously wrong somewhere.

            Once the cogency of the argument has been acknowledged, the question is what to do about it. One response would be simply to accept it: there is no such thing as meaning; meaning is impossible. We just have to learn to live with that fact. But that has not been the usual response to such arguments (Quine being an exception): usually people have tried to save meaning by reconfiguring it somehow. Berkeley did just that by suggesting that while there are no abstract ideas there are specific ideas, and they can perform the work of generality by being used in a certain way (hence Berkeley is often cited as a forerunner to Wittgenstein). I won’t attempt to evaluate these efforts at preservation; I wish to note only how extreme the revision has to be once the argument from abstraction is accepted. For if “blue” fails to express a meaning-constituting idea, how can more specific terms have ideas as their meanings? Whatever kind of thing constitutes the meaning of “blue” will have to constitute meaning for “cobalt blue”, on pain of a semantic duality in language—an unacceptable theoretical bifurcation. Thus Berkeley’s theory explains the meaning of “blue” in terms of use, but explains the meaning of “cobalt blue” in terms of a specific correlated idea. But why not adopt a use theory across the board? Why not follow Wittgenstein all the way once the first step has been taken? Just abandon ideas altogether and replace them with uses. The meaning of a word is its use, not anything existing in the mind.

But this kind of theory is a radical repudiation of traditional ways of thinking. First, we have to give up the idea that understanding a word consists in associating a concept with it, i.e. a psychological state underlying the use of language. Second, the entire apparatus of reference and representation is called into question: for now we cannot say that meaning consists in intentionality, aboutness, reference. We used to say that understanding a word consists in having an idea of what it stands for or expresses—object or property—but we can no longer say that. To understand “blue” is not to know which universal (property, attribute) it stands for or expresses, but something else entirely—such as applying the word in a certain way. We lose the whole idea of language as a system of representation, replacing it with behavioral dispositions. So the problem with abstract ideas and general terms threatens to undermine fundamental assumptions about language and meaning. If we have no abstract idea (concept) of blue, then we cannot understand “blue” by invoking that idea; but then there is no psychological state that constitutes understanding—or none that involves the requisite intentionality. It must just be some sort of stimulus-response system that never reaches beyond language itself—a kind of syntactic machine without semantic interpretation (it’s not about anything, such as being blue). This is much more radical than a “skeptical solution” in terms of assertion conditions, because that at least retains much of the old apparatus. But this kind of solution will be vulnerable to the original argument from abstraction, since general terms will appear in the assertion conditions (“Assert ‘that is blue’ when something looks blue to you”). Once we abandon the idea of ideas (concepts, thoughts, mental representations) as the basis of understanding, we find ourselves in strange new territory. So it isn’t going to be easy to respond constructively to the skeptical argument from abstraction. As Locke recognized, his whole theory of language depends on the viability of the notion of abstract ideas; it was left to Berkeley to point out that this notion is riddled with difficulty. There is (as Kripke would say) no fact of having an abstract idea of blue; this is a fictitious notion. There isn’t even a fact of an object’s being blue: the facts consist of objects and specific shades of blue (as they consist of objects and specific types of triangle).  [3] We have the word“blue”, but we don’t have the abstract attribute of being blue or the abstract idea of blue. Hence the attraction of construing meaning as merely the use of a word, without regard for any quality denoted or expressed. There are words and their use, but there is nothing else, semantically speaking.

            It is worth noting that two standard ways of treating “blue” that try to preserve the basic form of the old apparatus don’t apply. The first is to switch from abstract ideas to dispositions to assent: instead of saying a speaker has an abstract idea of blue we say that she has a disposition to assent to “blue” in the presence of blue objects. But the trouble is that there is no such disposition, since perceptual objects are not blue simpliciter—they are navy blue or cobalt blue or some such. There is no stimulus of being abstractly blue; there are only stimuli corresponding to specific concrete qualities. A disposition to assent to “blue” in the presence of these variously hued objects would yield only a disjunctive concept not the unitary concept we think we possess. It is the same with the notion of a capacity: what is the capacity to recognize blue things but the capacity to recognize shades of blue (ditto for triangles)? Even Locke agreed that there is no objective property of being blue, only an abstract ideaof blue–so there can be no disposition to respond to the instantiation of such a property. A dispositional theory of abstract concepts thus does not evade the fundamental difficulty.

            The second way is to stretch the concept of family resemblance and declare that blue is a family resemblance concept like game. Just as there are many kinds of game with no common connecting thread, so there are many kinds of blue with no common connecting thread (ditto triangles)—hence no concept of that thread. Whatever one might think of family resemblance as an account of the concept game, it surely looks singularly unapt for the concept blue. Isn’t this a paradigm of a non-family resemblance concept? There is something common to all blue things—their blueness. Similarly, all triangles have three sides, despite there being several types of triangle (scalene, isosceles, equilateral). To stretch the concept of family resemblance to cover these cases in an effort to solve the problem of abstraction smacks of desperation; you might as well say that every concept is a family resemblance concept. The problem is that “blue” has an unequivocal meaning, but there exists no idea corresponding to that meaning: all the ideas in the vicinity are too specific. It looks prima facie as if the meaning of general terms requires abstract ideas, but it turns out there are no abstract ideas, so meaning is in jeopardy. In order to save meaning we are compelled to contemplate radical departures—such as abandoning intentionality as constitutive of meaning. It isn’t just a minor hitch.

            My aim in this essay is not to resolve this issue, but merely to add it to the list of other skeptical arguments concerning meaning. It is not the normative nature of meaning that is causing the problem, as with Kripke’s skeptical paradox, nor the extension-selecting nature of meaning, as with Quine’s indeterminacy thesis; it is the abstract nature of meaning that is causing trouble, its distance from concrete reality, both mental and non-mental. Meaning is too abstract to be possible, too far removed from actual human psychology (perhaps from any psychology), as well as from concrete physical reality. There is nothing in reality for it to be. It calls for feats of abstraction that are beyond the powers of man or nature.  [4]

 

  [1] The locus classicus is Locke’s An Essay Concerning Human Understanding, Book III, Chapter III: “Of General Terms”.  

  [2] Berkeley, Principles of Human Knowledge, section 13. He is discussing the case of “triangle”, arguing that the abstract idea of a triangle is impossible: it must comprehend all kinds of triangles, but it cannot be any specific one of them.

  [3] We can of course say that different shades of blue or different types of triangle are similar to each other, but if we ask what the respect of similarity is we will fall back on such terms as “blue” and “triangle”—the very general terms that cause the problem. How do we understand such terms—in virtue of what fact? Is there any fact?

  [4] Accordingly we find nominalist theories of meaning—theories that treat meanings as nothing over and above words, perhaps as used in certain ways (I would describe Wittgenstein’s later reflections on meaning as nominalist in this sense). Put in these terms, the problem of the abstractness of meaning is solved (or dissolved) by denying that there is any mental correlate of a word—no idea or concept or mental representation. For any such correlate would immediately face the challenge of matching the abstractness of the word: and nothing we find in the mind is capable of mirroring the abstractness of “blue” or “triangle”. There are no such abstract mental facts, so meaning either does not exist or it consists in something other than a mental correlate (maybe just a use—whatever exactly that may be). We end up with an anti-mentalist theory of meaning as the only way to avoid meaning nihilism.   

Share

The Word “Thing”

                                                The Word “Thing”

 

 

In his Ethics Spinoza has a curious passage concerning the common word “thing”: “But not to omit anything it is necessary to know, I shall briefly add something about the causes from which the terms called Transcendental have had their origin—I mean terms like Being, Thing, and Something. These terms arise from the fact that the human body, being limited, is capable of forming distinctly only a certain number of images at the same time (I have explained what an image is in P17S). If that number is exceeded, the images will begin to be confused, and if the number of images the body is capable of forming distinctly in itself is greatly exceeded, they will all be completely confused with one another…. But when the images in the body are completely confused, the mind also will imagine all the bodies confusedly, without any distinction, and comprehend them as if under one attribute, namely, under the attribute of Being, Thing, and so forth… These terms signify ideas that are confused in the highest degree.” (P40) Spinoza evidently believes that the word “thing”, as philosophers employ it, is a defective word expressing a defective concept, because it signifies no determinate kind or sort or type. Presumably, then, it should be banned from serious discourse and certainly not relied upon in theoretical contexts. What it means is obscure at best.

            And yet the word finds its way into philosophical discourse at the highest level, as if it cannot be done without. Let me mention three disparate examples. First, there is Descartes’ use of the phrase “thinking thing”: not “thinking subject” or “thinking self” or even “thinking substance”—as if Descartes is reluctant to say anything positive about what the thing that thinks is. We may not know what the nature of this thing is, but at least we know that it thinks—whatever precisely “it” is. Second, there is Kant’s use of “thing-in-itself”: this thing is also an I-know-not-what, though we know that there must be such a thing. Again, Kant doesn’t want to enter into any conjectures about what manner of thing this thing-in-itself might be—even to call it an “object” might be overreaching—so he sticks to the indeterminate term “thing”. Third, we have Wittgenstein’s well-known remark: “It is not a something, but not a nothing either!” (Philosophical investigations, 304) This sentence could be paraphrased as, “It is not a thing, but it is not not a thing either!” Once again, the thought is that we have run out of descriptive resources and are forced back to the non-descript word “thing”: we have reached the limit of language, the point at which all description fails us. We use the word “thing” when we can find nothing better to say—nothing more informative, more definite.

            Here is how the OED defines “thing”: “an object that one need not, cannot, or does not wish to give a specific name to”. The word “object” jars here because “thing” seems broader than “object”, but for our purposes the definition captures the philosophical use of “thing” nicely. We use the word “thing” when we cannot use a more specific term—when we have no name or description for what we are referring to. Thus the word functions as an expression of ignorance: we use it when we need to be maximally general, vague, or noncommittal. We use it in contexts of epistemic limitation. Consider Hamlet’s famous declaration, “There are more things in heaven and earth, Horatio, than are dreamt of in our philosophy”: here the schematic “things” expresses the lack of knowledge to which Hamlet is drawing our attention—things whose nature and type we know nothing of. Hamlet is alluding to what lies beyond our conceptual scheme, even our imagination (“dreamt of”)—to the unknown or unknowable.

This, then, suggests an answer to the question troubling Spinoza: What are these schematic bloodless words for? Are they just confusions brought about by the way we form concepts, the mind misfiring? The answer, I suggest, is that we have these words because we recognize that we are cognitively limited—we know that we don’t know. We want to be able to speak about the unknown and unknowable, and to do that we need words that don’t commit us as to type—words without descriptive content. The concepts they express are not confused and pointless but exactly tailored to their purpose, namely to permit reference to what we do not and maybe cannot conceive. We might call them “horizon words”. There are “things” out there, over the horizon, which we don’t know how to describe or classify or get our minds around. To put it in philosopher’s jargon, we have the word “thing” because we are realists—because we don’t want to limit reality to what we know or could know.  [1]

            The point applies sharply to quantifier words like “something”, “everything”, and “nothing”. We want these expressions to have maximum generality, stretching beyond what we can know or conceive or dream. Thus “everything” means “every…single…thing”, without restriction. We need a word like “thing” if we are going to encompass every last thing (!) in reality. Restricted quantifiers like “every man” or “every elementary particle” won’t cut it. The word “thing” exists because language recognizes its own limitations—it refers to what it cannot refer to. That is, it refers to things it is incapable of describing. The concept thing is part of our conceptual scheme because our conceptual scheme is limited; it concedes the possible blankness of our thought concerning reality. We speak brightly of dogs, mountains, numbers, and electrons—things we can conceive, at least in some measure—but we also speak darkly of things that we cannot conceive but which might yet exist. Hence we find no tension in the phrase “unknowable things”. If we didn’t believe in such possibilities, we wouldn’t need the word “ thing” in its current meaning; there would be, so far as we are concerned, nothing beyond dogs, mountains, numbers, and electrons—nothing over the horizon.

            Does anything fail to be a thing? Frege thought that concepts are not objects, so not everything is an object: but are concepts things? Surely they are, for they are real (for Frege).  Are Platonic universals things? What else could they be (if they exist)–nothings? Is God a thing? He is certainly something, so he must be a thing of some sort—some…thing. Are events things, or thoughts, or numbers? Check, check, and check. Every last thing is a thing—it’s what anything has to be. The word “thing” applies to absolutely everything, trivially so; and it enables us to speak of what we cannot know or conceive or imagine. Everything we know is clearly a thing, but so is everything we don’t know. As Spinoza suggests, “thing” belongs with “being” in that both words aim to encompass the whole kit and caboodle (notice how language strains at its edges). It is the word we use in philosophical contexts when we mean to abstract away from the known part of reality and reach out to the very limits of reality. So far from being confused or pointless, it is a word with a clear and definite purpose—to make sure nothing (no…thing) is excluded. To speak of “things” is to speak of what is, immanently or transcendentally (to echo Spinoza). It is a very good word.

 

Colin McGinn

  [1] There is an old horror film called simply The Thing and the point is that its hapless victims know not what it is that is decimating them. And then there is the timeless cliché, “Someone…or some thing”.

Share

A New Riddle of Induction

A New Riddle of Induction

 

Suppose that tomorrow the sun does not rise, bread does not nourish, and swans are blue. Does that show that nature is not uniform, that the past is not projectable to the future, and that induction has broken down? Can we conclude that what we observe tomorrow does not resemble the past? Not unless we know the past—unless we know that the sun used to rise every day, that bread used to nourish, and that previous swans were white. But memory is fallible and vulnerable to skepticism. If we are wrong about the past in these respects, then when we suppose that the future diverges from the past, we are mistaken—actually the future does resemble the past (blue swans etc). So unless we have an answer to skepticism about the past we cannot infer from an apparent breakdown in the uniformity of nature that there is a real breakdown.  [1] Given that we have no such answer, we cannot know that the future fails to resemble the past. If bread never actually nourished in the past, then its failure to nourish tomorrow is perfectly uniform and projectable from its past properties. So it is not just that we can’t establish that nature is uniform; we also can’t establish that it is not uniform. We can’t describe a situation in which we discover that the previous laws of nature have broken down, or were not laws after all, for it is always possible that we are wrong about how things were in the past. This makes the skeptical problem of induction ever harder. We can know that our predictions have been falsified, but it doesn’t follow that we can know that the future does not resemble the past, since we could be wrong about the past. Even a total failure in all our inductive predictions would not establish that the future diverges from the past. Nature might be completely uniform and yet appear to us not to be. We can’t know that nature will continue the same into the future and we can’t know that it has not continued the same.

 

  [1] There are two sources of potential error about the past: first, we might just be wrong that bread ever nourished (we have false memories); second, we might have made an inductive error about bread in the past, inferring that all past bread nourishes from the limited sample of bread we have encountered (maybe the uneaten bread was poisonous). If we make the latter error, our observation tomorrow that some bread is poisonous actually follows the way bread was in the past, so there is no breakdown of uniformity. 

Share

Plurality Skepticism

                                               

 

 

Plurality Skepticism

 

 

The skeptic characteristically maintains that we have a tendency to believe in too many things. We believe in other minds (not just our own) and we believe in external objects existing independently of our mental states. Strictly, we should believe in our own mind and nothing else. There are (or there may be) fewer things in heaven and earth than are dreamt of in our philosophy. Solipsism-of-the-moment is the only safe position, which cuts the world down to one thing. Our problem is that we overestimate the contents of reality, postulating things in which we have no right to believe. We are like polytheists who should really be monotheists, or theists who should really be agnostics or atheists. We are prone to “false positives”—assuming things to exist that we have no good reason to believe exist. Skepticism thus seeks to reduce our range of beliefs in things—we must subtract, eliminate, deny.

            But there is another form of skepticism, which is far less familiar: this kind says that we have a tendency to underestimate reality. We tend to assume that there are not various things, but there may in fact be such things. There may be more things in reality than we are inclined to suppose (hence Hamlet’s famous line). I call this “plurality skepticism”. The clearest example is plurality skepticism about our knowledge of other minds: not only may there be minds other than our own in the form of human and animal minds, there may also be plant minds, bacteria minds, and even molecule minds. That is, this is the skeptical hypothesis we need to rule out if we are to maintain our usual restrictive ontology of minds; and since it cannot be ruled out, the plurality hypothesis may be true. The radical plurality skeptic about other minds insists that we cannot rule out the hypothesis that there are other minds everywhere: in our own bodies, in trees, even in atoms. This skeptic will point out that the lack of behavior indicating the presence of a mind does not logically entail that there is no mind present, so we cannot cite the lack of behavioral evidence as proving that the hypothesis of a plurality of minds is false. For all we know, there are vastly more minds than we suppose. That is, we are guilty of “false negatives”—disbelieving in things that actually exist. The skeptic is not saying that we should believe in these things, only that we have no right to rule them out—so we should be agnostic.

Maximum strength skepticism says that we should both doubt the existence of minds where we typically don’t doubt them and doubt the absence of mind where we typically assume such absence. Indeed, it may be that other human beings and animals have no minds but fungi (and only fungi) have minds: this is what the consistent radical skeptic about other minds will contend—that we may be completely wrong in our habitual assumptions about the distribution of minds in nature. We may be guilty of false positives and false negatives. How can you rule out the hypothesis that only fungi and you have a mind? Are you certain that this is not the case?

            We find the same structure with respect to skepticism about our knowledge of the external world: might there not be many worlds that we fail to recognize? The traditional skeptic argues that we are rash to believe in a world outside of our own mind, but the plurality skeptic argues that we are rash to assume that there is only onesuch world—the one that seems to us to exist. Maybe there are many external worlds that we fail to recognize (as some physicists today actually maintain)—maybe we vastly underestimate the content of physical reality. There is not just the ordinary world of tables, chairs, mountains, and galaxies, but also other types of object of which we have no knowledge—objects completely hidden from us (“dark universes”). Indeed, it may be that our ordinary external world does not exist (we are brains in a vat) but that other external worlds do exist: what we experience is an illusion, but there are other strange worlds out there that exist instead. That is the truly radical form of external world skepticism: it may be that the world we think we know does not exist but that other worlds do exist. These worlds are not merely possible worlds, but actual worlds that we fail to experience. The skeptic wants to know why we don’t take this possibility more seriously. More strongly, he claims that his skeptical hypotheses are as likely to be true as the view we habitually accept. He thinks we have a dogmatically narrow conception of reality. There may be all sorts of objects out there that we fail to recognize, and it may be that those in which we believe fail to exist at all. Our epistemic failings are thus multiple and grievous, not limited to postulating one world that may not exist. We should be agnostic about the full range of possibilities.

            The plurality skeptic may also point out that we have a history of underestimating reality: we tend to assume there are fewer minds and physical objects than there really are. Sometimes we overestimate, as with witches and gods, but more often we underestimate. We used to restrict minds to humans, with one mind each, and even doubted the existence of minds in humans we found alien; then we acknowledged minds in other animals and all humans, as well as accepting unconscious minds within ourselves. We have grown steadily more expansive with the concept of mind. Likewise, we once limited the external world to objects perceptible by the senses, only gradually accepting microscopic objects (organisms and particles) and remote celestial objects, and now invisible forces, dark matter, and so on. We erred on the side of epistemic stinginess, which is not surprising given our limited senses, with occasional lapses into excessive ontological largesse. So the plurality skeptic can reasonably suggest that we might still be committing false negatives: that there are likely to be many more minds and external worlds than we customarily suppose. Our confidence that we have accounted for all realities might well be misplaced. We may be committing more errors of exclusion than of inclusion. At any rate, radical skeptical hypotheses postulating pluralities of minds and worlds cannot be ruled out.

            The skeptical problems of the external world and other minds are generally presented as problems of epistemic over-commitment, with the emphasis placed on the possibility of false positives—there might be less to reality than we suppose. But it is equally important, in presenting the full skeptical challenge, to reckon with the problem of false negatives—the possibility that there might be much more to reality than we suppose. We don’t know if there is no external world or many (perhaps infinitely many) external worlds or just the one world that we normally take for granted; and we don’t know if there is just one mind (one’s own) or hugely many (perhaps infinitely many) minds, spread everywhere and in the most unlikely places, or just the range of minds we normally take for granted. We are really very ignorant of what is so and what is not so—that is the skeptic’s message in its full generality. We may be making enormous errors of both commission and omission. We might live in a very lonely world or in a very crowded world—we simply cannot know.

 

Share

Two Types of Skepticism

 

 

 

 

Two Types of Skepticism

 

 

It is common for philosophers to use the phrase “skepticism with regard to the external world” or  “skepticism about other minds”. This is quite misleading, because it conflates two distinct questions: one relating to reality, the other to knowledge of reality. The dictionary definition of “skeptic” is “a philosopher who denies the possibility of knowledge, or even rational belief, in certain areas” (OED). This is the right definition: a philosophical skeptic is concerned to deny or doubt that we have knowledge about the external world (say), not to deny or doubt the external world. It is of course possible to deny or doubt the existence of the external world: a philosopher could (like Berkeley) claim that the notion of matter or unperceived existence is incoherent. So one can be skeptical about whether the external world exists for reasons having to do with the nature of the external world. We could call this “existence skepticism” and contrast it with “knowledge skepticism”. One could also be skeptical about the existence of a particular person or place  (Santa Klaus, Atlantis) or about knowledge of a particular person or place. These are quite distinct kinds of claim. It is therefore a question whether one kind of skepticism has any bearing on the other.

            It is clear that existence skepticism does not imply knowledge skepticism. Whether X exists is quite independent of whether we can have knowledge of X, except in the trivial sense that if X does not exist there is nothing to have knowledge of (though we can have knowledge of fictional entities). Doubts about the coherence of the notion of mind-independent matter have nothing to do with the possibility of our knowing about such a thing. They are ontological not epistemological. But neither does knowledge skepticism lead to existence skepticism: denial or doubt of knowledge of something does not entail denial or doubt of that thing. This is very clear from the third-person point of view: I can deny that someone else has knowledge of X without in any way casting doubt on X itself—my claim is purely epistemological. Likewise, I can cast doubt on my own knowledge of something without casting doubt on that thing—I may be quite neutral about the thing itself. I may think that I have reasons to doubt that I have knowledge of X without thinking that I have reasons to doubt X (such as the possibility that I am a brain in a vat). The fact that I lack knowledge of X is not the fact that X is not real.

            So the success of skepticism with regard to our knowledge of the external world does not entail skepticism with regard to the external world. Reasons to doubt knowledge of external reality are not reasons to doubt external reality. It may be replied that knowledge skepticism about X entails that X is doubtable, since we can no longer assert with certainty that X exists. We can coherently doubt the existence of the external world, since we do not have conclusive reasons to believe in it. That seems right, but it doesn’t follow that the existence of the external world is doubtful: no reason against its existence has been given at all, so it is not doubtful. It would be a misuse of language to say that the existence of New York is doubtful, given only that it is possible for us to doubt that New York exists, i.e. its existence is not a certainty. Compare the words “dubitable” and “dubious”: the former means “uncertain” or “capable of being doubted”, but the latter means “questionable” or “objectionable”. There is a relativity in “dubitable” that is not present in “dubious”, since what can be doubted by one person may not doubtable by another (e.g. the proposition that I am in pain); while what is dubious is dubious for everyone, it being inherent in the proposition in question. Merely being open to doubt (by person x) is not the same as being doubtful or dubious tout court. So knowledge skepticism is quite neutral with respect to existence skepticism: we can deny or doubt knowledge of X without giving any reason to deny or doubt X. Arguments against knowledge of X are not arguments against X.

            Why does this distinction matter? First, it is good to be very clear about the difference between the two questions, since it can be easy to confuse them. Second, the phrase “skepticism about the external world,” used to refer to knowledge skepticism about the external world, is a logical solecism (and similarly for other minds, the past, etc). Third, people seem routinely to suppose that knowledge skepticism about X shows that the existence of X is “doubtful” or has somehow been “cast into doubt” or has been impugned in some way. What is true is that such skepticism implies that the existence of X is doubtable, i.e. not certain (and hence, allegedly, not known); but it doesn’t follow from this that X is (inherently) doubtful or somehow objectionable. There is nothing dubious about the external world or other minds or the past—nothing discreditable or suspect or defective or objectionable. Our habitual beliefs about these things may be suspect and defective, but not what the beliefs are about. It is simply that we don’t have knowledge of these things—we are defective, not the thing itself. God can be certain of these things—they are not dubitable for him–but we can’t; and that is a problem we have. There is nothing dubious or discreditable about the proposition that the external world exists; it is just that we cannot believe that proposition with certainty (or perhaps at all).

The right thought to have when confronted by knowledge skepticism is: “Oh, so I can’t know that X exists, but that doesn’t mean X is somehow intrinsically doubtful or problematic”. That is, existence skepticism doesn’t follow from knowledge skepticism—not even a tiny bit. To put it differently, the proposition that we have knowledge of the external world might reasonably be criticized, but that has no tendency to show that the proposition that there is an external world can be criticized. Asserting that proposition might be criticized, since assertion is a claim to knowledge; but that does not show that the proposition itself can be criticized. The skeptic is not challenging the truth of the proposition that there is an external world, only our ability to know it. If you find yourself unable to suspend belief in the face of skepticism, you may be being irrational, but what you believe might be completely unimpeachable. There is nothing inherently doubtful about the external world or other minds, even granting the truth of skepticism. We thus have no reason to be skeptical about the external world and other minds (unless we have direct arguments against these things—which we don’t have). There are reasons to doubt the existence of things like Santa Klaus and Atlantis, or God and the Devil, but the external world and other minds are not in this category (pace Berkeley). One can rightly be a skeptic about those dubious entities, but in that sense one cannot rightly be skeptic about the external world and other minds. In the latter case, the skepticism is purely of an epistemic kind, and reflects poorly only on us not on them.

 

Coli

Share

Indefensible Knowledge

 

 

 

Indefensible Knowledge

 

 

 

Honest reflection on classical skeptical arguments leaves one with two conflicting conclusions: (a) that there is something undeniably cogent about skeptical arguments, and (b) that we nevertheless know more or less what we take ourselves to know. The two conclusions are in obvious tension with each other, since the skeptic is claiming precisely to undermine human knowledge: he is asserting that, in the light of his arguments, we do not have the knowledge we take ourselves to have. For example, given the possibility that I am a brain in a vat, I do not know that there is a table in front of me. The skeptic denies ordinary knowledge, claiming to prove that no such knowledge is possible. In order to fend off skepticism, the defender of “folk epistemology” is apt to argue that the skeptic’s arguments are fallacious, having no weight—say, by arguing that we can rule out the brain in a vat hypothesis. But I think that both conclusions are true: skepticism does show something epistemologically disturbing, but it does not show that I don’t know what I take myself to know. The problem I have, then, is to reconcile the two conclusions: to give skepticism its due but prevent it from devastating human knowledge. Skepticism does show something important and surprising, but not that we lack ordinary knowledge. In what follows I propose a way to reconcile these two apparently conflicting conclusions.

            Skeptical arguments take many forms, but they all tend in the same direction, viz. that human beings overestimate their epistemic credentials. If we never made any claims to knowledge or justification, exhibiting habitual epistemic modesty, and if this were part of common sense, then the skeptic would have nothing to argue against. We would regard him as saying nothing we don’t already believe. He would be like someone telling us in urgent tones that we don’t know anything about remote unobservable parts of the universe or the state of things before the big bang. But epistemic humility is not our habitual stance—we like to boast about how much we know. We don’t underestimate our knowledge; we overestimate it. This has been the complaint of skeptical thinkers since Socrates and Montaigne, as well as many others. We suffer from misplaced epistemic pride. Thus the skeptic points to the multiple sources of error inherent in perception, memory, and reasoning. We make many perceptual mistakes, often stemming from perceptual illusions; we are frequently wrong about other people’s minds; we hardly ever predict the future correctly. Getting things wrong is a daily occurrence, and yet people persist with their epistemic pride. The skeptic takes this familiar fact and elevates it into a general denial of knowledge (save, perhaps, certain privileged kinds of knowledge, as with the Cogito). Just as we make many small errors (and not so small ones, e.g. the geocentric theory), so we might be making some very big errors—about the external world in general, about the existence of other minds, about the future resembling the past. We might be dreaming or be brains in vats or be surrounded by automata or have existed for only five minutes or be about to encounter a blue emerald. The skeptic wants to know how we can rule these possibilities out; and if we can’t, why we make the cocky epistemic claims that we do. Why are we so confident and complacent, given that error presses in on every side? Isn’t the entire human race like those tiresome know-it-alls who actually know nothing? We seem constitutionally oblivious to the possibility of error, going on as if we are epistemic gods. The skeptic calls people on their epistemic arrogance, attempting to instill epistemic caution. His theme is that we are far more fallible than we are apt to suppose. Human belief constantly overestimates itself.

            It is surely clear that there is a good deal to this critique: we are chronically overconfident when it comes to knowledge. When was the last time you met someone who was reluctant to claim to know this, that, or the other? We are braggarts and buffoons when it comes to knowledge—we just can’t help ourselves. But should we conclude from the skeptic’s salutary admonitions that we don’t know the ordinary things that we take ourselves to know? For isn’t it an equally compelling thought that knowledge is, in a great many cases, extremely easy to acquire? You wake up in the morning and look around; in a flash you acquire a large quantity of knowledge—that you are lying in bed, that it is daytime, that it is sunny outside, that you have just been asleep. And it is the same story for the rest of the day: effortless acquisition of countless bits of knowledge flooding your mind—thousands of items of information crowding in. This is not the result of arduous and fraught inquiry but arises from simple sensory perception plus memory—and anyone can do it, with no training or expertise required. Knowledge, we feel, is a piece of cake, a foregone conclusion, an inescapable consequence of being conscious. Children and animals have lots of it too. I exist, therefore I know. To be sure, we get things wrong once in a while, but in the vast majority of cases we get things right, and hence we know many things. So we are inclined stoutly to maintain, and all the skepticism in the world does not deter us. Are we simply being irrational, refusing to face up to the skeptic’s reasonable complaints? What, he will insist, if we are brains in vats? Then what becomes of our supposedly easy knowledge?

            As I said, I want to acknowledge elements of truth in both points of view, so I need a way to reconcile skepticism and common sense (which is not to say all of common sense). The way I propose to do that is to exploit the distinction between knowing something and being able to defend the claim that one knows. I want to suggest that the skeptic is right that we cannot defend our habitual claims to know against his arguments, but that this does not show that we don’t know—and we might very well know what we take ourselves to know. In other words, we have indefensible (to the skeptic) knowledge. The general point is that from the fact that I cannot defend a claim to know it does not follow that I do not know—and I might very well know that which I cannot defend. Before coming to the case of knowledge specifically, I will explain the distinction I have in mind by reference to other cases that are less controversial.

            Consider any fact about a person, such as having two legs. The obtaining of this fact is obviously not at all the same thing as being able to defend the claim that one has two legs. The skeptic might successfully argue that no one can defend the claim to have two legs against various skeptical possibilities (such as being a brain in a vat), but it does not remotely follow that one does not have two legs. The fact is one thing; defending the claim that there is such a fact is quite another. An animal might have two legs and yet be unable to defend any claims, not even being endowed with language and the concept of justification. This is blindingly obvious: things can have properties and not be able to defend the claim that they have these properties. Moving to cognitive capacities, consider perception and memory: a subject could easily be able to see and remember while not being able to defend the claim that she can see and remember. A skeptic that tried to demonstrate that we never see or remember anything, by arguing that we cannot defend our habitual claims to see and remember, would be barking up the wrong tree; that would be a palpable non sequitur. An inability to defend the claim that one sees and remembers has no consequences whatever for the question of whether one does in fact see or remember. It shows merely that one cannot (justifiably) claim to see or remember not that one cannot do either of these things. Facts about persons and self-ascriptions of such facts are quite distinct. The same point applies to possessing true beliefs and being able to defend the claim that one possesses true beliefs: the former fact could obtain without one having the ability to defend a belief in that fact against skepticism (or anyone else). The capacity to have true beliefs in no way depends upon the capacity to defend the claim that one has the capacity to have true beliefs: these are just different capacities.

            But how does it stand with the concept of knowledge? The first point to make is that knowledge and the ability to defend a self-ascription of knowledge are not the same thing: an animal or child could have knowledge and not even be able to understand skeptical challenges, let alone respond to them. Only an extreme and unwarranted appeal to the “linguistic turn” could justify conflating knowledge itself with the defensibility of claimsto knowledge: knowledge itself is not the same as claiming knowledge—which is a speech act not a cognitive state of a person.  Claiming to know adds something to merely knowing. Claiming is asserting, and asserting is itself a claim to knowledge—that one knows the truth of what one asserts. If I assert that I know that p, then I claim to know the content of my assertion, viz. that I know that p. Thus self-ascriptions of knowledge are claims to know that one knows—but that goes beyond simply knowing. And it is by no means obvious that knowing entails knowing that one knows. The latter is reflective knowledge that requires having the concept of knowledge, but it is not at all obvious that one can know only if one has the concept of knowledge (again, animals and children provide counterexamples). From the fact that one does not know that one knows it does not follow that one does not know. So if one cannot defend the claim to know against the skeptic’s challenges, that shows only that one does not know that one knows. The assertion that one knows might still be true, even if one cannot defend it, since that would require that one knows that one knows. Connectedly, to make a claim to knowledge is to make a claim on another person—that he or she should believe what one does oneself believe. If I say to you assertively “It’s raining outside,” I expect you to form that belief, and indeed I instruct you to form it. I thus incur a responsibility to you—and I can be criticized if my belief turns out to be false and my claim to know unfounded. But I incur no such responsibility just by having knowledge; that does not imply that I am inviting you to share my belief. I have to assert what I know before I take on the associated responsibility. So being able to defend my claim to know is a very different matter from merely knowing, silently and privately. The skeptic may be right that knowledge claims are indefensible by the person who makes them, but it does not follow that they are false. For, first, such claims involve a claim to know that one knows; and, second, such claims involve incurring interpersonal responsibilities—neither of which follows from knowledge per se. Defending a claim to know is just far more demanding than the mere possession of knowledge—it is going much further out on a limb.

            My thesis, then, is that the skeptic is right about knowledge claims but wrong about knowledge per se. He is right that such claims are not ultimately defensible against his arguments, but he is wrong to infer that we lack the corresponding knowledge. We should not, given his arguments, go around forthrightly claiming knowledge, but we might nevertheless have quite a lot of it. Similarly, we should not go around forthrightly asserting that we have two legs, but we might still have two legs—these are perfectly compatible propositions. The skeptic’s arguments apply most persuasively to epistemic speech acts but not to knowledge itself—or any other personal facts. This concedes a lot to the skeptic, admittedly, but it does not concede his most serious allegation—that we simply don’t know what we take ourselves to know. Remember, the skeptic alleges not just that we cannot assert that we know; he also maintains that we positively don’t know. He insists that the proposition that we know ordinary things is false, not merely that we are not entitled to make such knowledge claims. I am agreeing with the latter (but see below) but I resist the implied conclusion that we don’t know ordinary things. I am not then asserting (so far at least) that we do know; I am merely asserting that the skeptic has not shown that we don’t. The non sequitur easily arises from the way the skeptic formulates his challenge: he characteristically asserts, “You claim to know ordinary things but let me show you that this claim is indefensible”; and having done that he infers that we don’t know those things. But his conclusion doesn’t follow from his premises—not, at least, without further argument (see below). Questions about knowledge claims are one thing; questions about knowledge are another. Disputing our knowledge claims is not ipso facto disputing our knowledge.

            When I say, “we cannot defend our knowledge claims to the skeptic” the last three words are important. The skeptic presses quite radical doubts that are not pressed in normal life, and these doubts are hard to quell. But I am not saying that no defense of a knowledge claim to anyone is possible. If I claim there is a table in my study and someone challenges me to defend this, I can reasonably reply that I was just in my study and saw a table. This is enough to answer an ordinary doubt, say one prompted by the fact that the furniture is currently being moved out of my house (so the table might have been removed already). Defenses of knowledge claims are defenses to someone, and different types of doubt can be raised by different people; what works to satisfy one kind of doubter may not work for another. So I can defend my knowledge claims to some people in some contexts, even if I cannot defend them to a skeptic. My claims are not indefensible tout court, but only relative to a particular sort of persistent doubter. My point so far has just been that an inability to defend knowledge claims to a skeptic is not enough to show that we lack knowledge, though an inability to defend such claims to anyone in any context might well be incompatible with knowledge.

            What would it require to successfully defend knowledge claims to a skeptic? The way to do that would be to show that one cannot be mistaken about the claim in question—that the claim admits of certainty. Classic examples would be truths of elementary arithmetic or self-ascriptions of mental states: if one believes it, then it must be true. In such cases (assuming they exist) we can know that we know, because we know that error is not possible in these cases. Thus I can assert “I know that I am in pain” even to the most resourceful skeptic. But in other cases we cannot argue in this way, because the knowledge is not certain—error is conceivable. What the skeptic is pointing out, in effect, is that most knowledge claims are not like the special cases, which are defensible even by his high standards. I think we should concede this point to the skeptic, however reluctantly, but then stubbornly insist that nothing much follows about knowledge itself. Thus the existence of knowledge is compatible with the indefensibility of knowledge claims, which is what I set out to establish. The skeptic is pointing out that many knowledge claims fall short of the kind of knowledge claim exemplified in the special limited class of certainties, and thus are indefensible by his high standards; and this is something we did not appreciate until he pressed his skeptical case. All right, we can reply, but still you have not shown that we lack knowledge in these cases—we no more lack knowledge in these cases than we do in the special cases. We do not lack knowledge, in a perfectly uniform sense, just because we cannot always defend our claims to knowledge. I can know there is a table in front of me in exactly the same sense that I can know I am in pain—the asymmetry of defensibility of the respective knowledge claims is neither here nor there. Knowledge doesn’t fail to be knowledge just because it isn’t certain knowledge.

            I have been harping on the logical gap between the fact of knowledge and the ability to defend claims about that fact, comparing this gap to that between seeing and defending a claim to see (or remembering or having two legs). But it may be replied that knowledge is different from these cases: in the case of knowledge there is no such gap—if we can’t defend our claim to know, then it follows that we don’t know. Let us call this the “exception thesis”—the thesis that knowledge is an exception to the general rule I have cited. According to the exception thesis, it is impossible to know without being able to defend the claim to know, because knowledge is inherently a matter of defending one’s claim to know against objections and doubts—which is not true of seeing or remembering or having two legs. Why would anyone adopt the exception thesis? The answer is obvious: because knowledge requires justification and justification is something that can be offered to another person in order to defend one’s claim to know. To know one must have reasons, but then one should be able to share these reasons with someone else, including a skeptic. I suspect this kind of point is precisely what lies behind the easy transition the skeptic is apt to make from undermining claims to know to undermining knowledge itself, regarding the two as indissoluble. To repeat: since knowledge requires justification, one cannot know unless one can provide the justification to others that one must have in order to know in the first place. Here the fact does imply the ability to defend the self-ascription of the fact: the very thing that justifies the belief (and hence makes knowledge possible) is what can be cited to defend a claim to know. Thus knowledge is an exception to the general rule I cited.

            A number of replies can be made to this point. First, the reasons I have for a belief may not be sufficient to repel the skeptic’s radical doubts, but they may be sufficient for knowledge. When we analyze knowledge as true justified belief (plus some) we do not thereby imply that the justification that is a necessary condition for knowledge is of a kind that is sufficient to silence the skeptic; it is enough that the justification is adequate by normal standards. The very meaning of “knowledge” is not such as to require that a person can know only if he or she has conclusive or certain justification; if we did stipulate that, we would make skepticism about knowledge true by definition. The skeptic is arguing that our usual justifications don’t satisfy his radical doubts, but this is not the same as saying that we simply have no justifications at all. And I may have a justification sufficient to answer a furniture mover’s doubts about my table without having anything adequate to answer skeptical doubts. So I might have a justification for my beliefs (and hence have knowledge) without being able to defend my knowledge claims to a skeptic by citing that justification. If so, the fact of knowledge does not imply an ability to offer convincing anti-skeptical defenses—though it does require some kind of justification. In practice, the skeptic is questioning whether I have certain knowledge, but this leaves open the possibility of uncertain knowledge—the kind based on justifications that don’t generate certainty. Such justifications come cheap.

            Second, it is controversial to claim that all knowledge requires justification, as a matter of definition. What about beliefs that rest on no other beliefs? If I believe that I am in pain (and know it), I do not have a justification for my belief, since it rests on nothing more basic; but that does not prevent such cases from counting as knowledge. The justification condition for knowledge is usually inserted to rule out cases of true belief for badreasons, not to rule out cases of basic belief based on no reasons. It could therefore be as well formulated by requiring that the belief not be unjustified, i.e. based on reasons that are bad reasons for that belief. We want to rule out accidentally true belief by adding the justification condition, but we don’t want to rule out cases of basic belief that have (and require) no justification. In addition, as soon as we accept externalist accounts of knowledge, which emphasize things like reliability and tracking, then the conditions for knowledge involve factors to which the knower does not have special access. The knower must be a reliable tracker of the truth or be causally connected to the fact in the right way; but it is not required that she knows that she is a reliable tracker or is suitably causally connected to the facts (something that might be presented to the skeptic who questions her knowledge claims). Thus it is possible to know in virtue of such external conditions and not be able to produce a justification that might convince a skeptic. Suppose a person does know that p in virtue of reliability (or the right causal connection to the fact): it does not follow—and won’t in general be true—that she has a reason for belief that will silence a skeptic. The knowledge does not depend on having such convincing reasons, so it is possible to know and not be able to produce such reasons. Animal knowledge makes the point well, since that kind of knowledge cannot depend on being able to marshal reasons that might be offered to a skeptical challenge; it depends rather on the right kind of hook-up to the world. Defending knowledge claims is a sophisticated dialectical skill that is not required for humble first-order knowledge of reality. Perhaps the highly intellectualist approach to knowledge that requires reflective justification for all knowledge might lead us to accept the exception thesis, but that picture is by no means compulsory and rules out by definition (and stipulation) vast areas of human and animal knowledge. If we formulate our conception of knowledge in such a way that we can (we hope) defend knowledge claims to a skeptic’s satisfaction, then the result is apt to be that we end up not knowing many of the things that we usually take ourselves to know, since much knowledge is quite unreflective. It is better to accept that we cannot provide such a defense and then separate knowledge as such from the defensibility of claims to knowledge. The skeptic is thus given his due (his pound of epistemic flesh), but he is not awarded the grand prize—the proposition that we lack knowledge of ordinary matters of fact.

            Here is a point that is often ignored: you can have a justification for a belief and then forget that justification; but if you knew to start with, you will preserve that knowledge. You had a justification but now it escapes you: yet still you know, intuitively speaking. So you can’t produce anything now that might halt the skeptic, even though you have knowledge. So long as the justification was once in your possession, you can have knowledge; it isn’t necessary for it to persist. We have all sorts of knowledge for which we once had producible reasons but no longer do (for memory fades)–which means that we cannot now defend our claim to know by producing a justification. And yet we still know. Producing justifications is proper in law courts and examination halls—here memory is paramount—but much of our knowledge is blissfully free of such obligations. We know but we can’t say why.

            It seems to me, then, that the exception thesis is false. If so, we can bring knowledge under our general principle and say that the fact of knowledge does not necessarily confer the ability to defend the claim that this fact obtains. The fact of knowledge can obtain without an ability to defend self-ascriptions of that fact. Herein lies my attempt to reconcile the power of skepticism, on the one hand, with resistance to the typical skeptical conclusion that we lack everyday knowledge, on the other. The skeptic is right about our epistemic overconfidence, which is manifest in our normal linguistic practices, but he is wrong to infer that knowledge does not exist or is not possible. For all he has shown, we have all the knowledge we typically take ourselves to have—of the external world, other minds, the past, the future, and so on. Thus the skeptic is agreed to be cogent and disturbing, but he leaves much of what is precious to us intact. This is why skepticism is shocking to us when we first encounter it, by why we don’t tend to react by ceasing to believe anything, though we might well be chastened into greater epistemic modesty.  [1]

            I will end with a point about skepticism and the first-person. The skeptic always challenges us to defend ourclaims to knowledge—“How can you defend your claim to know that p?” Or we ask ourselves: “How can I defend my habitual knowledge claims?” But things look different if the skeptic speaks in the third-person: “How can you defend his knowledge claims?” Here we are quite ready to admit that he may not do much of a job of defending himself, but that we could do much better defending him. Even if he can’t properly defend his claims to know, we can defend them, pointing out his general reliability, causal connectedness, caution, and so on. In this case, we may think he does know perfectly well, despite his ineptitude at self-defense—he is no expert epistemologist. We thus separate knowledge as such from self-defense of knowledge claims quite easily in the case of another person. We should adopt the same latitude towards ourselves: we might not be very good at rebutting the skeptic, but that doesn’t mean that we don’t have knowledge—someone else (e.g. God) might see that we satisfy all the conditions for knowledge quite adequately, even though we have no insight into this. That is, the fact of knowledge might obtain quite definitively in our case, though we are not in a position to recognize and assert that fact. The skeptic trades on the latter weakness to argue that the former fact is not the case, but this is a non sequitur. The skeptic is right up to a point, but he overreaches when he denies ordinary knowledge. What he fails to appreciate is the possibility of indefensible knowledge.

 

Colin McGinn

 

  [1] The skeptic might even change our linguistic practices, as well as our epistemic attitudes: we don’t go around loudly proclaiming our knowledge but temper our epistemic assessments so to admit the possibility of error. We go from saying, “I am quite certain that p” to “I am somewhat inclined to believe that p”. The latter could be true even though I know full well that p. It is not knowledge that is at stake but our attitudes towards knowledge.

Share

Emotional Skepticism

                                                Emotional Skepticism

 

 

Our emotions are set at a certain level: we feel a certain degree of anxiety, fear, happiness, and depression. Consider our fear of death: we fear it to a certain degree, neither more nor less. True, some people fear death more than others, and each of us can vary from day to day or in different circumstances; but there is a kind of average value for fear of death, both for individuals and the species. We don’t wake up every day feeling an intense fear of death (given that it is highly improbable on that day); nor do we wake up fearing death no more than a rainstorm. We feel fear of death to a degree d (similarly for the other emotions). We tend to assume that this degree is normal, rational, and sane—anything else would be inappropriate or deranged. That is, we think we know that our emotions are set at roughly the right level—that they are correctly calibrated. We believe this as we believe that there is an external world, that other people have minds, that the past is real, etc—these are just parts of common sense.

            But skeptics question these everyday assumptions. The emotional skeptic suggests that we really don’t know if our emotional scale is correctly calibrated. Maybe we are too afraid of death, or not afraid enough; maybe we overdo our anxiety about passing that examination, or understate it; maybe we are not happy enough, or too happy. The skeptic agrees that certain situations merit certain emotions, but it is a further question whether our usual degree of emotion is merited. He wonders whether our emotional setting is rational, justified. How, he asks, can we prove that what we habitually feel is appropriate? Maybe our setting should be d’ when it is actually d. Can we say with confidence that another species with a quite different setting is provably irrational?

            Emotional skepticism comes in two forms: one form says that we might have the setting wrong; the other says that there is no such thing as a correct setting. The first skeptic thinks there is a fact of the matter about d but we don’t know what it is and may have it wrong; the second says that there is no fact of the matter—it is simply indeterminate what setting is correct. This latter skeptic says that the whole idea of a correct setting is a mistake: any setting is as good as any other. Absolute terror of harmless birds is no more irrational than normal human fear of lions and tigers. Both sorts of skepticism should be added to the usual roster of types of skepticism

Share