Does Truth Matter?

Does Truth Matter?

Theories of truth are very various, as if people can’t decide what kind of thing truth is. Is it just another name for consistency (coherence), an inter-propositional relation? Is it nothing at all, mere repetition of the proposition said to be true? Is it some sort of abstract correspondence between proposition and world, a picture or isomorphism of the facts? Or is it a way of talking about utility, benefit, what pays? You would think that truth is the opaquest of things, given the variety of theories of it. But people don’t tend to ask why truth matters, i.e., why we should care about it: whatever it is, why is it important? The pragmatist theory brings out the urgency of that question most clearly, because it aims to answer the question of mattering: truth is utility, and utility matters. We want to know what is useful, what works, and truth does that, since truth simply is the attribute of being conducive to success or well-being. Beliefs that are true are precisely beliefs that are good for us—prudentially valuable—and that is why truth matters. The other theories leave us hanging, because they don’t offer an answer to why we should care about truth: why should we care that our beliefs form a coherent whole, or that they stand in a relation of correspondence to the world, or that the word “true” allows for the re-assertion of the proposition that is true? We think truth is valuable, a good thing, and pragmatism gives a clear answer to why—because to be true is to be useful. Falsity is useless, counter-productive, harmful—so we avoid it. The value of truth thus receives a solid grounding, an explanation; and it’s not clear that any other theory does this. The trouble is that pragmatism is a false theory: it is neither necessary nor sufficient for truth that a proposition be useful. This is an old story that I won’t repeat (useless true beliefs, useful false beliefs); the point for present purposes is that without pragmatism truth comes to seem pointless, expendable, of no account. It is true that truth and utility are correlated to some degree, which is why the pragmatist theory looks promising at first: generally speaking, what is true is useful and what is useful is true (and what is false is harmful and what is harmful is false). But we can’t identify the two properties; the connection is contingent not constitutive. This leaves us with the question of why we should care about truth—what has it done for us lately? Let me set out the question as starkly as possible. Suppose that truth is some kind of correspondence (the most popular conception of truth)—a mapping between proposition and fact. And suppose we consider an astronomical belief about a remote galaxy that happens to be true but is not useful in any way. The truth of this belief confers no benefit on its holder or on anyone else; it has zero utility. Then why should anyone care about it? Why should anyone strive to ensure that the belief is true or worry that it might not be? It is a fact about the belief in question that has no conceivable utility for anyone. Consider another type of correspondence relation that might obtain between the individual and the galaxy, say that it has as many stars as the individual has hairs on his head—there is a mapping, an isomorphism, between the two. Who cares? What difference does it make? It’s just a quirky fact, an adventitious correspondence with no relevance to anything someone might care about. It doesn’t matter. Likewise, the truth type of correspondence doesn’t matter, because it bears no relation to what does matter, prudentially or morally.[1] Of course, some true beliefs matter because they feed into action and action matters to well-being, but this is what matters not truth as such. As soon as the belief is detached from action, its truth ceases to matter; it is the property of being useful that matters, whether truth is implicated or not. Truth only matters because it is instrumental in providing utility—its mattering is entirely extrinsic to its nature. The truth relation itself has no intrinsic value; only the relation between the belief and the action matters. So, we are under the illusion that truth matters, because it is correlated with successful action; its not mattering becomes evident when we detach truth from useful action, as in the astronomical example. That is, a belief’s being true is not a property of the belief that has intrinsic value, because truth itself is utility-independent. If pragmatism were true, we could say that truth is inherently valuable because it is identical with utility; but it isn’t true, so truth is left hanging, a kind of pointless add-on. If all our beliefs were suddenly rendered false, while retaining their utility, we would not be a shade worse off, simply because correspondence with the world is not an inherently beneficial relation (consider the Matrix). To put it differently, truth doesn’t care if it matters to us; it cares only that it stands in the right correspondence relation with the universe, no matter how distant or irrelevant to our concerns. It is sometimes said that truth is the property of standing for an existing state of affairs: but why should this abstract metaphysical property be of any concern to us? What would change if it ceased to obtain? Everything would go on as before. As long as beliefs retain their functional role, they serve to advance our needs and desires; whether they stand in this fancy relation to states of affairs is beside the point. Does animal belief stand in such a relation to the world, or is it rather a state with a certain function in the animal’s life? Does the animal care? Our brains exist on a planet at such and such a distance from some remote galaxy, but this fact is of no value to us, being irrelevant to what matters to us; similarly, our brains stand in truth-making correspondence relations to the same galaxy (assuming we have beliefs about it), but this fact too is of no value to us, being irrelevant to what matters to us. There is no benefit attached simply to being true, so it is not clear why it should matter (except instrumentally). Truth as such doesn’t matter. It is not a value. It has no value. True, truth doesn’t actively harm us (like being at a certain distance from a particular galaxy), but it is strictly irrelevant to what matters to us. It’s a don’t-care, a matter of indifference. If it turns out that my belief about that distant galaxy is false, my response ought to be “How interesting, but really I don’t give a damn”. Mere falsity is not a defect that ought to keep me awake at night. This ought to change our attitude to lying: it is not vicious to lie if the lie merely produces a false belief that has no untoward consequences for the well-being of the person lied to. I could lie about that galaxy and inflict no harm on my interlocutor. False beliefs can indeed sometimes confer benefits, and the mere fact of falsity is not in itself a harm. The truth is generally a good thing instrumentally, but this is not a rigid rule and anyway is not a fact about truth as such, as opposed to its usual correlates. By all means seek the truth, you will likely be better off that way, and so will other people, but don’t think that this shows that truth has intrinsic value. How could it, given its nature as an abstract mind-world correspondence? The correspondence theory, as opposed to the pragmatist theory, is really a recipe for truth demotion, if not truth demolition. Why should we even continue to talk this way, in view of its irrelevance to what matters? Instead of responding to defamation by saying “That’s false” we could say “That has the property of unfairly maligning someone”, since that is really what is wrong with defamation. Making false statements about someone is not wrong if it imputes good qualities to the person! Talk of truth and falsity here is just shorthand for such periphrases; it is never the real point at issue. It simply doesn’t matter whether a belief stands for an existing state of affairs or not (much the same has been said of scientific theories by those impressed by the difficulty of obtaining truth and its irrelevance to the primary aims of science). My own view is that truth exists and is a type of correspondence, but it is not intrinsically valuable (unlike goodness and beauty). It has no more value than lines of projection in geometry. What matters is utility, but truth is not utility. Pragmatism is false but eminently right-headed.[2]

