Complete Works of Lewis Carroll (208 page)

would mean "all x are y' ", that is,

"All new Cakes are not-nice."

Now what would you make of such a Proposition as "The Cake you have given me is nice"?
Is it Particular or Universal?

"Particular, of course," you readily reply.
"One single Cake is hardly worth calling 'some,' even."

No, my dear impulsive Reader, it is 'Universal'.
Remember that, few as they are (and I grant you they couldn't well be fewer), they are (or rather 'it is') ALL that you have given me!
Thus, if (leaving 'red' out of the question) I divide my Universe of Cakes into two classes—the Cakes you have given me (to which I assign the upper half of the cupboard), and those you HAVEN'T given me (which are to go below)—I find the lower half fairly full, and the upper one as nearly as possible empty.
And then, when I am told to put an upright division into each half, keeping the NICE Cakes to the left, and the NOT-NICE ones to the right, I begin by carefully collecting ALL the Cakes you have given me (saying to myself, from time to time, "Generous creature!
How shall I ever repay such kindness?"), and piling them up in the left-hand compartment.
AND IT DOESN'T TAKE LONG TO DO IT!

Here is another Universal Proposition for you.
"Barzillai Beckalegg is an honest man."
That means "ALL the Barzillai Beckaleggs, that I am now considering, are honest men."
(You think I invented that name, now don't you?
But I didn't.
It's on a carrier's cart, somewhere down in Cornwall.)

This kind of Universal Proposition (where the Subject is a single

Thing) is called an 'INDIVIDUAL' Proposition.

Now let us take "NICE Cakes" as the Subject of Proposition: that is, let us fix our thoughts on the LEFT-HAND half of the cupboard, where all the Cakes have attribute y, that is, "nice."

        ——-

  Suppose we find it marked like this:— | |

       | 1 |

  What would that tell us?
| |

        ——-

       | |

       | |

       | |

        ——-

I hope that it is not necessary, after explaining the HORIZONTAL oblong so fully, to spend much time over the UPRIGHT one.
I hope you will see, for yourself, that this means "some y are x", that is,

"Some nice Cakes are new."

"But," you will say, "we have had this case before.
You put a red counter into No.
5, and you told us it meant 'some new Cakes are nice'; and NOW you tell us that it means 'some NICE Cakes are NEW'!
Can it mean BOTH?"

The question is a very thoughtful one, and does you GREAT credit, dear Reader!
It DOES mean both.
If you choose to take x (that is, "new Cakes") as your Subject, and to regard No.
5 as part of a HORIZONTAL oblong, you may read it "some x are y", that is, "some new Cakes are nice": but, if you choose to take y (that is, "nice Cake") as your Subject, and to regard No.
5 as part of an UPRIGHT oblong, THEN you may read it "some y are x", that is, "some nice Cakes are new".
They are merely two different ways of expressing the very same truth.

Without more words, I will simply set down the other ways in which this upright oblong might be marked, adding the meaning in each case.
By comparing them with the various cases of the horizontal oblong, you will, I hope, be able to understand them clearly.

You will find it a good plan to examine yourself on this table, by covering up first one column and then the other, and 'dodging about', as the children say.

Also you will do well to write out for yourself two other tables—one for the LOWER half of the cupboard, and the other for its RIGHT-HAND half.

And now I think we have said all we need to say about the smaller

Diagram, and may go on to the larger one.

_________________________________________________ | Symbols.
| Meanings.
_______________|_________________________________ ——- | | | | | | | Some y are x'; | | | i.e.
Some nice are not-new.
——- | | | | | 1 | | | | | ——- | | ——- | | | | No y are x; | 0 | | i.e.
No nice are new.
| | | ——- | [Observe that this is merely another way of | | | expressing "No new are nice."] | | | | | | ——- | | ——- | | | | | | | No y are x'; | | | i.e.
No nice are not-new.
——- | | | | | 0 | | | | | ——- | | ——- | | | | | 1 | | Some y are x, and some are x'; | | | i.e.
Some nice are new, and some are ——- | not-new.
| | | | 1 | | | | | ——- | | ——- | | | | | 0 | | No y are x, and none are x'; i.e.
No y | | | exist; ——- | i.e.
No Cakes are nice.
| | | | 0 | | | | | ——- | | ——- | | | | | 1 | | All y are x; | | | i.e.
All nice are new.
——- | | | | | 0 | | | | | ——- | | ——- | | | | | 0 | | All y are x'; | | | i.e.
All nice are not-new.
——- | | | | | 1 | | | | | ——- | _______________|_________________________________

This may be taken to be a cupboard divided in the same way as the last, but ALSO divided into two portions, for the Attribute m.
Let us give to m the meaning "wholesome": and let us suppose that all WHOLESOME Cakes are placed INSIDE the central Square, and all the UNWHOLESOME ones OUTSIDE it, that is, in one or other of the four queer-shaped OUTER compartments.

We see that, just as, in the smaller Diagram, the Cakes in each compartment had TWO Attributes, so, here, the Cakes in each compartment have THREE Attributes: and, just as the letters, representing the TWO Attributes, were written on the EDGES of the compartment, so, here, they are written at the CORNERS.
(Observe that m' is supposed to be written at each of the four outer corners.) So that we can tell in a moment, by looking at a compartment, what three Attributes belong to the Things in it.
For instance, take No.
12.
Here we find x, y', m, at the corners: so we know that the Cakes in it, if there are any, have the triple Attribute, 'xy'm', that is, "new, not-nice, and wholesome."
Again, take No.
16.
Here we find, at the corners, x', y', m': so the Cakes in it are "not-new, not-nice, and unwholesome."
(Remarkably untempting Cakes!)

It would take far too long to go through all the Propositions, containing x and y, x and m, and y and m which can be represented on this diagram (there are ninety-six altogether, so I am sure you will excuse me!) and I must content myself with doing two or three, as specimens.
You will do well to work out a lot more for yourself.

Taking the upper half by itself, so that our Subject is "new Cakes", how are we to represent "no new Cakes are wholesome"?

This is, writing letters for words, "no x are m."
Now this tells us that none of the Cakes, belonging to the upper half of the cupboard, are to be found INSIDE the central Square: that is, the two compartments, No.
11 and No.
12, are EMPTY.
And this, of course, is represented by

—————————- | | | | _____|_____ | | | | | | | | 0 | 0 | | | | | | | —————————-

And now how are we to represent the contradictory Proposition "SOME x are m"?
This is a difficulty I have already considered.
I think the best way is to place a red counter ON THE DIVISION-LINE between No.
11 and No.
12, and to understand this to mean that ONE of the two compartments is 'occupied,' but that we do not at present know WHICH.
This I shall represent thus:—

—————————- | | | | _____|_____ | | | | | | | | -1- | | | | | | | —————————-

Now let us express "all x are m."

This consists, we know, of TWO Propositions,

     "Some x are m,"

 and "No x are m'."

Let us express the negative part first.
This tells us that none of the Cakes, belonging to the upper half of the cupboard, are to be found OUTSIDE the central Square: that is, the two compartments, No.
9 and No.
10, are EMPTY.
This, of course, is represented by

—————————- | 0 | 0 | | _____|_____ | | | | | | | | | | | | | | | | —————————-

But we have yet to represent "Some x are m."
This tells us that there are SOME Cakes in the oblong consisting of No.
11 and No.
12: so we place our red counter, as in the previous example, on the division-line between No.
11 and No.
12, and the result is

—————————- | 0 | 0 | | _____|_____ | | | | | | | | -1- | | | | | | | —————————-

Now let us try one or two interpretations.

What are we to make of this, with regard to x and y?

—————————- | | 0 | | _____|_____ | | | | | | | | 1 | 0 | | | | | | | —————————-

This tells us, with regard to the xy'-Square, that it is wholly 'empty', since BOTH compartments are so marked.
With regard to the xy-Square, it tells us that it is 'occupied'.
True, it is only ONE compartment of it that is so marked; but that is quite enough, whether the other be 'occupied' or 'empty', to settle the fact that there is SOMETHING in the Square.

If, then, we transfer our marks to the smaller Diagram, so as to get rid of the m-subdivisions, we have a right to mark it

          —————-

         | | |

         | 1 | 0 |

         | | |

          —————-

which means, you know, "all x are y."

The result would have been exactly the same, if the given oblong had been marked thus:—

—————————- | 1 | 0 | | _____|_____ | | | | | | | | | 0 | | | | | | | —————————-

Once more: how shall we interpret this, with regard to x and y?

—————————- | 0 | 1 | | _____|_____ | | | | | | | | | | | | | | | | —————————-

This tells us, as to the xy-Square, that ONE of its compartments is 'empty'.
But this information is quite useless, as there is no mark in the OTHER compartment.
If the other compartment happened to be 'empty' too, the Square would be 'empty': and, if it happened to be 'occupied', the Square would be 'occupied'.
So, as we do not know WHICH is the case, we can say nothing about THIS Square.

The other Square, the xy'-Square, we know (as in the previous example) to be 'occupied'.

If, then, we transfer our marks to the smaller Diagram, we get merely this:—

          —————-

         | | |

         | | 1 |

         | | |

          —————-

which means, you know, "some x are y'."

These principles may be applied to all the other

oblongs.
For instance, to represent

"all y' are m'" we should mark the ———-

RIGHT-HAND UPRIGHT OBLONG (the one | |

that has the attribute y') thus:— |—- |

  | 0 | |

  |—-|-1-|

  | 0 | |

  |—- |

  | |

   ———-

and, if we were told to interpret the lower half of the cupboard, marked as follows, with regard to x and y,

—————————- | | | | | | | | 0 | | | | | | | | ——-|——- | | 1 | 0 | —————————-

we should transfer it to the smaller Diagram thus,

          —————-

         | | |

         | 1 | 0 |

         | | |

          —————-

and read it "all x' are y."

Two more remarks about Propositions need to be made.

One is that, in every Proposition beginning with "some" or "all", the ACTUAL EXISTENCE of the 'Subject' is asserted.
If, for instance, I say "all misers are selfish," I mean that misers ACTUALLY EXIST.
If I wished to avoid making this assertion, and merely to state the LAW that miserliness necessarily involves selfishness, I should say "no misers are unselfish" which does not assert that any misers exist at all, but merely that, if any DID exist, they WOULD be selfish.

The other is that, when a Proposition begins with "some" or "no", and contains more that two Attributes, these Attributes may be re-arranged, and shifted from one Term to the other, "ad libitum."
For example, "some abc are def" may be re-arranged as "some bf are acde," each being equivalent to "some Things are abcdef".
Again "No wise old men are rash and reckless gamblers" may be re-arranged as "No rash old gamblers are wise and reckless," each being equivalent to "No men are wise old rash reckless gamblers."

2.
Syllogisms

Now suppose we divide our Universe of Things in three ways, with regard to three different Attributes.
Out of these three Attributes, we may make up three different couples (for instance, if they were a, b, c, we might make up the three couples ab, ac, bc).
Also suppose we have two Propositions given us, containing two of these three couples, and that from them we can prove a third Proposition containing the third couple.
(For example, if we divide our Universe for m, x, and y; and if we have the two Propositions given us, "no m are x'" and "all m' are y", containing the two couples mx and my, it might be possible to prove from them a third Proposition, containing x and y.)