AnthonyFlood.com

Philosophy against Misosophy

 

Nature, Contemplation, and the One

Home

Essays by Me

Essays by Others

Privately circulated paper dated from the late 1970s.

 

 

Down with "All"

John N. Deck

Even at this late date, it is possible (indeed necessary) to take a radically fresh look at “universal” statements. 

“All trees are plants.”  Suppose we take seriously the likelihood that this, or something more primitive upon which it is based, arises originally in  an actual knowing of the world.  This procedure will at least have the advantage of preserving a certain feature of the statement too often overlooked, namely that it surely seems to be about trees and plants as things-in-the-world.  If it is detached from the original knowing, this feature is lost.  It then appears—as it often has appeared—as a “relation of ideas,” as “analytic” as “having no existential import,” as a “matter of definition,” in short, as a logical or symbolic vacuity. 

Let us take it then, that the person who originally asserts this universal proposition in a living knowledge of the world knows something about trees and plants.  But what does he know? 

The various formulations “All trees are plants,” “Every tree is a plant,” “The tree is a plant,” “A tree is a plant” seem to express the “same truth,” but which is the truest?  Which best expresses this person’s knowledge?  Which best renders the world? 

Holding, as I do, that logical forms are derived from the world and from talk about the world (that they are not innate mental structures or mindless, reference-empty symbols), I wonder initially at the logicians’ plain preference for “all trees are plants”—or, in its stylized form “For all x, if φ of x then ψ of x.”

There may be people who say, in certain contexts, “all trees are plants.”  Let us ask ourselves whether the person who says that could really or does really know anything about “all trees.  ”There’s been an objection running around for untold years that he doesn’t know all trees because he knows only the very limited number of trees with which he’s personally acquainted.  And that he is generalizing from some necessarily incomplete sample, etc., etc.  But that objection has always been answered by the observation that he does know something about all trees because he knows something that’s true of “each” tree or “every” tree, and therefore “in a way” indeed he knows all trees, including the trees with which he has not been acquainted and with which he may never be personally acquainted. 

You’ll notice that in this reply there has been a transition from the “all” to the “every” or “each.  ”The every has been taken as prior to the all; the all is to be built up from the every.  But this is to reverse the priority.  “Every” is every out of a plurality.  “All” is a plurality.  The same with “each.  ”The words every and each have the plural as prior to them.  They are derived from the plural rather than the other way around.  So the person who accepts the priority of the every in a way does both at once: builds up the plurality, here the all, from the every even as he is deriving the every from the all.  That shows at least the each and the every are pretty well bound up with the all, and that there’s not much improvement in going from the formulation “All trees are plants” to the formulation “Every tree is a plant.”

Let’s approach the subject afresh: There’s been no apparent gain so far. 

We ask again the question: Does the person who says “all trees are plants” really know anything about all trees?  Is there an all trees?  Obviously, if there isn’t an all trees, then he doesn’t know what he’s talking about. 

Is there an “all trees” that ever “were, are, or will be”?  First, is this “all trees” a finite number?  Now if you adopt an evolutionary perspective and also if you look forward to some end of the universe, end of the planet earth, or end of plant life on the earth, you might be able to say that there’s a limited number of trees, but already you’re involved in certain amount of unsure speculation.  At any rate the person who says with happy assurance “all trees are plants” does not necessarily know or think much about these questions. 

What if it were said that he knows that “all possible trees are plants”?  First, what does he know about possible trees?  Only what he has learned from observing actual trees.  He knows, at best, the tendency of tree to produce tree and that this tendency is thwartable.  Will the interplay of pro-tree and anti-tree tendencies in the world produce a finite number of trees?  How could he know this, and is he even thinking of it? 

What if the trees or the “possible trees” are infinite?  The basic, sound conception of the mathematically infinite is this: that having taken one of the whatever you can take one more, and that having taken this second one you can take one more and so on and on.  This conception is perfectly thinkable.  It may not be imaginable.)

