CHAPTER III.. _solutions._

SOLUTIONS.

§ 1.

Propositions of Relation reduced to normal form.

Solutions for § 1. SL1

1. The Univ. is "persons." The Individual "I" may be regarded as a Class, of persons, whose peculiar Attribute is "represented by the Name 'I'", and may be called the Class of "I's". It is evident that this Class cannot possibly contain more than one Member: hence the Sign of Quantity is "all". The verb "have been" may be replaced by the phrase "are persons who have been". The Proposition may be written thus:--

"All" Sign of Quantity. "I's" Subject. "are" Copula. "persons who have been out for a walk" Predicate.

or, more briefly,

"All | I's | are | persons who have been out for a walk".

2. The Univ. and the Subject are the same as in Ex. 1. The Proposition may be written

"All | I's | are | persons who feel better".

3. Univ. is "persons". The Subject is evidently the Class of persons from which John is excluded; i.e. it is the Class containing all persons who are not "John".

The Sign of Quantity is "no".

The verb "has read" may be replaced by the phrase "are persons who have read".

The Proposition may be written

"No | persons who are not 'John' | are | persons who have read the letter".

4. Univ. is "persons". The Subject is evidently the Class of persons whose only two Members are "you and I".

Hence the Sign of Quantity is "no".

The Proposition may be written

"No | Members of the Class 'you and I' | are | old persons". pg135 5. Univ. is "creatures". The verb "run well" may be replaced by the phrase "are creatures that run well".

The Proposition may be written

"No | fat creatures | are | creatures that run well".

6. Univ. is "persons". The Subject is evidently the Class of persons who are not brave.

The verb "deserve" may be replaced by the phrase "are deserving of".

The Proposition may be written

"No | not-brave persons | are | persons deserving of the fair".

7. Univ. is "persons". The phrase "looks poetical" evidently belongs to the Predicate; and the Subject is the Class, of persons, whose peculiar Attribute is "not-pale".

The Proposition may be written

"No | not-pale persons | are | persons who look poetical".

8. Univ. is "persons".

The Proposition may be written

"Some | judges | are | persons who lose their tempers".

9. Univ. is "persons". The phrase "never neglect" is merely a stronger form of the phrase "am a person who does not neglect".

The Proposition may be written

"All | 'I's' | are | persons who do not neglect important business".

10. Univ. is "things". The phrase "what is difficult" (i.e. "that which is difficult") is equivalent to the phrase "all difficult things".

The Proposition may be written

"All | difficult things | are | things that need attention".

11. Univ. is "things". The phrase "what is unwholesome" may be interpreted as in Ex. 10.

The Proposition may be written

"All | unwholesome things | are | things that should be avoided".

12. Univ. is "laws". The Predicate is evidently a Class whose peculiar Attribute is "relating to excise".

The Proposition may be written

"All | laws passed last week | are | laws relating to excise".

13. Univ. is "things". The Subject is evidently the Class, of studies, whose peculiar Attribute is "logical"; hence the Sign of Quantity is "all".

The Proposition may be written

"All | logical studies | are | things that puzzle me".

14. Univ. is "persons". The Subject is evidently "persons in the house".

The Proposition may be written

"No | persons in the house | are | Jews".

15. Univ. is "dishes". The phrase "if not well-cooked" is equivalent to the Attribute "not well-cooked".

The Proposition may be written

"Some | not well-cooked dishes | are | unwholesome dishes". pg136 16. Univ. is "books". The phrase "make one drowsy" may be replaced by the phrase "are books that make one drowsy".

The Sign of Quantity is evidently "all".

The Proposition may be written

"All | unexciting books | are | books that make one drowsy".

17. Univ. is "men". The Subject is evidently "a man who knows what he's about"; and the word "when" shows that the Proposition is asserted of every such man, i.e. of all such men. The verb "can" may be replaced by "are men who can".

The Proposition may be written

"All | men who know what they're about | are | men who can detect a sharper".

18. The Univ. and the Subject are the same as in Ex. 4.

The Proposition may be written

"All | Members of the Class 'you and I' | are | persons who know what they're about".

19. Univ. is "persons". The verb "wear" may be replaced by the phrase "are accustomed to wear".

The Proposition may be written

"Some | bald persons | are | persons accustomed to wear wigs".

20. Univ. is "persons". The phrase "never talk" is merely a stronger form of "are persons who do not talk".

The Proposition may be written

"All | fully occupied persons | are | persons who do not talk about their grievances".

21. Univ. is "riddles". The phrase "if they can be solved" is equivalent to the Attribute "that can be solved".

The Proposition may be written

"No | riddles that can be solved | are | riddles that interest me".

§ 2.

Method of Diagrams.

Solutions for § 4, Nos. 1-12. SL4-A

·---------------· ·-------· 1. No m are x'; | | (O)| | | | All m' are y. | ·---|---· | |---|---| | | | | | | |(O)| |(I)|---|---|---| ·-------· | |(O)|(O)| | | ·---|---· | .'. No x' are y'. | | (O)| ·---------------· pg137 ·---------------· ·-------· 2. No m' are x; |(O) | (O)| | | | Some m' are y'. | ·---|---· | |---|---| | | | | | | |(I)| |---|---|---|---| ·-------· | | | | | | ·---|---· | .'. Some x are y'. | | (I)| ·---------------·

·---------------· ·-------· 3. All m' are x; |(O) | (I)| | |(I)| All m' are y'. | ·---|---· | |---|---| | | | | | | | | |---|---|---|---| ·-------· | | | | | | ·---|---· | .'. Some x are y'. |(O) | (O)| ·---------------·

·---------------· 4. No x' are m'; | | (O)| All y' are m. | ·---|---· | | | | | | |---|---|(I)|---| There is no Conclusion. | | | | | | ·---|---· | |(O) | (O)| ·---------------·

·---------------· ·-------· 5. Some m are x'; | | | | | | No y are m. | ·---|---· | |---|---| | |(O)| | | | |(I)| |---|---|---|---| ·-------· | |(O)|(I)| | | ·---|---· | .'. Some x' are y'. | | | ·---------------·

·---------------· 6. No x' are m; | | | No m are y. | ·---|---· | | |(O)| | | |---|---|---|---| There is no Conclusion. | |(O)|(O)| | | ·---|---· | | | | ·---------------·

·---------------· ·-------· 7. No m are x'; | | | | |(I)| Some y' are m. | ·---|---· | |---|---| | | |(I)| | | | | |---|---|---|---| ·-------· | |(O)|(O)| | | ·---|---· | .'. Some x are y'. | | | ·---------------·

·---------------· ·-------· 8. All m' are x'; |(O) | (O)| | | | No m' are y. | ·---|---· | |---|---| | | | | | | |(I)| |---|---|---|---| ·-------· | | | | | | ·---|---· | .'. Some x' are y'. |(O) | (I)| ·---------------· pg138 ·---------------· 9. Some x' are m'; | | | No m are y'. | ·---|---· | | | |(O)| | |---|---|---|---| There is no Conclusion. | | |(O)| | | ·---|---· | | (I) | ·---------------·

·---------------· ·-------· 10. All x are m; |(O) | (O)| |(I)|(O)| All y' are m'. | ·---|---· | |---|---| | |(I)|(O)| | | |(I)| |---|---|---|---| ·-------· | | |(O)| | | ·---|---· | .'. All x are y; | | (I)| All y' are x'. ·---------------·

·---------------· 11. No m are x; | | | All y' are m'. | ·---|---· | | |(O)|(O)| | |---|---|---|(I)| There is no Conclusion. | | |(O)| | | ·---|---· | | | | ·---------------·

·---------------· ·-------· 12. No x are m; |(O) | | |(O)| | All y are m. | ·---|---· | |---|---| | |(O)|(O)| | |(I)| | |---|---|---|---| ·-------· | |(I)| | | | ·---|---· | .'. All y are x'. |(O) | | ·---------------·

Solutions for § 5, Nos. 1-12. SL5-A

1. I have been out for a walk; I am feeling better.

Univ. is "persons"; m = the Class of I's; x = persons who have been out for a walk; y = persons who are feeling better.

·---------------· ·-------· All m are x; | | | |(I)| | All m are y. | ·---|---· | |---|---| | |(I)|(O)| | | | | |---|---|---|---| ·-------· | |(O)|(O)| | | ·---|---· | .'. Some x are y. | | | ·---------------·

i.e. Somebody, who has been out for a walk, is feeling better. pg139 2. No one has read the letter but John; No one, who has not read it, knows what it is about.

Univ. is "persons"; m = persons who have read the letter; x = the Class of Johns; y = persons who know what the letter is about.

·---------------· ·-------· No x' are m; |(O) | | | | | No m' are y. | ·---|---· | |---|---| | | | | | |(O)| | |---|---|---|---| ·-------· | |(O)|(O)| | | ·---|---· | .'. No x' are y. |(O) | | ·---------------·

i.e. No one, but John, knows what the letter is about.

3. Those who are not old like walking; You and I are young.

Univ. is "persons"; m = old; x = persons who like walking; y = you and I.

·---------------· ·-------· All m' are x; |(I) | | |(I)| | All y are m'. | ·---|---· | |---|---| | |(O)| | | |(O)| | |---|---|---|---| ·-------· | |(O)| | | | ·---|---· | .'. All y are x. |(O) | (O)| ·---------------·

i.e. You and I like walking.

4. Your course is always honest; Your course is always the best policy.

Univ. is "courses"; m = your; x = honest; y = courses which are the best policy.

·---------------· ·-------· All m are x; | | | |(I)| | All m are y. | ·---|---· | |---|---| | |(I)|(O)| | | | | |---|---|---|---| ·-------· | |(O)|(O)| | | ·---|---· | .'. Some x are y. | | | ·---------------·

i.e. Honesty is sometimes the best policy.

5. No fat creatures run well; Some greyhounds run well.

Univ. is "creatures"; m = creatures that run well; x = fat; y = greyhounds.

·---------------· ·-------· No x are m; | | | | | | Some y are m. | ·---|---· | |---|---| | |(O)|(O)| | |(I)| | |---|---|---|---| ·-------· | |(I)| | | | ·---|---· | .'. Some y are x'. | | | ·---------------·

i.e. Some greyhounds are not fat. pg140 6. Some, who deserve the fair, get their deserts; None but the brave deserve the fair.

Univ. is "persons"; m = persons who deserve the fair; x = persons who get their deserts; y = brave.

·---------------· ·-------· Some m are x; | | | |(I)| | No y' are m. | ·---|---· | |---|---| | |(I)|(O)| | | | | |---|---|---|---| ·-------· | | |(O)| | | ·---|---· | .'. Some y are x. | | | ·---------------·

i.e. Some brave persons get their deserts.

7. Some Jews are rich; All Esquimaux are Gentiles.

Univ. is "persons"; m = Jews; x = rich; y = Esquimaux.

·---------------· ·-------· Some m are x; | | | | |(I)| All y are m'. | ·---|---· | |---|---| | |(O)|(I)| | | | | |(I)|---|---|---| ·-------· | |(O)| | | | ·---|---· | .'. Some x are y'. | | | ·---------------·

i.e. Some rich persons are not Esquimaux.

8. Sugar-plums are sweet; Some sweet things are liked by children.

Univ. is "things"; m = sweet; x = sugar-plums; y = things that are liked by children.

·---------------· All x are m; |(O) | (O)| Some m are y. | ·---|---· | | | (I) | | |---|(I)|---|---| | | | | | | ·---|---· | | | | ·---------------·

There is no Conclusion.

9. John is in the house; Everybody in the house is ill.

Univ. is "persons"; m = persons in the house; x = the Class of Johns; y = ill.

·---------------· ·-------· All x are m; |(O) | (O)| |(I)|(O)| All m are y. | ·---|---· | |---|---| | |(I)|(O)| | | | | |---|---|---|---| ·-------· | | |(O)| | | ·---|---· | .'. All x are y. | | | ·---------------·

i.e. John is ill. pg141 10. Umbrellas are useful on a journey; What is useless on a journey should be left behind.

Univ. is "things"; m = useful on a journey; x = umbrellas; y = things that should be left behind.

·---------------· ·-------· All x are m; |(O) | (O)| | | | All m' are y. | ·---|---· | |---|---| | | (I) | | |(I)| | |---|---|---|---| ·-------· | | | | | | ·---|---· | .'. Some x' are y. |(I) | (O)| ·---------------·

i.e. Some things, that are not umbrellas, should be left behind on a journey.

11. Audible music causes vibration in the air; Inaudible music is not worth paying for.

Univ. is "music"; m = audible; x = music that causes vibration in the air; y = worth paying for.

·---------------· ·-------· All m are x; |(O) | | | | | All m' are y'. | ·---|---· | |---|---| | | (I) | | |(O)| | |---|---|---|(I)| ·-------· | |(O)|(O)| | | ·---|---· | .'. No x' are y. |(O) | | ·---------------·

i.e. No music is worth paying for, unless it causes vibration in the air.

12. Some holidays are rainy; Rainy days are tiresome.

Univ. is "days"; m = rainy; x = holidays; y = tiresome.

·---------------· ·-------· Some x are m; | | | |(I)| | All m are y. | ·---|---· | |---|---| | |(I)|(O)| | | | | |---|---|---|---| ·-------· | | |(O)| | | ·---|---· | .'. Some x are y. | | | ·---------------·

i.e. Some holidays are tiresome.

Solutions for § 6, Nos. 1-10. SL6-A

Some x are m; No m are y'. Some x are y.

·---------------· ·-------· | | | |(I)| | | ·---|---· | |---|---| | |(I)|(O)| | | | | |---|---|---|---| ·-------· | | |(O)| | | ·---|---· | Hence proposed Conclusion is right. | | | ·---------------· pg142 2.

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

