Ontology of Mind

Ontology of Mind

We have no clear ontology of the mental. We have no good way of talking generally about the mind. This has always been a source of awkwardness and embarrassment. We philosophers talk routinely of mental states, attributes, properties, traits, events, processes, and entities; but we volunteer very little in the way of justification or explication of these terms of art.[1] Some there are who deliberately eschew such metaphysical-sounding locutions, preferring instead to tread the safer terrain of language—they stick to talk of mental predicates or terms or ascriptions. The suspicion lurks that we have borrowed these ontological terms from elsewhere (physics, chemistry, biology) and extended them to the mind without asking too many questions. How else are we to describe the components of the mind (and notice that bit of borrowing)? This suspicion is amply justified, as a trip to the dictionary will confirm (amazing how philosophers ignore the dictionary, as if they have something to fear from it—and they do). The word used most commonly by the most cautious philosophers is “attribute”: we are said to have various “mental attributes” such as believing that it’s raining or desiring a piece of cake or feeling a pain in the foot. But what is meant by “attribute”? The OED supplies “a quality or feature regarded as characteristic or inherent”. Thus: height, weight, skin color, intelligence, patience, sense of humor, and so on. The quality must be somewhat enduring, defining, characteristic; it can’t be transitory or extrinsic or untypical. So, the following are not attributes of a person: geographical location, occupation, history, birthplace. Such things are not characteristic of a person or inherent in him. Of course, they are true of the person, but their truth does not arise from attributes of the person. Still less can it be said that what someone believes is an attribute of that person, or desires at a particular time, or feels in his foot. It would be bizarre to say “One of John’s attributes, in addition to his great height and intelligence, is that he currently believes it’s raining”. Even the hardened philosophical theorist might blanch at that piece verbal slippage (or garbage). Matters don’t improve if we switch to “property”: the OED pithily gives us, as number 4 in its list of definitions (after stuff about land and buildings), “characteristic of something”. If we look up “characteristic”, we get “a feature or quality typical of a person, place, or thing”. But, of course, an individual’s belief that it’s raining is not typical of that individual, except in certain imaginable cases. Animal species have characteristics (typical traits), but it is a misuse of language to say that what someone believes or desires or feels is a characteristic in that sense. What is called a mental state is not a characteristic of the individual in that state, though it may be quite true that he or she is in that state. The truth of a mental statement does not require that the verb signifies an attribute or property or characteristic of the person spoken about. In this respect mental statements are like existential statements: these too can be true without supposing that existence is an attribute or property or characteristic of the thing in question (the same goes for “true”). Not every fact is a “subject-attribute” fact. The philosopher is evidently stretching the ordinary meaning of “attribute” in an effort to find a word that covers mental…mental what? That is the problem I am identifying.

Much the same difficulty attaches to using “event” or “process” in application to the mind: are we engaging in illicit conceptual overreach? For “event” the OED gives us “a thing that takes place—a public or social occasion”. Is a thought at a given time really “a thing that takes place”—let alone something public and social? It is a thought all right, and it occurs in time, but is it really an event—is there anything eventful about it? Things change in the mind, it seems safe to say, but that doesn’t imply that the mind houses things called mental events (analogous to weddings and funerals). The word “process” is defined as “a series of actions or steps towards achieving a particular end”: that clearly does not apply to what happens in the mind when (say) you recall something or see something. We are suffering from linguistic and conceptual creep. It isn’t that we already talk that way about the mind—which is why philosophers (and psychologists) feel the need to justify or excuse such verbal innovations. The plain fact is that they are transferring words from their original home into alien and inhospitable territory (a typical philosopher’s vice, as Wittgenstein pointed out). They do this because they have no alternative, but they conceal from themselves the distance they are traveling and take refuge in metaphor. In this movement of thought they are abetted by standard first-order logic in which the subject-predicate form is sanctified and glorified (as in the recurrent formula “Fx”). We thus see everything through the lens of an object possessing an attribute, using certain paradigms as anchoring models.[2]

What is the philosophical significance of this verbal and conceptual waywardness? Does it show that the mind lacks an ontology altogether—that it lacks being? No: it shows only that we can’t, or at least haven’t, managed to formulate the correct ontological categories. We are like people who cleave to the notion that existence is a first-order property, despite their recognition that this notion seems fishy or plainly false, because they lack the conceptual resources with which to formulate the correct theory that existence is a second-order property of a propositional function (as we may suppose for the sake of argument). Our ontological categories have been forged on other territory, and we are trying to make them fit this new domain, which they fail to do, save metaphorically. In this intellectual environment it is predictable that certain myths will flourish—attempts to impose the familiar on the unfamiliar. We strive (vainly) to think of the mind in such a way that our prior ontological categories fit the phenomena. Thus, we have the theater myth according to which the mind contains simulacra of real people and things on which the introspective eye gazes; these are conceived as entities that possess attributes. Then there is the museum myth: the contents of the mind are like exhibits in a museum, gleaming under glass. These myths are generally regarded as such, but we also have myths that masquerade as fact (and may indeed be based on fact): brain myths, behavior myths, pictorial myths, language myths, qualia myths. In each case we have a doctrine that preserves a semblance of the domains in which the subject-attribute model works best—the brain, the body, pictures, linguistic items, atoms of pure consciousness (vaguely modeled on dabs of paint perhaps, or snatches of music). Beliefs, desires, and sensations are thus represented as properties, characteristics, or attributes. But these myths fail to support the ontological burden placed on them: they don’t justify the category terms used in their wake. They don’t provide a clear sense for the loose talk of attributes, properties, characteristics, events, and processes. This means that we lack a conceptual apparatus suitable for talking about the mind in general terms; we just have our specific commonsense talk of beliefs and desires and sensations. We can’t classify these as “attributes”, “properties”, etc. We therefore seem stranded in conceptual limbo, unable to produce what we need. This makes it difficult to formulate philosophical issues about the mind in an accurate and illuminating way.[3]

