possible that A should be with B. The terms then indeed are similarly arranged, but it makes a difference which negative proposition is more known, viz. whether that A is not present with B, or that A is not present with C. When then the conclusion is more known that it is not, there is a demonstration to the impossible produced, but when that which is in the syllogism (is more known) the demonstration is ostensive. Naturally, however, that A is not present with B is prior to A is not present with C, for those things are prior to the conclusion, from which the conclusion (is collected), and that A is not with C is the conclusion, but that A is not with B is that from which the conclusion is derived. For neither if a certain thing happens to be subverted, is this the conclusion, but those (the premises) from which (the conclusion is derived). That indeed from which (it is inferred) is a syllogism, which may so subsist as either a whole to a part, or as a part to a whole, but the propositions A C and A B do not thus subsist with regard to each other. If then that demonstration which is from things more known and prior be superior, but both are credible from something not existing, yet the one from the prior, the other from what is posterior, negative demonstration will in short be better, than that to the impossible, so that as affirmative demonstration is better than this, it is also evidently better than that leading to the impossible.
Chapter 27
One science is more accurate than, and prior to, another, both the science that a thing is, and the same why it is, but not separately that it is, than the science of why it is, also that which is not of a subject than that which is of a subject, for instance, arith-
