A Road Song

I’m reading Paul McCartney’s The Lyrics and figured I needed to write a road song (compare Route 66).

 

A Road Song

I got my foot on the gas

I got my hands on the wheel

I’m heading down to Miami

To seal the deal

I’m a real estate broker

If you really want to know

I sell people homes

For maximum dough

Don’t hold it against me

I’m vital you see

At least I don’t travel

With my Little Friend next to me

Ha!

I got my foot on the gas

I got my hand on the wheel

I’m speeding down to Miami

To put the seal on the deal

I’m hoping to reach there

Before it gets dark

It’s my first time in the city, you see

And I don’t know where to park

I think this is my big one

The one that will make me

When it’s over and done with

No one can ever shake me

So alone I drive

With my radio alive

Yeah, I get my jive

On the I-95

I get my jive

On the I-95

I’m gonna seal the deal

I’m gonna make it real

And then I think I’ll go

For a solitary meal

Yeah, I’ll wrap up the deal

With a solitary meal

A quiet solitary meal

With my hands on the wheel

My hands on the wheel..

Share

Evolution of Pain

This paper follows on from “The Cruel Gene” and “Pain and Unintelligent Design” on this blog.

 

Evolution of Pain

Pain has evolved over many millions of years. Presumably it had primitive forms that were subjected to natural selection. It was honed and whittled, modified and amplified. There are now several species of pain, each no doubt fine-tuned to achieve a certain end. It is very widespread among animals—if not universal, then close to it. If we think of it as a mental organ, we can model its evolution on the evolution of organs in general: there is a kind of structure-function matching, with the organ designed to have certain functional effects (ultimately survival and reproduction). It probably evolved very early given its survival utility, and it has persisted robustly over the millennia; it is unlikely to become obsolete or extinct. We can think of it as the eyes of the body: it “sees” danger and reacts to it. It is analogous to a perceptual faculty. Perhaps it evolved in prey animals (which includes nearly all animals, since nearly all are prey to some animal at some point), because they need to be sensitive to the teeth and claws of predators. Perhaps some animals perceive it more exquisitely than others, depending on their vulnerabilities. A lack of body armor would favor greater sensitivity to pain—there is no need for pain perception if your armor is impregnable to predators (and rivals). What we can be sure of is that pain was rigorously selected for according to its costs and benefits, like any other biological trait. It feels and acts the way it does for good reasons. There are two puzzles about this. First, the costs are considerable: yes, you avoid the painful stimulus, which is all to the good, but you also incur serious liabilities because of general debilitation. An animal in pain is often hobbled by the pain, unable to function, like an athlete in pain. True, this can be helpful if rest is needed, but nature is not always so obliging as to allow for such rest. Second, the pain gives rise to other effects than those of avoiding the painful stimulus, such as overt expressions of pain (grimaces, cries). What is the point of these? It is hard to avoid the conclusion that they are communicative: they let other animals know you are in pain. But this is puzzling, because it isn’t as if other animals will automatically come to your aid—instead of sensing weakness and attacking you. You might want to keep it a secret that your right leg is hurting, or that you have a headache and are not up for a session of head butting. So, pain might not be the simple adaptation we assume: too much downside and too many collateral effects. We can take it that this is not the result of insufficient fine-tuning, which will be rectified in due course; on the contrary, pain mechanisms must be highly adapted by now, not still replete with glitches. Pain responses have been well-nigh perfected over evolutionary time; natural selection has made them as wondrous and efficient as eyes. This will no doubt involve making pain as painful as is compatible with proper functioning, which is obviously pretty damn painful. Good pain is bad pain, so far as evolution is concerned (those selfish genes!). Pain has evolved to be bad, not mild and tolerable. And it has produced a biologically marvelous trait, truly spectacular: pain is remarkably bad, devilishly so. Natural selection has done its job and done it well: it has produced organisms that really hurt—as it has produced eyes that see really well. It has brought pain to the pitch of perfection, survival-wise; it’s hard to believe it could get any worse, subjectively speaking. It has labored long and hard to make us suffer, to ruin our days, even to make us wish for death. Quite an achievement! The genes must be proud of themselves, but the animal must carry the burden. That is the logic of evolution by natural selection playing itself out: animals have whatever traits enable the genes to survive, pleasant (orgasm) or unpleasant (pain). But there is a residual puzzle: why not use reflexes instead? The patellar reflex allows the organism to move rapidly and effectively, but no pain is involved; same for the blink reflex. So, why must a stubbed or squashed toe be accompanied by intense pain—why not arrange the nervous system so that the foot is quickly and reflexively withdrawn but without the intervening agony? The pain sensation doesn’t seem necessary to the function; it seems like a gratuitous (indeed sadistic) add-on. The only thing I can think of is that the pain is somehow necessary for ongoing flexible voluntary behavior in the presence of harmful stimuli, as in managing a broken bone or a burn. But though that seems true as a matter of empirical fact, it is difficult to see why it has to be true. Presumably it has just turned out over the course of evolutionary time that pain is a more efficient way of handling injury than a purely reflexive and pain-free method; but why this should be remains obscure. So, the existence of pain is something of an evolutionary puzzle, especially given its functional downside (its phenomenological downside counts for nothing in the evolutionary game). It clearly evolved over millions of years and is close to universal, but it’s puzzling why it exists at all as an adaptation. It must have evolved in multiple species many times (convergent evolution), but its rationale is far from obvious (unlike the eye). Pain is puzzling, biologically and philosophically, despite its undeniable reality. Some animals do quite well without it—jellyfish, insects, worms—but many live by it (literally), despite its manifest aversiveness. It is the only adaptation bequeathed to us that we would rather be without—that is intrinsically nasty. Suffering may be adaptive to life, but it is also the bane of existence. It is really the only thing that can make life not worth living, yet it exists to serve life. Pain is an enigma that we could live without.[1]