[1] I have always felt a guilty intellectual pang when availing myself of these common philosophical habits. But how else was I to talk?

[2] Intimations of Ryle and Wittgenstein (and no doubt others) would not be amiss here: the idea that the mind must be understood via the same (onto)logical structure as we understand physical objects (of ordinary sorts) is a well-known target of theirs. It is notable how little they have to say, however, of a positive nature about the true character of the mental if the subject-attribute model is discarded. I am more inclined to sense cognitive limitation (mystery) here. Everything is not open to view.

[3] I have not discussed the question of the subject of supposed mental attributes. Clearly, if there are no mental attributes of the kind usually alleged, then there is no need for a subject of those attributes. To what extent has the hunt for a mental subject been motivated by the conception of such attributes? If that conception is cast aside, then there is not this reason for positing a mental subject, though there may be other reasons.

Share

Semantical Considerations on Mental Language

Semantical Considerations on Mental Language

I am going to expound a view of the mind (and hence the mind-body problem) that I am disinclined to accept. Still, the view deserves careful articulation and may contain elements of truth; it should be added to the menu of options. And it is agreeably radical. It begins with considerations on the workings of mental language and takes off from a recognizable tradition. The tradition I have in mind contends that various bits of language have a misleading form: they seem one way but are really another way. Logical (semantic) form does not mirror grammatical (syntactic) form; and we tend to be mesmerized by the latter and oblivious to the former. We have to fight our tendency to take surface form too seriously. Thus: quantifier words are not singular terms but second-order functions (Frege); the word “exists” is not an ordinary predicate but concerns a propositional function (Russell); definite descriptions are not referring expressions but should be analyzed by means of quantifiers (Russell); the word “true” does not denote a property but acts as a redundant device to avoid repetition; the word “good” does not denote a simple quality but is used to express emotion (Ayer) or to make a prescription (Hare); the words “I promise” are not used to make a statement but to perform an action (Austin); words for colors don’t stand for intrinsic qualities of objects but for propensities to elicit experiences (many people); arithmetical sentences look factual but are really fictional (mathematical fictionalists); mental words seem to denote inner states but are really ways of summarizing overt behavior (Ryle); words in general seem to us to be names but they are really of many different kinds (Wittgenstein). The broad thrust of these positions is that language is not homogeneous and what seems like the name of an attribute may not be. At the extreme such a view insists that language is never denotational and properties are a myth; all there is to language is use, inference, grammar, linguistic practice. The view I am going to discuss claims that mental language falls into this category: it doesn’t consist of symbols standing for properties or attributes aptly called “mental” (simple, sui generis, distinct and apart) but rather has a different kind of semantics altogether (what this is we will come to). In particular, it borrows from the redundancy theory of truth and the non-cognitivist view of ethics. It treats mental language as strictly dispensable and non-denoting (“non-factual”). It is not about anything real, though it has practical value and is not entirely fictional. The brain comes into it.

It will be best if I just plunge in and come right out with it. Mental language is strictly redundant because the brain contains all that is necessary to record the facts in question: once you have stated all the facts about the brain, you have said all there is to say about the mind. We must immediately add that facts about the brain are not limited to currently known facts, or even conjectured or imagined facts. The basic idea is that there is no further substance over and above the brain whose distinctive properties constitute the mind; there is just the brain and its properties. There are no additional mental facts. Once you know all about the brain you know all about the mind. This knowledge may or may not include concepts we currently apply to the mind. Similarly, there are no facts about truth over and above ordinary facts: there is no more to a proposition being true than what is contained in the proposition—you don’t add anything to a proposition by saying it is true. In principle, the word “true” is eliminable; we use it now because of certain limitations on our knowledge (as in “Whatever the pope says is true”). We don’t as things stand know much about the brain, especially what is going on in it at any given moment, so we resort to mental language to fill the gap; but really, there is nothing happening in a person’s mind other than what is going on in their brain. How could there be? The brain is all there is mind-wise; there is no semi-detached mental substance. Accordingly, our usual talk of mind is strictly redundant, though practically necessary; it is really an indirect way of alluding to the brain. Instead of saying someone has a certain brain state right now, we say they have a belief or desire; but there is nothing going on except the brain state, which is hidden from us. Our mental words don’t denote or describe this brain state, though they may be said to allude to it, so they don’t introduce any real property that people possess—as the word “true” denotes no real property of things. We may be under the illusion that these words denote real properties, but careful analysis reveals that they do not. There is no additional fact for them to express.

