Open main menu

Page:Carroll - Game of Logic.djvu/93

This page has been validated.
§ 7.]
77
BOTH DIAGRAMS EMPLOYED.
  1.    
      1 0  
       
       
    1

    Let "periods" be Universe; = "days"; = "rainy"; = "tiresome".

    Some are ;
    All are .
    ∴ Some are .

    i.e. Some rainy periods are tiresome.

N.B. These are not legitimate Premisses, since the Conclusion is really part of the second Premiss, so that the first Premiss is superfluous. This may be shown, in letters, thus:—

"All are " contains "Some are ", which contains "Some are ". Or, in words, "All rainy days are tiresome" contains "Some rainy days are tiresome", which contains "Some rainy periods are tiresome".

Moreover, the first Premiss, besides being superfluous, is actually contained in the second; since it is equivalent to "Some rainy days exist", which, as we know, is implied in the Proposition "All rainy days are tiresome".

Altogether, a most unsatisfactory Pair of Premisses!

[See p. 53]