[1] Imagine the amount of pain that has existed over the course of evolutionary time in all animal species. It doesn’t bear thinking about. Earth is the planet of pain.

Share

Rejecting the Analytic-Synthetic Distinction

Rejecting the Analytic-Synthetic Distinction

 If we cannot make sense of the idea of a synthetic truth, it looks as if we have to reject the analytic-synthetic distinction (the reverse of post-Quine orthodoxy).[1] There is nothing coherent for the concept of analytic truth to contrast with (a genuine distinction requires meaningful things to be distinct). Yet there is some sort of distinction because not all statements are analytic (unless we could somehow make good on such a thesis—no easy task). It just needs to be re-conceptualized, re-thought. We must drop all epistemic attempts to capture the distinction and abjure such locutions as “true in virtue of the world”. Perhaps we need to dig deeper and more boldly; perhaps we need to upend some prominent assumptions. I am going to do just that, taking my cue from Kant’s characterization in terms of “explicative” and “augmentative” propositions. But I am not aiming at Kant exegesis, just philosophical truth (much easier than Kant exegesis). I will aim for maximum clarity and minimal defensiveness—simple not subtle (we can add the subtlety later). So, here goes: analytic propositions (so-called) are really identity propositions concerning concepts (also properties); synthetic propositions (badly so-called) are propositions asserting the co-instantiation of distinct concepts (also properties). Analytic statements say, “The concept F is identical to the concept G”, while synthetic statements (read non-analytic statements) say, “The concept F is co-instantiated with the concept G”. For brevity I will say that the former are identity statements and the latter are co-instantiation statements. The basic picture is that our conceptual scheme (system of concepts) has two sorts of structure, constituent structure and associative structure, and these structures concern conceptual relations in a broad sense. Thus, a given concept can be related to its conceptual constituents via constituent structure (what it is “made of”), and a concept can also be related to other concepts (not its constituents) by associative structure (what it can combine with). For example, the concept bachelor is related to the concept unmarried via the relation of constituency, while the same concept can be related to the concept happy via the relation of association (joining, juxtaposition). Distinct concepts can be combined in the same proposition, and concepts can contain other concepts. I take it this idea will be familiar; it is intended to be. Then the thesis is that the latter relations give rise to analytic truth whereas the former relations give rise to synthetic truth (as it is misleadingly labeled). We might instead call these “truths of containment” and “truths of association” so as to rid ourselves of unhelpful connotations (they are as bloodless as I can manage). Kant’s terminology is tacitly epistemic: “explicative” means “articulates antecedently possessed knowledge”, while “augmentative” means “adds to our pre-existing knowledge”. I am just talking about abstract relations between mental elements that may map onto such epistemic notions but are not defined by them. In fact, I want to take a further step away from the cognitive and say that the official theory is to be stated in terms of properties (references of concepts): properties can contain properties and they can also be co-instantiated with properties. These are relations that obtain in the non-mental world—in the world of external objects. We may say (if we like) that analytic statements correspond to identity facts involving properties, while synthetic statements correspond to facts of co-instantiation involving properties. We may also say that analytic statements are about concept parts while synthetic statements are about concept partners (or property parts and property partners). What is crucial to the distinction is that partners are not parts; co-instantiation is not identity. It is this that distinguishes the synthetic from the analytic. It has nothing intrinsically to do with knowledge or experience or justification. The distinction is emphatically not the same as the a priori-a posteriori distinction. It is about truth-makers, i.e., about two categories of truths. It says nothing about what is trivial or non-trivial, informative or uninformative, known by experience or known independently of experience, having cognitive value or not having cognitive value, being intuitive or being perceptual. It is a distinction drawn at the level of metaphysics not epistemology. It has nothing intrinsically to do with rationalism and empiricism, or revisability, or infallibility. The claim I am making is simply that this is the best way to re-conceptualize the traditional distinction labeled “the analytic-synthetic distinction”; and it may not correspond to the intentions of people casually employing that phrase. I would be quite happy to allow that it is not a version of that distinction (whatever it is exactly) but a new distinction altogether—a better, more intelligible, distinction. I am not doing intellectual interpretation; I am doing philosophical excavation—of metaphysical reality not intellectual history. The distinction, as I understand it, is basically about the ontology of properties—how they stand in relation to each other. Does this suggestion serve to unify the class of non-analytic truths? Yes and no. Yes, in that it says what is in common to all non-analytic truths, viz. concept association (without concept identity); but no, in that there is a huge variety of what we call properties, ranging from physics to ethics, psychology to arithmetic, with nothing to unite them except the very general notion of a property (attribute, characteristic, predicate). There is nothing like the traditional idea that synthetic truths are all known by sense experience, or add to our knowledge, or produce a sense of cognitive augmentation. The class of non-analytic truths is not unified in these ways; it is simply the class consisting of truths that concern distinct properties that are said to be co-instantiated. This may have consequences for epistemology and psychology, but it is not defined that way. We can put the point as follows: propositions have the power to contain concepts that have other concepts as their constituents, and they also have the power to contain concepts that are instantiated together—the former gives rise to analytic truths, the latter gives rise to synthetic truths. We can thus preserve the substance of the analytic-synthetic distinction without running afoul of the problems surrounding the usual ways of formulating it. It is really much more of a truism than has been supposed, though a truism with serious metaphysical commitments. The analytic-synthetic distinction is rooted in deep facts of nature, ultimately the nature of properties.[2]