[1] There is a rough analogy between this position and Derek Parfit’s position on personal identity. We thought that identity through time is what matters to survival, but certain thought experiments undermine this view. What matters to survival is psychological continuity not identity, though the latter is generally correlated with the former. Similarly, what matters in belief is not truth but utility, which is generally correlated with truth. (I am not saying here that I agree with Parfit.)

[2] Let me report that the position advocated here came as a surprise to me. I had always assumed that truth has value, but I hadn’t reckoned with the implications of the failure of pragmatism as a theory of truth. The key move is to recognize that the value of truth is instrumental not intrinsic. Pragmatism is right about value; its mistake is to locate value in truth itself. The correct analysis of truth shows that it has no intrinsic value. You might suppose that truth has value for the intellectually curious—they care whether their beliefs are true. But what if you have no such curiosity, like animals and most of mankind? Then truth has no value for you: it doesn’t bear on your actual concerns. Surely, we don’t want to say that the value of truth resides in the eccentric interests of rare intellectuals with too much time on their hands. The pragmatist doesn’t claim that truth is utility for the intellectually curious but not for anyone else. Perhaps the reason most people don’t care about the truth is that there is nothing about truth to care about, not intrinsically anyway. (That was not an easy sentence to write.) Truth is good if and only if it leads to the good.

Share

Against World-Making

Against World-Making

