Complete Works of Lewis Carroll (210 page)

If you meet with Syllogisms of this kind, you may work them, quite easily, by the system I have given you: you have only to make 'are' mean 'are CAPABLE of being', and all will go smoothly.
For "some x are y" will become "some x are capable of being y", that is, "the Attributes x, y are COMPATIBLE".
And "no x are y" will become "no x are capable of being y", that is, "the Attributes x, y are INCOMPATIBLE".
And, of course, "all x are y" will become "some x are capable of being y, and none are capable of being y'", that is, "the Attributes x, y are COMPATIBLE, and the Attributes x, y' are INCOMPATIBLE."
In using the Diagrams for this system, you must understand a red counter to mean "there may POSSIBLY be something in this compartment," and a grey one to mean "there cannot POSSIBLY be anything in this compartment."

3.
Fallacies.

And so you think, do you, that the chief use of Logic, in real life, is to deduce Conclusions from workable Premisses, and to satisfy yourself that the Conclusions, deduced by other people, are correct?
I only wish it were!
Society would be much less liable to panics and other delusions, and POLITICAL life, especially, would be a totally different thing, if even a majority of the arguments, that scattered broadcast over the world, were correct!
But it is all the other way, I fear.
For ONE workable Pair of Premisses (I mean a Pair that lead to a logical Conclusion) that you meet with in reading your newspaper or magazine, you will probably find FIVE that lead to no Conclusion at all: and, even when the Premisses ARE workable, for ONE instance, where the writer draws a correct Conclusion, there are probably TEN where he draws an incorrect one.

In the first case, you may say "the PREMISSES are fallacious": in the second, "the CONCLUSION is fallacious."

The chief use you will find, in such Logical skill as this Game may teach you, will be in detecting 'FALLACIES' of these two kinds.

The first kind of Fallacy—'Fallacious Premisses'—you will detect when, after marking them on the larger Diagram, you try to transfer the marks to the smaller.
You will take its four compartments, one by one, and ask, for each in turn, "What mark can I place HERE?"; and in EVERY one the answer will be "No information!", showing that there is NO CONCLUSION AT ALL.
For instance,

          "All soldiers are brave;

           Some Englishmen are brave.

&there4 Some Englishmen are soldiers."

looks uncommonly LIKE a Syllogism, and might easily take in a less experienced Logician.
But YOU are not to be caught by such a trick!
You would simply set out the Premisses, and would then calmly remark "Fallacious PREMISSES!": you wouldn't condescend to ask what CONCLUSION the writer professed to draw—knowing that, WHATEVER it is, it MUST be wrong.
You would be just as safe as that wise mother was, who said "Mary, just go up to the nursery, and see what Baby's doing, AND TELL HIM NOT TO DO IT!"

The other kind of Fallacy—'Fallacious Conclusion'—you will not detect till you have marked BOTH Diagrams, and have read off the correct Conclusion, and have compared it with the Conclusion which the writer has drawn.

But mind, you mustn't say "FALLACIOUS Conclusion," simply because it is not IDENTICAL with the correct one: it may be a PART of the correct Conclusion, and so be quite correct, AS FAR AS IT GOES.
In this case you would merely remark, with a pitying smile, "DEFECTIVE Conclusion!"
Suppose, of example, you were to meet with this Syllogism:—

           "All unselfish people are generous;

No misers are generous.

     &there4 No misers are unselfish."

the Premisses of which might be thus expressed in letters:—

   "All x' are m;

    No y are m."

Here the correct Conclusion would be "All x' are y'" (that is, "All unselfish people are not misers"), while the Conclusion, drawn by the writer, is "No y are x'," (which is the same as "No x' are y," and so is PART of "All x' are y'.") Here you would simply say "DEFECTIVE Conclusion!"
The same thing would happen, if you were in a confectioner's shop, and if a little boy were to come in, put down twopence, and march off triumphantly with a single penny-bun.
You would shake your head mournfully, and would remark "Defective Conclusion!
Poor little chap!"
And perhaps you would ask the young lady behind the counter whether she would let YOU eat the bun, which the little boy had paid for and left behind him: and perhaps SHE would reply "Sha'n't!"

But if, in the above example, the writer had drawn the Conclusion "All misers are selfish" (that is, "All y are x"), this would be going BEYOND his legitimate rights (since it would assert the EXISTENCE of y, which is not contained in the Premisses), and you would very properly say "Fallacious Conclusion!"

Now, when you read other treatises on Logic, you will meet with

various kinds of (so-called) 'Fallacies' which are by no means

ALWAYS so.
For example, if you were to put before one of these

Logicians the Pair of Premisses

          "No honest men cheat;

           No dishonest men are trustworthy."

and were to ask him what Conclusion followed, he would probably say "None at all!
Your Premisses offend against TWO distinct Rules, and are as fallacious as they can well be!"
Then suppose you were bold enough to say "The Conclusion is 'No men who cheat are trustworthy'," I fear your Logical friend would turn away hastily—perhaps angry, perhaps only scornful: in any case, the result would be unpleasant.
I ADVISE YOU NOT TO TRY THE EXPERIMENT!