[1] This paper follows on from my “Are There Synthetic Truths?”

[2] I think the fundamental problem with the usual discussions of the analytic-synthetic distinction is that people decline to recognize that the question is metaphysical, not linguistic or epistemological. Even Kant gave it an epistemological slant that influenced all later discussions, though it is au fond not an epistemological distinction. It is about the nature of truth (or truths) as such not about our knowledge of truth (truths). We should not psychologize the distinction.

Share

Are There Synthetic Truths?

Are There Synthetic Truths?

There is a tradition, stemming from Quine (but not pre-dating him), claiming that the concept of analytic truth is undefined, or ill-defined, so that the analytic-synthetic distinction cannot be made sense of; accordingly, there are only synthetic truths. I think this is the opposite of the truth. Nothing is true but reality makes it so, Quine tells us, contrasting reality with meaning. And it is routine to hear that a synthetic truth is one that is true “in virtue of the world” (not language)—or perhaps in virtue of “the facts”, or “extra-linguistic reality”. But these formulations are by no means clear and run into immediate objections. In the first place, language and meaning are clearly part of reality or the world, so reality or the world cannot be construed as excluding them: yes, nothing is true but reality makes it so, but the reality can be either meaning or non-meaning. It might be thought that there is an easy fix: just say that a synthetic truth holds in virtue of non-linguistic reality. Now the problem is that some synthetic propositions are about linguistic reality—take any statement about the languages of the world or what a particular word means. Clearly, we need to say that a synthetic truth is non-analytic, but (a) that would not suit Quine (though it’s fine by me) and (b) it is purely negative. This throws us back to talk of reality and the world and facts: we need to say that synthetic truths concern the part of reality that doesn’t include facts constituted by meaning relations (or something along these lines). Now a new problem confronts us: what is this entity and what composes it? Is it a totality of facts, a totality of objects, of objects and properties, of facts and values, etc.? This is beginning to sound ominously metaphysical, inherently contentious, and probably meaningless. And there is this problem: presumably we can’t mean that a given proposition is true in virtue of the whole of this world, or else each proposition is made true by the same thing; so, we need to say that parts of the world correspond to each synthetic proposition (unlike analytic propositions). This puts us on a familiar and dreary path: logical atomism, negative facts, complexes of objects, and the difficulty of supplying identity conditions for the putative truth-making entities. We didn’t think we had signed up for this rigmarole when we declared that there are synthetic truths! But we started talking about “the world” so what did we expect? We are thus driven back to saying that synthetic truths are non-analytic truths, with no positive characterization of them given (as well as uncritical acceptance of analytic truth). And here the nub of the matter emerges from the mist: the concept of the synthetic is parasitic on the concept of the analytic. It is the concept of truth in virtue of meaning that wears the trousers (as Austin would say): we need that concept if we are to carve out a territory labeled “synthetic truth”. The latter concept has no content without the former concept. It would be different if we could define “synthetic” as (say) “perceived by the senses”, because then we wouldn’t have to make do with the amorphous concept the world; but that is obviously too narrow, too restrictive. The problem is that the class of truths that are not analytic is a ragbag possessing no inner unity; it isn’t a natural metaphysical kind. Its sole content is given by the concept of the analytic, which trades in the restricted (and legitimate) concept of meaning. Note that “synthetic” is not a very descriptive term; it is really just a label for what is left over when we have listed all the analytic truths. The concept lives and dies by its contrast class. But that means that we have no unitary positive concept of the synthetic suitable for bringing together all that is supposed to fall under it. Moreover, we have a decent criterion of identity for meanings, viz. substitutivity inside belief contexts, but we don’t have such a criterion for whatever is supposed to make synthetic propositions true. Hence the vague and woolly talk of the “world” and “reality”. There is the general concept of truth and the specific concept of analytic truth, but there is no concept of synthetic truth save a hopelessly disjunctive one. It is the “craving for generality” that leads us to think that we have identified a metaphysical natural kind. All we really have is a philosopher’s invention—a contrivance, a fabrication. It is certainly not a concept of science, or even of linguistics. So, we cannot hope to base a philosophy on the concept of synthetic truth, saying such things as that all truths are synthetic; all that can mean is that no truths are analytic, relying on an antecedent grasp of that concept. This is obviously no help to a disciple of Quine, but even a firm believer in analyticity won’t be encouraged by a concept so negatively defined. I think myself that analytic truth is adequately defined as truth in virtue of meaning alone, but that synthetic truth has no adequate definition—certainly not one in terms of truth in virtue of “the world” or “reality”. You might hope to define it as “what is known by empirical investigation”, but that is objectionably epistemic (what if the truth can’t be known?), and also fails to count knowledge of one’s own mental states as knowledge of synthetic truths.[1] There is, in fact, little effort to define the category of the synthetic, so that the concept is left at a vague and intuitive level, explained more by example than by general definition. To say that all meaningful statements are (or must be) synthetic is therefore meaningless metaphysics, which is ironic in the circumstances. We literally don’t know what it means (Kant has a lot to answer for). In its ordinary use the word means “not genuine; unnatural” (OED) and that does indeed correspond to something real: for the idea of a synthetic truth is a synthetic idea, i.e., a fake classification. There are no synthetic truths (but plenty of analytic truths); there are just truths that fail to be analytic—as there are many types of truths that fail to be ethical or psychological or economic or about me. Not belonging to the class of analytic truths is not a way of forming a unified class of other truths. We can distinguish classes of truths within the non-analytic class, but no positive trait unifies them, whereas analytic truths form a well-defined class. It is the concept of analytic truth that is in good theoretical shape not the concept of synthetic truth. And isn’t this what any card-carrying rationalist would say?[2]