There is a view out there, made respectable by Nelson Goodman, that the world is made not found—or rather, worlds, plural.[1] Worlds are versions, verbiage, visions (to parody Goodman’s alliterative style). They are not discovered, or uncovered; they are constructed, built. Is there any truth to this trope (merit to this meme)? Note that the view is not that our representations of the world are made; it is the view that the world itself is made. The world of nature is a mental production. Reality is reflection reified. Let us first observe that vast tracts of reality pre-date our existence, or that of any animal. There was a universe before there were reflective reifying beings, world-makers. How then could the world be made by us? Not by backwards causation, presumably, or time-travel. That pre-cognitive world had a nature, a way of being; it wasn’t just a formless blob in the void. It consisted of natural kinds of some sort. Moreover, it made us: we are the products of natural history, of pre-existing natural kinds. Indeed, our world-making is the result of the world, not its cause. More specifically, our bodies and minds are the outcome of genetic selection and environmental shaping—like all evolved organisms. And the made cannot make the maker: what made us is not made by us. Perhaps it is true that we make our representations of the world; they have their origins in us. Our language and way of seeing and conceptual scheme are features of us not antecedent reality, not the world that we try to represent. So, Goodman is quite wrong to suppose that the world consists of nothing but versions, a projection of our symbolizing tendencies. On the contrary, there had to be a world prior to our powers of description and depiction, because we came from somewhere somehow. History exists. On Goodman’s way of looking at things, we came into existence miraculously and proceeded to construct the world. Our brains are the source of all being, including our brains. But, of course, our brains are natural objects with a natural history; they are made by the world, not its maker. We are in the world; it is not in us. This is not to say that we are right in all our conceptions and perceptions of things: maybe we are mistaken about the world as it pre-existed our existence. Nor is it to say that our concepts are guaranteed to capture the natural kinds that pre-date our thinking about them. It is only to say that some sort of world had to exist in order to give rise to beings like us, capable of forming versions and viewpoints. In fact, we have a pretty good idea of what this world was like, but the claim that there had to be a ready-made world is not committed to the idea that our epistemological capacities are infallible guides to it, or even on the right track. Metaphysics is not epistemology. The point is that we are not world-makers; the world is a mind-maker. This will not be disputed in the case of other animals; they don’t create the world they live in by constructing versions of it. But Goodman is strangely silent on their world-making powers; it is the human animal that gets to make the world as it is. You would never guess from Goodman’s text that we evolved from earlier types of organism. Does he think that at one point in the distant past the world was the upshot of dinosaur world-making? Or is it that the world had to wait for human construction in order to spring into being? That is a pleasingly anthropocentric view of things but hardly historically realistic. For Goodman, we stand outside of time and arbitrate what goes on in time. He forgets that we are effects as well as causes. But is he completely wrong about world-making? He is not: much of what he says is perfectly reasonable, though exaggerated. We do construct worlds, impose categories, initiate realities. All of the arts are instances of world-making: literature, poetry, painting, music, theater, architecture, dance. These are human productions, though based on naturally given objects and laws. It is literally true that in literature we create fictional worlds. Art is made not found. It is also true that we impose our minds on the natural world: in our systems of measurement of time and space, in our classifications of things as edible or not edible, in our perceptual categories (color is plausibly seen as imposed not detected). We also construct social reality: money, marriage, social class, political systems. Our classifications are often interest-dependent not objectively determined. Our concepts are mainly species-relative. Truth is not the only measure of symbolic rightness or representational worth (what about painting?). The constellations are human choices not astronomical givens. Musical styles are not beholden to acoustic science. In all this we can agree with Goodman: not all aspects of the world are independent of the human perspective; we are inveterate world-makers. But notice that even these acts of making have their own inner reality: they have a nature of their own not created by human hand or eye. Thus, language itself is a natural phenomenon with an objective nature; we can’t just decide what language is, though we can decide how to use it to create fictional worlds. Language is factual not fictive (to employ a Goodmanian opposition). So is painting, music, etc. All symbols (in the broad sense favored by Goodman) are symbols in themselves not by fiat or fabrication. A tailor’s sample (Goodman’s example) is an item in the world not a figment or fancy. Figments and fancies in themselves have a psychological nature that can be investigated. Versions and visions have a reality that calls for objective study. We don’t make our own psychology as if from nothing. The laws of the mind are as real as the laws of physics, if less strict. The science of psychology is not an exercise in world-making, like imaginative literature. So, yes, there is a whole lot of world-making going in, but not all thinking is world-making, and what is has its own non-negotiable reality. In some cases, there can be genuine dispute as to whether we have a case of world-making or world-discovering—mathematics and morality are prime examples—but in other cases we are clearly under the thumb of nature not its architect. It’s not versions everywhere and all the way down. It’s not irrealism and relativism wherever you look—though certainly there is some of that (e.g., fiction and food preferences). Nature made us (we didn’t make nature), and we proceeded to construct our own worlds (I don’t disdain the term), and it is not always easy to see what belongs to what; but the idea that the entire world (including our psychology) is made by us is preposterous and demonstrably false. Moreover, all this is obvious, platitudinous, and banal. Denying it has all the attractions of novelty for its own sake and the excitement of intellectual daring, but it is not at all plausible.[2]                    


[1] See Ways of WorldMaking (1978). The book is enjoyable to read, sometimes sharp and perceptive, but vague at crucial points, especially when it comes to distinguishing worlds from what is said about them. Goodman eschews merely possible worlds, on the grounds that he doesn’t believe in them, even though they are prime candidates for the thesis that worlds are made not found, fabricated not discerned, fabulous not factual. Goodman’s worlds are all actual, all parts of this world. I suspect his main motivation is to ensure a reputable place for art in the panoply of the respectable—to locate aesthetics in the space of metaphysics. It isn’t that art is disreputably merely imaginary while science is resolutely factual; rather, everything is really imaginary when you get right down to it. Everything is artifact, artifice, artistry. Truth is just one kind of creative achievement (his wife was an artist, he an art dealer). Art is not inferior to science or philosophy on account of its unreality, because these subjects too traffic in the unreal. Physics is not so different from cubism.    

[2] So why are people tempted by such views? I suspect it is simply because it is easy to conflate worlds with views of worlds: the phrase “our world” is ambiguous between these two things—does it mean ‘the world-as-we-conceive-it” or does it mean “the world-as-it-actually-is”? Of course, our conception of the world is in us, but it doesn’t follow that the world itself is in us. Language is in us, but not what language is used to talk about. We can’t conceive the world without conceiving it, to be sure, but that doesn’t mean that the world is intrinsically constituted by our acts of conceiving. Does anyone believe that the world owes its existence to the conceptual resources of the armadillo (except a Goodman of the armadillo species)? A use-mention confusion lurks behind all such ideas and conceals their complete wackiness.     

Share

Geometrical Knowledge

Geometrical Knowledge