So, how should we interpret speech acts containing mental words?  We might venture an expressivist semantics for mental language analogous to an expressivist view of truth language: mental talk expresses our attitudes towards people and animals without attributing any properties to them, as our truth talk merely expresses our attitudes of commendation or fellow feeling. Less drastically, we might follow Ryle in thinking of mental discourse as the issuing of “inference tickets” conceived as permissions to draw various inferences about the individual so described. In the terms of more recent philosophy, we might speak of “inferential semantics” as opposed to “truth-conditional semantics”: these words aren’t about anything (objects, properties) but they enable us to make predictions and offer explanations. I will propose something more novel and geared to the particular case we are considering: what I will call “correlational semantics” as opposed to “denotational semantics”. Correlated with a given mental state (so called) we have a brain state, which is also correlated with a use of a mental word: if the word applies, then there is a corresponding brain state correlated with it. The word does not denote the brain state but its existence is required for the truth of an application of the word. A correlational semantics assigns this brain state to the word, not as its denotation but as an associated entity (we might include it in the word’s connotation).[1] Thus, there is a firm reality invoked in the semantics, unlike in pure expressivist theories, but it isn’t supposed to be part of what the word means. For example, the word “pain” applies to an individual just if that individual has a certain kind of correlated brain state (as it might be, C-fiber firing). The semantics does not assign the property of pain to the word “pain”, for there is no such property (like the putative truth property). We use the word because we don’t know enough about the individual’s brain to make a more informed statement, and we have practical aims to fulfill, but there is no real property that we thereby denote. There is no fact over and above the brain state, but we talk as if there is for purposes of convenience and practicality (like with truth). Mental words express pseudo-properties (if you like that way of talking).

You might argue that pain and truth differ in a crucial respect, namely that we have an impression of a mental property in the pain case but we have no impression of a truth property. We just have the predicate “true” (and the concept) but we have more than the predicate “pain” (and the concept)—we have the feeling of the property. No doubt there is something right in this, but how much does it prove? Does it prove that there is a distinct property of pain, analogous to a physical property? Not obviously, and the type of theorist I am envisaging will not give in so easily—what if the feeling in question is illusory? I doubt that Russell would give up his theory of existence just because someone asserted (however correctly) that he had an impression of existence as a first-order quality, or that Ayer would throw in the towel when someone objected that he had an impression of goodness as a primitive objective quality. In any case, I am not trying to defend the approach I am describing against all objections; I am just trying to spell out what a coherent view of this type would look like. No doubt such a view, radical as it is, would face the usual philosophical argy-bargy. The intuitive idea powering the correlational-redundancy theory is simply that mental language may not be correctly modeled on other types of language, especially physical language; it may have a type of semantics all its own, contrary to appearances. Surely the brain plays a pivotal role in fixing the mind, and this ought to show up in the semantics. Compare: surely the properties of possible worlds (assuming they exist) play a role in fixing modal facts, and this should show up in modal semantics—hence possible worlds semantics. The realities should shape the semantics, and the brain is as real as it gets. In the end, the mind reduces to the brain (possibly under novel concepts) and we want to reflect this in our theory of mental language. Thus, we get a kind of semi-fictionalist redundancy theory of the mind joined to a correlational semantics of our current mental discourse. The same kind of theoretical structure can be applied to ethics: moral words don’t denote real properties (according to non-cognitivism) yet they have an expressive use and can be treated to a correlational semantics of linked non-moral properties (the descriptive properties on which they supervene). True, this kind of structure is unfamiliar in the semantical tradition (while borrowing from it), and is moderately complex, but it does have some reasonable motivations and precedents. Isn’t it highly likely that the grammatical structures of our language, themselves limited and regimented and uniform, might conceal a good deal of semantic variety that takes some effort to excavate? Mental language, in particular, is constructed from linguistic materials originally employed for other purposes (chiefly physical description), and there is no presumption that the ontology and epistemology of the mind will be subsumable under this format. The hiddenness of the brain, along with its immense complexity, must surely shape the way we talk about the mind, as much by its conspicuous absence as its presence. It would be different if the brain’s workings were open to view and easily discerned—what would our mental discourse look like then? Mental language has evolved as a makeshift compromise, largely practical in function, not as ideal science (it leaves us enormously ignorant of other minds, and of our own). Semantics reflects epistemology. Probably our mental language, and its semantics, will change with increasing knowledge of the brain. Eventually, a respectably denotational semantics will come to apply—or so it will be said.