"But why is this?"
you will say.
"Do you mean to tell us that all these Logicians are wrong?"
Far from it, dear Reader!
From THEIR point of view, they are perfectly right.
But they do not include, in their system, anything like ALL the possible forms of Syllogisms.

They have a sort of nervous dread of Attributes beginning with a negative particle.
For example, such Propositions as "All not-x are y," "No x are not-y," are quite outside their system.
And thus, having (from sheer nervousness) excluded a quantity of very useful forms, they have made rules which, though quite applicable to the few forms which they allow of, are no use at all when you consider all possible forms.

Let us not quarrel with them, dear Reader!
There is room enough in the world for both of us.
Let us quietly take our broader system: and, if they choose to shut their eyes to all these useful forms, and to say "They are not Syllogisms at all!"
we can but stand aside, and let them Rush upon their Fate!
There is scarcely anything of yours, upon which it is so dangerous to Rush, as your Fate.
You may Rush upon your Potato-beds, or your Strawberry-beds, without doing much harm: you may even Rush upon your Balcony (unless it is a new house, built by contract, and with no clerk of the works) and may survive the foolhardy enterprise: but if you once Rush upon your FATE—why, you must take the consequences!

CHAPTER II.

CROSS QUESTIONS.

        "The Man in the Wilderness asked of me

         'How many strawberries grow in the sea?'"

          __________

1.
Elementary.

1.
What is an 'Attribute'?
Give examples.

2.
When is it good sense to put "is" or "are" between two names?
Give examples.

3.
When is it NOT good sense?
Give examples.

4.
When it is NOT good sense, what is the simplest agreement to make, in order to make good sense?

5.
Explain 'Proposition', 'Term', 'Subject', and 'Predicate'.
Give examples.

6.
What are 'Particular' and 'Universal' Propositions?
Give examples.

7.
Give a rule for knowing, when we look at the smaller Diagram, what Attributes belong to the things in each compartment.

8.
What does "some" mean in Logic?
[See pp.
55, 6]

9.
In what sense do we use the word 'Universe' in this Game?

10.
What is a 'Double' Proposition?
Give examples.

11.
When is a class of Things said to be 'exhaustively' divided?
Give examples.

12.
Explain the phrase "sitting on the fence."

13.
What two partial Propositions make up, when taken together, "all x are y"?

14.
What are 'Individual' Propositions?
Give examples.

15.
What kinds of Propositions imply, in this Game, the EXISTENCE of their Subjects?

16.
When a Proposition contains more than two Attributes, these Attributes may in some cases be re-arranged, and shifted from one Term to the other.
In what cases may this be done?
Give examples.

__________

Break up each of the following into two partial

Propositions:

17.
All tigers are fierce.

18.
All hard-boiled eggs are unwholesome.

19.
I am happy.

20.
John is not at home.

__________

[See pp.
56, 7]

21.
Give a rule for knowing, when we look at the larger Diagram, what Attributes belong to the Things contained in each compartment.

22.
Explain 'Premisses', 'Conclusion', and 'Syllogism'.
Give examples.

23.
Explain the phrases 'Middle Term' and 'Middle Terms'.

24.
In marking a pair of Premisses on the larger Diagram, why is it best to mark NEGATIVE Propositions before AFFIRMATIVE ones?

25.
Why is it of no consequence to us, as Logicians, whether the Premisses are true or false?

26.
How can we work Syllogisms in which we are told that "some x are y" is to be understood to mean "the Attribute x, y are COMPATIBLE", and "no x are y" to mean "the Attributes x, y are INCOMPATIBLE"?

27.
What are the two kinds of 'Fallacies'?

28.
How may we detect 'Fallacious Premisses'?

29.
How may we detect a 'Fallacious Conclusion'?

30.
Sometimes the Conclusion, offered to us, is not identical with the correct Conclusion, and yet cannot be fairly called 'Fallacious'.
When does this happen?
And what name may we give to such a Conclusion?

[See pp.
57-59]

2.
Half of Smaller Diagram.

Propositions to be represented.

—————-

           | | |

           | x |

           | | |

—y——-y'-

__________

1.
Some x are not-y.

2.
All x are not-y.

3.
Some x are y, and some are not-y.

4.
No x exist.

5.
Some x exist.

6.
No x are not-y.

7.
Some x are not-y, and some x exist.

__________

Taking x="judges"; y="just";

8.
No judges are just.

9.
Some judges are unjust.

10.
All judges are just.

__________

Taking x="plums"; y="wholesome";

11.
Some plums are wholesome.

12.
There are no wholesome plums.

13.
Plums are some of them wholesome, and some not.

14.
All plums are unwholesome.

[See pp.
59, 60]

——- | | | x | | |—y—| | | | x' | | ——-

__________

Taking y="diligent students"; x="successful";

15.
No diligent students are unsuccessful.

16.
All diligent students are successful.

17.
No students are diligent.

18.
There are some diligent, but unsuccessful, students.