How do we come to have geometrical knowledge? How do we acquire geometrical concepts? The question has been around since Plato and his theory is still probably the best—we have such knowledge innately. But this doesn’t answer the question of what triggers the innate knowledge (it isn’t there fully formed from the start): what in our experience enables the innate knowledge to enter our consciousness in explicit articulate form? It can’t be Socratic interrogation because someone has to have the knowledge without such interrogation, and obviously most people don’t learn what a triangle or circle is by explicit verbal instruction. Is it by seeing shapes, or touching them? But how do we see and touch shapes—how does our experience come to have this kind of geometrical content? You might suppose that triangles and circles are present in the stimulus as it reaches the sense organs, ready to picked off like apples from a tree, but this is not the case. The pattern of light that impinges on the retina is notoriously fragmented, fluctuating, and fleeting; yet the concepts of geometry are fixed immutable forms, as Plato emphasized. The proximal stimulus is remarkably impoverished compared to the representational powers that exist in the mind; no mere copying process could produce the latter from the former. You can’t make a Euclidian purse from a retinal sow’s ear. In fact, as we now appreciate, the visual system makes elaborate computations that lead from the mess on the retina to a stable, intelligible, three-dimensional sensory world—a world of shaped objects in space. We see an objective world of determinate forms based on a stimulus that is anything but, thanks to our sophisticated visual processing mechanisms. Vision science investigates these mechanisms and it has made impressive progress. Can we conjoin this with Plato’s innateness hypothesis to answer the question of the origin of geometrical knowledge? It sounds like a promising idea, but we need to be more specific about the eliciting stimulus that triggers the innate schematism: what is it exactly that causes geometrical understanding to form in the mind? There is an innate structure in the mind-brain of unknown character, and somehow the course of experience elicits it; but what is it about the perceptual system that makes it suitable for performing this role? What does it do that leads to the formation of geometrical understanding? I suggest the following: it works by means of perceptual constancies. As is well known, the visual system (and tactile) corrects for variations in the proximal stimulus that result from changes of distance, illumination, perspective, and so on. It extracts distal invariants from proximal variations, thus producing a world of objective forms from an array of idiosyncratic subjective impingements.[1] These forms—shapes, among other qualities—constitute the geometry of the human visual world. They are generated by a process of correction applied to the proximal stimulus. Thus, we perceive cubes and spheres and other forms that are not subject to the vagaries of the proximal stimulus. The visual system attributes these forms to distal objects. This is not to be understood as a process of conscious rational thought but as an automatic unconscious computational mechanism (unreasoning animals have it too). Perceptual constancies are primitive properties of visual systems, which can occur in creatures that lack rational thought. However, in the case of humans rational thought does coexist with perceptual constancy, and an innate potential for geometrical understanding comes with the genes; in humans, geometrical knowledge can flower. We have the conception of geometrical forms as fixed determinate shapes with specific properties by virtue of a combination of innate schematism, rational thought, and perceptual constancy—with the last of these doing the heavy lifting. This is the capacity that triggers the formation of geometrical understanding, given the right innate structure. For it deals in perceptual invariants, objective shapes, a repertoire of determinate geometric forms—not in flickering patterns of light striking the retina. There is no geometry worthy of the name in the patches of light that cause nerve endings to fire in the retina, but by the time the visual system has done its work a fully formed geometry has been attributed to the distal environment. It only remains for this visual geometry to interact with the system of representations we call “innate ideas” and we have the roots of geometrical understanding—concepts of triangles, circles, etc. Perceptual constancies are vital to this process of cognitive production. It isn’t that distal objects somehow emit shapes that end up on the retina and can be copied by the brain to yield shape concepts; the shapes have to be generated by the visual system from clues contained in the proximal stimulus. Perceptual representational content is endogenously generated from perceptual primitives and then attributed to the environment; geometrical knowledge, as we ordinarily conceive it, results from the interaction between this system and the innate endowment we bring with us into the world. It is as if the innate geometry lies dormant in us until stimulated by the operations of the perceptual systems as they impose constancies on the data of sense. This capacity arises early in all perceiving creatures, so human children are primed to output geometrical competence before the school years begin: they are then ready for formal geometrical instruction. They know what triangles and circles are well before they are taught their mathematical properties. They have been having experiences as of triangles and circles from an early age—forms subject to perceptual constancies—so they are acquainted with geometrical figures; they just need to attach these perceptual primitives to their innate system of “ideas”. The triggering is perceptual, but not in the way the old empiricists supposed, i.e., by a copying procedure; rather, perceptual constancies play the eliciting role. Not that any of this is easy to understand—the nature of the innate schematism, the act of triggering—but it is the general character of the formation of geometrical knowledge. In the case of language an innate schematism is triggered by verbal sensory input, and the child comes to understand what words and sentences are (a basic level of grammatical knowledge); in the case of geometry the same kind of thing happens, only here the innate schematism is triggered by a perceptual system that is built around constancy effects. When a ball, say, moves away from the perceiver, retaining its apparent size as the retinal image shrinks, this embodies the idea of a geometrical form that persists across space and time; it is an invariant in a world of variation. It is the primitive prototype of Plato’s eternal geometric forms existing in a flux of fleeting impressions. Constancies imply permanence amid change, and that is precisely what Platonic forms are supposed to be. Geometric objects are constancies idealized.[2]