A feature common to all the cases we have considered is that language has a tendency to suggest simplicity where complexity obtains. The simple subject-predicate sentence suggests the simple object-property model, with the property assimilated to familiar perceptual properties of things. Everything gets compared to perceived color and shape. But it turns out that things are always more complicated—even color and shape. The world is complex and multifarious, deep and hidden. Existence is an abstract construction from propositional functions (and it seemed so simple!). Definite descriptions are really quantified propositions with a uniqueness clause tucked in, not simple referring expressions. The truth predicate is a strange disappearing device for avoiding repetition, not the name of a property. Color is some kind of hard-to-pin-down propensity or disposition to cause experience, not a categorical property of objects. Goodness is not a simple unanalyzable quality, but a complicated practice of emotional reaction (allegedly). The little word “must” denotes a huge collection of complex entities called possible worlds. Words like “belief” and “desire” turn out to express complicated arrangements of brain parts and behavior, not simple qualities of consciousness. Inductively, we should not be surprised when the simple object-property structure turns out to be inadequate to the facts. Practicality favors brevity and simplicity, but philosophical understanding may need more capacious schemes. The brain needs to be brought in somehow, but not in the simple way proposed by classic property-identity theories. It took a while to find a semantics for modal language; no doubt the same is true for mental language. It is striking how little progress has been made in this direction. We might need a completely new way of doing semantics in order to represent mental language adequately.[2]

 

[1] See my “On Denoting and Connoting” on the proper use of the word “connote”.

[2] It could turn out that what we call mental language is semantically heterogenous within its own domain. Maybe sensation words and propositional attitude words function differently, not to mention words for emotions or character traits. The unconscious might differ semantically from the conscious, being closer to the brain conceptually. Folk psychology is more likely to be ripe for elimination than scientific psychology (or vice versa). Psychological semantics is in its infancy. Whether this would help with the mind-body problem remains to be seen.

Share

Philosophy at the Dentist

Philosophy at the Dentist

Yesterday I was having a new crown fitted at the dentist (king at last!). It is not a pleasant procedure, though I’ve had worse. Apart from the discomfort, it is boring. I decided to try an experiment: see if I can think about philosophy while being drilled and scraped orally. Surprisingly, I found it possible. I thought about the paper I had been writing that morning (“Predicating and Necessity”). This proved helpful in enduring what my mouth was going through. I mentioned it to the surgeon who said it must be very useful to have that ability; I agreed. Oddly enough, I don’t find that other topics of thought have the same effect: somehow when I think about philosophy my brain goes into a special state of removal from the world around me. Is this because I have done it so often over a whole lifetime that the tracks are laid down in my brain? I wonder if other people have the same experience. If so, it could be beneficial as a form of therapy or meditation or simply dentist toleration.[1]

[1] I also had an interesting discussion with my hygienist about why only the soles of the feet and the roof of the mouth are associated with tickling of a peculiarly intense kind—really not pleasant at all. I can think of no evolutionary or other explanation of this phenomenon. Do all people have it? Why just those areas? What about animals? It seems like a profound mystery of human physiology.

Share

Predicating and Necessity

Predicating and Necessity

(Bear in mind Kripke’s Naming and Necessity when reading the following.) When a speaker uses a predicate (“man”, “cat”, “rose”, “square”, “red”, “runs”, “clever” etc.) he or she refers to a property or attribute: but how is this done? One answer is by means of ostension: the speaker points to an instance of the property, being momentarily acquainted with it (as Russell would say). Another answer is that the speaker has in mind a description of the property or attribute: “large-brained speaking biped”, “furry feline with sharp claws”, “nice smelling pretty flower”, “four-sided figure with equal angles”, “the color of British mail boxes”, and so on.[1] The first theory could be called the direct reference theory; the second theory could be called the description theory. The meaning of the predicate is given by the property it directly refers to, or by the descriptive concepts the speaker uses to identify that property.[2] There is descriptive mediation, or there is not. The proposition expressed either contains the reference directly and intrinsically, or it contains only the concepts used by the speaker to latch onto that reference. The description theory of predicate meaning looks plausible and powerful—it is hard to see how it could fail to be the case (we can use predicates and not be in a position to point to instances of the properties they denote). Yet the theory seems demonstrably false; and the arguments against it are quite obvious. First, speakers can make mistakes about the properties they refer to—for example, British mail boxes might not be red (this is an illusion they give off). Second, speakers may not have sufficient information to identify the property uniquely—many types of flowers can be described as pretty and nice smelling. Third, it is not generally analytic to couple a predicate with a description of its denotation—it may just be a contingent empirical fact. Fourth, a predicate “rigidly expresses” its associated property but a speaker’s descriptive beliefs about it are generally not thus rigid—in some possible worlds, cats don’t have sharp claws, though another species may. Fifth, at some point we will reach descriptions that have no definition in terms of other descriptions, so that the predicates used in the descriptions will not be explicable in terms of the description theory. Sixth, syntactically speaking simple predicates are not complex in the way envisaged by the description theory—they are not pieces of shorthand, not disguised descriptions. Seventh, nothing like this actually passes through the mind of the average speaker: he or she just doesn’t bring to bear this sort of descriptive knowledge. Eighth, the whole model of descriptively mediated reference smacks of overgeneralization: definite descriptions work by singling something out by means of uniquely identifying description, but not every device of language works like a definite description—take proper names or demonstratives or pronouns or sentence connectives. Thus, the description theory of predicating runs into decisive refutation, despite its apparent attractions.