But the whole point of the infinite is that it is not closed off and so it cannot be totalized, it cannot be alled.  If the trees are infinite, there is no “all trees.  ”

So we resume the person who says “all trees are plants.  ”If the trees are finite he probably doesn’t know this, if the trees are infinite he is wrong in alling them.  From this point of view he doesn’t know what he is talking about.  All this should alert us to the fact that he probably isn’t even thinking of those questions.  What is he thinking about then?  Well, he’s thinking about trees: Is he really thinking about “all trees” or is he just thinking about “trees”?  Indeed, these so-called A propositions are often expressed in just such a form, “trees are plants,” leaving out the word “all.”  “Dogs are carnivores.  ”Many, many times there’s no “all” in these statements.  So even if this person is determined to say “all trees are plants,” we’d probably do him a favor by encouraging him to adopt the more precise form “trees are plants.”

This does not mean that “all” should be banished from the language or that the ordinary word “all” is always out of order.  The proper location of the “all” is in such expressions as “all the books on this table,” or “all the people in this room,” where there often is a definite and known totality.  What has happened is that that proper use of “all” has been taken up and misapplied in statements such as “all trees are plants,” “all dogs are animals.  ”In the haze in which some semi-ordinary thinking proceeds, a certain form, the “All—is—“ form, which was originally correctly gained from the world and from knowledgeable discourse about the world, has been taken up into other “knowledgeable” discourse where it does not fit

We have got rid of the totalization but we still have a pluralization.  This man is talking about trees.  We can be sympathetic with him.  There is a natural reason for pluralizing.  We do live in a world of natural (and artificial) kinds. 

Very soon on in a person’s career he has realized that there are many trees, that there are many chairs, that there are many jujubes.  So there’s a natural tendency to express oneself in the plural form. 

But let us try to get behind the pluralization.  What has this person done here?  Has he noticed each tree of his acquaintance and has he then solemnly noticed that it is a plant?  “Verified” planthood of it, perhaps?  Rather, it seems likely that in his natural process of grasping the world he has noticed something about tree.  Tree, the so-called singular.  He has noticed that tree has the plant characteristic, the plant quality. 

I would hazard that for many people “trees are plants” has been an original discovery, a vital-knowing appreciation of the world.  In its guise of elementary-logic-textbook “example,” it represents the embalmment of this original discovery.  It can arise as a spontaneous knowing somewhat in this way: someone does not bring tree and plant together at first, perhaps because the tree is much bigger characteristically than other plants and it’s wooden and so on.  But then in some stage of his career he does bring the two together.  And he notes that the tree, by God, has the plant nature, in fact that it’s nothing more than a big plant!

At any rate, someone notices something essential about tree, but then quite probably expresses it in the plural form because he does live in this world of natural and artificial kinds and has already become aware that there are many trees. 

But what he knows doesn’t have too much bearing on the manyness of the trees, the multitude.  He is in his words pluralizing, but what he really knows is concerned with tree

This is the appropriate place to mention that logicians very generally notice, only to dismiss or override, the fact that those “A” propositions are very often spontaneously expressed in the “singular,” both in ordinary life and in scientific discourse.  When a biologist wants to tell us something about the amoeba he does not talk stiltedly about “all amoebae.  ”He does not talk about all walruses, but about the walrus.  And the eggman.  But logicians have also noticed that in other instances the singular form does not convey the “all” (really, as we have seen, the nature).  “The tree fell on the sleeping dog.  ”This is enough for them.  They must standardize; they will not pause over the naturalness of these “A” propositions without the “all,” and not only without the “all,” but without even the plural.  Logicians deal harshly with “singular” “A” propositions simply because they notice other singular propositions which are not “A.  ”They think they have found a certain indefiniteness in common, speech—even in scientific speech—and proceed to “correct” with a heavy-handed fiat. 