19.
Some students are diligent.

[See pp.
60, 1]

3.
Half of Smaller Diagram.

Symbols to be interpreted.

__________

           —————-

          | | |

          | x |

          | | |

           —y——-y'-

__________

      ———- ———-

     | | | | | |

 1.
| | 0 | 2.
| 0 | 0 |

     | | | | | |

      ———- ———-

      ———- ———-

     | | | | | |

 3.
| - | 4.
| 0 | 1 |

     | | | | | |

      ———- ———-

__________

Taking x="good riddles"; y="hard";

      ———- ———-

     | | | | | |

 5.
| 1 | | 6.
| 1 | 0 |

     | | | | | |

      ———- ———-

      ———- ———-

     | | | | | |

 7.
| 0 | 0 | 8.
| 0 | |

     | | | | | |

      ———- ———-

__________

[See pp.
61, 2]

Taking x="lobster"; y="selfish";

      ———- ———-

     | | | | | |

 9.
| | 1 | 10.
| 0 | |

     | | | | | |

      ———- ———-

      ———- ———-

     | | | | | |

11.
| 0 | 1 | 12.
| 1 | 1 |

     | | | | | |

      ———- ———-

__________

——- | | x | | | |—y'-| | | x' | | | ——-

Taking y="healthy people"; x="happy";

—- —- —- —-

           | 0 | | | | 1 | | 0 |

      13.
|—-| 14.
|-1-| 15.
|—-| 16.
|—-|

           | 1 | | | | 1 | | |

—- —- —- —-

[See p.
62]

4.
Smaller Diagram.

Propositions to be represented.

—————- | | | | x | |—y—|—y'-| | x' | | | | —————-

__________

1.
All y are x.

2.
Some y are not-x.

3.
No not-x are not-y.

4.
Some x are not-y.

5.
Some not-y are x.

6.
No not-x are y.

7.
Some not-x are not-y.

8.
All not-x are not-y.

9.
Some not-y exist.

10.
No not-x exist.

11.
Some y are x, and some are not-x.

12.
All x are y, and all not-y are not-x.

[See pp.
62, 3]

Taking "nations" as Universe; x="civilised"; y="warlike";

13.
No uncivilised nation is warlike.

14.
All unwarlike nations are uncivilised.

15.
Some nations are unwarlike.

16.
All warlike nations are civilised, and all civilised nations are warlike.

17.
No nation is uncivilised.

__________

Taking "crocodiles" as Universe; x="hungry"; and y="amiable";

18.
All hungry crocodiles are unamiable.

19.
No crocodiles are amiable when hungry.

20.
Some crocodiles, when not hungry, are amiable; but some are not.

21.
No crocodiles are amiable, and some are hungry.

22.
All crocodiles, when not hungry, are amiable; and all unamiable crocodiles are hungry.

23.
Some hungry crocodiles are amiable, and some that are not hungry are unamiable.

[See pp.
63, 4]

5.
Smaller Diagram.

Symbols to be interpreted.

__________

—————- | | | | x | |—y—|—y'-| | x' | | | | —————-

__________

      ———- ———-

     | | | | | |

 1.
|—-|—-| 2.
|—-|—-|

     | 1 | | | | 0 |

      ———- ———-

      ———- ———-

     | | 1 | | | |

 3.
|—-|—-| 4.
|—-|—-|

     | | 0 | | 0 | 0 |

      ———- ———-

__________

Taking "houses" as Universe; x="built of brick"; and y="two-storied"; interpret

      ———- ———-

     | 0 | | | | |

 5.
|—-|—-| 6.
|—-|—-|

     | 0 | | | - |

      ———- —-|—-

      ———- ———-

     | | 0 | | | |

 7.
|—-|—-| 8.
|—-|—-|

     | | | | 0 | 1 |

      ———- ———-

[See p.
65]

Taking "boys" as Universe; x="fat"; and y="active"; interpret

      ———- ———-

     | 1 | 1 | | | 0 |

 9.
|—-|—-| 10.
|—-|—-|

     | | | | | 1 |

      ———- ———-

      ———- ———-

     | 0 | 1 | | 1 | |

11.
|—-|—-| 12.
|—-|—-|

     | | 0 | | 0 | 1 |

      ———- ———-

__________

Taking "cats" as Universe; x="green-eyed"; and y="good-tempered"; interpret

      ———- ———-

     | 0 | 0 | | | 1 |

13.
|—-|—-| 14.
|—-|—-|

     | | 0 | | 1 | |

      ———- ———-

      ———- ———-

     | 1 | | | 0 | 1 |

15.
|—-|—-| 16.
|—-|—-|

     | | 0 | | 1 | 0 |

      ———- ———-

[See pp.
65, 6]

6.
Larger Diagram.

Propositions to be represented.

__________

—————- | | | | —x— | | | | | | |—y—m—y'-| | | | | | | —x'- | | | | —————-

__________

1.
No x are m.

2.
Some y are m'.

3.
All m are x'.

4.
No m' are y'.

5.
No m are x; All y are m.