I have just run through Kripke’s arguments (and some others) against description theories of names for the case of predicates (common nouns, adjectives, verbs). I said nothing about ordinary proper names. So, those arguments have nothing specifically to do with names; they apply also to predicates. It isn’t that namesconstitute a special problem for a description theory of reference; predicates do too. The substance of Naming and Necessity could have been presented under the title Predicating and Necessity. Kripke himself extends the doctrines he puts forward to the case of “common names”, so he implicitly acknowledges (indeed asserts) that his critique applies also to this category of expression. But he could have proceeded by first mounting his critique for the case of predicates and then extending it to proper names. He could have begun with natural kind terms and moved on to the case of names of individuals. And, if the description theory doesn’t work for descriptive predicates, it is hardly going to work for non-descriptive names. Neither category of expression is to be understood as abbreviations of descriptive definitions. On the positive front, there is nothing to prevent Kripke from offering his theory of initial baptism and chain of communication in the first instance to predicates, then extending it to proper names. Long ago the English language baptized squareness “square”, then the word was passed along from person to person in a reference-preserving chain—with no descriptive reference-fixing knowledge necessary. First, a causal theory of predicates; then, a causal theory of names. There is nothing distinctively name-oriented about this conception. The focus on names is entirely adventitious in these debates. In fact, names are a relatively marginal feature of natural languages; predicates are where the real work gets done. For some reason, proper names became the focus of discussion, going back to Mill and Russell (not so much Frege), and Kripke is simply following in this tradition; but it gives a skewed impression of what the real issues are. If Kripke had not extended his discussion to the case of common nouns, he would clearly have distorted the import of his arguments—as if they concerned only the very limited part of language comprised of proper names (of people and places). In fact, they apply to a wide region of language—not only common nouns but also predicates in general. The title should have been Naming, Predicating, and Necessity(or better Names, Predicates, and Necessity, since Kripke’s book is not so much about naming as an action as about names as a semantic category).[3]

Finally, names and necessity: does the former have anything particularly to do with the latter? It does not. This is by now old hat: names have no more to do with necessity (epistemic or metaphysical or analytic) than other classes of expression—definite descriptions, indexical words, predicates, connectives, quantifiers. In particular, definite descriptions can be as rigid as names (“the successor of 3”). De re necessity has nothing to do with names as such, being quite independent of language. We can express the necessity of water being H2O either by using “Water is H2O”, where the terms are used as names (singular terms), or by using “Anything that is water is H2O”, where the terms are used predicatively. We can either use “Heat is molecular motion” or “If something is hot, it has high molecular motion”. Both formulations express the fact that a certain de renecessity obtains. When Kripke begins his lectures by saying that he hopes people see some connection between the two topics of the title, he is being misleading (and has misled many readers). I suppose there is “some connection” (everything is connected to everything else somehow), but there is no special proprietary connection between names and necessity—whether the necessity is analytic or synthetic, de dicto or de re. It is not even true that names form necessarily true identity statements but descriptions never do, since descriptions can be rigid (as well as occur with wide scope). When I say “Nothing can be red and green at the same time” there is no name in sight, only general color predicates, yet my statement is as necessary as can be; so yes, there is “some connection” between predicates and necessity! As there is “some connection” between connectives and necessity (look at the theorems of propositional logic). If we read Naming and Necessity as claiming that names are uniquely not open to a description theory and uniquely connected to necessity, then we read a lot of error into that classic text; but I don’t think anything important hangs on those claims, mistaken as they are. It can all be rephrased to avoid such mistakes. Surely Kripke would agree.[4]

[1] A variant of this approach, Russellian in spirit, would opt for descriptions that refer only to sense-data, as in “the animal species that causes such-and-such sense-data” or “the property that seems thus-and-so”. There is something empiricist about the traditional enthusiasm for description theories.

[2] The famous deeds version of the description theory of names of people finds a parallel in the “conspicuous instance” description theory of predicates, as in “the shape of the earth” for “spherical” or “the kind of animal that my pet Tabby belongs to” for “cat”. This is the kind of knowledge that ordinary speakers may be expected to possess.

[3] We could also choose to treat names as predicates: the name “John Smith” is parsed as “a John Smith” or “he John Smiths”. Then we would have assimilated names to predicates, treating predicates as basic in logical form.

[4] It is puzzling to me why Kripke falls into these incautious formulations, or fails to warn against natural but incorrect interpretations of his words and procedure. It is difficult to believe he didn’t see the points I am making, which are hardly earth-shattering. Nor was he much of a respecter of intellectual tradition. Let me also add that his classic discussion of the identity theory of mind and brain does not depend on the assumption that “pain” is a name as opposed to a predicate.

Share

Are There Two Types of Necessity?

Are There Two Types of Necessity?