But it has emerged that what the person we had in mind knows is “the tree is a plant.”  He doesn’t know the all.  He is not concentrating upon the many.  He has not actually taken a plurality and then distilled something out of that plurality.  Rather, he has built up the plurality for himself in his own thought or, if you prefer, in his knowing discourse.  I’m not saying there isn’t a plurality in nature, but that he for himself has built up the plurality in his own thought by observing not trees but, to start out with tree.  And tree, tree, tree.  From that has arrived at a secondary notion, trees

Here we must try to scout an overworked objection.  Am I saying that when a person first notices what is, objectively, a tree, he knows the nature of tree?  What about a boy’s first tree?  When he becomes acquainted with his first tree, not, surely, by “idle contemplation,” but rather by the observation of tree in action, what it does, also by experimenting with it, playing around with it, etc., etc., seeing how it reacts when you kick it, when you climb it, all that sort of thing, all of this taken together—Am I saying that in his first acquaintance with one tree that he “knows tree nature”? 

Here we have the problem of how a person builds up a plurality for himself.  If I were Kant I would say “What are the conditions of the possibility of his being able to say trees?”  More simply and more accurately, how does he come to say trees? 

What seems needed is a genetic approach to “trees” as it emerges in this person’s mind.  I confess to more than a little difficulty here, but up to now I have not been able to improve on this picture:

First, he must mentally grasp his first tree.  No doubt a sensuous grasp leading up to an intellectual grasp.  The grasp of the first tree is obviously at first very vague, very incomplete, etc.  Proceeding then to the second one.  He has to grasp the second one mentally and then “make the comparison” or see the resemblance.  It may be supposed that this were all done by comparisons and resemblances, but this is to forget that to make a comparison a person must first know the one, then know the other, and then bring the two together.  Probably a person does not look at the two and “see the resemblance” head on.  Even if he seemed to do so, seeing the resemblance in this way would clearly involve knowing each individually, and it would be difficult to establish the priority between the “resemblance” and the “individuals.”

We are seeking here for the over-all form of an extremely complicated process.  Even if it is true that he must first grasp the first, etc., we must not forget that the initial grasp of the first is really grasping very little about the first.  And grasping the second means grasping very little about the second.  And the first comparison that one makes doesn’t really amount to much.  But then grasping the second will perhaps lead a person back to the first, or may even lead him on to the third, and as this proceeds he probably makes more and more comparisons or sees more resemblances.  This means in turn that his grasp of the first, second and third gets more firm, becomes truer. 

This is complicated further by the fact that, to have a reasonably adequate grasp of tree, one must see the trees as a “natural race" such that the “singular” tree is not a "self-contained” unit, but contains within it its reference to its parent(s).  Part of what it is to be tree is to be related to other trees.  So the mental pluralization is not just a noting of a relatively abstract manyness in the world.  The mental pluralization must be accomplished to have a satisfactory grasp of the “singular.”

A fresh observation.  The end-product of the pluralization (the pluralization for-me, not the manyness in the world, which is so-to-speak “there already”) is often reasonably true, reasonably sure.  We don’t often make mistakes when we talk about trees, dogs, knives, cars, etc.  We don’t make many mistakes when we “say something about them,” but what I mean is something more basic: We don’t make many mistakes when we allude to trees, dogs, cars, etc., in short there are dogs, trees and cars in the world.  We don’t often make that kind of basic mistake. 

If we could build up a more fitting account of the generation of these notions of pluralities we would be better off.  But let us make the unsatisfactory move of taking these notions of pluralities ties without being perfectly clear about their generation, and try to say what we have when we have them

Let me present a certain dialectic, the bearings of which will become clearer as we proceed.  Suppose someone says that if you’re able to talk as you are about dogs, this shows that each one is dog and nothing but dog, through-and-through dog.  Rover is dog, Butch is dog, Sambo is dog, Growler is dog, etc.  Then some bright lad will immediately point out: “Oh, you’re saying Rover equals dog and Butch equals dog, therefore, according to a mathematical axiom, Rover equals Butch.  Things equal to the same thing are equal to each other!”   A rather glib way out of that would be to say that the mathematical “axiom” is valid only for mathematics, that it does not render the structure of the real world and that if in the real world Rover equals dog, Butch equals dog, and yet Rover does not equal Butch, well, that’s the way things are.  This easy answer could be bolstered up by some philosophy of mathematics that would show that the mathematical rendering of the world is secondary, abstract, and not very true.  And therefore question whether the mathematical “axiom” is properly applied here. 

