Aristotle (384-322 BC)

Prior Analytics

Translated by A. J. Jenkinson

Book II

Chapter 3

In the middle figure it is possible in every way to reach a true conclusion through false premisses, whether the syllogisms are universal or particular, viz. when both premisses are wholly false; when each is partially false; when one is true, the other wholly false (it does not matter which of the two premisses is false); if both premisses are partially false; if one is quite true, the other partially false; if one is wholly false, the other partially true. For if A belongs to no B and to all C, e.g. animal to no stone and to every horse, then if the premisses are stated contrariwise and it is assumed that A belongs to all B and to no C, though the premisses are wholly false they will yield a true conclusion. Similarly if A belongs to all B and to no C: for we shall have the same syllogism.

Again if one premiss is wholly false, the other wholly true: for nothing prevents A belonging to all B and to all C, though B belongs to no C, e.g. a genus to its co-ordinate species. For animal belongs to every horse and man, and no man is a horse. If then it is assumed that animal belongs to all of the one, and none of the other, the one premiss will be wholly false, the other wholly true, and the conclusion will be true whichever term the negative statement concerns.

Also if one premiss is partially false, the other wholly true. For it is possible that A should belong to some B and to all C, though B belongs to no C, e.g. animal to some white things and to every raven, though white belongs to no raven. If then it is assumed that A belongs to no B, but to the whole of C, the premiss AB is partially false, the premiss AC wholly true, and the conclusion true. Similarly if the negative statement is transposed: the proof can be made by means of the same terms. Also if the affirmative premiss is partially false, the negative wholly true, a true conclusion is possible. For nothing prevents A belonging to some B, but not to C as a whole, while B belongs to no C, e.g. animal belongs to some white things, but to no pitch, and white belongs to no pitch. Consequently if it is assumed that A belongs to the whole of B, but to no C, the premiss AB is partially false, the premiss AC is wholly true, and the conclusion is true.

And if both the premisses are partially false, the conclusion may be true. For it is possible that A should belong to some B and to some C, and B to no C, e.g. animal to some white things and to some black things, though white belongs to nothing black. If then it is assumed that A belongs to all B and to no C, both premisses are partially false, but the conclusion is true. Similarly, if the negative premiss is transposed, the proof can be made by means of the same terms.

It is clear also that our thesis holds in particular syllogisms. For nothing prevents A belonging to all B and to some C, though B does not belong to some C, e.g. animal to every man and to some white things, though man will not belong to some white things. If then it is stated that A belongs to no B and to some C, the universal premiss is wholly false, the particular premiss is true, and the conclusion is true. Similarly if the premiss AB is affirmative: for it is possible that A should belong to no B, and not to some C, though B does not belong to some C, e.g. animal belongs to nothing lifeless, and does not belong to some white things, and lifeless will not belong to some white things. If then it is stated that A belongs to all B and not to some C, the premiss AB which is universal is wholly false, the premiss AC is true, and the conclusion is true. Also a true conclusion is possible when the universal premiss is true, and the particular is false. For nothing prevents A following neither B nor C at all, while B does not belong to some C, e.g. animal belongs to no number nor to anything lifeless, and number does not follow some lifeless things. If then it is stated that A belongs to no B and to some C, the conclusion will be true, and the universal premiss true, but the particular false. Similarly if the premiss which is stated universally is affirmative. For it is possible that should A belong both to B and to C as wholes, though B does not follow some C, e.g. a genus in relation to its species and difference: for animal follows every man and footed things as a whole, but man does not follow every footed thing. Consequently if it is assumed that A belongs to the whole of B, but does not belong to some C, the universal premiss is true, the particular false, and the conclusion true.

It is clear too that though both premisses are false they may yield a true conclusion, since it is possible that A should belong both to B and to C as wholes, though B does not follow some C. For if it is assumed that A belongs to no B and to some C, the premisses are both false, but the conclusion is true. Similarly if the universal premiss is affirmative and the particular negative. For it is possible that A should follow no B and all C, though B does not belong to some C, e.g. animal follows no science but every man, though science does not follow every man. If then A is assumed to belong to the whole of B, and not to follow some C, the premisses are false but the conclusion is true.

Book II Chapter 2

Book II Chapter 4