It used to be thought there was only one type of necessity, analytic necessity. All necessity is de dictonecessity, stemming from, and about, language. There is no necessity in the extralinguistic world; to suppose otherwise is a fallacy of projection. Necessity is in the head, a product of words not things. But all this changed with Kripke’s Naming and Necessity: now we see (supposedly) that there is another kind of necessity—metaphysical necessity. This kind is de re, not always a priori, and independent of language and meaning; sentences reporting it can be and often are synthetic. Such necessities involve identity, composition, kind, and origin. They hold in virtue of an object’s nature not in our ways of describing the object. We thus live in a world that contains two radically different types of necessity—meaning-dependent and meaning-independent. As knowledge falls into two natural kinds, a priori and a posteriori, so necessity falls into two natural kinds, analytic and metaphysical. Both are types of necessity, but of quite different categories—prior to language and posterior to language, as we might say. But this mixed position leaves something to be desired: shouldn’t we be able to unify the two categories somehow? What do they have in common in virtue of which they are both called “necessary”? Please don’t say “family resemblance”; we need some account of the relevant similarities not just a blank declaration of heterogeneity. As it happens, I don’t think this is terribly difficult; in fact, so-called de dicto necessity is a special case of de re necessity. There is really only one kind of necessity, de renecessity; de dicto necessity is simply a type of de re necessity.

What are the bearers of de dicto necessity? We might say propositions, or sentences, or statements, depending on predilection. Let’s sidestep these niceties and focus on propositions (the others will naturally follow). Then consider our old friend the proposition that bachelors are unmarried males and compare this with our other old friend Kripke’s table. About the table, we have been schooled to accept that it offers necessity of identity, necessity of kind, necessity of composition, and necessity of origin (Kripke actually uses different examples to illustrate his category of metaphysical necessity, but it will be convenient to press the table into multiple modal service). The table is necessarily identical to itself; it is necessarily a table (not a worm, say); it is necessarily made of wood and of this particular piece of wood; and it necessarily has a certain origin in a specific tree (possibly also a specific carpenter). Let’s accept all that for purposes of comparison (personally, I do). Then we can ask analogous questions about our favorite analytic proposition: does it exhibit the same kind of modal profile? Well, it is clearly identical to itself, necessarily so; it is necessarily a proposition and a marital status one; it is necessarily composed of particular concepts or properties (married, male); and it necessarily has a specific origin. The last claim may seem stretched, or even a category mistake, but let us not be too literal. First, we must ask what the constituents of a proposition are and how propositions come into existence. They might be composed of senses or references: if these have origins, then the proposition has origins. The origins could just be the origins of the things the proposition is about (say, Queen Elizabeth II), or they could be origins of the concepts we apply to those objects. Putting aside Platonism about senses and concepts, the origin of these entities will involve the origin of psychological states of a certain sort, so that we will be asserting that such entities necessarily derive from the causal antecedents that actually gave rise to them (or their underlying brain states). We need not quibble about how exactly this goes, accepting that somesort of origin story must hold of them, and that this will mirror what holds of states in general (the state of being frozen, say, could not have derived from heating the substance involved). If we are very picky about this, we could always drop the necessity of origin for propositional constituents and stick to references of such constituents, or else allow that origin doesn’t apply to propositions (like numbers or Platonic forms). The point is that modal questions of the usual four kinds can be raised about propositions (sentences, statements): for these entities have essential natures too–involving identity, kind, composition, and origin (or the lack thereof). Thus, propositions are subjects of de re metaphysical necessity (and contingency). They also have a grammatical or logical form as a matter of metaphysical necessity: the proposition that all men are mortal is necessarily a universally quantified proposition (it couldn’t have been an existentially quantified proposition, i.e., that proposition). Propositions are things with properties, so they raise the same kinds of modal questions as other things, with the same kinds of answers.

One of the properties that the proposition that bachelors are unmarried males has is the property of being true. Evidently, it is true in virtue of being the proposition that it is (and not, say, the proposition that bachelors are miserable). So, we can say that an essential property of this proposition is that it is true—as it is an essential property of the table that it is made of wood. It has a number of essential properties, as just discussed, and this is one of them. Being necessarily true is like being necessarily made of wood—something that follows from the nature of what instantiates it. There is no departure from standard metaphysical necessity here: metaphysically, being necessarily true is like being necessarily made of wood—an object necessarily having a property (a thing necessarily having an attribute). The apparatus that has been developed to talk about de remetaphysical necessity (and contingency) carries over smoothly to so-called analytic necessity, with propositions taking the role of res. The right thing to say is that metaphysical necessities can concern physical objects, artifacts, organisms, mental states, numbers, geometrical figures, and propositions (sentences, statements). Analytic propositions are distinguished by the fact that they are always true (in all possible worlds) as a matter of meaning, but this is not a new type of necessity: it is simply the old type of metaphysical necessity applied to a different class of entities. It is the same with contingency: propositions are contingently true in virtue of their nature (necessarily so). And just as every entity has both necessary and contingent properties, so too do propositions: it may be contingently true of a given proposition that it was uttered five times on a single day, or that its utterance incited a riot. Language and meaning are things like other things and therefore have contingent and essential properties. They are part of “the world” and share its modal proclivities. So far from excluding necessity from the world and confining it within language, analytic necessity is simply part of the world. Once the world was created its necessities were created, and once language was created its necessities were created. These are all de re metaphysical necessities. Language did not create necessity in the world, as the world did not create necessity in language; but both are necessities of nature, part of the modal structure of reality.[1]

[1] If we ask what it is that makes the proposition that bachelors are unmarried males necessarily true, the answer is that the concept bachelor is composed of the concept unmarried and the concept male; similarly, if we ask what makes the proposition that water is H2O necessarily true, the answer is that water is composed of hydrogen and oxygen. The cases are exactly analogous. Modally, reality is homogeneous, not dualistic. It isn’t, say, that analytic necessity is a feature of the use of words while metaphysical necessity concerns facts—all necessity concerns facts (linguistic and non-linguistic).