Not bad, but possibly not good enough.  It is true that there are many dogs.  “That there are many dogs” would be false unless each one or them were dog.  Yet we are faced with the fact that each one isn’t “what the others are,” or rather that each one is what the others are in one sense and isn’t what the others are in another sense. 

A possible way out of this impasse is to point out that dog is indefinite, that dog itself contains within itself what some would call the possibility of multiplication, which is better called the actuality of multiplication.  And, therefore, that dog is not the hard atomic unity that it seems to be at first, and that therefore even in Rover himself there is the reference to the other dogs.  This consideration has a certain promise because the dogs are a natural race, and so in Rover himself there is the reference to the other dogs.  There is present in him the reference to his parents and ancestors, and through the reference to his parents and ancestors there is the reference to his brothers and cousins.  Part of what it is to be a dog is to be referred to the other dogs. 

That is perhaps the best we can do on that line, now let’s look at a whole other side.  We will go back to the place where we have Rover, Sambo, etc.  and the “problem” of how it can be true to say “Rover is (a) dog.  Butch is (a) dog, etc.”  The apparently easiest way to meet this “problem” is to say that dog is attached to each in a purely external manner.  The most primitive form of that would be an extreme nominalism, which would say that “dog” is simply a word which insane mind in its insane way uses to group things which in themselves have no community, no interrelation whatsoever.  But that’s only the crudest form.  Take a much more sophisticated one.  If we omit several in-between stages we can arrive at this formulation: “Rover is a thing which has doghood,” or if you will: “There is a thing such that it has dog quality or dog attributes or dog ‘properties.’”

Here you will notice that a detachment has been made between Rover and dog.  Rover is no longer simply and straightforwardly a dog.  (1) He is a thing which (2) has dog properties. 

But if this is what Rover is, is it true any longer that Rover is a dog?  The apparently simple identification made in this common statement seems endangered by the detachment.  Rover is not just a dog.  He is a thing, etc., etc. 

But perhaps “Rover is a dog” is not quite so thorough-going an identification as “Rover is dog.”  “Rover is dog” is not true if Rover is really only a thing which has dog properties.  But perhaps “Rover is a dog” can be taken to be equivalent to “Rover is a thing, etc.”  Maybe the little “a” can bear the  burden of this whole translation. 

The “a.”  It is called the indefinite article, but does it have that definite a meaning?  If it has, if it really conveys something like “indefinite member of the ‘class’ of dogs” we would be led on a short detour.  Fortunately short.  Rover is a dog, Rover is a “member of the class of dogs.  ”However, each “member of the class” has for himself the dog characteristics, and therefore it would seem that the detour is at an end, the “class” can drop out of consideration.  It is affirmed again that Rover has for himself the dog characteristics and that is enough. 

So, let us raise the question again whether, if Rover is properly rendered as a “thing which has the dog characteristics” one could actually make the very ordinary and obviously true identification, “Rover is dog,” or “Rover is a dog.  ”It would seem not.  But someone might still say that the thing is always lurking in the background: that dog “really means” “thing with the dog characteristics.”

The real question here is whether the thing is in the picture.  That isn’t all that easy to solve.  It does seem that occasionally something comes before us as the bare thing, or as the almost the bare thing which we call simply “thing,” and then proceed to learn its characteristics.  Most of the time, though, it seems that if the thing is there at all it is thing-and-its-characteristics, thing-and-its-nature, pretty firmly welded together.  In the cases before us and similar cases, we don’t seem to have very much to the forefront of our consciousness thing-dog or thing-chair, thing which is a dog or thing which is a chair.  It seems we’ve got chair, we’ve got dog.  Someone might say that these are just shorthand expressions, but we may rightly be suspicious of the “claim” that we customarily speak shorthand,

