Triton (Trouble on Triton) (50 page)
Since Liebniz, or even Aristotle, the boundaries between mathematics and logic, and between logic and philosophy, have always been strangely fuzzy. Try to define them too carefully, and they disappear. Change your position only a fraction of a degree, and they seem clearly present once more. From this new angle we begin to define them again—and the process repeats. Is it, then, just the maverick statements that our third
critic
would claim Slade has simply scattered through his discussion of the logic of models that tempt us to take what seems essentially a discussion of the foundations of a limited, mathematical discipline and call it a philosophy? Your editor does not think so; we feel that for all its eccentricity of presentation, Slade’s work is philosophically significant—though already (a situation which has existed about Slade’s wofk since the publication of the
Summa)
articles have appeared which claim otherwise. The emblem of a philosophy is not that it contains a set of specific thoughts, but that it generates a
way
of thinking. Because a way of thinking is just that, it cannot be completely defined. And because Slade’s lecture is incomplete, we cannot know if he would have attempted even a partial description. Your editor feels that the parameters for a way of thinking have, in the extant notes of
Shadows,
been at least partially generated. Rather than try to describe it, we think it is best to close this limited exegesis with an example of it from Slade’s lecture. The note we end on—note seven—along with note twenty-two, completes the clearest nonmathematical explanation of the calculus Slade was trying to describe. (In note six, Slade talks about the efficiency of multiple modeling systems, or parallel models, over linear, or series models: his use of pictures, in note seven, to distinguish between words about reality and the real itself is a self-evident example of what he discusses in six. Slade drew the pictures hastily on his blackboard with blue chalk and pointed to them when they came up again in the flow of his talk.) Here is note seven:
There are situations in the world. And there are words—which are, to put it circularly, what we use to talk about them with. What makes it circular is that the existence of words, and their relationship to meanings, and the interrelationships among them all, are also situations. When we talk about how words do what they do, we are apt to get into trouble because we are maneuvering through a complex house of mirrors, and there is almost no way to avoid that trouble, short of resorting to pictures—which I am not above doing.
Many situations in the world have aspects that can be talked of as directed binary relationships. Some examples of talk about these situations which highlight the directed binary relationship are:
“Vivian loves the Taj Mahal.”
“Alicia built a house.”
“Chang threw the ball.”
“Sad means unhappy.”
“The hammer hit a nail.”
Let us take the last sentence, “The hammer hit a nail,” and consider it and the situation it might commonly be used in, and explore the modeling process that is occurring in some detail. First, we have a thing, the phrase
the hammer,
standing for a thing, c=^ . In that phrase, we have a thing, the word
the,
standing for an attitude toward •=4 , and we have another thing, the word
hammer,
standing for the object n^ itself. Next, we have a thing, the verb
hit,
standing for a relationship. After that, we have still another thing, the phrase
a nail,
standing for another thing, T . As in the first phrase, in the second we have a thing, the word
a,
standing for an attitude toward the object T different from the attitude modeled by the word
the.
And, as in the phrase
the hammer,
we have a thing, the word
nail,
which stands for the object T itself. Also, we have a relationship, composed of which thing (i.e., word) is put before the verb and which
thing
(i.e., word) is put after it, that stands for an aspect of the relationship c==A not completely subsumed by the verb
hit
alone, i.e., which object is the comparatively active one and which is the comparatively receptive one—or what can be talked of as “the direction of the binary relationship.”
Now the direction of the relationship is, itself, a relationship; so here we have a relationship, between noun, verb, and noun, standing for an aspect of the relationship c^A .
Now there are other notable relationships in the sentence “The hammer hit a nail,” to attract our attention. In the phrase
the hammer,
for instance, which we have said consists of two things, the word
the
and the word
hammer,
it is necessary that the things appear in just that order. Likewise, the phrase
a
nail
must preserve its order, if the sentence is to strike us as proper. What are these particular relationships necessary for? What would be wrong with the sentence “Hammer the hit nail a,” or
“Hammer hit nail a the,” or “Hammer a the hit nail,” or “The a hammer hit nail”? In all of these, we still have the things in the sentence which stand for the things in the situation, and in all of them the relation between
hammer, hit,
and
nail,
which models the direction of the relation in the situation, is preserved. Is the relation between
the
and
hammer,
or
a
and
nail,
modeling anything in the situation which is suddenly lost or obscured if these relations are lost?
To the extent that our attitudes toward the objects in a relationship are not in that relationship, the simple answer is no. The relationship between
the
and
hammer
and between
a
and
nail
are necessary to preserve the integrity of the model itself; they are necessary if we are to recognize the model as a proper thing for modeling in the first place. But these relationships, between
the
and
hammer
and
a
and
nail,
do not model anything
in
the situation talked about by the sentence. To destroy them, however, may prevent other relationships (that
may
be modeling something in the situation,
or
may be preserving the integrity of the model) from standing forth clearly. This simple answer is, however, rather oversimplified. What shows the situation to be more complicated than our discussion so far is that the same thing may be said about the relationship between, say, the three
there must be seven letters and two spaces between the first
a
and the second, and one letter and one space between the second and the third. Though there may well be a number of other sentences that also have this relationship between three a’s, if there is any
other
relationship between three a’s in a sentence, that sentence will
not
be the proper sentence
The hammer hit a nail.”
Using just letters, and the number of spaces and letters between them, it is interesting to try and work out a minimum number of such relations that will completely describe a given sentence. (One eventually has to resort to specifying distances between different letters.) Notice, however: If we consider the sentence
The hammer hit a nail
to be made up of its letters and the relationships between them, then only a single
thing
among its elements, the single letter
a,
is doing any modeling. The vast majority of the things, as well as the vast majority of the relationships, that make up and describe the sentence are nonmodular. Notice also: How I decide to divide the sentence up into things is going to determine what sort of relationships, whether modular or non-modular, I must list to describe it, whether particularly or completely. If, for instance, instead of dividing the sentence up into letters as a typewriter might type it, I were to divide it into the single strokes that make up the letters on a computer display flash-out, where each letter is made up of lines in a matrix
X/\lA’/V/X?Ks
is going to be very different from the list we talked about before. But let us sum up what modeling is being done by the sentence
The hammer hit a nail.
We are modeling attitudes, objects, and various aspects of a relation between them; to do this job, we are using, among a large group of things and relations, various of those things and relations to stand for the objects, attitudes, and relations we wish to model.
A last point more or less separates the place where the modular calculus separates off from the modular algebra: Suppose, by considering the sentence as a set of letters, we finally found a list of relationships that would completely describe it, such as:
1) Three
a’$
must be separated by, respectively, seven letters and two spaces, and one letter and one space.
2) Two ra’s must be separated by no letters and no spaces.
3 ) One m must follow one
a.
Et cetera
...
Even though, at the end, we have a list of relationships that completely describes the sentence (so that, say, a computer could translate our list into the matrix form of a flash-display, i.e., a list of numbers), still
no
relation, or even consecutive group of relations in our list, can be said to stand for any thing, attitude, or relation in the situation which the sentence models. Yet the sentence is completely described by this list.
Notice also: The list of numbers for the matrix display also completely describes the sentence. Yet here, some consecutive groups of numbers
can
be said to stand for things, attitudes, and relations in the situation—since certain groups of numbers
/
each of which is given a number, then your minimum list of things and relations (minimum because some letters can be made in two forms:
stand for certain words and certain word groups. Notice as well that, while in this list there will be a consecutive group of numbers that stands for the relationship of
the
and
hammer,
and
a
and
nail,
there is no consecutive group that stands only for the relation of
hammer, hit,
and
nail:
because the numbers standing for the second
a
in the sentence will be in the way.
We can call the computer matrix display a
modular description
because it preserves
some
of the modular properties of the sentence in a list that describes the sentence.
We can call the list of letters in relation to each other a
nonmodular description
because it preserves
none
of the modular relations of the sentence in a list that describes the sentence. As we have seen, with our computer example, complete descriptions of models can be translated from nonmodular descriptions into modular ones and back again and remain both complete and intact. The first useful thing the modular calculus yields us is the following information: Consider language a list of relationships between sounds that model the various ways sounds may relate to one another—or, if you will, a list of sentences about how to put together sentences, i.e., a grammar. The modular calculus lets us know, in no uncertain terms, that even if such a list were complete, it would still be a nonmodular description. It has the same modular order (the proof is not difficult) as our description of the sentence
The hammer hit a nail
as a set of letters precisely spaced and divided. The calculus also gives us tools to begin to translate such a list into a modular description. Now the advantages of a modular description of either a modeling object, like a sentence, or a modeling process, like a language, are obvious vis-^-vis a nonmodular description. A modular description allows us reference routes back to the elements in the situation which is being modeled. A nonmodular description is nonmodular precisely because, complete or incomplete as it may be, it destroys those reference routes: it is, in effect, a cipher.
The problem that still remains to the calculus, despite my work, and that will be discussed in the later lectures, is the generation of formal algorithms for distinguishing incoherent modular descriptive systems from coherent modular descriptive systems. Indeed, the calculus has already given us partial descriptions of many such algorithms, as well as generating ones for determining completeness, partiality, coherence, and incoherence—processes which till now had to be considered, as in literature which so much of this at a distance resembles, matters of taste. But their discussion must be left for the last lecture.
About The Author
“Samuel R. Delany is the most interesting author of science fiction writing in English today,” said The New York Times Book Review. He was born in New York City in 1942. His acclaimed science fiction novels include Babel-17 and The Einstein Intersection, both winners of the Nebula Award for best science fiction novel. He has also written Nova, Triton, the best selling Dhalgren and the Neveryon fantasy series, Tales of Neveryon, Neverydna and Flight from Neveryon. Stars in My Pocket like Grains of Sand is the first volume of a science fiction diptych which will conclude with The Splendor and Misery of Bodies, of Cities, to be published by Bantam Spectra Books in 1986. Also a critic of science fiction, he has published two essay collections on the field, The Jewel-Hinged Jaw and Starboard Wine, as well as The American Shore, a book-length semiotic study of the science fiction short story “Angoul-eme” by Thomas M. Disch.
Called “the most interesting author of science fiction writing in English today” by The New York Times Book Review, Samuel R. Delany is the author of more than a dozen acclaimed science fiction and fantasy novels including BABEL-17 and THE EINSTEIN INTERSECTION (both winners of the Nebula Award for best novel), NOVA, DHALGREN, THE FALL OF THE TOWERS and NEVERYON trilogies, and STARS IN MY POCKET LIKE GRAINS OF SAND, the first volume in a science fiction diptych which will conclude with THE SPLENDOR AND MISERY OF BODIES, OF
CITIES, to be published in 1986 as a Bantam Spectra Book.