Share

Contradiction and Synonymy

Contradiction and Synonymy

This is to be an essay in the philosophy of logic. Regrettably, logic today is taught as mainly formula manipulation with little attention paid to philosophical questions. I will be engaged on foundational questions, not unlike the foundations of physics (crucial but ignored by the mainstream). No doubt this is all about aspiring to be a “science” etc. In any case, my question concerns the meaning of what is called the law of noncontradiction, specifically what this law is really about. Let’s start with an obvious and familiar point: the connection between contradiction and synonymy. A sentence only counts as contradictory if it contains synonyms, as in “This is both red and not red”. The sentence “This is both a bank and not a bank” can be true if we mean different things by each occurrence of “bank”. It is not always easy to tell when contradiction is avoided because of a lack of synonymy: “This is both identical to that and not identical to that” (qualitative and numerical identity); “It is both raining here and not raining here” (uttered when moving about); “This creature is both large and not large” (relative to different classes of animal, e.g., mice or mammals in general). The same words can be used to say different things. So, we must stipulate that contradictory-seeming statements are only contradictory if words are used synonymously in them. But then any difficulties that attach to synonymy carry over to contradiction; and isn’t that a frail reed when trying to formulate the basic laws of logic? What if you are a skeptic about synonymy (like Quine) but a true believer in logic? Is logic only as solid as the concept of “saying the same thing”? If there is no such thing as synonymy, is there no such thing as the law of noncontradiction? Is it possible to detach the two questions, avoiding reliance on the concept of synonymy? It might be thought that it is: why not say something like “This is both red and not that”, where the demonstrative refers anaphorically to the previous utterance of red? Then we can express the law of noncontradiction by saying that nothing of that sort can be true—intuitively, that the same thing cannot be both red and not what I just said. I thus avoid using the word “red” twice and having to answer the question of synonymy; I use it only once and then refer back to that use. Okay, that sounds feasible, but it is contrived and artificial, a mere trick. And I am still using the notion of identity as between things said: first I say something and then I refer to my saying it. The point here is not that such notions are taboo or indefinable; it’s that we shouldn’t have to employ them in order to state the logical law in question. Also, this is surely not what I am thinking when I accept the validity of the law of noncontradiction—I am not thinking about synonymy or what is said. That is not what the law is about, or a presupposition of accepting the law. Really, it might be thought, the law is not about language at all; so why should we get tangled up in questions about meaning? The law isn’t intrinsically meta-linguistic; it’s not about what kinds of statements can be true. The law may have consequences for what statements can be true but it isn’t a law of statements.

So, what is it about? Properties, you might reply: it says that an object cannot both instantiate a property and not instantiate it (at the same time). An object cannot have the property of being red and not have this property. That sounds a lot cleaner; it doesn’t make logic subject to the vagaries of language (saying, meaning, synonymy). As a bonus, we see that the law can apply to things not expressed in language—properties that have no name and may not even be known. The basic notion is simply that an object can’t both have a property and lack it. Doesn’t that sound intuitively correct? But there are two lines of resistance: first, we still have a problem of individuation; second, is the notion of a property broad enough to capture all that we want to capture? Criteria of identity for properties are hard to come by—do we really want to make logic dependent on the success of that search? Objects can clearly have different properties at the same time; it is only identical properties that cannot both be instantiated and not instantiated at the same time. There is, for example, no difficulty in the proposition that an animal can both be a creature with a heart and not a creature with a kidney, these being distinct properties that happen to have the same extension. And don’t we want to extend the law of noncontradiction to “good” and “exists” without supposing them to denote properties in good standing? We don’t seem to be employing an ontology of countable properties in acceding to the law of noncontradiction, and we do seem to be thinking more generally than this notion normally admits.[1] But now we are running out of ideas—we cannot capture what it is that we are thinking when we accept the law in question. The open-ended generality of the law outruns our vocabulary for stating it.