[1] The OED is uncharacteristically unhelpful here: as its second definition of “synthetic” it gives us “having truth or falsity determinable by recourse to experience” (this is relegated to Logic). This is a frankly epistemic definition of what should be a logical or metaphysical concept, and is therefore a kind of category mistake. It fits the concept of the a posteriori better. Also, how is it supposed to apply to the synthetic a priori, as in arithmetic? Such truths are not verifiable by “recourse to experience” yet are supposed synthetic. Nor do we know that we have beliefs by sense experience (and what other kind of experience is intended?). It looks to me as if the dictionary makers took the philosophers on trust and did the best they could with a dubious (spurious) notion.

[2] The concept of empirical truth is similar in view of the enormous variety of things that fall under the concept of experience. How unified is this class really? Is it as unified as the class of a priori truths? Empiricism is just not a monolithic unified theory, and nor is “synthetism” defined as the doctrine that all truths are synthetic. The metaphysics of these theories is not well defined, i.e., what it is to be an experience or a synthetic truth. More dogmas of empiricism (rationalism fares much better in this respect).

Share

Preposterous Presidents

The recent debacle involving the presidents of three top American universities is symptomatic of a deeper and more widespread malaise. The moral obtuseness and intellectual ineptitude of these three women is just part of a general degradation in American universities and intellectual life. I won’t go into the causes of this, but what appalls me the most is that they are under the illusion that they are demonstrating superior moral and intellectual qualities. They are not. At root this comes from bad philosophy, indeed obviously bad philosophy. Real philosophy used to oppose this kind of inept “thinking”; now it is succumbing to it.