[1] For a thorough discussion of perceptual constancy, see Tyler Burge, Origins of Objectivity (2010) and Perception: First Form of Mind(2022).

[2] Our knowledge of color is not dissimilar. There is also color constancy and this affects our conception of color: we don’t think of colors as varying with every change of illumination, etc. We think of colors as invariant under variation of proximal stimulus, and hence as possessing a certain sort of objectivity. We can then study colors as stable qualities with a fixed nature. If colors and shapes were conceived as varying with the proximal stimulus, we could hardly study them at all—they would be too fleeting and lacking in any fixed nature. They would not be colors and shapes as we know them (there would be no such thing, for us, as the color red or the shape square).

Share

Quantifier Logics

Quantified Logics

Standard propositional logic contains no quantifiers. It simply replaces sentences with propositional variables (“schematic letters”) that remain unbound. But there is nothing to prevent us from introducing quantifiers that bind these variables, ranging over propositions. These can be objectual or substitutional, according to taste. They will be read “for all p” and “for some p”. One might well think this enrichment was implicit all along, since the standard formulas are intended to express generality; that is why they contain variables not actual sentences. If we say “p and q entails p”, we mean to express the proposition that for any propositions p and q, if p and q, then p. Generality implies quantification. Adding the quantifiers will increase expressive power, but not beyond what was there all along. Thus, we can envisage two styles of propositional logic—quantified and unquantified. Each is legitimate and each can be studied in its own right. One might well regard the quantified form as more intuitive and natural; we can say things like “Every proposition has a negation” if we avail ourselves of this resource. In the case of predicate logic, as standardly rendered, we already have quantifiers built in: they bind the individual variables used to analyze the structure of whole sentences (along with predicate letters). But this is not essential to predicate logic as such: we could construct a notation that omits quantifiers and simply deals in formulas such as “Fx” and “not-Fx”. That is, we could do what we already do in propositional logic—write formulas that contain only unbound individual variables. This would be a quantifier-free predicate logic. The concepts of predicate logic and (first-order) quantificational logic are different concepts–just as propositional logic is different from quantified propositional logic. Adding quantifiers increases expressive power in both cases, though it is natural to suppose that this was implicit all along. Why not treat the two cases as essentially alike? As things are, we don’t, but this seems arbitrary—perhaps betraying dark suspicions about propositions as values of variables. In both cases we trade constants for variables, which allows for generality, and then introduce quantifier expressions to obtain the necessary expressiveness. But that is not the end of the line: we also have predicate expressions to deal with. They too have been introduced to allow for generality: instead of “red” and “square” we have “F”, intended to stand in for any natural language predicate. First-order predicate logic leaves these unbound, but there is nothing compulsory about this; there is nothing ill-formed about binding these variables with a quantifier. If we do, we get second-order predicate logic—where now the variables range over properties or some such. We have gone from an unquantified logic to a quantified logic—just as in the other two cases. And this was implicit all along in view of the generality conveyed by the usual formulas. So, now we have three sorts or levels of quantification: over propositions, over individuals, and over properties. Fine—we have such things to talk about and we want to make general statements about them. That is what the logical notation is designed to do. Is that the end of the line for quantification? No, because there remain constants not yet converted to variables that we also want to generalize about, viz. truth-functional connectives. We could introduce a variable over truth-functions, say T: then we could say things like “For any truth-function T, T is expressible in standard propositional logic”. We are quantifying over truth-functions, just as we quantified over propositions, individuals, and properties. This could be called “Quantified Truth-Function Theory” and added to the curriculum. We might think of it as involving third-order quantification. Now we have a fourth type of logic (or logical notation) to be added to the previous three. Each type is a counterpart to the quantifier-free logic that exists alongside it, and is a natural extension of it. Is that the end of the line for quantifiers? Not quite, because we still have one more type of constant left—the quantifiers themselves. Can’t these also be gathered under a suitable variable, thus allowing for generalized statement? Thus, we can say “For all quantifiers Q, Q admits of quantifier nesting”. This quantifier might range over the two standard quantifiers “all” and “some” or it could include the so-called non-standard quantifiers like “most”, “many”, “several”, “a few”, etc. The motivation is the same as before and so is the procedure: we want to talk generally so we replace constants with variables and introduce the necessary quantifier—in this case a quantifier over quantifiers. Thus, we obtain a quantified quantifier logic; we could think of it as concerned with the logic of second-level functions a la Frege, i.e., functions from first-level functions (corresponding to predicates) to truth-values. This we could describe as fourth-order logic—one step up from the logic of truth-functions. And with that we have covered all the constants that occur in the formulas of predicate logic; there is nothing left to quantify over. We now have five levels of quantified logic applicable to quantification over propositions, individuals, properties, truth-functions, and quantifiers themselves (construed as second-level functions). Each level has a non-quantificational counterpart—a logical system that lacks the quantifiers contained in its more expressive twin. This is the right way to understand the structure of the logical universe, not the familiar division into non-quantificational propositional logic and quantified first-order predicate logic. That is just a partial glimpse of full logical reality, an oversimplification of the space of logical systems.[1]