Let’s try a different tack: the idea of the paradigm and its extensions. What really happens in your mind when you are persuaded that the law of noncontradiction holds good? Perhaps something like the following: you gaze at a red object and think “Nothing could be both like that and not like that”. You focus on an example and try to think of the negation of that example existing along with the example. You try to combine perceptual opposites, failing dismally. Then you say to yourself, almost as an afterthought, “And similarly for everything else”, not worrying too much about the exact analysis of that statement. Notice that you don’t even attempt to articulate what kinds things cannot both obtain and not obtain—you don’t think about predicates or senses or properties; you just think demonstratively of what you are gazing at (“like that). You leave the thought in an unarticulated form, relying on ostension. This seems an accurate enough description of the phenomenology of elementary logical thinking, but it leaves much to be desired theoretically. We want to be able to formulate the law more explicitly and rigorously, casting the alleged paradigm aside and spelling out what the respect of similarity is supposed to be between the paradigm case and all conceivable cases. That kind of thinking isn’t very…logical. It isn’t impressive, masterful, exam-ready. But it’s the best we can come up with without falling into muddy waters and limp hand waving. This suggests a scary thought (notice how much I am relying on the vernacular): you don’t really know what you are saying! The law of noncontradiction is true, and you know that it is true, but you can’t say what precisely it is. It is the basis of our reasoning but we can’t formulate it, except obliquely and inadequately—we can only approximate it. We think things like “Nature cannot contradict itself” or “Reality must be consistent”, but we can’t get any further in saying what in nature or reality is incapable of contradiction. We know that something and its opposite cannot both be, but that “something” is left unspecified. Our conviction of the truth of this thought does not depend on our making philosophical sense of synonymy and properties; it is more basic and general than that. It seems anterior to language and ontology—pure logic, as it were. The form of any possible reality. The necessary structure of the world. The way things have to be. Let’s admit it: this is pretty mysterious stuff, mystical even. It transcends what we can properly understand (the “limits of language”). We only partially grasp the meaning of the law of noncontradiction. Not that it betokens the divine, or ushers in the supernatural; but it does indicate the limits of human understanding. We only glimpse the logical truth that we fail to formulate explicitly; we don’t mentally embrace the full import of our words (this too is a puzzling phenomenon). Thus, we feel that the law of noncontradiction expresses a sort of magical exclusion: reality excludes other reality. If one thing is so, then its opposite cannotbe so—reality is necessareily selective. It won’t allow everyone into the club. Once things are thus and so, nothing can contradict how they are. Reality has the power (almost godlike) of suppressing alternatives; it has made up its mind and nothing can change that. If this object is red, then it absolutely cannot (will not) be not red: that is simply out of the question. It is not surprising that some people balk at this putative power, denying that contradictions are absolutely impossible: for what kind of power is it—what kind of brute metaphysical exclusion? It seems like dictatorial annihilation (it crushes the opposition). The opposite could have been so, but for some reason once it isn’t so it cannot get a foot in the door. It cannot exist once reality has come to a decision about its contents. Contradictory statements can coexist—one person can disagree with another—but somehow reality prohibits such largesse. Reality never disagrees with itself. This can seem arbitrary, groundless, narrow-minded, not even clearly stateable, and yet we are told it must be so. But our conceptual and epistemological position makes the situation intelligible: we don’t fully grasp the import of the logical law in question. It is, in short, a mystery, or a partial mystery. It hints at the ineffable.

The language of logic is not in the best shape either. A trip to the dictionary is somewhat disconcerting. For “contradiction” the OED gives us “a combination of statements, ideas, or features that are opposed to one another”; for “contradictory” we have “mutually opposed or inconsistent; containing inconsistent elements”. The word “contradict” comes from the Latin contradicere, meaning “speak against” and dates from the sixteenth century. It is certainly possible to contradict someone else (speak against them) and the law of noncontradiction does not forbid such acts of speech; it says that contradictions cannot be true, or cannot occur in reality. It would be better (and brisker) to use the phrase “the law of consistency” to affirm that statements and states of affairs must be consistent; we don’t want a law prohibiting disagreement between people! And surely the law existed and was recognized long before the word “contradiction” came into use. But what I find most telling here is the disjunction in the definition, especially the “feature” disjunct. Evidently, the word cannot make up its mind as between a de dicto and a de re use: statements and ideas, on the one hand, and “features” on the other. The right thing to say is that statements and ideas should not be contradictory (inconsistent) because reality cannot be contradictory (inconsistent): the de re underlies the de dicto. There cannot be a contradictory combination of features, though clearly words (and ideas) can be contradictory. The world cannot contain contradictions but language can. Use-mention confusion runs through the dictionary definition. But further, the use of “feature” suggests the difficulty I have been alluding to, namely that it is hard to find a word of sufficient generality to cover the case. Is existence or goodness a feature of things, like the contours of a person’s face? Hardly. Yet these also are subject to the law of consistency (nothing can exist and not exist at the same time, or be good and not good at the same time). Must we accept a metaphysics of “features” in order to endorse the law of consistency? Do we have any clear idea of what this word means in the present context? Better to admit that the thought outruns our means of expressing it; and the thought can be true and known to be true without being fully articulated or analyzed. The thought (our thought) is elusive and programmatic, unlike (say) “The cat sat on the mat”. It is schematic not filled in. The OED is straining to catch its generality while conceding its lack of perspicuity. We should accordingly be semantic mysterians about the (so-called) law of noncontradiction.[2]

[1] Certainly, we don’t need to be Platonic realists about universals in order to assert the law of noncontradiction (or excluded middle for that matter), and there is a danger of that if we quantify over properties. Not that we must reject such a theory, but neither should it be a necessary presupposition of basic logic. Aristotle doesn’t need Plato.

[2] I note that the words “object” and “property” are used with incredible promiscuity in philosophy, with little explication; we don’t want our logical laws to participate in such promiscuity, whatever may be said of our metaphysics. Self-evident laws of logic should not depend on dubious metaphysics, or even sound metaphysics. They are pre-metaphysical (also pre-linguistic). We might almost describe them as visceral (instinctive, primordial). They belong in the belly part of our conceptual scheme. The logician speaks from his gut.

Share