What Might Have Been and Was Has to Be
Part I: What Might Have Been 84
1. Introduction. 84
What might have been entirely instead? 86
2. Limits of reference. 91
3. Limits of expression. 96
4. De re necessities are neither conventional, conceptual nor linguistic. Why meaning-inclusions cannot account for real necessity. 97
5. Analyticity is a result of meaning arrangements to simplify empirical knowledge (belief). 100
6. There is no direct connection between analyticity and truth 105
7. Linguistic reluctance. 107
8. On incorporating overflow necessities. 109
Part II: What Has to Be 111
1. Whence the real natures, the universals? 111
(a) In brief. 111
(b) God or god. 112
(c) The theistic option. 115
Chapter 3
What Might Have Been and Was Has to Be
I. What Might Have Been
1. Introduction.
What might have been is not all of a piece, any more than truth or necessity
is. Sometimes what might have been is fully anchored by actual things and determined
by the real natures of things (e.g., what would have happened broadly if radiation
had not been contained at Three Mile Island). Sometimes it is within the potentiality
of the actual, for instance, my not having traveled abroad this year. Those
are benchmarks at one extreme: both are earned counterfactual truths. Then there
are the referentially anchored "might have beens," that fall outside
the potentialities of things: silicon-based rational life, computers that calculate
faster than light or meson calculators made of massless parts. Whether there
may have been such things or what they might have done depends not only on logic,
but whether they are real possibilities: thus, "If I had used a meson calculator
I'd have had the answer before anyone else." Is that true because the antecedent
is impossible? Or might it be false because someone else might have been faster
at using the meson calculator or not needing one at all? Because such notions
run contrary to the necessities of nature and do not contain determinate overflow
necessities, such things are, as argued in Chapter 2, really impossible and
at most imaginary. Is the counterfactual false then because the antecedent refers
only to an imaginary thing? We could have an anomaly: the statement is true
because the antecedent is impossible and the statement is false because the
antecedent refers only to an imaginary thing. My conclusion is that what truth-value
it has depends on how the statement is embedded in a system for transferring
truth-values, an inheritance system, like traditional strict implication or
relevance logic; thus the truth-value, if any, is by inheritance and can vary.
At the other extreme there are situations beyond reference and beyond conception,
for instance that there might have been things of entirely other sorts instead
of anything that ever exists. There won't ever be any of "the other sorts."
What is actually so has to do. But do what? That everything in the cosmos is
contingent does not assure that anything else would have been possible. What
does?
In between are counterfactuals with a variety of earned and inherited truth
values, depending on things I will explain. That variety precludes a single
account of what makes contrary-to-fact conditionals true or false, and requires
a multi-faceted story about what really determines what might have been. That
story has two key themes: (1) that there are true statements, with earned truth
about what might have been, earned from what is actually so, and (2) that such
earned truth depends on the real (actually dispositive) natures of actual things.
So simple nominalism will not have a place in the central explanations of contrary-to-fact
conditionals, but only in some of the fringe neighborhoods with special cases.
Among other kinds of counterfactual statements there are some like, "If
I'd been a female, I'd have been Asian," that are best regarded as being
false because nothing actual, as far as we can tell, determines truth, and the
impossibility of the antecedent, as well as of the consequent, invites a commonplace
claim of falsity rather than a paradoxical thin, logical basis for truth. One
thing is certain: There cannot be a "one size fits all" analysis of
contrary-to-fact truth in terms of a single logical connective (material implication,
strict implication, etc.) or in terms of a single pattern of "possible
worlds" paraphrases for counterfactual claims. So the classical patterns
of single analyses, from the 1930's through the debates around Goodman's Fact,
Fiction and Forecast [1955] and D. Lewis' Counterfactuals [1973] have all worn
out.
We need to discard oversimplified treatments, especially possible-worlds treatments
of counterfactuals as all of a piece, and to acknowledge that there are contexts
in which cognitive accessibility of what verifies or otherwise manifests a truth-value
is necessary for there being any "truth of the matter" at all. In
some cases, it is the absence of any "fact of the matter" that explains
absence of cognitive access and absence of truth-value.
There are three new factors to consider: The range of counterfactuals whose
truth (or falsity) is determined by the natures of actual things; the counterfactuals
that are "not true" because their truth conditions are cognitively
inaccessible; and the counterfactuals that are "not true" because
there is no "fact of the matter" at all. In some contexts, when there
is no way to ascertain whether what one thinks is so, the thinking drifts loose
from reality, typically because reference became confused or indeterminate.
In others, reference fails for lack of a definite referent. But, when there
is nothing to settle whether what I think fails to be what is so, then there
is no truth of the matter at all. More on this point, below.
What might have been entirely instead?
What might have been entirely instead of the actual is beyond the reach of reference,
and thus statements about it are without truth or falsity, if the statements
fail to involve real things or real kinds or their abilities or features. The
truth or falsity of contrary to fact suppositions is earned from the real natures
of things, when it is not transferred by an inheritance from something else.
The reason every human who might ever have lived is mortal is that to be human
is to be mortal. It is a condition of the real nature of actual cases. All others
would have to be of the same real nature. The natures of things are embedded
in the dispositions of things, and reflected in regularities and, less reliably,
in statistical generalities, and even rules of thumb, like "where there
is smoke, there is a fire." The nature of a thing is the real constitution
of the thing as explanation of what it does and what it would have done "if."
Arsenic poisons over time. It would have done so, if you'd taken it long enough.
A real nature can be known pre-scientifically and, yet, very well, as goldsmiths
know how to use gold, farmers know how to use cows, fishermen, how to lure fish.
One objective of science is to come up with a scientific description of natural
(and synthetic) things that from the micro-structure and general laws can explain
and predict their behavior, e.g., superconductors. So one of the objects of
scientific inquiry remains the same as Aristotle proposed; to understand the
natures (essences as principles of the observable behavior) of material things.
But consider, "If Johnny had been an abused child he probably would have
become a child abuser." Because the reality for the latter sort of claim
is a psycho-social regularity that "abused children tend to become child
abusers," and because the certainty of such generalities is vastly diminished
when applied predictively to a single case, it seems that there is too little
reality to make the statement either true or false. It is an idle speculation
with no more content than the generality it applies to a single case; whereas,
"If I'd bet on 10, I would have won" seems falsified by the fact,
say, that 20 won and that my betting had no causal connection to the outcome.
But there drops a warning flag: "Nothing accessible to us." For who
knows what would have happened had I done what I did not do? Sometimes we do
know, from the causal relationship of things, e.g., if I'd stepped off the curb
a moment earlier, I'd have been hit by that car (assuming everything else to
have been the same). But sometimes we have no access to what would have happened
and are assigning truth values by conventions of discourse (another kind of
inheritance system). In many of these cases there is "no fact of the matter"
or none accessible to us.
Some assertions about what might have been are conditioned by a cognitive accessibility
element, an element not prominent in the other cases mentioned so far. So we
have to accommodate the facts that (1) sometimes we treat statements as true
because that's the way we talk about certain matters even though there is no
cognitive access, independently of our talk, to the situation and, in fact,
may be no definite situation at all; and (2) sometimes we treat statements as
true or false by association with others (inheritance) without any regard to
whether this is a determinate situation as apparently stated: "Johnny,
you are likely to fall."
Divergent truth values can appear earned when we relax the restriction that
it is the real natures of things that make counterfactual statements true or
false: "If I'd had different parents, I'd have had significantly different
characteristics." Read superficially, that looks like an obvious truth.
But since I couldn't have had different parents, we can either say the statement
is true because the antecedent is impossible (thus treating the whole as a truth
inherited from the falsity of the antecedent by way of a rule of logic), or
we can treat the statement as false because I could not have had significantly
different characteristics, whatever the circumstances. The statement can have
divergent values depending upon the inheritance scheme (here, the logic), and
other assumptions in which it is embedded. When we attend to judgment, as distinct
from its verbal expression, what a person would believe, who would utter the
statement above, is probably just a substitution instance of the generality
"if people have different parents, they have ...." And so, what is
thought would indeed be what is so.
We seem to use a deviant logic: a conditional whose antecedent and consequent
are both impossible is false because "reality cannot be that way,"
rather than the usual trivial truth accepted by philosophers as a paradox of
logic because "what is always false implies what is always false."
I think we are entitled to choose the interpretation of what we say to fit the
conventions of the discourse we use, unless, as is often so in law, there is
a definite "public" convention that settles how the statement is to
be understood. Overriding everything else as governing the meaning of what we
say is what we believe, in so far as it is determinate and accessible to us.
"If I'd been of military age in 1066, I'd have been part of the Norman
invasion." Nothing known to us about the Norman invasion makes it false.
We do know I could not have been of military age in 1066. We could say that
is true because the antecedent is impossible, or that it is false for the same
reason, or false because the consequent is not implied by the antecedent, etc.
(not a necessary condition of its truth). Different rules give different results.
To invent possible worlds so that at least one contains such a situation or
even so that none contains such a situation is simply to force a truth value
by our modeling. It does not solve any problems.
Not knowing now how reality would have been is not sufficient for certainty
that it would not have complied. In some circumstances unascertainability may
be sufficient for a statement's not being true without being sufficient for
its being false. Thus, bivalence is not a feature of such discourse.
Overall, we have to acknowledge discourses that do not accord with classical
logic. The reason, so far, is rather trivial but persuasive. If we acknowledge
two factors in some discourses, a compliant reality and cognitive accessibility,
as being involved in the necessary conditions for "is true that,"
then we need to countenance that "is not true that" will not imply
"is false that" in the sense of "has no compliant reality,"
but "is cognitively indeterminate that," disjunctively as well.
Now some people, like Dummett, would have you think we have to countenance the
same principles of validity for all sectors of discourse. But I think not: You
do choose principles of validity appropriate for the activity the discourse
serves. Their main purpose is to minimize reasoning from the true to the false.
But the chances of doing so vary with the subject matter. And sometimes the
discourse is affected by cognitive accessibility in principle. Sometimes we
reject bifurcation, (p)(pv-p). Sometimes we even have to reject "excluded
middle" in the form where it is thought that for any assertion "p"
with content and a truth-value there is another assertion "not-p"
with the same content, and an opposite truth-value. For natural necessities
and singular existentials do not have opposites with content, including successful
reference, because there are no opposite situations at all.
If we discard inheritance schemes like material implication and strict implication
("If I'd been invisible, then ..."), and disenfranchise suppositions
that are contrary to the potentialities of things, and dismiss ones that suppose
the non-existence of the actual ("If I'd never been born"), or disregard
the known limitations of things ("If I'd had the musical talent of Bach...,"
or "If I'd had the winning ticket"), we will soon be down to what
things could do as a function of what they can do: to what might have been as
determined by the natures of things. Then we have earned truth, if we get it
right, and earned falsity if we get it wrong. For instance, "If I'd attached
those wires that way, the pump would have short circuited." Either it would
or it wouldn't (given the electric power). Such conditionals are the paradigms
from which other contrary-to-fact conditionals are constructed by relaxation
of the mentioned restrictions until we can even construct some statements that
suppose situations "beyond reference" or situations "beyond conception":
"If the absolute power of God had been differently disposed, there might
have been no creatures at all." If that statement is false it is because
something is actually different from what is implicitly supposed about the existence
and nature of God. And if it is true, it is because of what is actually so.
Thus counterfactual statements with earned truth values earn them from what
is actually in being. But just as many have only inherited truth-values and
as many, again, have none at all, and as many again are not true because a compliant
reality would be unascertainable. These phenomena can be better accommodated
by an ontology that relies upon the real natures of things, and that explains
how there can be earned truth and falsity, as well as inherited truth and falsity,
without any counterfactual reality as the "possible worlds" ontologies
suppose, and explains how lots of contrary-to-fact conditionals have no truth-values
at all.
2. Limits of reference.
Because we have to use words, networked in meaning and attached by calling to
things and kinds (how else would words have either linguistic or overflow significations?),
we cannot express a situation entirely unrelated to what there is. Yet, there
might have been things of entirely other sorts. Such contents are inexpressible
and unthinkable except schematically, like Leonardo's "Winged Man."
Attempts to state what might have been entirely otherwise fail to convey anything
with definite de re necessities, or are inconsistent. To say, there might have
been babies with wings, amphibious dolphins, or talking reptiles is to populate
a bestiary with what is really impossible, not to describe what might have been.
Those real natures incorporated by reference as overflow conditions for the
kinds we are conjoining, would not so combine. For natures carry their causal
oppositions as well as capacities with them into any combination. Otherwise
the notion of real universals (real common natures) is too indefinite to be
of use. But what about recombinant DNA? "If nature had assembled human
DNA in certain other ways, there would have been babies with wings." At
one level that is a triviality, made true by the conceptual alignment of what
would count as "certain ways." But if such arrangements are naturally
impossible, then we would not let that conditional license the statement, "There
might have been babies with wings."
About other cases, say particles of diameter less that 10-23 cm., we have no
way of knowing that real features would so combine (and very good reason to
think they would not). And to say, "Well, it is not inconsistent"
is to get the cart before the horse: semantic inconsistency is (sometimes) a
reflection of natural impossibility, not its explanation. Semantic inconsistency
can also be a hangover from false beliefs or incomplete knowledge and not mark
impossibility at all, e.g., of three dimensional pictures of things (holograms).
In the middle ages talking pictures would have been thought inconsistent, impossible
or miraculous. And further, something can be impossible when it is not inconsistent,
e.g., a meson computer.
Descartes tried to illustrate with mathematical examples what would have been
so, had God exercised his absolute power differently but the result, except
for geometry, seemed inconsistent. Our ability to conceive of what might have
been is constrained by concepts derived from what is. Our concepts are attached
by reference to overflow necessities that limit what we can coherently say about
what might have been. Even a metaphysical voluntarist does not think humans
might have been incorporeal (except Descartes), colors invisible, mass without
inertia, or that 2+2 might equal 5. Nothing real could have been of any other
kind. No mouse could have been a cat, though a typewriter dropped to a cargo
cult might have been a prayer machine. And no formal object could have had other
attributes, though there might have been other formal objects instead and there
might have been no such formal objects as the natural numbers, imaginary or
complex numbers, Euclidean triangles or infinite sets. No one disputes that
we might not have thought of them; the dispute is whether our not having thought
of them would be sufficient for their not being at all. There is no point to
saying that God thinks of them; God has no need to think mathematically or geometrically,
both of which are ratiotinative and require ignorance.
Had something else existed, not of any kind that is actual, something instead
of what there is, it would not have been "different from what there is,"
except from the merely putative standpoint of what there is, which would not
have been actual at all. What is actual would not logically "remain"
as a content for some definite difference. The referential vantage would be
negated. Nothing would be missing. That's the way with uprooted common names
and predicates. Tear out all reference and truth-values die, leaving only a
verbal shell that might look like a statement but fails referentially.
What wholly other kinds of things there might have been are inaccessible. Universals
or common natures are real only in coincident things [see Chapter 7, below].
Wholly other kinds are not real possibilities. There is no content. "They"
are not really possible because "they" cannot be the objects of reference
and certainly not of quantification. The statements, "they are inaccessible,"
"they are not real," "they have no content," have no extension,
no domain of quantification, no realm of reference. We merely cantilever intentionality
from the way we talk about what exists. There are no abstract surrogates for
empty kinds, only the second order, consequent, (plastic) universal, "being
a kind," coincident with every kind but not exhausted by what there is.
One can say, using a sense of "possible" originating in Aristotle
("within the ability of an agent") that other kinds are really possible
in that there is an agent able to make things of other kinds (a Creator), but
we cannot say what other kinds are possible.
A universal is the reality a parte rei that satisfies the signification for
a word (either common noun or common adjective) -- the real conditions of application.
Thus "to be an animal" in the broad sense of a thing capable of nutrition,
growth, reproduction, locomotion and sensation, may have cases where the physical
conditions making a thing capable of sensation are not only different but opposed.
Thus, warm-blooded animals capable of vision may differ from cold-blooded aquatic
creatures with magnetic senses; the subjectivity of each may have little in
common with the other except for the amazing thing that it is subjectivity.
Similarly for sensation and perceptive action. A universal does not have to
be a real nature or a basic reality. It can be entirely consequential as is
"being a bird," as long as it is entirely real, like the rotational
laterality of a skyscraper. Universals, as we shall see, can be consequential,
resultant or emergent or basic physical realities (the sources, rather than
the outcomes of causation).
How do we know there could have been other kinds, especially if we do not know
about any other kinds? We do know, about our kinds, that nothing about them
(as far as we can tell so far) requires that they be the only kinds. If we really
do know that, that settles the matter. Secondly, "being a kind" which
is a second-order consequent universal, not a constitutive nature, is coincident
with every case that is of a real kind. That coincident universal is not logically
exhausted by what there is. So there could at least logically (conceivably)
be other kinds, for what little that is worth, in light of arguments already
displayed. Whether that amounts to real possibility depends on whether something
exists that is able to produce things of other kinds.
The natures of real things are eternal and immutable, but every finite thing
might have been of different natures, not by change of nature but by substituted
things. We cannot say what such natures might have been. We can say quite a
lot about what might have been, provided we are talking about contingent conditions
or natural necessities of actual things and kinds. So, I might have been a physician.
There might have been more philosophers in this decade. If a planet the size
of Jupiter had collided with the Earth, the Earth would have tipped out of orbit.
These are all rooted in actual things. As thought-contents, they have real constituents,
not representations or symbols. Not all the things we can say have the same
status. Some are definite alternatives; some are true by inheritance; some indefinite;
some without truth value; and some, arbitrary (e.g., "If I'd been an Asian,
I'd have been a woman.").
Some real thing might have differed by an added necessity from what there was,
previously. That is, offspring might have added an essential element, not present
in ancestors, as flying cockroaches developed from non-flying species. How it
happened, without intermediates, is astonishing and unexplained. But no single
thing changes its non-indexed necessities. And no species (1st level kind) changes
its component universals. No coincident and constitutive universal changes either.
Rather, there are cases of a new kind. No essence changes. "Essence"
here is nearly equivalent to "quiddity," and "real nature"
(a coincident nature sufficient to determine a substance, a kind of reality
that exists as a subject in being, rather than because of the being of something
it modifies).
One cannot be sure about what universals there might be, if any, if there were
none of the actual ones. We are not even aware, yet, of the basic material universals,
the ones from which all others are consequent, resultant or emergent. (Later
on, we will consider whether there may be none.) Someone might say, "There
could be universals satisfying any consistent description." Yet that is
exactly what we know not to be so: (i) we do not know whether the actual universals
are the only universals for a material world, and so, we do not know that any
other material universals are really possible; (ii) we do not know, even supposing
other universals to be possible, that there can be other universals to supply
the overflow necessities for just any consistent description; in fact we know
in many cases there cannot be; (iii) we do not know, about a postulated totally
foreign universal, what it is and that it is possible. So we can't say "there
might have been regions of space that are persons," pretending that "regions
of space" and "persons" do not involve any actual universal by
reference; for then there is no definite sense, no definite content, to what
we appear to say. Nothing determinate enough to state a possibility has been
said. That may be the same with saying, "The values of some of the universal
constants might have been different." We seem to state a possibility but
perhaps nothing definite enough for a possibility has been said.
3. Limits of expression.
Natural languages have potentially infinite expressive power quantitatively
but are actually finite. Vocabulary is limited (even though semantic contagion
offers infinite polysemy). For any crisp thought to be expressed, there has
to be background thought that is not expressed. In any case, you can't say everything
that can be said (in some natural language) in every natural language. Either
"this is in French," said in French, is the same as "this is
in French," referencing to itself, said in English or there is something
you can say in French and not in English. But if they are the same, why is "celui-ci
est en Francais" always true while "this sentence is in French,"
referring to itself, is always false? But if they are different, you can say
something in French you cannot say in English, and vice versa. Further, what
is so, infinitely overflows what can be said, as was explained in Chapter 1.
There are other limits to expression as well, some we cannot explain very well,
for example that what can be expressed musically or in poetry or drawing cannot
usually be stated; and we conjecture that our ability to judge how things are
falls short of the forms of a reality that exceeds it.
4. De re necessities are neither conventional, conceptual nor linguistic. Why
meaning- inclusions cannot account for real necessity.
Necessities overflow meanings, first. Secondly, necessities existentially precede
ideas, words, meanings, and concepts. Thirdly, necessities are not all known.
Fourthly, they cannot all be expressed. Fifthly, meanings adjust to our beliefs,
which in turn, adjust to necessity.
As I made clear in Chapter 1, it is not the meaning of a common name that settles
which are the necessities of nature; they overflow and are discovered by experience
and science. Many are unknown as the atomic constitution of gold and water were
unknown for most of human history. Meanings adjust to include our beliefs about
things, sometimes our false beliefs as well, as when dolphins were thought to
be fish or "a constellation is a pattern of stars" (some have galaxies
as stars). We turn that commonplace falsehood into a commonplace truth by letting
"star" float in meaning as "whatever people called 'stars'."
"Conceptual inclusion" will not account for natural necessity, whether
the conceptions are pre-programmed (Kantian a priori) or acquired (positivist
conventionalism), for the same reasons verbal inclusions do not. To say natural
necessity is co-extensive with conceptual (or meaning) inclusions is empirically
false, and false in principle as well. For one thing, necessity overflows meaning
in every area: manufacturing, engineering, technology, war, finance, and environmental
destruction. Three ounces of dioxin, 2,3,7,8, TCDD in a city's water supply
would kill a million people. (And there are six hundred pounds produced annually
in one United States factory, as by-product from making trichlorophenol for
the herbicide 2,4,5,-T and the disinfectant hexachlorophene.) Could such lethal
power be the result of our meanings and concepts? Is someone going to tell us
that death is a convention or a mere conception? That's catching at straws.
Real necessity is neither co-extensive with nor encompassed in meaning.
Positivist conventionalism and Quinean "revisability of all belief"
failed to accommodate natural necessity. Yet the fashion, from the mid-nineteen-fifties
to the mid-seventies, was to deny there are real natural necessities, and to
claim that the notion is incoherent, until Kripke [1972] was persuasive that
there are necessities discoverable through experience, particularly identities
involving common and proper names. Displaying that we do discover necessities
a posteriori did not of itself settle that such necessities are real necessities,
that is, mind-independent, or discourse-independent. But it did leave something
conceptualists and conventionalists seemed unable to explain; namely, how we
happen on the previously unknown natural identities. We do find out such necessities
through experience, even though no then extant account of knowing could explain
how. Indeed, one of the reasons for reintroducing "abstraction" as
I do, is to explain that. I note that Kripke's later writing about Wittgenstein
[1981] seems to espouse a brand of meaning-skepticism in conflict with the certainty
he earlier displayed. Kripke's earlier reasoning needs to be buttressed with
the argument from Chapters 1 and 2 that the de re necessities for real natures
(say, hydrogen) overflow our meanings and conceptions, no matter how we augment
them, and so, cannot be accounted for or explained by meanings and conceptions.
Our cognitive processes have been underestimated by naturalized epistemologies,
from Hume onward, that hold we have no experience of real necessities. That
was always a non- sequitur anyway: that because sensation cannot disclose them,
we can have no experience of them and, therefore, there are none. For one thing,
the limits of sensation are not the limits of experience; for another, to suppose
the limits of sense perception are the limits of reality is gratuitous. The
critical-idealist, conceptualist and conventionalist positions were originally
developed to account for the "necessities" at the base of physical
science. But they had the effect of denying that necessities can be known from
experience and of denying that in science we discover how things "have"
to be. Kripke re-persuaded a number of people that some necessities are discovered,
without providing the replacement pieces for a theory of knowledge to explain
how we do it.
For instance, induction (by cases) and deduction are not the only or typical
ways we figure things out or come to generalizations. Our perceptual processes
are not typically representational, as if we got around in our world like a
person moving around in a room by watching a 3-D display on video-goggles. Detailing
how knowledge differs, observably, from what philosophers say about it, does
not fit here yet, though it will. But keep in mind that the empiricist trio,
"evidentialism," "representationalism," and "inferentionalism,"
caricatures our knowing and blocks any account that actually explains our knowledge
of real necessities and impossibilities through experience.
Necessity might, for all I've said, be a kind of cognitive illusion, not the
result of linguistic conventions or conceptual schemes alone, but also the result
of cognitive economy by which we simply ignore the "grue" phenomena
and privilege certain principles provisionally but very highly. That seems to
be the post-positivist stance, not only up to Goodman's Ways of World Making,
but beyond into the new pragmatisms of Putnam and Rorty (which are quite different).
As will be seen later, that's not in the cards. The experiential evidence, the
success of science and its technological applications, make it undeniable that
there are real, active natures of things (some call them universals), the foundations
of natural necessity and impossibility: you cannot make milk by churning gasoline;
you cannot make a cabbage think by connecting it to a battery. We need an account
of knowledge that explains how we know what we undeniably do know.
5. Analyticity is a result of meaning arrangements to simplify empirical knowledge
(belief).
That the analyticity of certain sentences, or statements accounts for natural
necessity is false, as silly as saying the reason I cannot digest stones is
that the statement "people digest stones" is contradictory. Analyticity
has functions that result from (presumed) cognition. Conceptual and linguistic
inclusions (and oppositions) are bundles of (purported) cognition, giving immediate
access from one part of experience to another. Necessity, once known, can be
condensed into a meaning inclusion, e.g., "rust is ferrous oxide,"
especially through the stipulations of crafts; for example, "thermoplastics
are materials that change from solid to liquid under repeated applications of
heat." That analytic statement was fashioned after the discovery of materials
that turn to liquid under heat and cool to solid, as often as one wants at normal
temperatures. (Yet chocolate, butter, and water apparently don't count as kitchen-variety
thermoplastics.) As Quine [1991] pointed out, it is an empirical matter that
meaning relations are as they are. As a result there is no guarantee that inclusions
and non-synonymy track the truth.
Analytic statements are not all the same, as philosophers think. "A saw
is a tool you cut wood with" (as is a knife, an ax, a plane, a chisel,
an adz, a spokeshave, and so on), is not strictly true, because there are ice
saws, metal saws, stone saws, etc., but is a "truth by a paradigm case,"
because it defines a name for a paradigm case. That is different from the logically
quiddative: "closed-end mutual funds do not buy back their own shares"
or "broker-dealers make a market in securities, buying and selling for
their own accounts." They tell you "what a thing is," legally,
from definitions used in performative utterances to create institutions and
roles, not merely relations of ideas. That differs from "spinsters are
unmarried females of a certain age" which is an indication of the range
of persons usually called spinsters, and from "castleing is a certain move
with the King and Rook in chess," or "a straight is a hand in sequence
in poker" that tell the general sort but not exactly what the things are
and are consequences of another kind of rule-making. "Marsupials carry
their young in a pouch"; "a pouch is a bag in which marsupials carry
their young." Notice the belief elements of meaning: that certain animals
have a bag in which they carry their young. It is simply false that definitions
have no factual presupposition. Just to say "There are warm-blooded animals
and birds" presupposes that some animals and birds regulate their own body
temperatures.
Errors about nature also become parts of meanings: "An atom is the smallest
unit of matter" [Webster's Dictionary for Everyday Use, 1988], as against
"an atom is the smallest particle of an element." That there are elements
is presupposed, a belief element of meaning; further, it is presupposed that
parts of atoms do not behave as elementary particles. In the early twentieth
century, we were taught, "an atom is the smallest material unit, with a
sun-like center, the nucleus, and planet-like satellites, the electrons."
That ("Dalton atom") turned out to be false in the sense of "too
coarse," "too gross." In the eighteenth and nineteenth centuries
"being material" came to mean, for many, "being mechanical,"
that is, obeying mechanistic laws, and, perhaps, "with mechanical insides,"
like a clock, along with solidity, etc., that turned out to be false. Micro-matter,
protons, neutrons, and leptons, do not have primary qualities literally as they
were understood in the seventeenth century, and do not interact mechanically.
Only mid-matter is thought to be somewhat like that now, but not entirely because
of electronics and superconductivity, etc. Micro-matter is not solid, shaped,
in a definite place, etc.
Because there are belief-elements of meaning, analytic statements can be false,
as I have illustrated. A belief-element of the meaning need only be false. Thus,
if God does not exist or does not redeem humans, the analytic statement "Sanctifying
grace is the grace sufficient for salvation" will be false because of its
existential supposition, just as "caloric is the fluid consumed to make
heat and light" is false, and just as is "being necessary is being
true in all possible worlds" is false. The idea that meaning inclusions
are never based on false presuppositions is simply mistaken. Further mistaken
is the Humean-Kantian idea that conceptual inclusions are independent of experience
and can tell us nothing about the world.
Analyticity simplifies our (presumed) knowledge, especially of natural necessity.
(But, as I said, that's not the only kind of analyticity.) Meaning inclusion
bridges elements of knowledge or mere conviction to one another by inclusion,
e.g., "Coal is a hard black mineral consisting of carbonized vegetable
matter mined from the earth." So, could there be no coal on another planet?
In harmonic theory, the relationships of thirds, fourths, fifths, sevenths,
diminished sevenths, etc., are all interdefined. Analyticity (to echo Goodman
on realism in art [1968]), makes for ease of access among convictions. If I
take it as part of what I mean by light that it has a constant velocity of 186,000
mps, I can more easily figure out other things, e.g., how far apart two events
have to be to require an hour to interact. If I take it that "light is
those frequencies of electromagnetic radiation which directly stimulate the
organ of vision" as Penguin English Dictionary [1982, p. 442] puts it,
I may take it that invisible light is contradictory and, so, impossible? But
that meaning-inclusion expressed a false belief.
If I take it as a matter of meaning that a billion is a thousand million, and
a trillion a thousand billion, as against the British and Canadian usage, I
can easily imagine the U. S. 1989 budget as one thousand, thousand millions
and the early 90's annual deficit of 40% as four hundred thousand millions,
about four hundred thousand dollars for every citizen of Rhode Island (or every
resident of the island of Manhattan).
Analytic items of all the kinds I mentioned function as minor premises in our
reasoning. They connect things up in thought and discourse. Analyticity has
a "footstamping" role as well. A few trivialities establish a base,
to square off, to frame a position for understanding what else is to be said:
"Ours is a nation where liberty is protected by law, but where basic liberty
precedes and is only recognized, rather than created by law". We use "self-evident"
reports of experience the same way, to set the framework for expressing further
thought. A judge might begin a decision with "all men are created equal,
and that includes all women too" and then proceed to resolve some disputed
matter. To make a point clearer, I might say, "People get smaller in the
distance, but not in stature." It is interesting to listen to the framing
analyticities philosophers and lawyers, politicians and doctors offer, especially
when they are false: "A sickness is not something one is responsible for"
(except in the case of cancer caused by smoking, ulcers or liver failure caused
by alcohol, morbidity caused by overeating, etc., etc.); "we physicians
do everything we can for the welfare of our patients and of the public and nothing
else" (except practice defensive medicine, undersupply pain relief and
listen distractedly to stories we think we've heard over and over). "The
earth is round" as opposed to "flat" but not as opposed to pear-shaped.
So it is analytic that the earth is round but, strictly, false that it is a
sphere.
Linguistic inclusions might have been different; not only might the same sound-spellings
have had different uses entirely, but the same words (that is, same sound/spelling
patterns) might have included other items of meaning. "Potato" might
have meant "edible tuber, dry-freezable in the manner of the Aztecs,"
the way "tsetsin" is "a food-staple made from rancid butter and
common among Tibetans." It wouldn't make any difference if it was later
discovered that only 10% of Tibetans used tsetsin, or that the Aztecs only accidentally
let potatoes dry freeze. For intriguing examples of belief-elements included
in meanings, and of the borderlines between inclusions, associations and references,
look at a some New York Times or London Times crossword puzzles.
Traits that we leave out of our word connections are not considered relevant
to modifying behavior in the contexts where we use the words. "Edible tuber"
is not part of the meaning of "potato" for most people because it
has no behavior modifying function, not already done by "underground vegetable,
long lasting, generally like carrots, parsnips, and turnips, but tasting different."
"Tasting different"? To whom? Pigs? Is a potato really a vegetable?
What is a vegetable? Most people have no opinion at all as to whether "tubers
are vegetables" is true or not. On the other hand, much is included in
meaning that is accidental to the things because that information has a behavior-modifying
function in discourse. "Motorcars use gasoline" is not necessary;
it is not even strictly true because of alcohol and gasohol, bottled gas and
electric engines. But it is analytic. It is purported knowledge and a useful
belief capsule.
Some cases fail to satisfy the conditions expressed in the meaning. That is
because of idealization in the conception. "Water is an odorless, tasteless,
colorless, potable liquid." That is analytic, and it is true of distilled
water. But "is water" applies to what comes out of my city faucet,
that smells bad and tastes of chlorine. It could be distilled; so could the
ocean, in a different sense of "could." Thus there are four patterns
whose cases do not have the features that are analytically contained: (i) Idealizations
("water"), ("calorie"); (ii) paradigm description ("saw"),
("cars go on gas"); (iii) meaning-incorporated false belief ("atoms
are the smallest particles of matter"), ("gold is A79"), ("heat
is average kinetic motion of molecules"); and (iv) analogous definitions
("life is self movement").
6. There is no direct connection between analyticity and truth.
I already illustrated that; but it needs reflection. For instance "Hesperus
is Phosphorus" is thought to be analytic because the Morning Star, Venus,
is the Evening Star, Venus. But that belief-element will over time become false;
over time, which is the first star (planet) seen at night changes. Analyticity
is not sufficient for the truth of what is expressed, as examples of four kinds
just above showed. In general, because false presuppositions can be elements
of inclusions, analyticity cannot assure truth. A fortiori, it does not assure
necessity. The mere fact that one notion includes another does not assure that
reality complies. Nor are the real natures of things specially revealed in our
concepts. Conceptual analysis has little or no prospect as a method of science
or of metaphysics. "Salamanders are animals that can endure fire"
was thought to be true because that's what salamanders "are." But
that's not so. "A hectare is an area containing 100 acres or 10,000 square
meters (2.471 acres)." That must define an equivocal term or there are
none. "Laws are general principles to which all applicable cases must conform"
[Webster, 1979, p. 1028]. How then can the laws of physics lie [Cartwright,
1983]? The last example better illustrates "bad definition" than "meaning-included
false belief" because it does not express what we mean by "law"
except in some very restricted areas of discourse. Although the general laws
of physics may be true, they do not predict the actual values of particular
cases, because of other forces and factors present. Nevertheless, the way we
make ordinary measuring instruments, say an electrical multi-tester, the "readings"
are rough enough that they do fit formulas like "amps times volts equals
watts," and the same is true for spirit levels, plumblines, measuring tapes,
etc. We simply build the tolerances into the grossness of the scaling.
There are necessities about ourselves, undiscoverable by analysis of the meanings
of words (or concepts), for instance, our DNA structures, our tissue rejection
properties, our immune system condition, etc. Furthermore, necessities of nature
may be represented in meaning inclusions ("water is a liquid"), even
though conditional; or may be left out ("glass is a liquid"), especially
when not relevant to modifying behavior with the ordinary words, as noted above.
"Solid glass" cannot mean what most people take it to mean. Chemical
bonding features are left out of what we mean by "water," "helium,"
or "iron."
As mentioned, falsehoods achieve inclusion, too. Among socialist thinkers, "citizen"
excludes the idea of "having rights against the state" and "having
a personal fulfillment not a function of the social good" -- elements included
by others. So, "citizens have no rights against the state" is analytic
(a conceptual inclusion), and is also a legal reality, and has important stand-taking
uses. But it is not true (except legally in totalitarian states). And what Americans
might regard as analytic, "all persons, citizens or not, have basic rights
against the state," the (former) Soviets and some of our own political
conservatives regard as legally analytic for us but substantively false. The
truth of the matter is not determined by what we mean. A most persuasive demonstration
of the last point can be found by one's looking through a large dictionary,
keeping in mind that "belief elements" are parts of meanings, as in
"potatoes are edible tubers," and noticing the false belief elements
in the meanings of words as sketched there.
Notice as well the limbo of statements that may express meaning equivalences
to some, and empirical co-extension to others, like "Beryl is inorganic"
and "moonstone is feldspar." For experienced rock collectors these
may express transparent truths and not just a conventional equivalence of names.
One man's analyticity may be another's obvious generality and still another's
merely verbal convention as to what things are called.
Once we add the separation of meaning-inclusions from truth, and thus from necessity,
to Kripke's separation of the necessary (identities) from the a priori (what
is known independently of sensory perception), we can explain something that
was paradoxical: why thought and meaning cannot explain natural necessity but
can explain formal necessity. Further, the option that formal necessities are
"free creations of the human mind," in Dummett's phrase, becomes persuasive,
whereas the Humean option that real impossibilities are similarly explained
becomes absurd.
7. Linguistic reluctance.
Why don't all the necessities we discover become elements of meaning? Because
we don't need them, as I have already said. They have no function in the discourse
in which we use the words to modulate behavior. Traits that are known to be
natural necessities are not added to the meaning-network for a word unless we
need them. Just look at the list of known necessities about iron in Van Nostrand's
Scientific Encyclopedia [p. 903]; probably no more than a handful even know
them to be true or have any use for all of them. Cognitive economy explains
non-inclusion and inclusion too, a kind of natural selection. We leave out of
the meaning what is irrelevant to the behavior we use the word to modulate.
The reason "water is H2O" hovers between being analytic and not, is
that for important purposes, including public water supply testing, the chemical
composition is important, whereas for most people that information has no function
except as a levity. Besides, with things that are really the same, at least
in constitution, you can know what one is and not what the other is: "Water
is H2O"; "sapphires are transparent blue corundum."
Because common words occur in a great variety of contexts, to modify many kinds
of behavior, they have many senses (different meaning elements), particularly,
many craft-bound meanings. The different meanings (sometimes related, sometimes
not) are like distinct packages of inclusions and oppositions of belief (usually
called "knowledge"). The packages are fashioned for the activity they
serve, and facilitate transition from one idea to others and from commitment
to commitment. So, a "line" on a boat is a rope (or substitute); a
"line" in music is one thing; in a poem, another; on a road, a kind
of marking; in a store, a queue or a sort of merchandise; and each meaning belongs
to a cluster of background beliefs.
We do not package elements that are behaviorally non-functional, anymore than
we put rain-suits into desert-packs. We include the elements, whether strictly
true or not, that are functional. So water is a liquid, even when frozen or
a gas; and for practical purposes, glass is a solid, not a liquid. How about
ice? Is ice a liquid (glacial flow) or a solid? Is either analytic? Certainly
whichever is true must be a natural necessity. Asimov [1972, p. 278] speaks
of ice as a solid and describes a kind of ice, ice-III, "that is a solid
at temperatures higher than the boiling point of water." Yet, the meaning
of "water" just will not include laws of chemical bonding, or the
laws of liquidity. That information has no function outside special crafts.
In contrast, "philosopher" means "lover of wisdom" even
though most philosophers are not. How about "diamonds are just pressurized
graphite" [cf. Asimov, 1972, p. 278]?
The meanings of words include what is pragmatically relevant, often as "of-the
-nature-of-things" (even about hands of cards, that may be all made up).
Meaning-inclusion, like conceptual inclusions, is a thought-to-thought and thought-to-action
connection. Where falsities work well, they often remain, as in rules-of-thumb
("wood shingles are spaced 1/8 inch"), proverbs ("a miss is as
good as a mile"), Murphy's law ("what can go wrong, will") and
conventions ("a rising tide floats all boats").
The counter-considerations, that there are no real natures or that they are
cognitively inaccessible to us -- so that the incorporation of general beliefs
as meaning elements is a progressive cosmic misunderstanding -- is directly
refuted later on, as are similar attacks from convention [D. Lewis, 1969], from
borderline cases, indeterminacy [Quine, 1960, p. 28, and 1987(b), the riddle
of induction [Goodman, 1955], the Kripkean W-skepticism (the view Kripke attributed
[1982] to Wittgenstein), and anti-realism based on problems of reference [Putnam,
1987], and from intuitionist denials of excluded middle and bifurcation of predicates
[Dummett, 1991]. None effectively undercuts the realism about dynamically effective
natures required to account both for successful science and for common sense
experience.
8. On incorporating overflow necessities.
In "Philosophy of Language and the Rest of Philosophy," H. Putnam
resolves his twin Earth problem about whether "water" means the same
thing to those whose tasteless, odorless, potable liquid is made of xyz instead
of H2O, by saying "water" does not mean the same thing as it does
to earthlings. That is equivalent to saying that at least some of the de re
overflow necessities, namely, the chemical constitution, picked out by the reference
to paradigms, examples, or just ordinary cases, are incorporated into the meanings
of the kind word. It is not inconceivable that people on Twin Earth might incorporate
their knowledge of the chemical constitution of water into the meaning of the
word "water" just as some knowledgeable Earthlings mean H2O, in part,
by water. What is simply impossible is that in nature the same macro-properties
exhibited by stuff constituted of H2O molecules should be exhibited by a quite
different constitution that is naturally impossible. Putnam's example is just
day-dreaming. But his point, adjusted to allow the overflow necessities to belong
to the signification, not the meaning, is right: what the Twin Earthlings' would
call "water" would not be the same stuff we call "water,"
and so, relatively to us, there would be homonymy.
We find out all kinds of real necessities for water, iron, electricity, and
stars that are not incorporated into the linguistic meanings of the words, but
are, instead, among the conditions of applicability for the kind-words. It is
just not true that the meaning of any natural language general term contains
all the conditions that an object has to satisfy for the word to apply to it,
or even all the ones we know of or believe in. The micro-composition of water
could not have been part of its meaning when it was unknown. Besides, we don't
know all the conditions, even now. And linguistic conservatism determines what
gets into the meaning, and what, not; as already explained.
If per impossibile, there were a mid-range same liquid, of different micro-composition,
but called by the same name, "water," what the two groups would be
talking about would, in composition, not be the same (so their references would
be different), but what they would be talking about (as to mid-range liquid)
would be the same and what "water" means, contrary to Putnam, would
be the same, though the conditions of applicability (the signification) would
be different. But so what? (I say all this is within a discourse framework accepted
from Putnam's supposition, which, of course, I regard as baseless and really
impossible.)
There is no choice but to distinguish: (a) linguistic meaning, what one knows
when one knows how to use the word and, perhaps, what one can articulate, more
or less, with the help of a dictionary; (b) reference, the attachment of a word
in use to a particular object (correctly or incorrectly); (c) the extension,
the objects forming the range of things to which the word applies (in the same
sense); and (d) the conditions of applicability, the conditions the objects
in the domain have to satisfy for the word to apply to it -- what C. I. Lewis
called the signification. Now I say by using a term to apply to a real case,
all the de re necessities (whatever are known and all the rest) are incorporated
by reference into the signification -- into the conditions the object has to
satisfy to bear the name. But only those conditions of applicability that practice
employs to modify the activities for which we use the words, are included in
the linguistic meaning. Thus, conditions of applicability, in principle, overflow
elements of meaning. And linguistic meaning is modulated by semantic contagion
and by pragmatic traction [Ross, 1992]. So, Putnam is wrong; the overflow necessities
of constitution are not part of the meanings of kind words. They are scooped
up into conditions of applicability, whether we know them or not, by our reference
to cases. Therefore, Putnam got the wrong answer in the Twin Earth case. There
might very well not be a difference of meaning but would certainly be a difference
of signification instead. For people to be competent and even skilled in their
language, they do not have to have full grasp of the linguistic practices that
are the linguistic meanings of their words, and they, for the most part, do
not have to know anything about the natural necessities and other conditions
of applicability that overflow the linguistic meanings of our discourse. A person
can know zinc is a bluish-white metal, an element, and in trace amounts needed
for health without knowing its atomic number, atomic weight, density or hardness.
But, of course, nothing he is talking about will ever be zinc without satisfying
those conditions.
II. What Has to Be
1. Whence the real natures, the universals?
(a) In brief.
If you grant, at least provisionally, that there are real natures inherent in
things, that is, "solid with things," that begin with them and are
destroyed with them, without any eternal basis in reality like platonic ideas,
but are the intrinsic source of characteristic physical behavior, and that individuals,
stuffs and kinds come and go in the cosmos; and if you allow that the being
of the cosmos, and of the things of various natures, needs an explanation, we
can proceed to the bottom lines of the inquiry.
If one cannot accept the notion that somehow all possibilities are actual and
that being and possibility are equivalent (basically a Parmenidean-Spinozistic
hypothesis, perhaps as I amended David Lewis' version, earlier), then one is
nudged toward the hypothesis that some substance is primary and, not in its
explanatory aspect, material.
Whence the necessities of nature? Not from inert ideas. Not from infinite, necessary,
inert abstracta. Not from chance. Somehow from being. If the cosmically actual
is not all that is possible, and if, beyond the potentialities of the actual,
there is "the rest," "the other" that is indeterminate and
inaccessible, from whence is it possible?
What humans, cells, electrons, and gravity are is not settled prior (logically
antecedently) to the material world. There is nothing to do that. It is settled
for the material-world-in-time either necessarily (for which we must have an
account) or by no reason at all (which is unsatisfying) or by divine creation
-- we do not have to decide which now; but we do know that logical templates,
"platonic forms," and abstractions are only delusions that postpone
explanation without advancing it.
(b) God or god.
Where do possibilities with content come from? Most philosophers assume that
point is somehow "already" settled, somehow settled before the philosophical
story begins, because they can't imagine what would do it. So they just postulate
possible worlds or abstracta, or the like. But such stories are especially incomplete
and unsatisfactory if there are real natures of things, solid with the things
like gold, carbon and iron, and if what we know about what might have been is
fully grounded in the knowledge of real natures which come to be and pass away
with their cases. For where do the natures of things, the real necessities and
real impossibilities come from? Unless we say the necessities of nature (that
we abstract from the real uniformities of things) are all there could be, there
is, as yet, no account of why they are as they are, determining how things have
to be. Why do protons have a life of 1030 years, when the cosmos does not even
"last" that long (supposing it does not)? Why do the universal constants,
all seventy of them, have the values they do? Elsewhere, I suggested that "Lewisized
Spinozism" may be the only comprehensive alternative to creation.
All the other hypotheses, platonist and nominalist ask much more in the way
of unreasoned commitment to unexplained multitudes than monotheism or pantheism.
There are really only two choices: either the cosmos is god (or an emanation
or necessary expression of god) or God is above and beyond the cosmos (paralleling
Augustine's thought in De Libero Arbitrio, Bk. II). And if the cosmos is somehow
god, a divine self-explaining substance, then it is not in its aspect as material
that the explanation of its being is to be found, but in its self-subsistence.
So in either case we have one self-subsistent substance, in the one case making
the cosmos freely, in the other, emmanating it or materially expressing itself
by nature (natura naturans), a theophany. Essentially the choice is Spinozism
revised, or monotheistic creation. In either case, there is a self-accounting
being, a substance whose being is the source of necessity and possibility. Pantheists,
as well as theists, will want to say, as I do, and Aquinas did, "The cosmos
somehow endures forever" [Ross, 1987].
Philosophers who won't go that far either drop out of the inquiry or fault the
search for "ultimate explanations for being" as involving some as
yet unidentified error of thinking. I do not know of a respectable statement
of what such an error consists in, even treating Sartre's atheism with the greatest
respect.
Actual and potential things are the only kinds with content. The real universals
are "solid" with things, beginning to be with them and destroyed with
them, without an external basis in reality, but coincident with individuals,
stuffs and kinds, coming and going with them. Yet the being of the cosmos, the
natures of things, and the existence of any individual thing need an explanation.
If one cannot accept the notion that somehow all possibilities are actual, that
being and being possible are equivalent (basically a Parmenidean option), then
one is forced toward the option that some substance (something that exists in
itself and on account of itself) is primary and not, in its explanatory aspect,
material. Why not material? Because there is nothing about things qua material
that has any explanatory "force" to account for the being of anything
at all.
Inevitably we are forced toward saying that being is explanatorily prior to
possibility and necessity, with the consequence that there is something that
exists no matter what and entirely on account of itself. We then have to choose
between the neo-platonic emmanationist options that the material world is the
one substance expressed in the attribute of spatio-temporality, "extension"
(perhaps along with a maximal expression in the attribute of thought and, perhaps,
in an infinity of other attributes), and the theistic creation options. For
if you postulate neither God, the creative personal substance, nor god, the
one eternal substance of all things (nor god, the absolute, the one mind to
emanate all things by thought -- the idealist analogue), you have no final story
as to why or how anything is possible at all or why or how anything is impossible
either. One has to acknowledge one self-subsistent being in order to bring the
account of possibility, necessity, truth, realism and scientific knowledge to
a coherent close.
Some philosophers say such "ultimate inquiries" are beyond our role
or competence. They deny what Plato, Parmenides, Aristotle, Aquinas, and Spinoza
-- to name but a few, plainly accomplished: to tell such a final story. How
well is another matter. Such enquiries are within our disciplinary competence
and are no more in disarray than disputes about "S knows that P" that
have come to no stable resolution either.
(c) The theistic option.
The classical theistic option, particularly that the divine being is simple,
not a complexity of attributes, is worth recapitulating; it has often been misunderstood
or ignored. The common natures of things, the real universals (which are not
really universal apart from our understanding) are created with the things.
The choice made, God's power ordered, it cannot be altered; it is immutable.
One reason is that God's contingent condition is logically the determinate of
his necessary condition (determinable), and so it is all of it -- just as the
being red of a colored thing is all of its being colored, though it might have
been yellow. Thus while everything possible is not actual, and some of the possible
is accounted for by the unexercised abilities of things and the potentialities
of things fulfilled one way rather than another, the merely possible that might
have been but is not rooted in the natures of creatures, is within the absolute
power of God but inaccessible to us because of untaken divine elections (which,
had they been taken, would still have been inaccessible to us because the actualities
would have been instead of us). There can be no unrealized capacity in a being
"in pure act." So there can be no successive deciding.
What might have been, as far as it is logically determinate, is a projection
from what is actual. Those projections are from the abilities of things, for
example, that I might have written a different sentence. Thus what might have
been, that has determinate content, is conceptually consequent on the actual,
not coordinate and certainly not explanatory. What I might have been is a conceptual
envelope surrounding me and depending on my actual being, and in no way constitutive
of me, prior to me or explanatory of me. My counterpossibilities surround me
like my smell whose shape drifts one way or another in the wind.
God's absolute power has no restraint, ad extra, or in exemplars. God's intentional
object is what God makes. To suppose a real distinction between God's knowledge
(God's intention) and the real cosmos is inconsistent with God's simplicity
and God's non- representational, operative intelligence.
Just as there is no realm of exemplars that empowers God as to what is made,
so there is no darkness of impossibility that restricts God. Everything is impossible
without God. Nothing but what God is or makes has real possibility with content,
possibility in se. There is no possibility in a finite subject without creation.
There is no impossibility-with-content apart from the creation of real things
and, particularly, of thinking things. Impossibilities are the negative cloud
(of logic) "next out" from the positive cloud of counterpossibilities
of real beings, and so, dependent for content on what there actually is, and,
indeed, on what humans actually think, as well as on our choices of logic.
Whatever God makes is antecedently not possible, without content at all, without
even a subject for impossibility. So it is just as correct to say "before"
the cosmos was made, it was not "possible in itself," as it is to
say "before" the cosmos was made, it was possible in God's ability
to make it. [Cf. Aquinas, De Potentia, where he says before creation the world
is "possible in itself."]
Since possibility and impossibility with content are abstract derivatives of
being (possibility with content being the first logical/semantic cloud around
actual beings, and impossibility being the next negative cloud around a single
subject), God makes both the real possibilities and the real impossibilities
by making other things.
Now that is one large-scale picture in outline. Is there a coherent alternative?
I think not, although revised Spinozism, in which all possible being is actual
and all maximally complete modes under all attributes are all actual, seems
to be the nearest to viable. If the actual is not all that is possible, from
whence is the actual possible? My answer: from the ability of a self-subsistent
being. What is yours?