[1] Of course, we must also add modal logic (and perhaps other types of logic), which invites new quantifiers and variables so that we can generalize about modal categories, as in “All modal operators M admit of nesting with other modal operators”. Quantifiers are not limited to the role they play in standard first-order logic; they crop up everywhere. Quantifier pluralism is the way to go.

Share

Other Bodies

Other Bodies

The orthodox view of our knowledge of minds is that while other people’s minds are doubtful my own mind is not: I can be certain of my mind but not of other minds. Hence there is a skeptical problem of other minds but not of my own mind. There is a deep epistemological asymmetry between self and other. However, it is not thought that there is a comparable asymmetry with respect to the body: the existence of other bodies is doubtful, but so is the existence of my body. I might be a brain in a vat with no body, and other people’s bodies might be hallucinations; there is a skeptical problem about both. Now that I don’t contest, but it doesn’t follow that there is no epistemological difference between my knowledge of my body and my knowledge of other bodies. I could be more certain of my body than I am of other bodies, and the ground of my knowledge might be different in the two cases. So, let’s explore the question. How do I know other bodies (human, animal, and inanimate)? I know them by sense perception, notably vision. But sense perception is subject to illusion and hallucination, so that source of error has to be recognized. How do I know my own body? By sense perception, to be sure, but also by direct knowledge of what I am doing, by proprioception, and by sensation (feelings in my body). So, I have more evidence about my body than I have about other bodies—more to go on, more to appeal to. Moreover, I don’t have hallucinations of my own body as I have hallucinations of other bodies—I never have impressions of my body existing when it does not, as I have impressions of other bodies existing when they do not (as when I have a false impression of someone lurking in the dark, etc.). Also, I am always (when awake) aware of the condition of my body, even when I can’t perceive it with my five senses, but this is not true of other bodies. I can’t have proprioception of other bodies, but proprioception of my own body is ever-present and highly reliable. All in all, I am in a solid position epistemologically with respect to my body: I know my own body remarkably well, even if I can’t be certain I’m not a brain in a vat. It’s really the best-known physical object in the world as far as I am concerned. I would venture to suggest that the probability of my body existing is a good deal higher than the probability that other bodies exist. I am more ready to accept body solipsism than the hypothesis that other bodies exist but mine doesn’t. I’m pretty damn sure my body exists! Yours, well, that’s more a matter of speculation, faith, received wisdom. Every night I dream of bodies that don’t exist, but I never dream of my own non-existent body. But is this something I can defend against a determined skeptic? Actually, no, except to a limited degree, but this degree marks a difference between my body and yours. For I can argue that I must at least have a brain, while your brain is up for grabs. This is because I know with certainty that I have a mind, and my mind needs a brain; but I don’t know with certainty that you have a mind, so I can’t infer from that that you must have a brain. I can’t move from knowledge of your mind to the conclusion that it is housed in a brain, because I don’t have that knowledge; but in my case, I have indubitable knowledge of my mind, so I have a solid basis for the move to a brain. Thus, I have a Cogito-type argument for a body part belonging to me, but I have nothing comparable in your case—you could be all hallucination as far as I am concerned (though not as far as you are concerned). There is no Cogito-type argument of the form “I think, therefore you have a body”, but there is such an argument as “I think, therefore I have a body”—where the body I have perhaps consists just of a brain. Can I infer the existence of any bodies other than my own from the existence of my body (even if that is just a brain)? In the case of the mind, that looks to be infeasible: I can’t infer from the existence of my mind that any other minds exist or ever existed or will exist (solipsism-of-the-moment is inescapable as a skeptical possibility). But in the case of the body the prospect of other bodies looks brighter: because I can infer from the existence of my body that other bodies didand will exist. The reason is that the matter of my body did once belong to another body and it will later come to belong to a separate body too. The matter of my body moves around composing different bodies at different times, but the “matter” of my mind does not. Thus, my bodily matter survives my body’s demise, as it once survived the demise of another body or bodies; but my mind does not likewise persist through time—it is limited to me. So, I can know that other bodies once existed and will exist, given that I know that I have a body—not so for mind. This thinking thing might be the only thinking thing that ever existed or will exist, but this extended thing is one among many extended things spread out in time—that is its nature. I can assert “I am an extended thing, therefore there must be other extended things (at some time)”, assuming that a past and future exist during which my matter exists and my body doesn’t. My body implies other bodies (on reasonable assumptions) but my mind doesn’t imply other minds; and this point applies equally to my brain alone. (But, of course, I can’t infer that your body exists in this way, since your body is not composed of the matter that composes mine.) In short, I know more about my body than I know about your body; so, I have more of an other-body problem than a my-body problem (though I do have somewhat of a my-body problem). It is true that I cannot be certain that I have a body just as I experience it, but I can be certain that I have some sort of body (even if it’s just a brain quite unlike the one I think I have). However, I really can’t be certain that you have a body of any kind, since you might just be a figment of my imagination, an outright hallucination. Accordingly, it is too simple to say that there is no epistemological asymmetry between my knowledge of my body and my knowledge of your body: I am better placed to know my own body, and in several ways.[1]