Share

Consciousness, Paralysis, and Functionalism

Consciousness, Paralysis, and Functionalism

Paralysis has been regularly used to defeat behaviorism and its descendant functionalism. How can the mind consist of behavior if paralysis is consistent with having a mind? The objection is clear and strong: paralysis shows that behavior is not required for consciousness to exist. To have a conscious state is not to move in a certain way. It might even be that a conscious being has never moved and never will and has no disposition to move. What I want to point out is that much the same objection applies to attempts to define mental states in terms of their mental effects: what a mental state does internally is equally incapable of defining it, because of the possibility of mental paralysis. I will call this the “paralysis argument”. The argument is not complicated; in fact, it is embarrassingly simple. Consider a pain occurring at time t: it may have many mental effects—forming the belief that you are in pain, desiring to escape the pain, comparing it to other pains you have had, laying down a memory of the pain, thinking you will later write about the pain, deciding not to do that again, and so on. All these occur after t, radiating out from the pain, eventuating in overt action. Now suppose that some neural catastrophe were to afflict you, interrupting the causal connections: you don’t and can’t have those mental effects of the pain; you have the pain but the causal sequence is abolished. The neurons fail to send the signals to other areas of the brain, shutting down the mental effects of the pain. You are mentally paralyzed. Clearly, this is consistent with having the sensation of pain, since the effects occur after the pain. But then, such effects are not a necessary condition of feeling the pain, and so cannot constitute having it. The situation is exactly like bodily paralysis except that the causal sequence is interrupted at an earlier point. The effects could extend further out than the body into the world at large and could be interrupted at any point; the situation is not different going in the opposite direction. There can be behavioral paralysis and mental paralysis—as well as “paralysis” with respect to environmental effects. But then, we can’t define mental states in terms of their effects, physical or mental, which means that functionalism won’t work. What a mental state is can’t be reduced to what it does, mentally or physically. To be a pain is not to have a certain functional role, since the pain can exist without the functional role existing. People have argued that functional role is not sufficient for a mental state, but it is also not necessary, by the paralysis argument. We don’t see this kind of paralysis often, if at all, but that is because the relevant parts of the brain are not as exposed to injury or interference as much as the spinal cord; but as a matter of principle the cases are not different. The fundamental problem is that pain and its effects are distinct existences (as Hume would say), so that one can’t be the other. Once this point is appreciated (it isn’t a difficult point to grasp) we can develop two further anti-functionalist arguments: the “time-lapse argument” and the “ignorance argument”. The time-lapse argument points out that the effects of pain post-date the pain, but the pain doesn’t post-date itself; so there can be no identity between them. The ignorance argument points out that you could know you are in pain without knowing its effects, since these are different things; so there can be no analytic or a priori connection between them. You might simply become mentally blind following the occurrence of the pain, so that you are ignorant of its mental effects, or those effects don’t occur because of mental paralysis. Your knowledge that you are in pain cannot then consist in the knowledge that you are in a state with such and such mental effects. Unlike materialism, functionalism has problems with time: materialism invokes a contemporaneous brain state, but functionalism invokes a temporally extended causal sequence, thus incurring the problems outlined. As I said, pretty simple stuff.[1]

