ing specifically conclusive and in syllogisms both (categorical and hypothetical. The first kind of ii lemonstrable statement is that in which the whole argument is constructed of a hypothetical proposition and the clause with which the hypothetical proposition begins, while the final clause is the conclusion ; as e.g. " If the first, then the second ; but the first is, therefore the second is." a The second is that which employs a hypothetical proposition and the contradictory of the consequent, while the eonelusion is the contradictory of the antecedent ; e.g. • I ' it is day, it is light ; but it is night, therefore it is ot day." Here the minor premiss is the contrad ory of the consequent ; the conclusion the conti lictory of the antecedent. The third kind of : emonstrable employs a conjunction of negative positions for major premiss and one of the coni ied propositions for minor premiss, concluding t nee the contradictory of the remaining proposi- 1 1 ; e.g. " It is not the case that Plato is both dead ; .1 alive ; but he is dead, therefore Plato is not a.ive." The fourth kind employs a disjunctive proposition and one of the two alternatives in the disjunction as premisses, and its conclusion is the . itradictory of the other alternative ; e.g. "Either A or B ; but A is, therefore B is not." The fifth kind is that in which the argument as a whole is c( instructed of a disjunctive proposition and the contradictory of one of the alternatives in the disjunction, its conclusion being the other alternative ; e.g. "Either it is day or it is night ; but it is not night, therefore it is day." From a truth a truth follows, according to the Stoics, as e.g. " It is light " from " It is day " ; and 18Q