[1] In the Matrix people hallucinate their body and are quite wrong about what it is up to, but they can’t hallucinate the fact that they have some sort of body, since that is a precondition of their having a mind at all. But there is no conceptual bar to hallucinating other people’s bodies in toto; they need not have any physical reality at all.

Share

Academic Blacklisting

Academic Blacklisting

A few weeks ago, a fellow philosopher suggested to me that it would be a good idea to produce a book of essays discussing my work, which he would edit. I agreed. He contacted Wiley publishers and received a highly enthusiastic response from their commissioning editor Will Croft. It only remained to sign the contract and have the project approved by the editorial board. On September 14 he received a letter from Mr. Croft reversing the earlier enthusiasm, saying: “When the project was discussed and put to the editorial board, it was felt that it was inappropriate to move forward, and there were also market concerns, given the controversy surrounding Professor McGinn. After careful consideration, we are unable to proceed to the next steps.” So, if there is “controversy” surrounding a potential subject for an academic book, this publisher deems it “inappropriate” to publish such a book. Notice that there is no claim here about the truth of anything in the “controversy”; it is thought sufficient merely that “controversy” exists. This is appalling enough in itself, but consider the implications. It is now ten years since the alleged “controversy” flared up, so there is no reason to believe that Mr. Croft and his colleagues are willing to put any time limit on their ban, since the “controversy” will continue to have occurred. Presumably, then, it will be policy until the time of my death. But more than that, it would be deemed acceptable to extend the ban after my death, perhaps in perpetuity, since the “controversy” will be an historical fact. This means that, irrespective of the merits of the “controversy”, and no matter the loss to the academic community, and no matter what readers may demand, Wiley will decline to publish anything about Colin McGinn for the foreseeable future. If other publishers were to take the same line, that would mean that for the rest of time no one will be allowed to publish anything about me, despite the quality of what may be produced. Surely anyone can see that this is absurd, unjust, foolish, imprudent, unethical, and downright stupid.

Share

Cogito for the External World

Cogito for the External World

The traditional Cogito “I think, therefore I am” yields a moderate harvest of existential conclusions: the existence of a subject of thoughts (albeit momentary and etiolated) and the existence of propositions as the content of thoughts. We might compare this to a plant that is rooted in the earth and directed to the sun (earth as subject, sun as proposition). The plant exists, as it were, between the earth and the sun—as a thought exists between a subject and a proposition. It needs both, pointing down and pointing up; it “presupposes” earth and sun, as a thought presupposes subject and proposition. But does the thought (episode of thinking) bring with it any further existential implications? The plant also exists in a surrounding environment of physical objects and processes—does the thinking exist in a surrounding environment of objects and processes? If so, are these objects and processes logically implied by the thinking? In particular, is what we call the external world implied by the existence of thoughts? Is there a Cogito for the external world? The idea might seem incredible: how could a thought, an event of thinking, imply the existence of the external world? What about the evil demon and the brain in a vat? True, some philosophers have sought to deny that these scenarios are really possible—they have held that the content of thought requires the existence of suitable external objects in order to exist at all. Thus, we have “externalism” about the content of thought: what a person thinks is fixed by his or her actual environment and causal connections thereto. However, such views are not terribly plausible; in any case, I won’t discuss them. But I will discuss another line of argument that seeks to forge a logical link between mind and world—between the internal and the external. That is, I will defend the following Cogito: “I think, therefore the external world exists”; or, to parallel the traditional phraseology, “I think, therefore it is”—in Latin “Cogito, ergo est”. The “it” here is the physical world that exists outside the mind—the world of extended objects in space. We won’t get the entire external world as normally conceived, but we may get a part of it—and so derive from “I think” propositions concerning the existence of ordinary material objects. The first thing to notice is that thoughts (and other mental events) do in fact occur in an environment of physical objects, rather like plants; the question is whether this is an a priori necessary truth. Thus, thoughts occur in the vicinity of bodies and brains and interact with these objects, as a matter of actual fact; what we have to determine is whether this is built into the very identity of thoughts, a necessary condition of their existence (like subjects and propositions). Is it part of the nature of thoughts to be so situated? First, we can observe that thoughts have bodily effects: what you think affects what you do. And this is part of their identity: if you think it’s cold, you will dress warmly (given appropriate desires). If a thought did not have such consequences, it would not be thatthought. This is a familiar reflection. Of course, the thought might not actually have such consequences, but it is (as we say) disposed to have them (even if the brain of the thinker has been removed from the body, he still has a tendency to act in certain ways). The question is what this tells us about the thought itself: must it be somehow bodily? I think the answer is yes: the thought can have bodily effects only because it has a (partly) bodily nature. That is, the thought can only have a certain functional role vis-à-vis the body if it has a (partly) bodily nature. This nature will involve the brain; so, the thought has a cerebral nature of some sort. A materialist will say that its nature is wholly cerebral, but we need not commit ourselves to that, restricting ourselves to the weaker claim that it has a cerebral aspect. Accordingly, and in line with reasonable materialist sympathies, thoughts must have a physical nature of some sort (along with a possibly non-physical nature). But then we can deduce from the occurrence of a thought that something physical exists—that there exists something bodily that is built into the thought. This something is presumably complex and consists of elements that could exist without the thought existing (just like in the case of the brain), so we get the idea of a material world that can exist independently of anything mental. We get something like an atomic theory (bodies are made up of smaller physical components). Of course, we already know this to be true on empirical grounds, but now we see that it is deducible a priori from the very nature of thinking: if a thought exists, it must have a nature that allows it to affect the body (if there is one); but then it must have a bodily nature of its own; therefore, there must be something bodily in the world. Cogito, ergo est. I think, therefore there is an external world. Given that I know with certainty that an episode of thinking is occurring, and given that I know a priorithat this requires bodily existence of some sort, I can infer that a body exists in much the way I normally suppose. In fact, I can be certain of this—or as certain as I am that subjects and propositions exist given that thoughts do. I can infer a physical “environment” for acts of thinking much like the one I normally take for granted (centering on the brain). I can formulate a Cogito for the external world, or part of it.[1] Lichtenberg is thus multiply wrong in his claim that nothing follows from “I think” apart from the existence of thoughts. And Descartes is wrong that the Cogito argument applies only to the self; in fact, the conclusion is more robust in the case of the external world than in the case of the self, since only a vanishingly thin notion of self can be derived from “I think”. Descartes, of course, cannot avail himself of this argument for the external world given his dualism—for him the mind has no physical nature at all—but this dualism is hardly something we would wish to hang onto. A reasonable dose of materialism is all we need to develop a modified Cogito that delivers substantive conclusions about the make-up of the world: we can now assert that the world is partly mental and partly physical. The existence of physical things follows from the existence of mental things; it isn’t merely a contingent add-on. Thus, thoughts are rooted in selves, point to propositions, and incorporate their physical environment (the brain). They imply the existence of something psychological (a self), something abstract (a proposition), and something physical (a body); they are not logically cut off from the rest of reality. They affirm more than just their own existence (a la Lichtenberg) but extend outwards into three domains. The Cogito has been underestimated.[2]

