v.\ DISJUNCTIVE PROPOSITIONS. 69 



parts of a division or the constituent species of a genus, 

 should be exclusive of each other. 



It is no doubt owing to the great prevalence and con- 

 venience of exclusive divisions that the majority of logi- 

 cians have held it necessary to make every alternative in 

 a disjunctive proposition exclusive of every other one. 

 Aquinas considered that when this was not the case the 

 proposition was actually false, and Kant adopted the 

 same opinion. 1 A multitude of statements to the same 

 effect might readily be quoted, and if t'he question were 

 to be determined by the weight of historical evidence, 

 it would certainly go against my view. Among recent 

 logicians Hamilton, as well as Boole, took the exclusive 

 side. But there are authorities to the opposite effect. 

 Whately, Mansel, and J. S. Mill have all pointed out that 

 we may often treat alternatives as Compossible, or true at 

 the same time. Whately gives us an example, 2 " Virtue 

 tends to procure us either the esteem of mankind, or the 

 favour of God," and he adds " Here both members are 

 true, and consequently from one being affirmed we are not 

 authorized to deny the other. Of course we are left to 

 conjecture in each case, from the context, whether it is 

 meant to be implied that the members are or are nof 

 exclusive." Mansel says, 3 " We may happen to know that 

 two alternatives cannot be true together, so that the 

 affirmation of the second necessitates the denial of the 

 first; but this, as Boethius observes, is a material, not a 

 formal consequence." Mill has also pointed out the 

 absurdities which would arise from always interpreting 

 alternatives as exclusive. " If we assert," he says, 4 " that 

 a man who has acted in some particular way must be 

 either a knave or a fool, we by no means assert, or intend 

 to assert, that he cannot be both." Again, " to make an 

 entirely unselfish use of despotic power, a man must be 

 either a saint or a philosopher Does the dis- 

 junctive premise necessarily imply, or must it be construed 

 as supposing, that the same person cannot be both a 



1 Mansel's Aldrich, p. 103, and Prolegomena Logica, p. 221. 

 4 Elements of Logic, Book II. chap. iv. sect. 4. 



3 Aldrich, Artis Logicce Rudimenta, p. 104. 



4 Examination of Sir W. Hamilton's Philosophy, pp. 452-454. 