[1] This isn’t to say that functional role could not be employed less ambitiously in an account of the mental, as merely an aspect of the mental state; but then, it isn’t identical to the mental state. This would be a kind of weak functionalism analogous to various kinds of weak materialism. Classical functionalism, like classical materialism, is a case of theoretical exaggeration, taking an essentially sound point and overdoing it.

Share

Macro and Micro Necessity

Macro and Micro Necessity

A curious fact of necessity studies: although necessity is liberally spoken of, its extent is rarely tabulated. We find reference to necessities involving people and items of furniture (and the occasional cat) but little in the way of mapping the full distribution of necessities in the world, or their interconnections. We learn that tables are necessarily made of wood (sometimes), that queens have their actual parents necessarily, that people are necessarily human, that Superman is necessarily identical to Clark Kent, and whatnot. But what about the rest of nature—what necessities does it harbor? What about people parts or molecules or planets or oceans or families or logical connectives? Let’s talk about arms: is it an essential property of a particular human arm that it is an arm? Could an arm have been a tooth or a bladder? I think not: maybe at a pinch an arm could function as a leg, but surely its arm anatomy is essential to it. If you reduce an arm to a pile of dust, it no longer exists; it isn’t a dusty arm. Presumably the same thing is true of other body parts, even descending to the very small. Is a particular molecule essentially a molecule? If you break it apart, does it still exist? Its constituent atoms do, but the molecule itself seems to be dead and gone. An electron is necessarily an electron. A galaxy is necessarily a galaxy: you can’t spread its constituent stars far and wide and still have a galaxy, just the components of an erstwhile galaxy (of course, it could turn out that what you think is a galaxy isn’t really one). A generalization is emerging: everything has some essential property (or properties). A thing’s kind is essential to it, on pain of non-existence. So, necessity is everywhere in the universe, not restricted to certain special objects. The same is obviously true for identity, since everything is necessarily self-identical. What about composition? Abstract objects fail this necessity claim: numbers, properties, and logical connectives are not composed of anything, so are not necessarily composed of what actually composes them. Origin is a challenging case: is it just people and other organisms that have their origin essentially? Well, rocks certainly don’t have their parentage essentially, since they don’t have parents; but there is an analogue of parentage that seems to apply more generally, viz. causal antecedents. Does the earth have its causal origin essentially? Yes, in that a planet caused by different events, with an origin in different celestial materials, would not be the earth—though it might be qualitatively identical to the earth. Ditto stars, galaxies, and even the universe itself (it needs that big bang to be this universe). We can even argue that it is essential to me that I was produced by a universe caused by the actual big bang that occurred—I am logically (metaphysically) tied to that specific origin event. But what about object parts? Does Queen Elizabeth’s right arm necessarily derive from her actual parents? Could it (that arm) exist and not originate from her biological parents, perhaps attaching to someone else? I am inclined to say no: she necessarily has those parents, so her arm does too. But it is not true that allher physical parts must have originated in those particular people: a molecule in her arm could have come from somewhere else; in some possible world that molecule never made it into her arm. It wasn’t caused to exist by her parents (by their gametes) unlike Elizabeth and her arm. Not every part of an animal necessarily originates from the activities of its parents. In every possible world in which Elizabeth’s arm exists Elizabeth’s parents exist, but the same is not true of the molecules that compose her arm. This is an interesting discovery about necessity and parthood: it only goes so far down. And it leads to the following question: what is the relation between macro necessity and micro necessity? Does the former supervene on the latter? If you duplicate the micro necessities, do you get the same macro necessities? If X is necessarily human and is composed of micro entities that have certain properties necessarily, is Y also necessarily human given that it is composed of the same kinds of micro necessities? Are micro-modal duplicates identical macro-modally? That is, does the modal micro-world determine the modal macro-world? Do lots of little necessities fix the big necessities? If they do, necessities can be interconnected at different levels of analysis (different scales). The answer appears to be yes: being human supervenes on molecular composition, so being necessarily human should also thus supervene, given no modal difference at the molecular level. However, a reduction looks infeasible: you can’t reduce being necessarily human to a bunch of molecules being necessarily molecules (or such and such a type of molecules).[1] We have micro-to-macro supervenience but not macro-to-micro reduction. The case is thus analogous to the mental and the physical. Macro modal truths are not (generally) translatable into micro modal truths. Modal metaphysics turns out to have the same general shape, dependence-wise, as mental metaphysics.[2]