·---------------· |(O) | (O)| | ·---|---· | | | (I) | | |---|---|---|---| There is no Conclusion. | | | | | | ·---|---· | |(O) | | ·---------------·

Some x are m'; All y' are m. Some x are y.

·---------------· ·-------· |(I) | (O)| |(I)| | | ·---|---· | |---|---| | | | | | | | | |---|---|(I)|---| ·-------· | | | | | | ·---|---· | Hence proposed Conclusion is right. | | (O)| ·---------------·

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

·---------------· ·-------· |(O) | (O)| |(O)|(I)| | ·---|---· | |---|---| | |(O)|(I)| | | | | |---|---|---|---| ·-------· | |(O)| | | | ·---|---· | Hence proposed Conclusion is right. | | | ·---------------·

Some m' are x'; No m' are y. Some x' are y'.

·---------------· ·-------· |(O) | | | | | | ·---|---· | |---|---| | | | | | | |(I)| |---|---|---|---| ·-------· | | | | | | ·---|---· | Hence proposed Conclusion is right. |(O) | (I)| ·---------------·

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

·---------------· | | | | ·---|---· | | |(O)| | | |(I)|---|---|---| There is no Conclusion. | |(O)|(O)| | | ·---|---· | | | | ·---------------· pg143 7.

Some m' are x'; All y' are m'. Some x' are y'.

·---------------· | | | | ·---|---· | | | |(O)| | |---|---|---|(I)| There is no Conclusion. | | |(O)| | | ·---|---· | | (I) | ·---------------·

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

·---------------· ·-------· | | (I)| | |(I)| | ·---|---· | |---|---| | | |(O)| | | |(O)| |---|---|---|---| ·-------· | | |(O)| | | ·---|---· | Hence proposed Conclusion is right. |(O) | (O)| ·---------------·

Some m are x'; No m are y. Some x' are y'.

·---------------· ·-------· | | | | | | | ·---|---· | |---|---| | |(O)| | | | |(I)| |---|---|---|---| ·-------· | |(O)|(I)| | | ·---|---· | Hence proposed Conclusion is right. | | | ·---------------·

10.

All m' are x'; All m are y. Some y are x'.

·---------------· ·-------· |(O) | (O)| | | | | ·---|---· | |---|---| | | | | | |(I)| | |---|---|---|---| ·-------· | | | | | | ·---|---· | Hence proposed Conclusion is right. |(I) | (O)| ·---------------·

pg144 Solutions for § 7, Nos. 1-6. SL7-A

No doctors are enthusiastic; You are enthusiastic. You are not a doctor.

Univ. "persons"; m = enthusiastic; x = doctors; y = you.

·---------------· ·-------· |(O) | | |(O)| | | ·---|---· | |---|---| No x are m; | |(O)|(O)| | |(I)| | All y are m. |---|---|---|---| ·-------· All y are x'. | |(I)| | | | ·---|---· | .'. All y are x'. |(O) | | ·---------------·

Hence proposed Conclusion is right.

All dictionaries are useful; Useful books are valuable. Dictionaries are valuable.

Univ. "books"; m = useful; x = dictionaries; y = valuable.

·---------------· ·-------· |(O) | (O)| |(I)|(O)| | ·---|---· | |---|---| All x are m; | |(I)|(O)| | | | | All m are y. |---|---|---|---| ·-------· All x are y. | | |(O)| | | ·---|---· | .'. All x are y. | | | ·---------------·

Hence proposed Conclusion is right.

No misers are unselfish; None but misers save egg-shells. No unselfish people save egg-shells.

Univ. "people"; m = misers; x = selfish; y = people who save egg-shells.

·---------------· ·-------· |(O) | | | | | | ·---|---· | |---|---| No m are x'; | | | | | |(O)| | No m' are y. |---|---|---|---| ·-------· No x' are y. | |(O)|(O)| | | ·---|---· | .'. No x' are y. |(O) | | ·---------------·

Hence proposed Conclusion is right. pg145 4.

Some epicures are ungenerous; All my uncles are generous. My uncles are not epicures.

Univ. "persons"; m = generous; x = epicures; y = my uncles.

·---------------· ·-------· |(O) | (I)| | |(I)| | ·---|---· | |---|---| Some x are m'. | | | | | | | | All y are m. |---|(I)|---|---| ·-------· All y are x'. | | | | | | ·---|---· | .'. Some x are y'. |(O) | | ·---------------·

Hence proposed Conclusion is wrong, the right one being "Some epicures are not uncles of mine."

Gold is heavy; Nothing but gold will silence him. Nothing light will silence him.

Univ. "things"; m = gold; x = heavy; y = able to silence him.

·---------------· ·-------· |(O) | | | | | | ·---|---· | |---|---| All m are x; | | (I) | | |(O)| | No m' are y. |---|---|---|---| ·-------· No x' are y. | |(O)|(O)| | | ·---|---· | .'. No x' are y. |(O) | | ·---------------·

Hence proposed Conclusion is right.

Some healthy people are fat; No unhealthy people are strong. Some fat people are not strong.

Univ. "persons"; m = healthy; x = fat; y = strong.

·---------------· |(O) | | | ·---|---· | Some m are x; | | (I) | | No m' are y. |---|---|---|---| There is no Conclusion. Some x are y'.| | | | | | ·---|---· | |(O) | | ·---------------·

pg146 § 3.

Method of Subscripts.

Solutions for § 4. SL4-B

1. mx'{0} + m'{1}y'{0} ¶ x'y'{0} [Fig. I. i.e. "No x' are y'."

2. m'x{0} + m'y'{1} ¶ x'y'_{1} [Fig. II. i.e. "Some x' are y'."