[1] I won’t discuss how much of an inroad into skepticism this makes except to say, “Some but not much”.

[2] It has been overestimated in its original incarnation, as a proof of the existence of the self as commonsensically conceived; but it has been underestimated as a device for proving other existential propositions from apparently minimal resources. There is more in “I think” than meets the eye.

Share

Formulating the Cogito

Formulating the Cogito

The Cogito is usually expressed in the words “I think, therefore I am”. The first clause is misleading: it suggests the proposition that I am a thinker, i.e., that I think things at different times. I might assert this because I remember thinking something yesterday and expect to think something five minutes from now. The sentence “I think” is like “I play tennis”—it suggests something I do regularly. But this cannot be what is meant because it is not indubitable: I could be wrong in my memory of past thinking and my expectation of future thinking. Rather, the sentence should be something like “I am thinking now”: that is something that is not vulnerable to skeptical doubt concerning other times. But then the conclusion has to be read accordingly: “therefore I exist now as a thinker”. This does not imply that I am also a self that desires, imagines, dreams, etc. I can only be having occurrent instances of part of my mind at any given time, not all of it; so, these occurrent instances are all I have to go on in deriving a conclusion about the existence of myself. I cannot say “I am thinking now, therefore I exist as a desiring, imagining, dreaming being”: the conclusion doesn’t follow from the premises. I can only move from what is happening in my mind now to an existential conclusion about an entity of that type. So, I can never infer anything about the existence of a self that transcends what is happening right now in my consciousness, i.e., a self that has many mental attributes not just the attribute currently instantiated. Consider “I am now doubting that I exist, therefore I exist”, one version of the Cogito. Strictly speaking, the conclusion must be read “therefore I now exist as a doubting being”. Whether I am any other type of psychological being has yet to be determined. Thus, this version of the Cogito delivers only the existence of a momentary doubting being—which is just a part of my nature as a self. I can’t even infer that I exist as a thinking being unless we add the premise that doubting is a form of thinking—and might it not be just a feeling of uncertainty? Certainly, the existence of a feeling being does not entail the existence of a thinking being. Also, being able to think one kind of thought does not entail being able to think all kinds of thought, so the version that begins “I am thinking now” doesn’t necessarily give us the existence of an entity that thinks the kinds of things we normally take ourselves to think; it might give us only a small fragment of our mental life as we normally understand it. Given the structure of the Cogito, it is capable only of yielding the most minimal notion of a self, not the multidimensional entity we take ourselves to be. Really, it should be formulated “I am thinking now, therefore I exist now as a momentary subject capable only of thinking what I am thinking now”—not much progress against the skeptic. It is hardly what I mean when I say “I exist”.

Share