[1] Actually, this may not be so obvious given sufficient ingenuity, but I’ll let it stand. A reformulation in terms of sub-molecular particles might be more apodictic.

[2] In this paper I simply assume the apparatus and examples introduced by Kripke in Naming and Necessity. I just take his position a few steps further.  It is notable that he does not try to extend his conclusions into other areas. What about the thesis that conjunction is necessarily truth-functional, or that oceans have their geographical location essentially?

 

Share

A New Metaphysics of Necessity

A New Metaphysics of Necessity

There is a tacit recognition in the history of philosophy that in order to account for necessity we need to introduce a split in what we regard as overall reality. Thus, we have the idea that necessity resides in meaning, conceived as separate from the ordinary reality of things and properties, and also the idea that necessity resides in a totality of possible worlds, conceived as separate from the actual world. We need to adopt a type of dualism (doubling of worlds): of world and meaning, or of actual world and possible worlds. The latter worlds are conceived as shadowy (if not shady) in relation to the primary reality of the non-semantic and actual worlds. Necessity belongs in a separate sphere of reality, specially designed for it. These are both good ideas, in their way, because they accept that reality needs to be carved into two parts in order to do justice to necessity. A metaphysics of necessity needs to be ontologically expansive (non-local) in some way. Necessity can’t exist in a world consisting only of ordinary objects with ordinary properties (what we might call the-cat-sat-on-the-mat metaphysics). We might even have to countenance something relatively exotic. Along these lines, I will defend a split-reality metaphysics of necessity, specifically a two-worlds approach. I shall say that necessity is truth in the deep world and contingency is truth in the surface world. So, I believe in two worlds existing side by side, one deeper than the other. I am a “world dualist”. But my dualism is not the same as other dualisms that dot the philosophical landscape: mind and matter, appearance and reality, concrete and abstract, fact and value, particular and universal, noumenal and phenomenal. I have in mind a different sort of distinction that has no accepted name (or even being), which I will call the world of essences and the world of facts. The intuitive idea is that some truths correspond to things that have been brought together, assembled, combined, while other truths do not correspond to such joining, but concern inseparables, indivisible wholes. For example, my table may have a cup on it, which has been brought to the table from elsewhere and can be disjoined from it; it may also have the property of being brown or shiny. Such circumstances may be described as combinatorial in somewhat the manner in which Wittgenstein spoke of facts as combinations of objects (with properties and relations included under “objects”). These arrangements are contingent, accidental, mutable, conceivably otherwise. But my table might have other properties which are not like this, e.g., being made of wood (or a particular piece of wood). Here we cannot separate the object from the property: the wood was never brought to the table, combined with it, placed next to or on it. The wooden table is not the result of a combination of objects with a prior and independent existence: the table has no being without the wood that composes it. The truth that the table is made of wood (this wood) is a truth of essence not a truth of fact in the aforementioned sense; it isn’t combinatorial. It is a truth about the nature of the thing not about what accidentally befalls it. And natures are not combinations of independent existences, since without a nature a thing cannot exist at all. So, we have two levels or layers of being: a world of essences and a world of combinations (facts in roughly the sense Wittgenstein had in mind). The former give rise to necessities and are eternal and immutable; the latter give rise to contingencies and are (typically) temporary and mutable. We can say that necessities exist in the former world and contingencies exist in the latter world. These are different kinds of world (compare the world of meaning and the non-linguistic world) in that they have a different kind of “architecture”—one being combinatorial and the other being non-combinatorial. If the world is the totality of facts in Wittgenstein’s sense (complexes of objects), then that world does not include necessities (essences); and the world of essences does not include the world of facts, since it doesn’t admit of combination and recombination. (Note that Wittgenstein does not locate necessity in the world of facts, since for him it consists solely in tautologies). We have two different modes of being here—two different ways of constructing reality. And the point generalizes: numbers have no existence without their essential properties (there is no such thing as bringing evenness to the number 2), and bachelors are not combined with the state of being unmarried (they are unmarried by definition). In other words, de re necessities (and de dicto) are differently formed from contingencies—they are found not made, constitutive not compositional. You can’t arrange for the table (thattable) to be made of wood; it just is, essentially, ineluctably. The point is that talk of two worlds is justified by the inner architecture of the realities in question (I won’t say facts because I am using “fact” here in the narrow Wittgensteinian sense). But why do I say “deep world” and “surface world”? First, because we don’t see the world of essences; it is hidden from view. We know it but we don’t perceive it: we never observe the coming to be of an essential nature on the part of a pre-existing object, since there was no table before the piece of wood came into its life. But we do see the combining operation that forms contingent facts (we see the table being painted, for example). Second, the surface world presupposes the deep world in that there could be no combination of objects without antecedent objects possessing a determinate nature: essence precedes existence. Facts need constituents and constituents need natures. But the world of essences doesn’t need the world of facts (compare Plato on particulars and universals): things can have natures in logical independence of combining with other things. Third, the essence of an object is a deep truth about it in contrast to its contingent and fleeting properties. So, the world of essences is a deeper world than the world of facts; and this means that necessities are deeper than contingencies—more fundamental, more formative. Necessary truths are therefore metaphysically deeper than contingent truths. They call for a further world and this world is deeper than the world of contingency. We don’t need meanings and a plurality of worlds to capture the nature of necessity (in my judgment anyway[1]) but we do need an extra layer of reality; we need that ontological split. Metaphysically speaking, necessity has to reside in a different place from contingency; it needs its own dimension. No doubt this is why it has always seemed metaphysically threatening (it was the biggest threat to logical positivism). Linguistic theories seek to confine it to the realm of meaning, while possible worlds theories multiply non-actual worlds for it to inhabit; according to the deep world theory, we need to recognize two layers to our world, with necessity existing in the deeper layer. Necessary truth is defined as truth in virtue of the deep world. Let me add that this theory, like the others, brings with it a vision of reality that can alter your way of seeing the world: you see it as having an outward perceptible form consisting of myriad combinations of objects and you see it as harboring an underlying reality of unchanging essences that are not combinatorial at all. There is no juxtaposing at this deeper level, no moving of pre-existing pieces around (like a chess game); rather, there are fixed and immutable indivisible realities—as that the table is essentially made of wood. In particular, the table and its constitutive chunk of wood were never at distinct points of space from which they moved in order to live happily together; rather, the table has no reality other than being made of that piece of wood. When you look at the table you are gazing at the intersection of two worlds, a world of essence and a world of accident (e.g., the cup sitting on the table for a while). Both these worlds occupy your visual field. You see the table as a metaphysical nexus consisting of a surface structure and a deep structure (to coin a phrase). The (whole) world is the totality of facts and essences. This is what you feast your eyes on every day. The universe comes to seem like a happy superimposition of one world on another, with necessity lurking just beneath the surface.[2]

[1]There is no inconsistency between the deep world theory and the other two theories, though I would object to them on other grounds. My point is that we all agree that necessity requires more than the ordinary world of perceived particulars; it needs its own special place—the question is where. An advantage of my proposal is that the necessity lies exactly where it is supposed to lie, i.e., in the object of predication, not in language or other worlds. It exists in the world of essences that underlies the world of facts, which is not somewhere else entirely.

[2] There is a question what to say about the necessity of origin, given that parents are spatially separate from their offspring. Here we should say that the child doesn’t have the property of being the child of these particular parents in an external manner, because without having that property it would not be the individual that it is. The case is like natural kinds: I don’t combine with the property of being human as I combine with the property of being a philosopher, because there is no conceiving of me as existing without being human. You can’t be said to combine with something that is a necessary condition of your existence. Combination requires logical independence.

Share