possesses the condition ought always to be substituted for the condition and taken as the term.
35
We must not always seek to set out the terms a single word: for we shall often have complexes of words to which a single name is not given.
Hence it is difficult to reduce syllogisms with such terms. Sometimes too fallacies will result from such a search, e.g. the belief that syllogism can establish that which has no mean. Let A stand for two right angles, B for triangle, C for isosceles triangle. A then belongs to C because of B: but A belongs to B without the mediation of another term: for the triangle in virtue of its own nature contains two right angles, consequently there will be no middle term for the proposition AB, although it is demonstrable. For it is clear that the middle must not always be assumed to be an individual thing, but sometimes a complex of words, as happens in the case mentioned.
36
That the first term belongs to the middle, and the middle to the extreme, must not be understood in the sense that they can always be predicated of one another or that the first term will be predicated of the middle in the same way as the middle is predicated of the last term. The same holds if the premisses are negative. But we must suppose the verb
‘to belong’ to have as many meanings as the senses in which the verb ‘to be’ is used, and in which the assertion that a thing ‘is’ may be said to be true. Take for example the statement that there is a single science of contraries. Let A stand for ‘there being a single science’, and B for things which are contrary to one another. Then A belongs to B, not in the sense that contraries are the fact of there being a single science of them, but in the sense that it is true to say of the contraries that there is a single science of them.
It happens sometimes that the first term is stated of the middle, but the middle is not stated of the third term, e.g. if wisdom is knowledge, and wisdom is of the good, the conclusion is that there is knowledge of the good. The good then is not knowledge, though wisdom is knowledge.
Sometimes the middle term is stated of the third, but the first is not stated of the middle, e.g. if there is a science of everything that has a quality, or is a contrary, and the good both is a contrary and has a quality, the conclusion is that there is a science of the good, but the good is 110
not science, nor is that which has a quality or is a contrary, though the good is both of these. Sometimes neither the first term is stated of the middle, nor the middle of the third, while the first is sometimes stated of the third, and sometimes not: e.g. if there is a genus of that of which there is a science, and if there is a science of the good, we conclude that there is a genus of the good. But nothing is predicated of anything. And if that of which there is a science is a genus, and if there is a science of the good, we conclude that the good is a genus. The first term then is predicated of the extreme, but in the premisses one thing is not stated of another.
The same holds good where the relation is negative. For ‘that does not belong to this’ does not always mean that ‘this is not that’, but sometimes that ‘this is not of that’ or ‘for that’, e.g. ‘there is not a motion of a motion or a becoming of a becoming, but there is a becoming of pleasure: so pleasure is not a becoming.’ Or again it may be said that there is a sign of laughter, but there is not a sign of a sign, consequently laughter is not a sign. This holds in the other cases too, in which the thesis is refuted because the genus is asserted in a particular way, in relation to the terms of the thesis. Again take the inference ‘opportunity is not the right time: for opportunity belongs to God, but the right time does not, since nothing is useful to God’. We must take as terms opportunity-right time-God: but the premiss must be understood according to the case of the noun. For we state this universally without qualification, that the terms ought always to be stated in the nominative, e.g. man, good, contraries, not in oblique cases, e.g. of man, of a good, of contraries, but the premisses ought to be understood with reference to the cases of each term-either the dative, e.g. ‘equal to this’, or the genitive, e.g. ‘double of this’, or the accusative, e.g. ‘that which strikes or sees this’, or the nominative, e.g. ‘man is an animal’, or in whatever other way the word falls in the premiss.
37
The expressions ‘this belongs to that’ and ‘this holds true of that’ must be understood in as many ways as there are different categories, and these categories must be taken either with or without qualification, and further as simple or compound: the same holds good of the corresponding negative expressions. We must consider these points and define them better.
111
38
A term which is repeated in the premisses ought to be joined to the first extreme, not to the middle. I mean for example that if a syllogism should be made proving that there is knowledge of justice, that it is good, the expression ‘that it is good’ (or ‘qua good’) should be joined to the first term. Let A stand for ‘knowledge that it is good’, B for good, C
for justice. It is true to predicate A of B. For of the good there is knowledge that it is good. Also it is true to predicate B of C. For justice is identical with a good. In this way an analysis of the argument can be made. But if the expression ‘that it is good’ were added to B, the conclusion will not follow: for A will be true of B, but B will not be true of C.
For to predicate of justice the term ‘good that it is good’ is false and not intelligible. Similarly if it should be proved that the healthy is an object of knowledge qua good, of goat-stag an object of knowledge qua not existing, or man perishable qua an object of sense: in every case in which an addition is made to the predicate, the addition must be joined to the extreme.
The position of the terms is not the same when something is established without qualification and when it is qualified by some attribute or condition, e.g. when the good is proved to be an object of knowledge and when it is proved to be an object of knowledge that it is good. If it has been proved to be an object of knowledge without qualification, we must put as middle term ‘that which is’, but if we add the qualification ‘that it is good’, the middle term must be ‘that which is something’. Let A stand for ‘knowledge that it is something’, B stand for ‘something’, and C
stand for ‘good’. It is true to predicate A of B: for ex hypothesi there is a science of that which is something, that it is something. B too is true of C: for that which C represents is something. Consequently A is true of C: there will then be knowledge of the good, that it is good: for ex hypothesi the term ‘something’ indicates the thing’s special nature. But if
‘being’ were taken as middle and ‘being’ simply were joined to the extreme, not ‘being something’, we should not have had a syllogism proving that there is knowledge of the good, that it is good, but that it is; e.g.
let A stand for knowledge that it is, B for being, C for good. Clearly then in syllogisms which are thus limited we must take the terms in the way stated.
112
39
We ought also to exchange terms which have the same value, word for word, and phrase for phrase, and word and phrase, and always take a word in preference to a phrase: for thus the setting out of the terms will be easier. For example if it makes no difference whether we say that the supposable is not the genus of the opinable or that the opinable is not identical with a particular kind of supposable (for what is meant is the same in both statements), it is better to take as the terms the supposable and the opinable in preference to the phrase suggested.
40
Since the expressions ‘pleasure is good’ and ‘pleasure is the good’ are not identical, we must not set out the terms in the same way; but if the syllogism is to prove that pleasure is the good, the term must be ‘the good’, but if the object is to prove that pleasure is good, the term will be
‘good’. Similarly in all other cases.
41
It is not the same, either in fact or in speech, that A belongs to all of that to which B belongs, and that A belongs to all of that to all of which B
belongs: for nothing prevents B from belonging to C, though not to all C: e.g. let B stand for beautiful, and C for white. If beauty belongs to something white, it is true to say that beauty belongs to that which is white; but not perhaps to everything that is white. If then A belongs to B, but not to everything of which B is predicated, then whether B belongs to all C or merely belongs to C, it is not necessary that A should belong, I do not say to all C, but even to C at all. But if A belongs to everything of which B is truly stated, it will follow that A can be said of all of that of all of which B is said. If however A is said of that of all of which B may be said, nothing prevents B belonging to C, and yet A not belonging to all C
or to any C at all. If then we take three terms it is clear that the expression ‘A is said of all of which B is said’ means this, ‘A is said of all the things of which B is said’. And if B is said of all of a third term, so also is A: but if B is not said of all of the third term, there is no necessity that A should be said of all of it.
We must not suppose that something absurd results through setting out the terms: for we do not use the existence of this particular thing, but imitate the geometrician who says that ‘this line a foot long’ or ‘this 113
straight line’ or ‘this line without breadth’ exists although it does not, but does not use the diagrams in the sense that he reasons from them. For in general, if two things are not related as whole to part and part to whole, the prover does not prove from them, and so no syllogism a is formed.
We (I mean the learner) use the process of setting out terms like perception by sense, not as though it were impossible to demonstrate without these illustrative terms, as it is to demonstrate without the premisses of the syllogism.
42
We should not forget that in the same syllogism not all conclusions are reached through one figure, but one through one figure, another through another. Clearly then we must analyse arguments in accordance with this. Since not every problem is proved in every figure, but certain problems in each figure, it is clear from the conclusion in what figure the premisses should be sought.
43
In reference to those arguments aiming at a definition which have been directed to prove some part of the definition, we must take as a term the point to which the argument has been directed, not the whole definition: for so we shall be less likely to be disturbed by the length of the term: e.g. if a man proves that water is a drinkable liquid, we must take as terms drinkable and water.
44
Further we must not try to reduce hypothetical syllogisms; for with the given premisses it is not possible to reduce them. For they have not been proved by syllogism, but assented to by agreement. For instance if a man should suppose that unless there is one faculty of contraries, there cannot be one science, and should then argue that not every faculty is of contraries, e.g. of what is healthy and what is sickly: for the same thing will then be at the same time healthy and sickly. He has shown that there is not one faculty of all contraries, but he has not proved that there is not a science. And yet one must agree. But the agreement does not come from a syllogism, but from an hypothesis. This argument cannot be reduced: but the proof that there is not a single faculty can. The latter argument perhaps was a syllogism: but the former was an hypothesis.
114
The same holds good of arguments which are brought to a conclusion per impossibile. These cannot be analysed either; but the reduction to what is impossible can be analysed since it is proved by syllogism, though the rest of the argument cannot, because the conclusion is reached from an hypothesis. But these differ from the previous arguments: for in the former a preliminary agreement must be reached if one is to accept the conclusion; e.g. an agreement that if there is proved to be one faculty of contraries, then contraries fall under the same science; whereas in the latter, even if no preliminary agreement has been made, men still accept the reasoning, because the falsity is patent, e.g. the falsity of what follows from the assumption that the diagonal is commensurate, viz. that then odd numbers are equal to evens.
Many other arguments are brought to a conclusion by the help of an hypothesis; these we ought to consider and mark out clearly. We shall describe in the sequel their differences, and the various ways in which hypothetical arguments are formed: but at present this much must be clear, that it is not possible to resolve such arguments into the figures.
And we have explained the reason.
45
Whatever problems are proved in more than one figure, if they have been established in one figure by syllogism, can be reduced to another figure, e.g. a negative syllogism in the first figure can be reduced to the second, and a syllogism in the middle figure to the first, not all however but some only. The point will be clear in the sequel. If A belongs to no B, and B to all C, then A belongs to no C. Thus the first figure; but if the negative statement is converted, we shall have the middle figure. For B
belongs to no A, and to all C. Similarly if the syllogism is not universal but particular, e.g. if A belongs to no B, and B to some C. Convert the negative statement and you will have the middle figure.
The universal syllogisms in the second figure can be reduced to the first, but only one of the two particular syllogisms. Let A belong to no B
and to all C. Convert the negative statement, and you will have the first figure. For B will belong to no A and A to all C. But if the affirmative statement concerns B, and the negative C, C must be made first term. For C belongs to no A, and A to all B: therefore C belongs to no B. B then belongs to no C: for the negative statement is convertible.
But if the syllogism is particular, whenever the negative statement concerns the major extreme, reduction to the first figure will be possible, e.g. if A belongs to no B and to some C: convert the negative statement 115
and you will have the first figure. For B will belong to no A and A to some C. But when the affirmative statement concerns the major extreme, no resolution will be possible, e.g. if A belongs to all B, but not to all C: for the statement AB does not admit of conversion, nor would there be a syllogism if it did.
Again syllogisms in the third figure cannot all be resolved into the first, though all syllogisms in the first figure can be resolved into the third. Let A belong to all B and B to some C. Since the particular affirmative is convertible, C will belong to some B: but A belonged to all B: so that the third figure is formed. Similarly if the syllogism is negative: for the particular affirmative is convertible: therefore A will belong to no B, and to some C.
Of the syllogisms in the last figure one only cannot be resolved into the first, viz. when the negative statement is not universal: all the rest can be resolved. Let A and B be affirmed of all C: then C can be converted partially with either A or B: C then belongs to some B. Consequently we shall get the first figure, if A belongs to all C, and C to some of the Bs.
If A belongs to all C and B to some C, the argument is the same: for B is convertible in reference to C. But if B belongs to all C and A to some C, the first term must be B: for B belongs to all C, and C to some A, therefore B belongs to some A. But since the particular statement is convertible, A will belong to some B. If the syllogism is negative, when the terms are universal we must take them in a similar way. Let B belong to all C, and A to no C: then C will belong to some B, and A to no C; and so C will be middle term. Similarly if the negative statement is universal, the affirmative particular: for A will belong to no C, and C to some of the Bs.
But if the negative statement is particular, no resolution will be possible, e.g. if B belongs to all C, and A not belong to some C: convert the statement BC and both premisses will be particular.
It is clear that in order to resolve the figures into one another the premiss which concerns the minor extreme must be converted in both the figures: for when this premiss is altered, the transition to the other figure is made.
One of the syllogisms in the middle figure can, the other cannot, be resolved into the third figure. Whenever the universal statement is negative, resolution is possible. For if A belongs to no B and to some C, both B
and C alike are convertible in relation to A, so that B belongs to no A and C to some A. A therefore is middle term. But when A belongs to all B, and not to some C, resolution will not be possible: for neither of the premisses is universal after conversion.
116
Syllogisms in the third figure can be resolved into the middle figure, whenever the negative statement is universal, e.g. if A belongs to no C, and B to some or all C. For C then will belong to no A and to some B. But if the negative statement is particular, no resolution will be possible: for the particular negative does not admit of conversion.
It is clear then that the same syllogisms cannot be resolved in these figures which could not be resolved into the first figure, and that when syllogisms are reduced to the first figure these alone are confirmed by reduction to what is impossible.
It is clear from what we have said how we ought to reduce syllogisms, and that the figures may be resolved into one another.
46
In establishing or refuting, it makes some difference whether we suppose the expressions ‘not to be this’ and ‘to be not-this’ are identical or different in meaning, e.g. ‘not to be white’ and ‘to be not-white’. For they do not mean the same thing, nor is ‘to be not-white’ the negation of ‘to be white’, but ‘not to be white’. The reason for this is as follows. The relation of ‘he can walk’ to ‘he can not-walk’ is similar to the relation of ‘it is white’ to ‘it is not-white’; so is that of ‘he knows what is good’ to ‘he knows what is not-good’. For there is no difference between the expressions ‘he knows what is good’ and ‘he is knowing what is good’, or ‘he can walk’ and ‘he is able to walk’: therefore there is no difference between their contraries ‘he cannot walk’-’he is not able to walk’. If then
‘he is not able to walk’ means the same as ‘he is able not to walk’, capacity to walk and incapacity to walk will belong at the same time to the same person (for the same man can both walk and not-walk, and is possessed of knowledge of what is good and of what is not-good), but an affirmation and a denial which are opposed to one another do not belong at the same time to the same thing. As then ‘not to know what is good’ is not the same as ‘to know what is not good’, so ‘to be not-good’ is not the same as ‘not to be good’. For when two pairs correspond, if the one pair are different from one another, the other pair also must be different. Nor is ‘to be not-equal’ the same as ‘not to be equal’: for there is something underlying the one, viz. that which is not-equal, and this is the unequal, but there is nothing underlying the other. Wherefore not everything is either equal or unequal, but everything is equal or is not equal. Further the expressions ‘it is a not-white log’ and ‘it is not a white log’ do not imply one another’s truth. For if ‘it is a not-white log’, it must be a log: but that which is not a white log need not be a log at all. Therefore it is clear 117
that ‘it is not-good’ is not the denial of ‘it is good’. If then every single statement may truly be said to be either an affirmation or a negation, if it is not a negation clearly it must in a sense be an affirmation. But every affirmation has a corresponding negation. The negation then of ‘it is not-good’ is ‘it is not not-good’. The relation of these statements to one another is as follows. Let A stand for ‘to be good’, B for ‘not to be good’, let C stand for ‘to be not-good’ and be placed under B, and let D stand for not to be not-good’ and be placed under A. Then either A or B will belong to everything, but they will never belong to the same thing; and either C or D will belong to everything, but they will never belong to the same thing. And B must belong to everything to which C belongs. For if it is true to say ‘it is a not-white’, it is true also to say ‘it is not white’: for it is impossible that a thing should simultaneously be white and be not-white, or be a not-white log and be a white log; consequently if the affirmation does not belong, the denial must belong. But C does not always belong to B: for what is not a log at all, cannot be a not-white log either. On the other hand D belongs to everything to which A belongs.
For either C or D belongs to everything to which A belongs. But since a thing cannot be simultaneously not-white and white, D must belong to everything to which A belongs. For of that which is white it is true to say that it is not not-white. But A is not true of all D. For of that which is not a log at all it is not true to say A, viz. that it is a white log. Consequently D is true, but A is not true, i.e. that it is a white log. It is clear also that A and C cannot together belong to the same thing, and that B and D may possibly belong to the same thing.
Privative terms are similarly related positive ter terms respect of this arrangement. Let A stand for ‘equal’, B for ‘not equal’, C for ‘unequal’, D
for ‘not unequal’.
In many things also, to some of which something belongs which does not belong to others, the negation may be true in a similar way, viz. that all are not white or that each is not white, while that each is not-white or all are not-white is false. Similarly also ‘every animal is not-white’ is not the negation of ‘every animal is white’ (for both are false): the proper negation is ‘every animal is not white’. Since it is clear that ‘it is not-white’ and ‘it is not white’ mean different things, and one is an affirmation, the other a denial, it is evident that the method of proving each cannot be the same, e.g. that whatever is an animal is not white or may not be white, and that it is true to call it not-white; for this means that it is not-white. But we may prove that it is true to call it white or not-white in the same way for both are proved constructively by means of the first 118
figure. For the expression ‘it is true’ stands on a similar footing to ‘it is’.
For the negation of ‘it is true to call it white’ is not ‘it is true to call it not-white’ but ‘it is not true to call it white’. If then it is to be true to say that whatever is a man is musical or is not-musical, we must assume that whatever is an animal either is musical or is not-musical; and the proof has been made. That whatever is a man is not musical is proved destructively in the three ways mentioned.
In general whenever A and B are such that they cannot belong at the same time to the same thing, and one of the two necessarily belongs to everything, and again C and D are related in the same way, and A follows C but the relation cannot be reversed, then D must follow B and the relation cannot be reversed. And A and D may belong to the same thing, but B and C cannot. First it is clear from the following consideration that D follows B. For since either C or D necessarily belongs to everything; and since C cannot belong to that to which B belongs, because it carries A along with it and A and B cannot belong to the same thing; it is clear that D must follow B. Again since C does not reciprocate with but A, but C or D belongs to everything, it is possible that A and D should belong to the same thing. But B and C cannot belong to the same thing, because A follows C; and so something impossible results. It is clear then that B
does not reciprocate with D either, since it is possible that D and A should belong at the same time to the same thing.
It results sometimes even in such an arrangement of terms that one is deceived through not apprehending the opposites rightly, one of which must belong to everything, e.g. we may reason that ‘if A and B cannot belong at the same time to the same thing, but it is necessary that one of them should belong to whatever the other does not belong to: and again C and D are related in the same way, and follows everything which C
follows: it will result that B belongs necessarily to everything to which D
belongs’: but this is false. ‘Assume that F stands for the negation of A and B, and again that H stands for the negation of C and D. It is necessary then that either A or F should belong to everything: for either the affirmation or the denial must belong. And again either C or H must belong to everything: for they are related as affirmation and denial. And ex hypothesi A belongs to everything ever thing to which C belongs. Therefore H belongs to everything to which F belongs. Again since either F or B belongs to everything, and similarly either H or D, and since H follows F, B must follow D: for we know this. If then A follows C, B must follow D’. But this is false: for as we proved the sequence is reversed in terms so constituted. The fallacy arises because perhaps it is not necessary that A 119
or F should belong to everything, or that F or B should belong to everything: for F is not the denial of A. For not good is the negation of good: and not-good is not identical with ‘neither good nor not-good’.
Similarly also with C and D. For two negations have been assumed in respect to one term.
120
Prior Analytics, Book II
Translated by A. J. Jenkinson
1
We have already explained the number of the figures, the character and number of the premisses, when and how a syllogism is formed; further what we must look for when a refuting and establishing propositions, and how we should investigate a given problem in any branch of inquiry, also by what means we shall obtain principles appropriate to each subject. Since some syllogisms are universal, others particular, all the universal syllogisms give more than one result, and of particular syllogisms the affirmative yield more than one, the negative yield only the stated conclusion. For all propositions are convertible save only the particular negative: and the conclusion states one definite thing about another definite thing. Consequently all syllogisms save the particular negative yield more than one conclusion, e.g. if A has been proved to to all or to some B, then B must belong to some A: and if A has been proved to belong to no B, then B belongs to no A. This is a different conclusion from the former. But if A does not belong to some B, it is not necessary that B should not belong to some A: for it may possibly belong to all A.
This then is the reason common to all syllogisms whether universal or particular. But it is possible to give another reason concerning those which are universal. For all the things that are subordinate to the middle term or to the conclusion may be proved by the same syllogism, if the former are placed in the middle, the latter in the conclusion; e.g. if the conclusion AB is proved through C, whatever is subordinate to B or C
must accept the predicate A: for if D is included in B as in a whole, and B
is included in A, then D will be included in A. Again if E is included in C
as in a whole, and C is included in A, then E will be included in A. Similarly if the syllogism is negative. In the second figure it will be possible to infer only that which is subordinate to the conclusion, e.g. if A belongs to no B and to all C; we conclude that B belongs to no C. If then D is subordinate to C, clearly B does not belong to it. But that B does not belong to what is subordinate to A is not clear by means of the syllogism. And yet B does not belong to E, if E is subordinate to A. But while it has been proved through the syllogism that B belongs to no C, it has been assumed without proof that B does not belong to A, consequently it does not result through the syllogism that B does not belong to E.
121
But in particular syllogisms there will be no necessity of inferring what is subordinate to the conclusion (for a syllogism does not result when this premiss is particular), but whatever is subordinate to the middle term may be inferred, not however through the syllogism, e.g. if A belongs to all B and B to some C. Nothing can be inferred about that which is subordinate to C; something can be inferred about that which is subordinate to B, but not through the preceding syllogism. Similarly in the other figures. That which is subordinate to the conclusion cannot be proved; the other subordinate can be proved, only not through the syllogism, just as in the universal syllogisms what is subordinate to the middle term is proved (as we saw) from a premiss w