But what about the constitution of the dog “in himself”?  Is he a thing which is a dog?  Is there in him a distinction between thing and dog? 

There does seem to be, after all, some distinction.  He is related at least “logically” to the other things in the world and it seems doubtful that that “logical” relation is completely false, that that logical relation is a totally incorrect rendering of the world.  In other words, to say Rover is a thing is not completely false.  It’s not a matter of “just our way of looking at the world.”  Rover in himself is a thing among other things, and thus his relation to the other things, tables, chairs and cats, is real in him.  He’s not cut off.  On the other hand this relation in him is almost empty, almost vain, almost nugatory.  His relation to the others through just being a thing is almost nothing compared to his causal relations. 

His thinghood is pretty well absorbed into his doghood.  There is a distinction but it isn’t much of a distinction, and therefore there seems to be great justification in characteristically talking of him and thinking of him as we do, as “dog” rather than as "thing which is a dog.”

The upshot of this whole dialectic is that “Rover is dog” or, if one still insists, “Rover is a dog” (with the identification which is implied) is very true, as true as a detached statement, a detached statement “about a singular” can be.  We must allow for certain indefinitenesses.  We must allow for this indefiniten-ess in “dog”: that “dog” does convey relation to other dogs.  And we must allow for another indefiniteness in dog: We must remember that “Rover is thing” is also true, and that the thinghood and the doghood in Rover are not perfectly coincidental. 

All of this must be said to show that “Rover is a dog” is a highly respectable rendering of the world, better than “Rover is a thing which is a dog”, “Rover is a member of the class of dogs” or “Rover is not a dog," because if he were, what could we say about Butch?

What we found wrong with thing-which-is-a-dog we can also find wrong with the symbolic-logic formulation of the A proposition “For all x, if φ of x then ψ of x.”  (Often the pretence is made that formulations of this sort don’t mean anything, that (x) φ x ψ x has no necessary translation into ordinary(!) language, but actually the “examples” that always used show in pretty short order that they are really derived from the world and from talk about the world.  Or else where would they come from?) So suppose we take seriously “For anything at all, if it is a dog, then it is an animal.”  The initial objection to this formula is that it gives too great prominence to the almost empty thing, it’s as though the dog came before you first-hand as a vacuous anything-at-all.  Furthermore, “For anything at all, if it is a dog, then it is an animal” is derived from knowing that dogs are animals.  You could not say primitively, “if it’s a dog, then it’s an animal.”  You must know first that dogs are animals, and then occasionally, when you are actually faced with a bona fide problem of identification, and you’re still not sure, then you might say “Well, one thing is sure: if it’s a dog then it’s an animal.”  There is a sort of a gingerly approach in that formulation.  You’re not committing yourself about this thing.  But still you do not succeed in being totally noncommittal, because in saying “If it’s a dog then it’s an animal,” you are committing yourself to “dogs are animals.”

To recapitulate: First, in the backward order, “Rover is dog” is pretty true, it’s truer than much calling attention to the thinghood of Rover, and therefore it’s practically an identity, with the same for Butch, Sambo, etc., etc. 

What we have in the world and what our thought and language renders is dog, dog, dog, dog, —dogs.  Singular first, plural second.  That seems to be a reasonably good account of the generation of the plurality. 

There are these pluralities, and the pluralities are properly rendered by the plural words. 

To attach the “all” to the plural word is a mistaken procedure, for the reasons given: Maybe there isn’t any totality.  If there is a totality, the speaker perhaps doesn’t know that totality.  Even if he does know it, it is probably far from his thought when and if he uses the “all.”

What he is really doing when he uses the “all” is talking about the plurality, and behind the plurality stands the “singularity.”

 

University of Windsor,

Windsor, Ontario, Canada

Posted October 26, 2006

 

Deck Page