3. m'{1}x'{0} + m'{1}y{0} ¶ xy'_{1} [Fig. III. i.e. "Some x are y'."

4. x'm'{0} + y'{1}m'_{0} ¶ nothing. [Fallacy of Like Eliminands not asserted to exist.]

5. mx'{1} + ym{0} ¶ x'y'_{1} [Fig. II. i.e. "Some x' are y'."

6. x'm{0} + my{0} ¶ nothing. [Fallacy of Like Eliminands not asserted to exist.]

7. mx'{0} + y'm{1} ¶ xy'_{1} [Fig. II. i.e. "Some x are y'."

8. m'{1}x{0} + m'y{0} ¶ x'y'{1} [Fig. III. i.e. "Some x' are y'."

9. x'm'{1} + my{0} ¶ nothing. [Fallacy of Unlike Eliminands with an Entity-Premiss.]

10. x{1}m'{0} + y'{1}m{0} ¶ x{1}y'{0} + y'{1}x{0} [Fig. I (b). i.e. "All x are y, and all y' are x'."

11. mx{0} + y'{1}m_{0} ¶ nothing.1 [Fallacy of Like Eliminands not asserted to exist.]

12. xm{0} + y{1}m'{0} ¶ y{1}x_{0} [Fig. I (a). i.e. "All y are x'."

13. m'{1}x'{0} + ym{0} ¶ x'y{0} [Fig. I. i.e. "No x' are y."

14. m{1}x'{0} + m'{1}y'{0} ¶ x'y'_{0} [Fig. I. i.e. "No x' are y'."

15. xm{0} + m'y{0} ¶ xy_{0} [Fig. I. i.e. "No x are y."

16. x{1}m{0} + y{1}m'{0} ¶ (x{1}y{0} + y{1}x{0}) [Fig. I (b). i.e. "All x are y' and all y are x'."

17. xm{0} + m'{1}y'{0} ¶ xy'{0} [Fig. I. i.e. "No x are y'."

18. xm'{0} + my{0} ¶ xy_{0} [Fig. I. i.e. "No x are y."

19. m{1}x'{0} + m{1}y{0} ¶ xy'_{1} [Fig. III. i.e. "Some x are y'."

20. mx{0} + m'{1}y'{0} ¶ xy'{0} [Fig. I. i.e. "No x are y'."

21. x{1}m'{0} + m'y{1} ¶ x'y{1} [Fig. II. i.e. "Some x' are y."

22. xm{1} + y{1}m'_{0} ¶ nothing. [Fallacy of Unlike Eliminands with an Entity-Premiss.]

23. m{1}x'{0} + ym{1} ¶ xy{1} [Fig. II. i.e. "Some x are y."

24. xm{0} + y{1}m'{0} ¶ y{1}x_{0} [Fig. I (a). i.e. "All y are x'."

25. mx'{1} + my'{0} ¶ x'y_{1} [Fig. II. i.e. "Some x' are y."

26. mx'{0} + y{1}m'{0} ¶ y{1}x'_{0} [Fig. I (a). i.e. "All y are x."

27. x{1}m{0} + y'{1}m'{0} ¶ (x{1}y'{0} + y'{1}x{0}) [Fig. I (b). i.e. "All x are y, and all y' are x'."

28. m{1}x{0} + my{1} ¶ x'y{1} [Fig. II. i.e. "Some x' are y."

29. mx{0} + y{1}m_{0} ¶ nothing. [Fallacy of Like Eliminands not asserted to exist.]

30. x{1}m{0} + ym{1} ¶ x'y{1} [Fig. II. i.e. "Some y are x'."

31. x{1}m'{0} + y{1}m'{0} ¶ nothing. [Fallacy of Like Eliminands not asserted to exist.] pg147 32. xm'{0} + m{1}y'{0} ¶ xy'{0} [Fig. I. i.e. "No x are y'."

33. mx{0} + my{0} ¶ nothing. [Fallacy of Like Eliminands not asserted to exist.]

34. mx'{0} + ym{1} ¶ xy_{1} [Fig. II. i.e. "Some x are y."

35. mx{0} + y{1}m'{0} ¶ y{1}x_{0} [Fig. I (a). i.e. "All y are x'."

36. m{1}x{0} + ym{1} ¶ x'y{1} [Fig. II. i.e. "Some x' are y."

37. m{1}x'{0} + ym{0} ¶ xy'{1} [Fig. III. i.e. "Some x are y'."

38. mx{0} + m'y{0} ¶ xy_{0} [Fig. I. i.e. "No x are y."

39. mx'{1} + my{0} ¶ x'y'_{1} [Fig. II. i.e. "Some x' are y'."

40. x'm{0} + y'{1}m'{0} ¶ y'{1}x'_{0} [Fig. I (a). i.e. "All y' are x."

41. x{1}m{0} + ym'{0} ¶ x{1}y_{0} [Fig. I (a). i.e. "All x are y'."

42. m'x{0} + ym{0} ¶ xy_{0} [Fig. I. i.e. "No x are y."

Solutions for § 5, Nos. 13-24. SL5-B

13. No Frenchmen like plumpudding; All Englishmen like plumpudding.

Univ. "men"; m = liking plumpudding; x = French; y = English.

xm{0} + y{1}m'{0} ¶ y{1}x_{0} [Fig. I (a).

i.e. Englishmen are not Frenchmen.

14. No portrait of a lady, that makes her simper or scowl, is satisfactory; No photograph of a lady ever fails to make her simper or scowl.

Univ. "portraits of ladies"; m = making the subject simper or scowl; x = satisfactory; y = photographic.

mx{0} + ym'{0} ¶ xy_{0} [Fig. I.

i.e. No photograph of a lady is satisfactory.

15. All pale people are phlegmatic; No one looks poetical unless he is pale.

Univ. "people"; m = pale; x = phlegmatic; y = looking poetical.

m{1}x'{0} + m'y{0} ¶ x'y{0} [Fig. I.

i.e. No one looks poetical unless he is phlegmatic.

16. No old misers are cheerful; Some old misers are thin.

Univ. "persons"; m = old misers; x = cheerful; y = thin.

mx{0} + my{1} ¶ x'y_{1} [Fig. II.

i.e. Some thin persons are not cheerful.

17. No one, who exercises self-control, fails to keep his temper; Some judges lose their tempers.

Univ. "persons"; m = keeping their tempers; x = exercising self-control; y = judges.

xm'{0} + ym'{1} ¶ x'y_{1} [Fig. II.

i.e. Some judges do not exercise self-control. pg148 18. All pigs are fat; Nothing that is fed on barley-water is fat.

Univ. is "things"; m = fat; x = pigs; y = fed on barley-water.

x{1}m'{0} + ym{0} ¶ x{1}y_{0} [Fig. I (a).

i.e. Pigs are not fed on barley-water.

19. All rabbits, that are not greedy, are black; No old rabbits are free from greediness.

Univ. is "rabbits"; m = greedy; x = black; y = old.

m'{1}x'{0} + ym'{0} ¶ xy'{1} [Fig. III.

i.e. Some black rabbits are not old.

20. Some pictures are not first attempts; No first attempts are really good.

Univ. is "things"; m = first attempts; x = pictures; y = really good.

xm'{1} + my{0} ¶ nothing.

21. I never neglect important business; Your business is unimportant.

Univ. is "business"; m = important; x = neglected by me; y = your.

mx{0} + y{1}m_{0} ¶ nothing.

22. Some lessons are difficult; What is difficult needs attention.

Univ. is "things"; m = difficult; x = lessons; y = needing attention.

xm{1} + m{1}y'{0} ¶ xy{1} [Fig. II.

i.e. Some lessons need attention.

23. All clever people are popular; All obliging people are popular.

Univ. is "people"; m = popular; x = clever; y = obliging.

x{1}m'{0} + y{1}m'{0} ¶ nothing.

24. Thoughtless people do mischief; No thoughtful person forgets a promise.

Univ. is "persons"; m = thoughtful; x = mischievous; y = forgetful of promises.

m'{1}x'{0} + my{0} ¶ x'y{0}

i.e. No one, who forgets a promise, fails to do mischief.

Solutions for § 6. SL6-B

1. xm{1} + my'{0} ¶ xy_{1} [Fig. II.] Concl. right.

2. x{1}m'{0} + ym'_{0} Fallacy of Like Eliminands not asserted to exist.

3. xm'{1} + y'{1}m'{0} ¶ xy{1} [Fig. II.] Concl. right. pg149 4. x{1}m'{0} + ym{0} ¶ x{1}y_{0} [Fig. I (a).] Concl. right.

5. m'x'{1} + m'y{0} ¶ x'y'_{1} [Fig. II.] "

6. x'm{0} + y{1}m_{0} Fallacy of Like Eliminands not asserted to exist.

7. m'x'{1} + y'{1}m_{0} Fallacy of Unlike Eliminands with an Entity-Premiss.

8. m'x'{0} + y'{1}m{0} ¶ y'{1}x'_{0} [Fig. I (a).] Concl. right.

9. mx'{1} + my{0} ¶ x'y'_{1} [Fig. II.] "

10. m'{1}x{0} + m'{1}y'{0} ¶ x'y_{1} [Fig. III.] "

11. x{1}m{0} + ym{1} ¶ x'y{1} [Fig. II.] "

12. xm{0} + m'y'{0} ¶ xy'_{0} [Fig. I.] "

13. xm{0} + y'{1}m'{0} ¶ y'{1}x_{0} [Fig. I (a).] "

14. m'{1}x{0} + m'{1}y'{0} ¶ x'y_{1} [Fig. III.] "

15. mx'{1} + y{1}m{0} ¶ x'y'{1} [Fig. II.] "

16. x'm{0} + y'{1}m_{0} Fallacy of Like Eliminands not asserted to exist.

17. m'x{0} + m'{1}y{0} ¶ x'y'{1} [Fig. III.] Concl. right.

18. x'm{0} + my{1} ¶ xy_{1} [Fig. II.] "

19. mx'{1} + m{1}y'{0} ¶ x'y{1} [ " ] "

20. x'm'{0} + m'y'{1} ¶ xy'_{1} [ " ] "

21. mx{0} + m{1}y{0} ¶ x'y'{1} [Fig. III.] "

22. x'{1}m'{0} + ym'{1} ¶ xy{1} [Fig. II.] Concl. wrong: the right one is "Some x are y."

23. m{1}x'{0} + m'y'{0} ¶ x'y'{0} [Fig. I.] Concl. right.

24. x{1}m{0} + m'{1}y'{0} ¶ x{1}y'{0} [Fig. I (a).] "

25. xm'{0} + m{1}y'{0} ¶ xy'{0} [Fig. I.] "

26. m{1}x{0} + y{1}m'{0} ¶ y{1}x{0} [Fig. I (a).] "

27. x{1}m'{0} + my'{0} ¶ x{1}y'_{0} [ " ] "

28. x{1}m'{0} + y'm'_{0} Fallacy of Like Eliminands not asserted to exist.

29. x'm{0} + m'y'{0} ¶ x'y'_{0} [Fig. I.] Concl. right.

30. x{1}m'{0} + m{1}y{0} ¶ x{1}y{0} [Fig. I (a).] "

31. x'{1}m{0} + y'm'{0} ¶ x'{1}y'_{0} [ " ] "

32. xm{0} + y'm'{0} ¶ xy'_{0} [Fig. I.] "

33. m{1}x{0} + y'{1}m'{0} ¶ y'{1}x{0} [Fig. I (a).] "

34. x{1}m{0} + ym'_{1} Fallacy of Unlike Eliminands with an Entity-Premiss.

35. xm{1} + m{1}y'{0} ¶ xy{1} [Fig. II.] Concl. right.

36. m{1}x{0} + y{1}m'{0} ¶ y{1}x{0} [Fig. I (a).] "

37. mx'{0} + m{1}y{0} ¶ xy'{1} [Fig. III.] "

38. xm{0} + my'{0} Fallacy of Like Eliminands not asserted to exist.

39. mx{0} + my'{1} ¶ x'y'_{1} [Fig. II.] Concl. right.

40. mx'{0} + ym{1} ¶ xy_{1} [Fig. II.] "

pg150 Solutions for § 7. SL7-B

1. No doctors are enthusiastic; You are enthusiastic. You are not a doctor.

Univ. "persons"; m = enthusiastic; x = doctors; y = you.

xm{0} + y{1}m'{0} ¶ y{1}x_{0} [Fig. I (a).

Conclusion right.

2. Dictionaries are useful; Useful books are valuable. Dictionaries are valuable.

Univ. "books"; m = useful; x = dictionaries; y = valuable.

x{1}m'{0} + m{1}y'{0} ¶ x{1}y'{0} [Fig. I (a).

Conclusion right.

3. No misers are unselfish; None but misers save egg-shells. No unselfish people save egg-shells.

Univ. "people"; m = misers; x = selfish; y = people who save egg-shells.

mx'{0} + m'y{0} ¶ x'y_{0} [Fig. I.

Conclusion right.

4. Some epicures are ungenerous; All my uncles are generous. My uncles are not epicures.

Univ. "persons"; m = generous; x = epicures; y = my uncles.

xm'{1} + y{1}m'{0} ¶ xy'{1} [Fig. II.

Conclusion wrong: right one is "Some epicures are not uncles of mine."

5. Gold is heavy; Nothing but gold will silence him. Nothing light will silence him.

Univ. "things"; m = gold; x = heavy; y = able to silence him.

m{1}x'{0} + m'y{0} ¶ x'y{0} [Fig. I.

Conclusion right.

6. Some healthy people are fat; No unhealthy people are strong. Some fat people are not strong.

Univ. "people"; m = healthy; x = fat; y = strong.

mx{1} + m'y{0}

No Conclusion. [Fallacy of Unlike Eliminands with an Entity-Premiss.]

7. I saw it in a newspaper; All newspapers tell lies. It was a lie.

Univ. "publications"; m = newspapers; x = publications in which I saw it; y = telling lies.

x{1}m'{0} + m{1}y'{0} ¶ x{1}y'{0} [Fig. I (a).

Conclusion wrong: right one is "The publication, in which I saw it, tells lies." pg151 8. Some cravats are not artistic; I admire anything artistic. There are some cravats that I do not admire.

Univ. "things"; m = artistic; x = cravats; y = things that I admire.

xm{1} + m{1}y_{0}

No Conclusion. [Fallacy of Unlike Eliminands with an Entity-Premiss.]

9. His songs never last an hour. A song, that lasts an hour, is tedious. His songs are never tedious.

Univ. "songs"; m = lasting an hour; x = his; y = tedious.

x{1}m{0} + m{1}y'{0} ¶ x'y_{1} [Fig. III.

Conclusion wrong: right one is "Some tedious songs are not his."

10. Some candles give very little light; Candles are meant to give light. Some things, that are meant to give light, give very little.

Univ. "things"; m = candles; x = giving &c.; y = meant &c.

mx{1} + m{1}y'{0} ¶ xy{1} [Fig. II.

Conclusion right.

11. All, who are anxious to learn, work hard. Some of these boys work hard. Some of these boys are anxious to learn.

Univ. "persons"; m = hard-working; x = anxious to learn; y = these boys.

x{1}m'{0} + ym_{1}

No Conclusion. [Fallacy of Unlike Eliminands with an Entity-Premiss.]

12. All lions are fierce; Some lions do not drink coffee. Some creatures that drink coffee are not fierce.

Univ. "creatures"; m = lions; x = fierce; y = creatures that drink coffee.

m{1}x'{0} + my'{1} ¶ xy'{1} [Fig. II.

Conclusion wrong: right one is "Some fierce creatures do not drink coffee."

13. No misers are generous; Some old men are ungenerous. Some old men are misers.

Univ. "persons"; m = generous; x = misers; y = old men.

xm{0} + ym'{1}

No Conclusion. [Fallacy of Unlike Eliminands with an Entity-Premiss.]

14. No fossil can be crossed in love; An oyster may be crossed in love. Oysters are not fossils.

Univ. "things"; m = things that can be crossed in love; x = fossils; y = oysters.

xm{0} + y{1}m'{0} ¶ y{1}x_{0} [Fig. I (a).

Conclusion right. pg152 15. All uneducated people are shallow; Students are all educated. No students are shallow.

Univ. "people"; m = educated; x = shallow; y = students.

m'{1}x'{0} + y{1}m'{0} ¶ xy'_{1} [Fig. III.

Conclusion wrong: right one is "Some shallow people are not students."

16. All young lambs jump; No young animals are healthy, unless they jump. All young lambs are healthy.

Univ. "young animals"; m = young animals that jump; x = lambs; y = healthy.

x{1}m'{0} + m'y_{0}

No Conclusion. [Fallacy of Like Eliminands not asserted to exist.]

17. Ill-managed business is unprofitable; Railways are never ill-managed. All railways are profitable.

Univ. "business"; m = ill-managed; x = profitable; y = railways.

m{1}x{0} + y{1}m{0} ¶ x'y'_{1} [Fig. III.

Conclusion wrong: right one is "Some business, other than railways, is profitable."

18. No Professors are ignorant; All ignorant people are vain. No Professors are vain.

Univ. "people"; m = ignorant; x = Professors; y = vain.

xm{0} + m{1}y'{0} ¶ x'y{1} [Fig. III.

Conclusion wrong: right one is "Some vain persons are not Professors."

19. A prudent man shuns hyænas. No banker is imprudent. No banker fails to shun hyænas.

Univ. "men"; m = prudent; x = shunning hyænas; y = bankers.

m{1}x'{0} + ym'{0} ¶ x'y{0} [Fig. I.

Conclusion right.

20. All wasps are unfriendly; No puppies are unfriendly. No puppies are wasps.

Univ. "creatures"; m = friendly; x = wasps; y = puppies.

x{1}m{0} + ym'{0} ¶ x{1}y_{0} [Fig. I (a).

Conclusion incomplete: complete one is "Wasps are not puppies".

21. No Jews are honest; Some Gentiles are rich. Some rich people are dishonest.

Univ. "persons"; m = Jews; x = honest; y = rich.

mx{0} + m'y{1}

No Conclusion. [Fallacy of Unlike Eliminands with an Entity-Premiss.] pg153 22. No idlers win fame; Some painters are not idle. Some painters win fame.

Univ. "persons"; m = idlers; x = persons who win fame; y = painters.

mx{0} + ym'{1}

No Conclusion. [Fallacy of Unlike Eliminands with an Entity-Premiss.]

23. No monkeys are soldiers; All monkeys are mischievous. Some mischievous creatures are not soldiers.

Univ. "creatures"; m = monkeys; x = soldiers; y = mischievous.

mx{0} + m{1}y'{0} ¶ x'y{1} [Fig. III.

Conclusion right.

24. All these bonbons are chocolate-creams; All these bonbons are delicious. Chocolate-creams are delicious.

Univ. "food"; m = these bonbons; x = chocolate-creams; y = delicious.

m{1}x'{0} + m{1}y'{0} ¶ xy_{1} [Fig. III.

Conclusion wrong, being in excess of the right one, which is "Some chocolate-creams are delicious."

25. No muffins are wholesome; All buns are unwholesome. Buns are not muffins.

Univ. "food"; m = wholesome; x = muffins; y = buns.

xm{0} + y{1}m_{0}

No Conclusion. [Fallacy of Like Eliminands not asserted to exist.]

26. Some unauthorised reports are false; All authorised reports are trustworthy. Some false reports are not trustworthy.

Univ. "reports"; m = authorised; x = true; y = trustworthy.

m'x'{1} + m{1}y'_{0}

No Conclusion. [Fallacy of Unlike Eliminands with an Entity-Premiss.]

27. Some pillows are soft; No pokers are soft. Some pokers are not pillows.

Univ. "things"; m = soft; x = pillows; y = pokers.

xm{1} + ym{0} ¶ xy'_{1} [Fig. II.

Conclusion wrong: right one is "Some pillows are not pokers."

28. Improbable stories are not easily believed; None of his stories are probable. None of his stories are easily believed.

Univ. "stories"; m = probable; x = easily believed; y = his.

m'{1}x{0} + ym{0} ¶ xy{0} [Fig. I.

Conclusion right. pg154 29. No thieves are honest; Some dishonest people are found out. Some thieves are found out.

Univ. "people"; m = honest; x = thieves; y = found out.

xm{0} + m'y{1}

No Conclusion. [Fallacy of Unlike Eliminands with an Entity-Premiss.]

30. No muffins are wholesome; All puffy food is unwholesome. All muffins are puffy.

Univ. is "food"; m = wholesome; x = muffins; y = puffy.

xm{0} + y{1}m_{0}

No Conclusion. [Fallacy of Like Eliminands not asserted to exist.]

31. No birds, except peacocks, are proud of their tails; Some birds, that are proud of their tails, cannot sing. Some peacocks cannot sing.

Univ. "birds"; m = proud of their tails; x = peacocks; y = birds that cannot sing.

x'm{0} + my'{1} ¶ xy'_{1} [Fig. II.

Conclusion right.

32. Warmth relieves pain; Nothing, that does not relieve pain, is useful in toothache. Warmth is useful in toothache.

Univ. "applications"; m = relieving pain; x = warmth; y = useful in toothache.

x{1}m'{0} + m'y_{0}

No Conclusion. [Fallacy of Like Eliminands not asserted to exist.]

33. No bankrupts are rich; Some merchants are not bankrupts. Some merchants are rich.

Univ. "persons"; m = bankrupts; x = rich; y = merchants.

mx{0} + ym'{1}

No Conclusion. [Fallacy of Unlike Eliminands with an Entity-Premiss.]

34. Bores are dreaded; No bore is ever begged to prolong his visit. No one, who is dreaded, is ever begged to prolong his visit.

Univ. "persons"; m = bores; x = dreaded; y = begged to prolong their visits.

m{1}x'{0} + my{0} ¶ xy'{1} [Fig. III.

Conclusion wrong: the right one is "Some dreaded persons are not begged to prolong their visits."

35. All wise men walk on their feet; All unwise men walk on their hands. No man walks on both.

Univ. "men"; m = wise; x = walking on their feet; y = walking on their hands.

m{1}x'{0} + m'{1}y'{0} ¶ x'y'_{0} [Fig. I.

Conclusion wrong: right one is "No man walks on neither." pg155 36. No wheelbarrows are comfortable; No uncomfortable vehicles are popular. No wheelbarrows are popular.

Univ. "vehicles"; m = comfortable; x = wheelbarrows; y = popular.

xm{0} + m'x{0} ¶ xy_{0} [Fig. I.

Conclusion right.

37. No frogs are poetical; Some ducks are unpoetical. Some ducks are not frogs.

Univ. "creatures"; m = poetical; x = frogs; y = ducks.

xm{0} + ym'{1}

No Conclusion. [Fallacy of Unlike Eliminands with an Entity-Premiss.]

38. No emperors are dentists; All dentists are dreaded by children. No emperors are dreaded by children.

Univ. "persons"; m = dentists; x = emperors; y = dreaded by children.

xm{0} + m{1}y'{0} ¶ x'y{1} [Fig. III.

Conclusion wrong: right one is "Some persons, dreaded by children, are not emperors."

39. Sugar is sweet; Salt is not sweet. Salt is not sugar.

Univ. "things"; m = sweet; x = sugar; y = salt.

x{1}m'{0} + y{1}m{0} ¶ (x{1}y{0} + y{1}x{0}) [Fig. I (b).

Conclusion incomplete: omitted portion is "Sugar is not salt."

40. Every eagle can fly; Some pigs cannot fly. Some pigs are not eagles.

Univ. "creatures"; m = creatures that can fly; x = eagles; y = pigs.

x{1}m'{0} + ym'{1} ¶ x'y{1} [Fig. II.

Conclusion right.

Solutions for § 8. SL8

1 2 3 1. cd{0} + a{1}d'{0} + b{1}c'_{0};

1 2 3 cd + ad' + bc' ¶ ab{0} + a{1} + b_{1} -- = =

i.e. ¶ a{1}b{0} + b{1}a{0}

1 2 3 2. d{1}b'{0} + ac'{0} + bc{0};

1 3 2 db' + bc + ac' ¶ da{0} + d{1} i.e. ¶ d{1}a{0} - =- =

1 2 3 3. ba{0} + cd'{0} + d{1}b'{0};

1 3 2 ba + db' + cd' ¶ ac_{0} - -= =

1 2 3 4. bc{0} + a{1}b'{0} + c'd{0};

1 2 3 bc + ab' + c'd ¶ ad{0} + a{1} i.e. ¶ a{1}d{0} -- = = pg156 1 2 3 1 2 3 5. b'{1}a{0} + bc{0} + a'd{0}; b'a + bc + a'd ¶ cd_{0} - - = =

1 2 3 6. a{1}b{0} + b'c{0} + d{1}a'_{0};

1 2 3 ab + b'c + da' ¶ cd{0} + d{1} i.e. ¶ d{1}c{0} -- = =

1 2 3 1 2 3 7. db'{0} + b{1}a'{0} + cd'{0}; db' + ba' + cd' ¶ a'c_{0} -- = =

1 2 3 8. b'd{0} + a'b{0} + c{1}d'{0};

1 2 3 b'd + a'b + cd' ¶ a'c{0} + c{1} i.e. ¶ c{1}a'{0} - - = =

1 2 3 9. b'{1}a'{0} + ad{0} + b{1}c'_{0};

1 2 3 b'a' + ad + bc' ¶ dc'_{0} - - = =

1 2 3 10. cd{0} + b{1}c'{0} + ad'{0};

1 2 3 cd + bc' + ad' ¶ ba{0} + b{1} i.e. ¶ b{1}a{0} -- = =

1 2 3 11. bc{0} + d{1}a'{0} + c'{1}a_{0};

1 3 2 bc + c'a + da' ¶ bd{0} + d{1} i.e. ¶ d{1}b{0} - = - =

1 2 3 12. cb'{0} + c'{1}d{0} + b{1}a'_{0};

1 2 3 cb' + c'd + ba' ¶ da'_{0} -- = =

1 2 3 4 13. d{1}e'{0} + c{1}a'{0} + bd'{0} + e{1}a_{0};

1 3 4 2 de' + bd' + ea + ca' ¶ bc{0} + c{1} i.e. ¶ c{1}b{0} -- = =- =

1 2 3 4 14. c{1}b'{0} + a{1}e'{0} + d{1}b{0} + a'{1}c'{0};

1 3 4 2 cb' + db + a'c' + ae' ¶ de'{0} + d{1} i.e. ¶ d{1}e'{0} -- = - = =

1 2 3 4 15. b'd{0} + e{1}c'{0} + b{1}a'{0} + d'{1}c_{0};

1 3 4 2 b'd + ba' + d'c + ec' ¶ a'e{0} + e{1} i.e. ¶ e{1}a'{0} - - = = - =

1 2 3 4 16. a'e{0} + d{1}c{0} + a{1}b'{0} + e'{1}d'_{0};

1 3 4 2 a'e + ab' + e'd' + dc ¶ b'c_{0} - - = = - =

1 2 3 4 17. d{1}c'{0} + a{1}e'{0} + bd'{0} + c{1}e_{0};

1 3 4 2 dc' + bd' + ce + ae' ¶ ba{0} + a{1} i.e. ¶ a{1}b{0} -- = =- =

1 2 3 4 18. a{1}b'{0} + d{1}e'{0} + a'{1}c{0} + be_{0};

1 3 4 2 ab' + a'c + be + de' ¶ cd{0} + d{1} i.e. ¶ d{1}c{0} -- = =- =

1 2 3 4 5 19. bc{0} + e{1}h'{0} + a{1}b'{0} + dh{0} + e'{1}c'{0};

1 3 5 2 4 bc + ab' + e'c' + eh' + dh ¶ ad{0} + a{1} -- = - = =- =

i.e. ¶ a{1}d{0}

1 2 3 4 5 20. dh'{0} + ce{0} + h{1}b'{0} + ad'{0} + be'{0};

1 3 4 5 2 dh' + hb' + ad' + be' + ce ¶ ac_{0} -- =- = =- =

1 2 3 4 5 21. b{1}a'{0} + dh{0} + ce{0} + ah'{0} + c'{1}b'_{0};

1 4 2 5 3 ba' + ah' + dh + c'b' + ce ¶ de_{0} -- =- = - = =

1 2 3 4 5 22. e{1}d{0} + b'h'{0} + c'{1}d'{0} + a{1}e'{0} + ch{0};

1 3 4 5 2 ed + c'd' + ae' + ch + b'h' ¶ ab'{0} + a{1} -- - = = =- =

i.e. ¶ a{1}b{0} pg157 1 2 3 4 5 23. b'{1}a{0} + de'{0} + h{1}b{0} + ce{0} + d'{1}a'{0};

1 3 5 2 4 b'a + hb + d'a' + de' + ce - - = - = =- =

¶ hc{0} + h{1} i.e. ¶ h{1}c{0}

1 2 3 4 5 6 24. h'{1}k{0} + b'a{0} + c{1}d'{0} + e{1}h{0} + dk'{0} + bc'_{0};

1 4 5 3 6 2 h'k + eh + dk' + cd' + bc' + b'a ¶ ea{0} + e{1} - - = -= -= -= =

i.e. ¶ e{1}a{0}

1 2 3 4 25. a{1}d'{0} + k{1}b'{0} + e{1}h'{0} + a'b_{0}

5 6 + d{1}c'{0} + h{1}k'{0};

1 4 2 5 6 3 ad' + a'b + kb' + dc' + hk' + eh' ¶ c'e{0} + e{1} -- = - -= = -= =

i.e. ¶ e{1}c'{0}

1 2 3 4 5 26. a'{1}h'{0} + d'k'{0} + e{1}b{0} + hk{0} + a{1}c'{0} 6 + b'd_{0};

1 4 2 5 6 3 a'h' + hk + d'k' + ac' + b'd + eb ¶ c'e{0} + e{1} - - =- - = = - = =

i.e. ¶ e{1}c'{0}

1 2 3 4 5 27. e{1}d{0} + hb{0} + a'{1}k'{0} + ce'{0} + b'{1}d'{0}

6 + ac'_{0};

1 4 5 2 6 3 ed + ce' + b'd' + hb + ac' + a'k' ¶ hk'_{0} -- -= - = = -= =

1 2 3 4 5 28. a'k{0} + e{1}b'{0} + hk'{0} + d'c{0} + ab{0}

6 + c'{1}h'{0};

1 3 5 2 6 4 a'k + hk' + ab + eb' + c'h' + d'c ¶ ed'{0} + e{1} - - -= =- = - = =

i.e. ¶ e{1}d'{0}

1 2 3 4 5 29. ek{0} + b'm{0} + ac'{0} + h'{1}e'{0} + d{1}k'_{0}

6 7 8 + cb{0} + d'{1}l'{0} + hm'{0};

1 4 5 7 8 2 6 3 ek + h'e' + dk' + d'l' + hm' + b'm + cb + ac' -- - = -= = =- - = -= =

¶ l'a_{0}

1 2 3 4 5 30. n{1}m'{0} + a'{1}e'{0} + c'l{0} + k{1}r{0} + ah'{0}

6 7 8 9 10 + dl'{0} + cn'{0} + e{1}b'{0} + m{1}r'{0} + h{1}d'{0};

1 7 3 6 9 4 10 5 2 8 nm' + cn' + c'l + dl' + mr' + kr + hd' + ah' + a'e' + eb' -- -= = - -= =- = -= -= = - =

¶ kb'{0} + k{1} i.e. ¶ k{1}b'{0}

Solutions for § 9. SL9

1 2 3 b{1}d{0} + ac{0} + d'{1}c'_{0};

1 3 2 bd + d'c' + ac ¶ ba{0} + b{1}, i.e. ¶ b{1}a{0} - = - =

i.e. Babies cannot manage crocodiles.

1 2 3 a{1}b'{0} + d{1}c'{0} + bc_{0};

1 3 2 ab' + bc + dc' ¶ ad{0} + d{1}, i.e. ¶ d{1}a{0} - =- =

i.e. Your presents to me are not made of tin. pg158 3.

1 2 3 da{0} + c{1}b'{0} + a'b{0};

1 3 2 da + a'b + cb' ¶ dc{0} + c{1}, i.e. ¶ c{1}d{0} - = - =

i.e. All my potatoes in this dish are old ones.

1 2 3 ba{0} + b'd{0} + c{1}a'{0};

1 2 3 ba + b'd + ca' ¶ dc{0} + c{1}, i.e. ¶ c{1}d{0} -- = =

i.e. My servants never say "shpoonj."

1 2 3 ad{0} + cd'{0} + b{1}a'{0};

1 2 3 ad + cd' + ba' ¶ cb{0} + b{1}, i.e. ¶ b{1}c{0} -- = =

i.e. My poultry are not officers.

1 2 3 1 2 3 c{1}a'{0} + c'b{0} + da{0}; ca' + c'b + da ¶ bd_{0} -- = =

i.e. None of your sons are fit to serve on a jury.

1 2 3 1 3 2 cb{0} + da{0} + b'{1}a'{0}; cb + b'a' + da ¶ cd_{0} - = - =

i.e. No pencils of mine are sugarplums.

1 2 3 cb'{0} + d{1}a'{0} + ba{0};

1 3 2 cb' + ba + da' ¶ cd{0} + d{1}, i.e. ¶ d{1}c{0} - =- =

i.e. Jenkins is inexperienced.

1 2 3 1 2 3 cd{0} + d'a{0} + c'b{0}; cd + d'a + c'b ¶ ab{0} -- = =

i.e. No comet has a curly tail.

10.

1 2 3 1 3 2 d'c{0} + ba{0} + a'{1}d{0}; d'c + a'd + ba ¶ cb_{0} - - = =

i.e. No hedgehog takes in the Times.

11.

1 2 3 b{1}a'{0} + c{1}b'{0} + ad_{0};

1 2 3 ba' + cb' + ad ¶ cd{0} + c{1}, i.e. ¶ c{1}d{0} -- = =

i.e. This dish is unwholesome.

12.

1 2 3 b{1}c'{0} + d'a{0} + a'c{0};

1 3 2 bc' + a'c + d'a ¶ bd'{0} + b{1}, i.e. ¶ b{1}d'{0} - - = =

i.e. My gardener is very old.

13.

1 2 3 a{1}d'{0} + bc{0} + c'{1}d_{0};

1 3 2 ad' + c'd + bc ¶ ab{0} + a{1}, i.e. ¶ a{1}b{0} - - = =

i.e. All humming-birds are small. pg159 14.

1 2 3 1 3 2 c'b{0} + a{1}d'{0} + ca'{0}; c'b + ca' + ad' ¶ bd'_{0} - =- =

i.e. No one with a hooked nose ever fails to make money.

15.

1 2 3 1 2 3 b{1}a'{0} + b'{1}d{0} + ca{0}; ba' + b'd + ca ¶ dc{0} -- = =

i.e. No gray ducks in this village wear lace collars.

16.

1 2 3 1 2 3 d{1}b'{0} + cd'{0} + ba{0}; db' + cd' + ba ¶ ca_{0} -- = =

i.e. No jug in this cupboard will hold water.

17.

1 2 3 b'{1}d{0} + c{1}d'{0} + ab_{0};

1 2 3 b'd + cd' + ab ¶ ca{0} + c{1}, i.e. ¶ c{1}a{0} - - = =

i.e. These apples were grown in the sun.

18.

1 2 3 d'{1}b'{0} + c{1}b{0} + c'a_{0};

1 2 3 d'b' + cb + c'a ¶ d'a{0} + d'{1}, i.e. ¶ d'{1}a{0} - -= =

i.e. Puppies, that will not lie still, never care to do worsted-work.

19.

1 2 3 1 3 2 bd'{0} + a{1}c'{0} + a'd{0}; bd' + a'd + ac' ¶ bc'_{0} - - = =

i.e. No name in this list is unmelodious.

20.

1 2 3 1 3 2 a{1}b'{0} + dc{0} + a'{1}d'{0}; ab' + a'd' + dc ¶ b'c{0} - = - =

i.e. No M.P. should ride in a donkey-race, unless he has perfect self-command.

21.

1 2 3 1 3 2 bd{0} + c'a{0} + b'c{0}; bd + b'c + c'a ¶ da{0} - = - =

i.e. No goods in this shop, that are still on sale, may be carried away.

22.

1 2 3 1 3 2 a'b{0} + cd{0} + d'a{0}; a'b + d'a + cd ¶ bc{0} - - = =

i.e. No acrobatic feat, which involves turning a quadruple somersault, is ever attempted in a circus.

23.

1 2 3 dc'{0} + a{1}b'{0} + bc{0};

1 3 2 dc' + bc + ab' ¶ da{0} + a{1}, i.e. ¶ a{1}d{0} - -= =

i.e. Guinea-pigs never really appreciate Beethoven. pg160 24.

1 2 3 1 3 2 a{1}d'{0} + b'{1}c{0} + ba'{0}; ad' + ba' + b'c ¶ d'c{0} - -= =

i.e. No scentless flowers please me.

25.

1 2 3 c{1}d'{0} + ba'{0} + d{1}a_{0};

1 3 2 cd' + da + ba' ¶ cb{0} + c{1}, i.e. ¶ c{1}b{0} - =- =

i.e. Showy talkers are not really well-informed.

26.

1 2 3 4 ea{0} + b{1}d'{0} + a'{1}c{0} + e'b'{0};

1 3 4 2 ea + a'c + e'b' + bd' ¶ cd'_{0} -- = = - =

i.e. None but red-haired boys learn Greek in this school.

27.

1 2 3 4 b{1}d{0} + ac'{0} + e{1}d'{0} + c{1}b'_{0};

1 3 4 2 bd + ed' + cb' + ac' ¶ ea{0} + e{1}, i.e. ¶ e{1}a{0} -- = -= =

i.e. Wedding-cake always disagrees with me.

28.

1 2 3 4 ad{0} + e'{1}b'{0} + c{1}d'{0} + e{1}a'_{0};

1 3 4 2 ad + cd' + ea' + e'b' ¶ cb'{0} + c{1}, i.e. ¶ c{1}b'{0} -- = -= =

i.e. Discussions, that go on while Tomkins is in the chair, endanger the peacefulness of our Debating-Club.

29.

1 2 3 4 d{1}a{0} + e'c{0} + b{1}a'{0} + d'e{0};

1 3 4 2 da + ba' + d'e + e'c ¶ bc{0} + b{1}, i.e. ¶ b{1}c{0} -- = = - =

i.e. All gluttons in my family are unhealthy.

30.

1 2 3 4 d{1}e{0} + c'a{0} + b{1}e'{0} + c{1}d'_{0};

1 3 4 2 de + be' + cd' + c'a ¶ ba{0} + b{1}, i.e. ¶ b{1}a{0} -- = -= =

i.e. An egg of the Great Auk is not to be had for a song.

31.

1 2 3 4 d'b{0} + a{1}c'{0} + c{1}e'{0} + a'd{0};

1 4 2 3 d'b + a'd + ac' + ce' ¶ be'_{0} - - = =- =

i.e. No books sold here have gilt edges unless they are priced at 5s. and upwards.

32.

1 2 3 4 a'{1}c'{0} + d{1}b{0} + a{1}e'{0} + c{1}b'{0};

1 3 4 2 a'c' + ae' + cb' + db ¶ e'd{0} + d{1}, i.e. ¶ d{1}e'{0} - - = =- =

i.e. When you cut your finger, you will find Tincture of Calendula useful.

33.

1 2 3 4 d'b{0} + a{1}e'{0} + ec{0} + d{1}a'{0};

1 4 2 3 d'b + da' + ae' + ec ¶ bc_{0} - =- =- =

i.e. I have never come across a mermaid at sea. pg161 34.

1 2 3 4 c'{1}b{0} + a{1}e'{0} + d{1}b'{0} + a'{1}c{0};

1 3 4 2 c'b + db' + a'c + ae' ¶ de'{0} + d{1}, i.e. ¶ d{1}e'{0} - - = - = =

i.e. All the romances in this library are well-written.

35.

1 2 3 4 e'd{0} + c'a{0} + eb{0} + d'c{0};

1 3 4 2 e'd + eb + d'c + c'a ¶ ba_{0} - - = = - =

i.e. No bird in this aviary lives on mince-pies.

36.

1 2 3 4 d'{1}c'{0} + e{1}a'{0} + c{1}b{0} + e'd_{0};

1 3 4 2 d'c' + cb + e'd + ea' ¶ ba'_{0} - - = - = =

i.e. No plum-pudding, that has not been boiled in a cloth, can be distinguished from soup.

37.

1 2 3 4 5 ce'{0} + b'a'{0} + h{1}d'{0} + ae{0} + bd{0};

1 4 2 5 3 ce' + ae + b'a' + bd + hd' ¶ ch{0} + h{1}, i.e. ¶ h{1}c{0} - -= - = =- =

i.e. All your poems are uninteresting.

38.

1 2 3 4 5 b'{1}a'{0} + db{0} + he'{0} + ec{0} + a{1}h'_{0};

1 2 5 3 4 b'a' + db + ah' + he' + ec ¶ dc_{0} - - = =- =- =

i.e. None of my peaches have been grown in a hothouse.

39.

1 2 3 4 5 c{1}d{0} + h{1}e'{0} + c'{1}a'{0} + h'b{0} + e{1}d'_{0};

1 3 5 2 4 cd + c'a' + ed' + he' + h'b ¶ a'b_{0} -- = -= -= =

i.e. No pawnbroker is dishonest.

40.

1 2 3 4 5 bd'{0} + c'h{0} + e{1}b'{0} + da{0} + e'c{0};

1 3 4 5 2 bd' + eb' + da + e'c + c'h ¶ ah_{0} -- -= = = - =

i.e. No kitten with green eyes will play with a gorilla.

41.

1 2 3 4 5 c{1}a'{0} + h'b{0} + ae{0} + d{1}c'{0} + h{1}e'{0};

1 3 4 5 2 ca' + ae + dc' + he' + h'b ¶ db{0} + d{1}, i.e. ¶ d{1}b{0} -- =- = -= =

i.e. All my friends in this College dine at the lower table.

42.

1 2 3 4 5 ca{0} + h{1}d'{0} + c'{1}e'{0} + b'a'{0} + d{1}e{0};

1 3 4 5 2 ca + c'e' + b'a' + de + hd' ¶ b'h{0} + h{1}, -- = - = -= =

i.e. ¶ h{1}b'{0}

i.e. My writing-desk is full of live scorpions.

43.

1 2 3 4 5 b'{1}e{0} + ah{0} + dc{0} + e'{1}a'{0} + bc'_{0}

1 4 2 5 3 b'e + e'a' + ah + bc' + dc ¶ hd_{0} - - = - = =- =

i.e. No Mandarin ever reads Hogg's poems. pg162 44.

1 2 3 4 5 e{1}b'{0} + a'd{0} + c{1}h'{0} + e'a{0} + d'h_{0};

1 4 2 5 3 eb' + e'a + a'd + d'h + ch' ¶ b'c{0} + c{1}, - = - = - = - =

i.e. ¶ c{1}b'{0}

i.e. Shakespeare was clever.

45.

1 2 3 4 5 e'{1}c'{0} + hb'{0} + d{1}a{0} + e{1}a'{0} + c{1}b_{0};

1 4 3 5 2 e'c' + ea' + da + cb + hb' ¶ dh{0} + d{1}, i.e. ¶ d{1}h{0} - - =- = =- =

i.e. Rainbows are not worth writing odes to.

46.

1 2 3 4 5 c'{1}h'{0} + e{1}a{0} + bd{0} + a'{1}h{0} + d'c{0};

1 4 2 5 3 c'h' + a'h + ea + d'c + bd ¶ eb{0} + e{1}, i.e. ¶ e{1}b{0} - - - = = - = =

i.e. These Sorites-examples are difficult.

47.

1 2 3 4 5 6 a'{1}e'{0} + bk{0} + c'a{0} + eh'{0} + d{1}b'{0} + k'h{0};

1 3 4 6 2 5 a'e' + c'a + eh' + k'h + bk + db' ¶ c'd{0} + d{1}, - - = =- - = -= =

i.e. ¶ d{1}c'{0}

i.e. All my dreams come true.

48.

1 2 3 4 5 6 a'h{0} + c'k{0} + a{1}d'{0} + e{1}h'{0} + b{1}k'{0} + c{1}e'{0};

1 3 4 6 2 5 a'h + ad' + eh' + ce' + c'k + bk' ¶ d'b{0} + b{1}, - - = -= -= = - =

i.e. ¶ b{1}d'{0}

i.e. All the English pictures here are painted in oils.

49.

1 2 3 4 5 6 k'{1}e{0} + c{1}h{0} + b{1}a'{0} + kd{0} + h'a{0} + b'{1}e'{0};

1 4 6 3 5 2 k'e + kd + b'e' + ba' + h'a + ch ¶ dc{0} + c{1}, - - = - = =- - = =

i.e. ¶ c{1}d{0}

i.e. Donkeys are not easy to swallow.

50.

1 2 3 4 5 6 ab'{0} + h'd{0} + e{1}c{0} + b{1}d'{0} + a'k{0} + c'{1}h_{0};

1 4 2 5 6 3 ab' + bd' + h'd + a'k + c'h + ec ¶ ke{0} + e{1}, -- =- - = = - = =

i.e. ¶ e{1}k{0}

i.e. Opium-eaters never wear white kid gloves.

51.

1 2 3 4 5 6 bc{0} + k{1}a'{0} + eh{0} + d{1}b'{0} + h'c'{0} + k'{1}e'_{0};

1 4 5 3 6 2 bc + db' + h'c' + eh + k'e' + ka' ¶ da'{0} + d{1}, -- = - = -= - = =

i.e. ¶ d{1}a'{0}

i.e. A good husband always comes home for his tea.

52.

1 2 3 4 5 6 a'{1}k'{0} + ch{0} + h'k{0} + b{1}d'{0} + ea{0} + d{1}c'_{0}

1 3 2 6 4 5 a'k' + h'k + ch + dc' + bd' + ea ¶ be{0} + b{1}, - - - = -= -= = =

i.e. ¶ b{1}e{0}

i.e. Bathing-machines are never made of mother-of-pearl. pg163 53.

1 2 3 4 5 da'{0} + k{1}b'{0} + c{1}h{0} + d'{1}k'{0} + e{1}c'_{0}

6 + a{1}h'{0};

1 4 2 6 3 5 da' + d'k' + kb' + ah' + ch + ec' -- = - = =- -= =

¶ b'e{0} + e{1}, i.e. ¶ e{1}b'{0}

i.e. Rainy days are always cloudy.

54.

1 2 3 4 5 6 kb'{0} + a'{1}c'{0} + d'b{0} + k'{1}h'{0} + ea{0} + d{1}c_{0};

1 3 4 6 2 5 kb' + d'b + k'h' + dc + a'c' + ea -- - = = =- - = =

¶ h'e_{0}

i.e. No heavy fish is unkind to children.

55.

1 2 3 4 5 6 k'{1}b'{0} + eh'{0} + c'd{0} + hb{0} + ac{0} + kd'_{0};

1 4 2 6 3 5 k'b' + hb + eh' + kd' + c'd + ac ¶ ea_{0} - - -= = =- - = =

i.e. No engine-driver lives on barley-sugar.

56.

1 2 3 4 5 h{1}b'{0} + c{1}d'{0} + k'a{0} + e{1}h'{0} + b{1}a'_{0}

6 + k{1}c'{0};

1 4 5 3 6 2 hb' + eh' + ba' + k'a + kc' + cd' -- = =- - = =- =

¶ ed'{0} + e{1}, i.e. ¶ e{1}d'{0}

i.e. All the animals in the yard gnaw bones.

57.

1 2 3 4 5 6 h'{1}d'{0} + e{1}c'{0} + k'a{0} + cb{0} + d{1}l'{0} + e'h_{0}

7 + kl_{0};

1 5 7 3 6 2 4 h'd' + dl' + kl + k'a + e'h + ec' + cb ¶ ab_{0} - - =- -= = - = =- =

i.e. No badger can guess a conundrum.

58.

1 2 3 4 5 6 b'h{0} + d'{1}l'{0} + ca{0} + d{1}k'{0} + h'{1}e'{0} + mc'_{0}

7 8 + a'b{0} + ek{0};

1 5 7 3 6 8 4 2 b'h + h'e' + a'b + ca + mc' + ek + dk' + d'l' ¶ ml'_{0} - - = - - = -= = =- -= =

i.e. No cheque of yours, received by me, is payable to order.

59.

1 2 3 4 5 6 c{1}l'{0} + h'e{0} + kd{0} + mc'{0} + b'{1}e'{0} + n{1}a'_{0}

7 8 9 + l{1}d'{0} + m'b{0} + ah{0};

1 4 7 3 8 5 2 9 6 cl' + mc' + ld' + kd + m'b + b'e' + h'e + ah + na' -- -= =- = = - = - - = -= =

¶ kn_{0}

i.e. I cannot read any of Brown's letters.

60.

1 2 3 4 5 6 e{1}c'{0} + l{1}n'{0} + d{1}a'{0} + m'b{0} + ck'{0} + e'r_{0}

7 8 9 10 + h{1}n{0} + b'k{0} + r'{1}d'{0} + m{1}l'_{0};

1 5 6 8 4 9 3 10 2 7 ec' + ck' + e'r + b'k + m'b + r'd' + da' + ml' + ln' + hn -- =- = - - = - = = - = =- =- =

¶ a'h{0} + h{1}, i.e. ¶ h{1}a'{0}

i.e. I always avoid a kangaroo.

pg164

NOTES.

(A) [See p. 80].

One of the favourite objections, brought against the Science of Logic by its detractors, is that a Syllogism has no real validity as an argument, since it involves the Fallacy of Petitio Principii (i.e. "Begging the Question", the essence of which is that the whole Conclusion is involved in one of the Premisses).

This formidable objection is refuted, with beautiful clearness and simplicity, by these three Diagrams, which show us that, in each of the three Figures, the Conclusion is really involved in the two Premisses taken together, each contributing its share.

Thus, in Fig. I., the Premiss xm{0} empties the Inner Cell of the N.W. Quarter, while the Premiss ym{0} empties its Outer Cell. Hence it needs the two Premisses to empty the whole of the N.W. Quarter, and thus to prove the Conclusion xy_{0}.

Again, in Fig. II., the Premiss xm{0} empties the Inner Cell of the N.W. Quarter. The Premiss ym{1} merely tells us that the Inner Portion of the W. Half is occupied, so that we may place a 'I' in it, somewhere; but, if this were the whole of our information, we should not know in which Cell to place it, so that it would have to 'sit on the fence': it is only when we learn, from the other Premiss, that the upper of these two Cells is empty, that we feel authorised to place the 'I' in the lower Cell, and thus to prove the Conclusion x'y_{1}.

Lastly, in Fig. III., the information, that m exists, merely authorises us to place a 'I' somewhere in the Inner Square----but it has large choice of fences to sit upon! It needs the Premiss xm{0} to drive it out of the N. Half of that Square; and it needs the Premiss ym{0} to drive it out of the W. Half. Hence it needs the two Premisses to drive it into the Inner Portion of the S.E. Quarter, and thus to prove the Conclusion x'y'_{1}.

pg165

APPENDIX,

ADDRESSED TO TEACHERS.

§ 1.

Introductory.

There are several matters, too hard to discuss with Learners, which nevertheless need to be explained to any Teachers, into whose hands this book may fall, in order that they may thoroughly understand what my Symbolic Method is, and in what respects it differs from the many other Methods already published.

These matters are as follows:--

The "Existential Import" of Propositions. The use of "is-not" (or "are-not") as a Copula. The theory "two Negative Premisses prove nothing." Euler's Method of Diagrams. Venn's Method of Diagrams. My Method of Diagrams. The Solution of a Syllogism by various Methods. My Method of treating Syllogisms and Sorites. Some account of Parts II, III.

§ 2.

The "Existential Import" of Propositions.

The writers, and editors, of the Logical text-books which run in the ordinary grooves----to whom I shall hereafter refer by the (I hope inoffensive) title "The Logicians"----take, on this subject, what seems to me to be a more humble position than is at all necessary. They speak of the Copula of a Proposition "with bated breath", almost as if it were a living, conscious Entity, capable of declaring for itself what it chose to mean, and that we, poor human creatures, had nothing to do but to ascertain what was its sovereign will and pleasure, and submit to it. pg166 In opposition to this view, I maintain that any writer of a book is fully authorised in attaching any meaning he likes to any word or phrase he intends to use. If I find an author saying, at the beginning of his book, "Let it be understood that by the word 'black' I shall always mean 'white', and that by the word 'white' I shall always mean 'black'," I meekly accept his ruling, however injudicious I may think it.

And so, with regard to the question whether a Proposition is or is not to be understood as asserting the existence of its Subject, I maintain that every writer may adopt his own rule, provided of course that it is consistent with itself and with the accepted facts of Logic.

Let us consider certain views that may logically be held, and thus settle which of them may conveniently be held; after which I shall hold myself free to declare which of them I intend to hold.

The kinds of Propositions, to be considered, are those that begin with "some", with "no", and with "all". These are usually called Propositions "in I", "in E", and "in A".

First, then, a Proposition in I may be understood as asserting, or else as not asserting, the existence of its Subject. (By "existence" I mean of course whatever kind of existence suits its nature. The two Propositions, "dreams exist" and "drums exist", denote two totally different kinds of "existence". A dream is an aggregate of ideas, and exists only in the mind of a dreamer: whereas a drum is an aggregate of wood and parchment, and exists in the hands of a drummer.)

First, let us suppose that I "asserts" (i.e. "asserts the existence of its Subject").

Here, of course, we must regard a Proposition in A as making the same assertion, since it necessarily contains a Proposition in I.

We now have I and A "asserting". Does this leave us free to make what supposition we choose as to E? My answer is "No. We are tied down to the supposition that E does not assert." This can be proved as follows:--

If possible, let E "assert". Then (taking x, y, and z to represent Attributes) we see that, if the Proposition "No xy are z" be true, some things exist with the Attributes x and y: i.e. "Some x are y." pg167 Also we know that, if the Proposition "Some xy are z" be true, the same result follows.

But these two Propositions are Contradictories, so that one or other of them must be true. Hence this result is always true: i.e. the Proposition "Some x are y" is always true!

Quod est absurdum. (See Note (A), p. 195).

We see, then, that the supposition "I asserts" necessarily leads to "A asserts, but E does not". And this is the first of the various views that may conceivably be held.

Next, let us suppose that I does not "assert." And, along with this, let us take the supposition that E does "assert."

Hence the Proposition "No x are y" means "Some x exist, and none of them are y": i.e. "all of them are not-y," which is a Proposition in A. We also know, of course, that the Proposition "All x are not-y" proves "No x are y." Now two Propositions, each of which proves the other, are equivalent. Hence every Proposition in A is equivalent to one in E, and therefore "asserts".

Hence our second conceivable view is "E and A assert, but I does not."

This view does not seen to involve any necessary contradiction with itself or with the accepted facts of Logic. But, when we come to test it, as applied to the actual facts of life, we shall find I think, that it fits in with them so badly that its adoption would be, to say the least of it, singularly inconvenient for ordinary folk.

Let me record a little dialogue I have just held with my friend Jones, who is trying to form a new Club, to be regulated on strictly Logical principles.

Author. "Well, Jones! Have you got your new Club started yet?"

Jones (rubbing his hands). "You'll be glad to hear that some of the Members (mind, I only say 'some') are millionaires! Rolling in gold, my boy!"

Author. "That sounds well. And how many Members have entered?"

Jones (staring). "None at all. We haven't got it started yet. What makes you think we have?"

Author. "Why, I thought you said that some of the Members----" pg168 Jones (contemptuously). "You don't seem to be aware that we're working on strictly Logical principles. A Particular Proposition does not assert the existence of its Subject. I merely meant to say that we've made a Rule not to admit any Members till we have at least three Candidates whose incomes are over ten thousand a year!"

Author. "Oh, that's what you meant, is it? Let's hear some more of your Rules."

Jones. "Another is, that no one, who has been convicted seven times of forgery, is admissible."

Author. "And here, again, I suppose you don't mean to assert there are any such convicts in existence?"

Jones. "Why, that's exactly what I do mean to assert! Don't you know that a Universal Negative asserts the existence of its Subject? Of course we didn't make that Rule till we had satisfied ourselves that there are several such convicts now living."

The Reader can now decide for himself how far this second conceivable view would fit in with the facts of life. He will, I think, agree with me that Jones' view, of the 'Existential Import' of Propositions, would lead to some inconvenience.

Thirdly, let us suppose that neither I nor E "asserts".

Now the supposition that the two Propositions, "Some x are y" and "No x are not-y", do not "assert", necessarily involves the supposition that "All x are y" does not "assert", since it would be absurd to suppose that they assert, when combined, more than they do when taken separately.

Hence the third (and last) of the conceivable views is that neither I, nor E, nor A, "asserts".

The advocates of this third view would interpret the Proposition "Some x are y" to mean "If there were any x in existence, some of them would be y"; and so with E and A.

It admits of proof that this view, as regards A, conflicts with the accepted facts of Logic.

Let us take the Syllogism Darapti, which is universally accepted as valid. Its form is

"All m are x; All m are y. .'. Some y are x". pg169 This they would interpret as follows:--

"If there were any m in existence, all of them would be x; If there were any m in existence, all of them would be y. .'. If there were any y in existence, some of them would be x".

That this Conclusion does not follow has been so briefly and clearly explained by Mr. Keynes (in his "Formal Logic", dated 1894, pp. 356, 357), that I prefer to quote his words:--

"Let no proposition imply the existence either of its subject or of its predicate.

"Take, as an example, a syllogism in Darapti:--

'All M is P, All M is S, .'. Some S is P.'

"Taking S, M, P, as the minor, middle, and major terms respectively, the conclusion will imply that, if there is an S, there is some P. Will the premisses also imply this? If so, then the syllogism is valid; but not otherwise.

"The conclusion implies that if S exists P exists; but, consistently with the premisses, S may be existent while M and P are both non-existent. An implication is, therefore, contained in the conclusion, which is not justified by the premisses."

This seems to me entirely clear and convincing. Still, "to make sicker", I may as well throw the above (soi-disant) Syllogism into a concrete form, which will be within the grasp of even a non-logical Reader.

Let us suppose that a Boys' School has been set up, with the following system of Rules:--

"All boys in the First (the highest) Class are to do French, Greek, and Latin. All in the Second Class are to do Greek only. All in the Third Class are to do Latin only."

Suppose also that there are boys in the Third Class, and in the Second; but that no boy has yet risen into the First.

It is evident that there are no boys in the School doing French: still we know, by the Rules, what would happen if there were any. pg170 We are authorised, then, by the Data, to assert the following two Propositions:--

"If there were any boys doing French, all of them would be doing Greek; If there were any boys doing French, all of them would be doing Latin."

And the Conclusion, according to "The Logicians" would be

"If there were any boys doing Latin, some of them would be doing Greek."

Here, then, we have two true Premisses and a false Conclusion (since we know that there are boys doing Latin, and that none of them are doing Greek). Hence the argument is invalid.

Similarly it may be shown that this "non-existential" interpretation destroys the validity of Disamis, Datisi, Felapton, and Fresison.

Some of "The Logicians" will, no doubt, be ready to reply "But we are not Aldrichians! Why should we be responsible for the validity of the Syllogisms of so antiquated an author as Aldrich?"

Very good. Then, for the special benefit of these "friends" of mine (with what ominous emphasis that name is sometimes used! "I must have a private interview with you, my young friend," says the bland Dr. Birch, "in my library, at 9 a.m. tomorrow. And you will please to be punctual!"), for their special benefit, I say, I will produce another charge against this "non-existential" interpretation.

It actually invalidates the ordinary Process of "Conversion", as applied to Proposition in 'I'.

Every logician, Aldrichian or otherwise, accepts it as an established fact that "Some x are y" may be legitimately converted into "Some y are x."

But is it equally clear that the Proposition "If there were any x, some of them would be y" may be legitimately converted into "If there were any y, some of them would be x"? I trow not.

The example I have already used----of a Boys' School with a non-existent First Class----will serve admirably to illustrate this new flaw in the theory of "The Logicians." pg171 Let us suppose that there is yet another Rule in this School, viz. "In each Class, at the end of the Term, the head boy and the second boy shall receive prizes."

This Rule entirely authorises us to assert (in the sense in which "The Logicians" would use the words) "Some boys in the First Class will receive prizes", for this simply means (according to them) "If there were any boys in the First Class, some of them would receive prizes."

Now the Converse of this Proposition is, of course, "Some boys, who will receive prizes, are in the First Class", which means (according to "The Logicians") "If there were any boys about to receive prizes, some of them would be in the First Class" (which Class we know to be empty).

Of this Pair of Converse Propositions, the first is undoubtedly true: the second, as undoubtedly, false.

It is always sad to see a batsman knock down his own wicket: one pities him, as a man and a brother, but, as a cricketer, one can but pronounce him "Out!"

We see, then, that, among all the conceivable views we have here considered, there are only two which can logically be held, viz.

I and A "assert", but E does not. E and A "assert", but I does not.

The second of these I have shown to involve great practical inconvenience.

The first is the one adopted in this book. (See p. 19.)

Some further remarks on this subject will be found in Note (B), at p. 196.

§ 3.

The use of "is-not" (or "are-not") as a Copula.

Is it better to say "John is-not in-the-house" or "John is not-in-the-house"? "Some of my acquaintances are-not men-I-should-like-to-be-seen-with" or "Some of my acquaintances are men-I-should-not-like-to-be-seen-with"? That is the sort of question we have now to discuss. pg172 This is no question of Logical Right and Wrong: it is merely a matter of taste, since the two forms mean exactly the same thing. And here, again, "The Logicians" seem to me to take much too humble a position. When they are putting the final touches to the grouping of their Proposition, just before the curtain goes up, and when the Copula----always a rather fussy 'heavy father', asks them "Am I to have the 'not', or will you tack it on to the Predicate?" they are much too ready to answer, like the subtle cab-driver, "Leave it to you, Sir!" The result seems to be, that the grasping Copula constantly gets a "not" that had better have been merged in the Predicate, and that Propositions are differentiated which had better have been recognised as precisely similar. Surely it is simpler to treat "Some men are Jews" and "Some men are Gentiles" as being both of them, affirmative Propositions, instead of translating the latter into "Some men are-not Jews", and regarding it as a negative Propositions?

The fact is, "The Logicians" have somehow acquired a perfectly morbid dread of negative Attributes, which makes them shut their eyes, like frightened children, when they come across such terrible Propositions as "All not-x are y"; and thus they exclude from their system many very useful forms of Syllogisms.

Under the influence of this unreasoning terror, they plead that, in Dichotomy by Contradiction, the negative part is too large to deal with, so that it is better to regard each Thing as either included in, or excluded from, the positive part. I see no force in this plea: and the facts often go the other way. As a personal question, dear Reader, if you were to group your acquaintances into the two Classes, men that you would like to be seen with, and men that you would not like to be seen with, do you think the latter group would be so very much the larger of the two?

For the purposes of Symbolic Logic, it is so much the most convenient plan to regard the two sub-divisions, produced by Dichotomy, on the same footing, and to say, of any Thing, either that it "is" in the one, or that it "is" in the other, that I do not think any Reader of this book is likely to demur to my adopting that course.

pg173 § 4.

The theory that "two Negative Premisses prove nothing".

This I consider to be another craze of "The Logicians", fully as morbid as their dread of a negative Attribute.

It is, perhaps, best refuted by the method of Instantia Contraria.

Take the following Pairs of Premisses:--

"None of my boys are conceited; None of my girls are greedy".

"None of my boys are clever; None but a clever boy could solve this problem".

"None of my boys are learned; Some of my boys are not choristers".

(This last Proposition is, in my system, an affirmative one, since I should read it "are not-choristers"; but, in dealing with "The Logicians," I may fairly treat it as a negative one, since they would read it "are-not choristers".)

If you, dear Reader, declare, after full consideration of these Pairs of Premisses, that you cannot deduce a Conclusion from any of them----why, all I can say is that, like the Duke in Patience, you "will have to be contented with our heart-felt sympathy"! [See Note (C), p. 196.]

§ 5.

Euler's Method of Diagrams.

Diagrams seem to have been used, at first, to represent Propositions only. In Euler's well-known Circles, each was supposed to contain a class, and the Diagram consisted of two circles, which exhibited the relations, as to inclusion and exclusion, existing between the two Classes.

____ / __ \ / / y \ \ | \__/ | \ x / \____/

Thus, the Diagram, here given, exhibits the two Classes, whose respective Attributes are x and y, as so related to each other that the following Propositions are all simultaneously true:--"All x are y", "No x are not-y", "Some x are y", "Some y are not-x", "Some not-y are not-x", and, of course, the Converses of the last four. pg174 ____ / __ \ / / y \ \ | \__/ | \ x / \____/

Similarly, with this Diagram, the following Propositions are true:--"All y are x", "No y are not-x", "Some y are x", "Some x are not-y", "Some not-x are not-y", and, of course, the Converses of the last four.

____ ___ / \ / \ / \ / \ | x | | y | \ / \ / \___/ \____/

Similarly, with this Diagram, the following are true:--"All x are not-y", "All y are not-x", "No x are y", "Some x are not-y", "Some y are not-x", "Some not-x are not-y", and the Converses of the last four.

____ ___ / \/ \ / / \ \ | x | | y | \ \/ / \___/ \____/

Similarly, with this Diagram, the following are true:--"Some x are y", "Some x are not-y", "Some not-x are y", "Some not-x are not-y", and of course, their four Converses.

Note that all Euler's Diagrams assert "Some not-x are not-y." Apparently it never occured to him that it might sometimes fail to be true!

Now, to represent "All x are y", the first of these Diagrams would suffice. Similarly, to represent "No x are y", the third would suffice. But to represent any Particular Proposition, at least three Diagrams would be needed (in order to include all the possible cases), and, for "Some not-x are not-y", all the four.

§ 6.

Venn's Method of Diagrams.

Let us represent "not-x" by "x'".

Mr. Venn's Method of Diagrams is a great advance on the above Method.

He uses the last of the above Diagrams to represent any desired relation between x and y, by simply shading a Compartment known to be empty, and placing a + in one known to be occupied.

Thus, he would represent the three Propositions "Some x are y", "No x are y", and "All x are y", as follows:--

____ ___ / \/ \ / / \ \ | | + | | \ \/ / \___/ \____/

____ ___ / \/ \ / /#\ \ | |###| | \ \#/ / \____/ \____/

____ ___ /#####\/ \ /#######/ \ \ |#######| + | | \#######\/ / \#####/ \____/ pg175 It will be seen that, of the four Classes, whose peculiar Sets of Attributes are xy, xy', x'y, and x'y', only three are here provided with closed Compartments, while the fourth_ is allowed the rest of the Infinite Plane to range about in!

This arrangement would involve us in very serious trouble, if we ever attempted to represent "No x' are y'." Mr. Venn once (at p. 281) encounters this awful task; but evades it, in a quite masterly fashion, by the simple foot-note "We have not troubled to shade the outside of this diagram"!

To represent two Propositions (containing a common Term) together, a three-letter Diagram is needed. This is the one used by Mr. Venn.

____ / \ /__ x _\ /| \/ |\ / \ / \ / \ | \|_|/ | \ m \/ y / \____/ \____/

Here, again, we have only seven closed Compartments, to accommodate the eight Classes whose peculiar Sets of Attributes are xym, xym', &c.

"With four terms in request," Mr. Venn says, "the most simple and symmetrical diagram seems to me that produced by making four ellipses intersect one another in the desired manner". This, however, provides only fifteen closed compartments.

b ___ __ c / \ / \ a _/_ \/ _\_ d / \ \ /\ / / \ / \ \/ \/ / \ \ \ /\ /\ / / \ \/ \/ \/ / \ /\ /\ /\ / \ \ \/ \/ / / \ \/\ /\/ / \ /\\//\ / \\____/_/

For five letters, "the simplest diagram I can suggest," Mr. Venn says, "is one like this (the small ellipse in the centre is to be regarded as a portion of the outside of c; i.e. its four component portions are inside b and d but are no part of c). It must be admitted that such a diagram is not quite so simple to draw as one might wish it to be; but then consider what the alternative is of one undertakes to deal with five terms and all their combinations--nothing short of the disagreeable task of writing out, or in some way putting before us, all the 32 combinations involved."

b c d _____ __ ____ ____/ \/ \/ \____ a / / \ /\ /\ / \ \ e / / \ / \ / \ / \ \ / \ \/ \/ \/ / \ / \ /\ /\ /\ / \ / \ / \ / \ / \ / \ | \/ \/ \/ \/ | | /\ /\/ \/\ /\ | | / \ / /\ /\ \ / \ | | | \/ | \/ | \/ | | | | /\ | /\ | /\ | | | \ / \ \/ \/ / \ / | \ \/ \/\/\/ \/ / \ /\ /\ /\ /\ / \ / \ / \ / \ / \ / \ / \/ \/ \/ \ / \ \ /\ /\ /\ / / \ \ / \ / \ / \ / / \ \/ \/ \/ \/ / \ /\__/\__/\__/\ / \ / \ / \| |/ \___________________/ pg176 This Diagram gives us 31 closed compartments.

For six letters, Mr. Venn suggests that we might use two Diagrams, like the above, one for the f-part, and the other for the not-f-part, of all the other combinations. "This", he says, "would give the desired 64 subdivisions." This, however, would only give 62 closed Compartments, and one infinite area, which the two Classes, a'b'c'd'e'f and a'b'c'd'e'f', would have to share between them.

Beyond six letters Mr. Venn does not go.

§ 7.

My Method of Diagrams.

My Method of Diagrams resembles Mr. Venn's, in having separate Compartments assigned to the various Classes, and in marking these Compartments as occupied or as empty; but it differs from his Method, in assigning a closed area to the Universe of Discourse, so that the Class which, under Mr. Venn's liberal sway, has been ranging at will through Infinite Space, is suddenly dismayed to find itself "cabin'd, cribb'd, confined", in a limited Cell like any other Class! Also I use rectilinear, instead of curvilinear, Figures; and I mark an occupied Cell with a 'I' (meaning that there is at least one Thing in it), and an empty Cell with a 'O' (meaning that there is no Thing in it).

For two letters, I use this Diagram, in which the North Half is assigned to 'x', the South to 'not-x' (or 'x''), the West to y, and the East to y'. Thus the N.W. Cell contains the xy-Class, the N.E. Cell the xy'-Class, and so on.

·-------· | | | |---|---| | | | ·-------·

For three letters, I subdivide these four Cells, by drawing an Inner Square, which I assign to m, the Outer Border being assigned to m'. I thus get eight Cells that are needed to accommodate the eight Classes, whose peculiar Sets of Attributes are xym, xym', &c.

·---------------· | | | | ·---|---· | | | | | | |---|---|---|---| | | | | | | ·---|---· | | | | ·---------------·

This last Diagram is the most complex that I use in the Elementary Part of my 'Symbolic Logic.' But I may as well take this opportunity of describing the more complex ones which will appear in Part II. pg177 For four letters (which I call a, b, c, d) I use this Diagram; assigning the North Half to a (and of course the rest of the Diagram to a'), the West Half to b, the Horizontal Oblong to c, and the Upright Oblong to d. We have now got 16 Cells.

·---------------------· | | | | ·---|---· | | | | | | | ·---|---|---|---· | | | | | | | | |--|---|---|---|---|--| | | | | | | | | ·---|---|---|---· | | | | | | | ·---|---· | | | | ·---------------------·

For five letters (adding e) I subdivide the 16 Cells of the previous Diagram by oblique partitions, assigning all the upper portions to e, and all the lower portions to e'. Here, I admit, we lose the advantage of having the e-Class all together, "in a ring-fence", like the other 4 Classes. Still, it is very easy to find; and the operation, of erasing it, is nearly as easy as that of erasing any other Class. We have now got 32 Cells.

·---------------------· | / | / | | / ·---|---· / | | / | / | / | / | | ·---|---|---|---· | | | / | / | / | / | | |--|---|---|---|---|--| | | / | / | / | / | | | ·---|---|---|---· | | / | / | / | / | | / ·---|---· / | | / | / | ·---------------------·

For six letters (adding h, as I avoid tailed letters) I substitute upright crosses for the oblique partitions, assigning the 4 portions, into which each of the 16 Cells is thus divided, to the four Classes eh, eh', e'h, e'h'. We have now got 64 Cells.

#=============================# H | H | H H | #=====H=====# | H H | H | H | H | H H-----|--H--|--H--|--H--|-----H H | H | H | H | H H #=====H=====H=====H=====# H H H | H | H | H | H H H H--|--H--|--H--|--H--|--H H H H | H | H | H | H H H==H=====H=====H=====H=====H--H H H | H | H | H | H H H H--|--H--|--H--|--H--|--H H H H | H | H | H | H H H #=====H=====H=====H=====# H H | H | H | H | H H-----|--H--|--H--|--H--|-----H H | H | H | H | H H | #=====H=====# | H H | H | H #=============================# pg178 For seven letters (adding k) I add, to each upright cross, a little inner square. All these 16 little squares are assigned to the k-Class, and all outside them to the k'-Class; so that 8 little Cells (into which each of the 16 Cells is divided) are respectively assigned to the 8 Classes ehk, ehk', &c. We have now got 128 Cells.

#=====================================================# H | H | H H | #===========H===========# | H H | H | H | H | H H ·--|--· H ·--|--· H ·--|--· H ·--|--· H H | | | H | | | H | | | H | | | H H-----|--|--|--H--|--|--|--H--|--|--|--H--|--|--|-----H H | | | H | | | H | | | H | | | H H ·--|--· H ·--|--· H ·--|--· H ·--|--· H H | H | H | H | H H #===========H===========H===========H===========# H H H | H | H | H | H H H H ·--|--· H ·--|--· H ·--|--· H ·--|--· H H H H | | | H | | | H | | | H | | | H H H H--|--|--|--H--|--|--|--H--|--|--|--H--|--|--|--H H H H | | | H | | | H | | | H | | | H H H H ·--|--· H ·--|--· H ·--|--· H ·--|--· H H H H | H | H | H | H H H==H===========H===========H===========H===========H==H H H | H | H | H | H H H H ·--|--· H ·--|--· H ·--|--· H ·--|--· H H H H | | | H | | | H | | | H | | | H H H H--|--|--|--H--|--|--|--H--|--|--|--H--|--|--|--H H H H | | | H | | | H | | | H | | | H H H H ·--|--· H ·--|--· H ·--|--· H ·--|--· H H H H | H | H | H | H H H #===========H===========H===========H===========# H H | H | H | H | H H ·--|--· H ·--|--· H ·--|--· H ·--|--· H H | | | H | | | H | | | H | | | H H-----|--|--|--H--|--|--|--H--|--|--|--H--|--|--|-----H H | | | H | | | H | | | H | | | H H ·--|--· H ·--|--· H ·--|--· H ·--|--· H H | H | H | H | H H | #===========H===========# | H H | H | H ·=====================================================#

For eight letters (adding l) I place, in each of the 16 Cells, a lattice, which is a reduced copy of the whole Diagram; and, just as the 16 large Cells of the whole Diagram are assigned to the 16 Classes abcd, abcd', &c., so the 16 little Cells of each lattice are assigned to the 16 Classes ehkl, ehkl', &c. Thus, the lattice in the N.W. corner serves to accommodate the 16 Classes abc'd'ehkl, abc'd'eh'kl', &c. This Octoliteral Diagram (see next page) contains 256 Cells.

For nine letters, I place 2 Octoliteral Diagrams side by side, assigning one of them to m, and the other to m'. We have now got 512 Cells. pg179 #=====================================================================# H | H | H H | #===============H===============# | H H | H | H | H | H H ·--|--· H ·--|--· H ·--|--· H ·--|--· H H | | | H | | | H | | | H | | | H H ·--|--|--|--· H ·--|--|--|--· H ·--|--|--|--· H ·--|--|--|--· H H | | | | | H | | | | | H | | | | | H | | | | | H H----|--|--|--|--|-H-|--|--|--|--|-H-|--|--|--|--|-H-|--|--|--|--|----H H | | | | | H | | | | | H | | | | | H | | | | | H H ·--|--|--|--· H ·--|--|--|--· H ·--|--|--|--· H ·--|--|--|--· H H | | | H | | | H | | | H | | | H H ·--|--· H ·--|--· H ·--|--· H ·--|--· H H | H | H | H | H H #===============H===============H===============H===============# H H H | H | H | H | H H H H ·--|--· H ·--|--· H ·--|--· H ·--|--· H H H H | | | H | | | H | | | H | | | H H H H ·--|--|--|--· H ·--|--|--|--· H ·--|--|--|--· H ·--|--|--|--· H H H H | | | | | H | | | | | H | | | | | H | | | | | H H H H-|--|--|--|--|-H-|--|--|--|--|-H-|--|--|--|--|-H-|--|--|--|--|-H H H H | | | | | H | | | | | H | | | | | H | | | | | H H H H ·--|--|--|--· H ·--|--|--|--· H ·--|--|--|--· H ·--|--|--|--· H H H H | | | H | | | H | | | H | | | H H H H ·--|--· H ·--|--· H ·--|--· H ·--|--· H H H H | H | H | H | H H H==H===============H===============H===============H===============H==H H H | H | H | H | H H H H ·--|--· H ·--|--· H ·--|--· H ·--|--· H H H H | | | H | | | H | | | H | | | H H H H ·--|--|--|--· H ·--|--|--|--· H ·--|--|--|--· H ·--|--|--|--· H H H H | | | | | H | | | | | H | | | | | H | | | | | H H H H-|--|--|--|--|-H-|--|--|--|--|-H-|--|--|--|--|-H-|--|--|--|--|-H H H H | | | | | H | | | | | H | | | | | H | | | | | H H H H ·--|--|--|--· H ·--|--|--|--· H ·--|--|--|--· H ·--|--|--|--· H H H H | | | H | | | H | | | H | | | H H H H ·--|--· H ·--|--· H ·--|--· H ·--|--· H H H H | H | H | H | H H H #===============H===============H===============H===============# H H | H | H | H | H H ·--|--· H ·--|--· H ·--|--· H ·--|--· H H | | | H | | | H | | | H | | | H H ·--|--|--|--· H ·--|--|--|--· H ·--|--|--|--· H ·--|--|--|--· H H | | | | | H | | | | | H | | | | | H | | | | | H H----|--|--|--|--|-H-|--|--|--|--|-H-|--|--|--|--|-H-|--|--|--|--|----H H | | | | | H | | | | | H | | | | | H | | | | | H H ·--|--|--|--· H ·--|--|--|--· H ·--|--|--|--· H ·--|--|--|--· H H | | | H | | | H | | | H | | | H H ·--|--· H ·--|--· H ·--|--· H ·--|--· H H | H | H | H | H H | #===============H===============# | H H | H | H #=====================================================================#

Finally, for ten letters, I arrange 4 Octoliteral Diagrams, like the above, in a square, assigning them to the 4 Classes mn, mn', m'n, m'n'. We have now got 1024 Cells.

§ 8.

Solution of a Syllogism by various Methods.

The best way, I think, to exhibit the differences between these various Methods of solving Syllogisms, will be to take a concrete example, and solve it by each Method in turn. Let us take, as our example, No. 29 (see p. 102).

"No philosophers are conceited; Some conceited persons are not gamblers. .'. Some persons, who are not gamblers, are not philosophers."

pg180 (1) Solution by ordinary Method.

These Premisses, as they stand, will give no Conclusion, as they are both negative.

If by 'Permutation' or 'Obversion', we write the Minor Premiss thus,

'Some conceited persons are not-gamblers,'

we can get a Conclusion in Fresison, viz.

"No philosophers are conceited; Some conceited persons are not-gamblers. .'. Some not-gamblers are not philosophers"

This can be proved by reduction to Ferio, thus:--

"No conceited persons are philosophers; Some not-gamblers are conceited. .'. Some not-gamblers are not philosophers".

The validity of Ferio follows directly from the Axiom 'De Omni et Nullo'.

(2) Symbolic Representation.

Before proceeding to discuss other Methods of Solution, it is necessary to translate our Syllogism into an abstract form.

Let us take "persons" as our 'Universe of Discourse'; and let x = "philosophers", m = "conceited", and y = "gamblers."

Then the Syllogism may be written thus:--

"No x are m; Some m are y'. .'. Some y' are x'."

(3) Solution by Euler's Method of Diagrams.

The Major Premiss requires only one Diagram, viz.

1 ____ ___ / \ / \ / \ / \ | x | | m | \ / \ / \___/ \___/ pg181 The Minor requires three_, viz.

2 ____ ___ / \ / \ / \ / \ | y | | m | \ / \ / \___/ \____/

3 ____ ___ / \/ \ / / \ \ | y | | m | \ \/ / \___/ \____/

4 ____ / __ \ / / y \ \ | \__/ | \ m / \____/

The combination of Major and Minor, in every possible way requires nine, viz.

Figs. 1 and 2 give

5 ____ ___ ___ / \ / \ / \ / \ / \ / \ | x | | y | | m | \ / \ / \ / \___/ \___/ \____/

6 ____ ___ ___ / \/ \ / \ / / \ \ / \ | x | | y | | m | \ \/ / \ / \___/ \___/ \____/

7 ____ ___ / \ / \ / \ / \ | xy | | m | \ / \ / \___/ \____/

8 ____ ___ / __ \ / \ / / x \ \ / \ | \__/ | | m | \ y / \ / \___/ \____/

9 ____ ___ / __ \ / \ / / y \ \ / \ | \__/ | | m | \ x / \ / \___/ \____/

Figs. 1 and 3 give

10 ____ ___ ___ / \ / \/ \ / \ / / \ \ | x | | y | | m | \ / \ \/ / \___/ \___/ \____/

11 ____ ___ ___ / \/ \/ \ / / \ / \ \ | x | | y | | m | \ \/ \/ / \___/ \___/ \____/

12 ____ ___ /__ \/ \ / / x \ / \ \ | \_/| | m | \ y \/ / \____/ \____/

Figs. 1 and 4 give

13 ____ ___ / \ / __ \ / \ / / y \ \ | x | | \__/ | \ / \ m / \___/ \____/

From this group (Figs. 5 to 13) we have, by disregarding m, to find the relation of x and y. On examination we find that Figs. 5, 10, 13 express the relation of entire mutual exclusion; that Figs. 6, 11 express partial inclusion and partial exclusion; that Fig. 7 expresses coincidence; that Figs. 8, 12 express entire inclusion of x in y; and that Fig. 9 expresses entire inclusion of y in x. pg182 We thus get five Biliteral Diagrams for x and y, viz.

14 ____ ___ / \ / \ / \ / \ | x | | y | \ / \ / \___/ \____/

15 ____ ___ / \/ \ / / \ \ | x | | y | \ \/ / \___/ \____/

16 ____ / \ / \ | xy | \ / \____/

17 ____ / __ \ / / x \ \ | \__/ | \ y / \____/

18 ____ / __ \ / / y \ \ | \__/ | \ x / \____/

where the only Proposition, represented by them all, is "Some not-y are not-x," i.e. "Some persons, who are not gamblers, are not philosophers"----a result which Euler would hardly have regarded as a valuable one, since he seems to have assumed that a Proposition of this form is always true!

(4) Solution by Venn's Method of Diagrams.

The following Solution has been kindly supplied to me Mr. Venn himself.

"The Minor Premiss declares that some of the constituents in my' must be saved: mark these constituents with a cross.

____ / + \ /__ _\ /|##+#\/ |\ / \###/#\ / \ | + \|#|/ | \ m \/ y / \___/ \____/

The Major declares that all xm must be destroyed; erase it.

Then, as some my' is to be saved, it must clearly be my'x'. That is, there must exist my'x'; or eliminating m, y'x'. In common phraseology,

'Some y' are x',' or, 'Some not-gamblers are not-philosophers.'"

pg183 (5) Solution by my Method of Diagrams.

The first Premiss asserts that no xm exist: so we mark the xm-Compartment as empty, by placing a 'O' in each of its Cells.

The second asserts that some my' exist: so we mark the my'-Compartment as occupied, by placing a 'I' in its only available Cell.

·---------------· | | | | ·---|---· | | |(O)|(O)| | |---|---|---|---| | | |(I)| | | ·---|---· | | | | ·---------------·

The only information, that this gives us as to x and y, is that the x'y'-Compartment is occupied, i.e. that some x'y' exist.

Hence "Some x' are y'": i.e. "Some persons, who are not philosophers, are not gamblers".

(6) Solution by my Method of Subscripts.

xm{0} + my'{1} ¶ x'y'_{1}

i.e. "Some persons, who are not philosophers, are not gamblers."

§ 9.

My Method of treating Syllogisms and Sorites.

Of all the strange things, that are to be met with in the ordinary text-books of Formal Logic, perhaps the strangest is the violent contrast one finds to exist between their ways of dealing with these two subjects. While they have elaborately discussed no less than nineteen different forms of Syllogisms----each with its own special and exasperating Rules, while the whole constitute an almost useless machine, for practical purposes, many of the Conclusions being incomplete, and many quite legitimate forms being ignored----they have limited Sorites to two forms only, of childish simplicity; and these they have dignified with special names, apparently under the impression that no other possible forms existed!

As to Syllogisms, I find that their nineteen forms, with about a score of others which they have ignored, can all be arranged under three forms, each with a very simple Rule of its own; and the only question the Reader has to settle, in working any one of the 101 Examples given at p. 101 of this book, is "Does it belong to Fig. I., II., or III.?" pg184 As to Sorites, the only two forms, recognised by the text-books, are the Aristotelian, whose Premisses are a series of Propositions in A, so arranged that the Predicate of each is the Subject of the next, and the Goclenian, whose Premisses are the very same series, written backwards. Goclenius, it seems, was the first who noticed the startling fact that it does not affect the force of a Syllogism to invert the order of its Premisses, and who applied this discovery to a Sorites. If we assume (as surely we may?) that he is the same man as that transcendent genius who first noticed that 4 times 5 is the same thing as 5 times 4, we may apply to him what somebody (Edmund Yates, I think it was) has said of Tupper, viz., "here is a man who, beyond all others of his generation, has been favoured with Glimpses of the Obvious!"

These puerile----not to say infantine----forms of a Sorites I have, in this book, ignored from the very first, and have not only admitted freely Propositions in E, but have purposely stated the Premisses in random order, leaving to the Reader the useful task of arranging them, for himself, in an order which can be worked as a series of regular Syllogisms. In doing this, he can begin with any one of them he likes.

I have tabulated, for curiosity, the various orders in which the Premisses of the Aristotelian Sorites

1. All a are b; 2. All b are c; 3. All c are d; 4. All d are e; 5. All e are h. .'. All a are h.

may be syllogistically arranged, and I find there are no less than sixteen such orders, viz., 12345, 21345, 23145, 23415, 23451, 32145, 32415, 32451, 34215, 34251, 34521, 43215, 43251, 43521, 45321, 54321. Of these the first and the last have been dignified with names; but the other fourteen----first enumerated by an obscure Writer on Logic, towards the end of the Nineteenth Century----remain without a name!

pg185 § 10.

Some account of Parts II, III.

In Part II. will be found some of the matters mentioned in this Appendix, viz., the "Existential Import" of Propositions, the use of a negative Copula, and the theory that "two negative Premisses prove nothing." I shall also extend the range of Syllogisms, by introducing Propositions containing alternatives (such as "Not-all x are y"), Propositions containing 3 or more Terms (such as "All ab are c", which, taken along with "Some bc' are d", would prove "Some d are a'"), &c. I shall also discuss Sorites containing Entities, and the very puzzling subjects of Hypotheticals and Dilemmas. I hope, in the course of Part II., to go over all the ground usually traversed in the text-books used in our Schools and Universities, and to enable my Readers to solve Problems of the same kind as, and far harder than, those that are at present set in their Examinations.

In Part III. I hope to deal with many curious and out-of-the-way subjects, some of which are not even alluded to in any of the treatises I have met with. In this Part will be found such matters as the Analysis of Propositions into their Elements (let the Reader, who has never gone into this branch of the subject, try to make out for himself what additional Proposition would be needed to convert "Some a are b" into "Some a are bc"), the treatment of Numerical and Geometrical Problems, the construction of Problems, and the solution of Syllogisms and Sorites containing Propositions more complex than any that I have used in Part II.

I will conclude with eight Problems, as a taste of what is coming in