necessarily does not belong to C. Let A be white, B man, C swan. White then necessarily belongs to swan, but may belong to no man; and man necessarily belongs to no swan; Clearly then we cannot draw a problematic conclusion; for that which is necessary is admittedly distinct from that which is possible. (2) Nor again can we draw a necessary conclusion: for that presupposes that both premisses are necessary, or at any rate the negative premiss. (3) Further it is possible also, when the terms are so arranged, that B should belong to C: for nothing prevents C falling under B, A being possible for all B, and necessarily belonging to C; e.g. if C
stands for ‘awake’, B for ‘animal’, A for ‘motion’. For motion necessarily belongs to what is awake, and is possible for every animal: and everything that is awake is animal. Clearly then the conclusion cannot be the negative assertion, if the relation must be positive when the terms are related as above. Nor can the opposite affirmations be established: consequently no syllogism is possible. A similar proof is possible if the major premiss is affirmative.
But if the premisses are similar in quality, when they are negative a syllogism can always be formed by converting the problematic premiss into its complementary affirmative as before. Suppose A necessarily does not belong to B, and possibly may not belong to C: if the premisses are converted B belongs to no A, and A may possibly belong to all C: thus we have the first figure. Similarly if the minor premiss is negative. But if the premisses are affirmative there cannot be a syllogism. Clearly the conclusion cannot be a negative assertoric or a negative necessary proposition because no negative premiss has been laid down either in the assertoric or in the necessary mode. Nor can the conclusion be a problematic negative proposition. For if the terms are so related, there are cases in which B necessarily will not belong to C; e.g. suppose that A is white, B swan, C man. Nor can the opposite affirmations be established, since we have shown a case in which B necessarily does not belong to C.
A syllogism then is not possible at all.
Similar relations will obtain in particular syllogisms. For whenever the negative proposition is universal and necessary, a syllogism will always be possible to prove both a problematic and a negative assertoric proposition (the proof proceeds by conversion); but when the affirmative 89
proposition is universal and necessary, no syllogistic conclusion can be drawn. This can be proved in the same way as for universal propositions, and by the same terms. Nor is a syllogistic conclusion possible when both premisses are affirmative: this also may be proved as above.
But when both premisses are negative, and the premiss that definitely disconnects two terms is universal and necessary, though nothing follows necessarily from the premisses as they are stated, a conclusion can be drawn as above if the problematic premiss is converted into its complementary affirmative. But if both are indefinite or particular, no syllogism can be formed. The same proof will serve, and the same terms.
It is clear then from what has been said that if the universal and negative premiss is necessary, a syllogism is always possible, proving not merely a negative problematic, but also a negative assertoric proposition; but if the affirmative premiss is necessary no conclusion can be drawn. It is clear too that a syllogism is possible or not under the same conditions whether the mode of the premisses is assertoric or necessary. And it is clear that all the syllogisms are imperfect, and are completed by means of the figures mentioned.
20
In the last figure a syllogism is possible whether both or only one of the premisses is problematic. When the premisses are problematic the conclusion will be problematic; and also when one premiss is problematic, the other assertoric. But when the other premiss is necessary, if it is affirmative the conclusion will be neither necessary or assertoric; but if it is negative the syllogism will result in a negative assertoric proposition, as above. In these also we must understand the expression ‘possible’ in the conclusion in the same way as before.
First let the premisses be problematic and suppose that both A and B
may possibly belong to every C. Since then the affirmative proposition is convertible into a particular, and B may possibly belong to every C, it follows that C may possibly belong to some B. So, if A is possible for every C, and C is possible for some of the Bs, then A is possible for some of the Bs. For we have got the first figure. And A if may possibly belong to no C, but B may possibly belong to all C, it follows that A may possibly not belong to some B: for we shall have the first figure again by conversion. But if both premisses should be negative no necessary consequence will follow from them as they are stated, but if the premisses are converted into their corresponding affirmatives there will be a syllogism as before. For if A and B may possibly not belong to C, if ‘may 90
possibly belong’ is substituted we shall again have the first figure by means of conversion. But if one of the premisses is universal, the other particular, a syllogism will be possible, or not, under the arrangement of the terms as in the case of assertoric propositions. Suppose that A may possibly belong to all C, and B to some C. We shall have the first figure again if the particular premiss is converted. For if A is possible for all C, and C for some of the Bs, then A is possible for some of the Bs. Similarly if the proposition BC is universal. Likewise also if the proposition AC is negative, and the proposition BC affirmative: for we shall again have the first figure by conversion. But if both premisses should be negative-the one universal and the other particular-although no syllogistic conclusion will follow from the premisses as they are put, it will follow if they are converted, as above. But when both premisses are indefinite or particular, no syllogism can be formed: for A must belong sometimes to all B
and sometimes to no B. To illustrate the affirmative relation take the terms animal-man-white; to illustrate the negative, take the terms horseman-white—white being the middle term.
21
If one premiss is pure, the other problematic, the conclusion will be problematic, not pure; and a syllogism will be possible under the same arrangement of the terms as before. First let the premisses be affirmative: suppose that A belongs to all C, and B may possibly belong to all C. If the proposition BC is converted, we shall have the first figure, and the conclusion that A may possibly belong to some of the Bs. For when one of the premisses in the first figure is problematic, the conclusion also (as we saw) is problematic. Similarly if the proposition BC is pure, AC problematic; or if AC is negative, BC affirmative, no matter which of the two is pure; in both cases the conclusion will be problematic: for the first figure is obtained once more, and it has been proved that if one premiss is problematic in that figure the conclusion also will be problematic. But if the minor premiss BC is negative, or if both premisses are negative, no syllogistic conclusion can be drawn from the premisses as they stand, but if they are converted a syllogism is obtained as before.
If one of the premisses is universal, the other particular, then when both are affirmative, or when the universal is negative, the particular affirmative, we shall have the same sort of syllogisms: for all are completed by means of the first figure. So it is clear that we shall have not a pure but a problematic syllogistic conclusion. But if the affirmative premiss is universal, the negative particular, the proof will proceed by a 91
reductio ad impossibile. Suppose that B belongs to all C, and A may possibly not belong to some C: it follows that may possibly not belong to some B. For if A necessarily belongs to all B, and B (as has been assumed) belongs to all C, A will necessarily belong to all C: for this has been proved before. But it was assumed at the outset that A may possibly not belong to some C.
Whenever both premisses are indefinite or particular, no syllogism will be possible. The demonstration is the same as was given in the case of universal premisses, and proceeds by means of the same terms.
22
If one of the premisses is necessary, the other problematic, when the premisses are affirmative a problematic affirmative conclusion can always be drawn; when one proposition is affirmative, the other negative, if the affirmative is necessary a problematic negative can be inferred; but if the negative proposition is necessary both a problematic and a pure negative conclusion are possible. But a necessary negative conclusion will not be possible, any more than in the other figures. Suppose first that the premisses are affirmative, i.e. that A necessarily belongs to all C, and B may possibly belong to all C. Since then A must belong to all C, and C may belong to some B, it follows that A may (not does) belong to some B: for so it resulted in the first figure. A similar proof may be given if the proposition BC is necessary, and AC is problematic. Again suppose one proposition is affirmative, the other negative, the affirmative being necessary: i.e. suppose A may possibly belong to no C, but B necessarily belongs to all C. We shall have the first figure once more: and-since the negative premiss is problematic-it is clear that the conclusion will be problematic: for when the premisses stand thus in the first figure, the conclusion (as we found) is problematic. But if the negative premiss is necessary, the conclusion will be not only that A may possibly not belong to some B but also that it does not belong to some B. For suppose that A necessarily does not belong to C, but B may belong to all C. If the affirmative proposition BC is converted, we shall have the first figure, and the negative premiss is necessary. But when the premisses stood thus, it resulted that A might possibly not belong to some C, and that it did not belong to some C; consequently here it follows that A does not belong to some B. But when the minor premiss is negative, if it is problematic we shall have a syllogism by altering the premiss into its complementary affirmative, as before; but if it is necessary no syllogism can be formed. For A sometimes necessarily belongs to all B, and sometimes 92
cannot possibly belong to any B. To illustrate the former take the terms sleep-sleeping horse-man; to illustrate the latter take the terms sleep-waking horse-man.
Similar results will obtain if one of the terms is related universally to the middle, the other in part. If both premisses are affirmative, the conclusion will be problematic, not pure; and also when one premiss is negative, the other affirmative, the latter being necessary. But when the negative premiss is necessary, the conclusion also will be a pure negative proposition; for the same kind of proof can be given whether the terms are universal or not. For the syllogisms must be made perfect by means of the first figure, so that a result which follows in the first figure follows also in the third. But when the minor premiss is negative and universal, if it is problematic a syllogism can be formed by means of conversion; but if it is necessary a syllogism is not possible. The proof will follow the same course as where the premisses are universal; and the same terms may be used.
It is clear then in this figure also when and how a syllogism can be formed, and when the conclusion is problematic, and when it is pure. It is evident also that all syllogisms in this figure are imperfect, and that they are made perfect by means of the first figure.
23
It is clear from what has been said that the syllogisms in these figures are made perfect by means of universal syllogisms in the first figure and are reduced to them. That every syllogism without qualification can be so treated, will be clear presently, when it has been proved that every syllogism is formed through one or other of these figures.
It is necessary that every demonstration and every syllogism should prove either that something belongs or that it does not, and this either universally or in part, and further either ostensively or hypothetically.
One sort of hypothetical proof is the reductio ad impossibile. Let us speak first of ostensive syllogisms: for after these have been pointed out the truth of our contention will be clear with regard to those which are proved per impossibile, and in general hypothetically.
If then one wants to prove syllogistically A of B, either as an attribute of it or as not an attribute of it, one must assert something of something else. If now A should be asserted of B, the proposition originally in question will have been assumed. But if A should be asserted of C, but C
should not be asserted of anything, nor anything of it, nor anything else of A, no syllogism will be possible. For nothing necessarily follows from 93
the assertion of some one thing concerning some other single thing. Thus we must take another premiss as well. If then A be asserted of something else, or something else of A, or something different of C, nothing prevents a syllogism being formed, but it will not be in relation to B through the premisses taken. Nor when C belongs to something else, and that to something else and so on, no connexion however being made with B, will a syllogism be possible concerning A in its relation to B. For in general we stated that no syllogism can establish the attribution of one thing to another, unless some middle term is taken, which is somehow related to each by way of predication. For the syllogism in general is made out of premisses, and a syllogism referring to this out of premisses with the same reference, and a syllogism relating this to that proceeds through premisses which relate this to that. But it is impossible to take a premiss in reference to B, if we neither affirm nor deny anything of it; or again to take a premiss relating A to B, if we take nothing common, but affirm or deny peculiar attributes of each. So we must take something midway between the two, which will connect the predications, if we are to have a syllogism relating this to that. If then we must take something common in relation to both, and this is possible in three ways (either by predicating A of C, and C of B, or C of both, or both of C), and these are the figures of which we have spoken, it is clear that every syllogism must be made in one or other of these figures. The argument is the same if several middle terms should be necessary to establish the relation to B; for the figure will be the same whether there is one middle term or many.
It is clear then that the ostensive syllogisms are effected by means of the aforesaid figures; these considerations will show that reductiones ad also are effected in the same way. For all who effect an argument per impossibile infer syllogistically what is false, and prove the original conclusion hypothetically when something impossible results from the assumption of its contradictory; e.g. that the diagonal of the square is incommensurate with the side, because odd numbers are equal to evens if it is supposed to be commensurate. One infers syllogistically that odd numbers come out equal to evens, and one proves hypothetically the incommensurability of the diagonal, since a falsehood results through contradicting this. For this we found to be reasoning per impossibile, viz.
proving something impossible by means of an hypothesis conceded at the beginning. Consequently, since the falsehood is established in reductions ad impossibile by an ostensive syllogism, and the original conclusion is proved hypothetically, and we have already stated that ostensive syllogisms are effected by means of these figures, it is evident that 94
syllogisms per impossibile also will be made through these figures. Likewise all the other hypothetical syllogisms: for in every case the syllogism leads up to the proposition that is substituted for the original thesis; but the original thesis is reached by means of a concession or some other hypothesis. But if this is true, every demonstration and every syllogism must be formed by means of the three figures mentioned above. But when this has been shown it is clear that every syllogism is perfected by means of the first figure and is reducible to the universal syllogisms in this figure.
24
Further in every syllogism one of the premisses must be affirmative, and universality must be present: unless one of the premisses is universal either a syllogism will not be possible, or it will not refer to the subject proposed, or the original position will be begged. Suppose we have to prove that pleasure in music is good. If one should claim as a premiss that pleasure is good without adding ‘all’, no syllogism will be possible; if one should claim that some pleasure is good, then if it is different from pleasure in music, it is not relevant to the subject proposed; if it is this very pleasure, one is assuming that which was proposed at the outset to be proved. This is more obvious in geometrical proofs, e.g. that the angles at the base of an isosceles triangle are equal. Suppose the lines A and B have been drawn to the centre. If then one should assume that the angle AC is equal to the angle BD, without claiming generally that angles of semicircles are equal; and again if one should assume that the angle C
is equal to the angle D, without the additional assumption that every angle of a segment is equal to every other angle of the same segment; and further if one should assume that when equal angles are taken from the whole angles, which are themselves equal, the remainders E and F
are equal, he will beg the thing to be proved, unless he also states that when equals are taken from equals the remainders are equal.
It is clear then that in every syllogism there must be a universal premiss, and that a universal statement is proved only when all the premisses are universal, while a particular statement is proved both from two universal premisses and from one only: consequently if the conclusion is universal, the premisses also must be universal, but if the premisses are universal it is possible that the conclusion may not be universal. And it is clear also that in every syllogism either both or one of the premisses must be like the conclusion. I mean not only in being 95
affirmative or negative, but also in being necessary, pure, problematic.
We must consider also the other forms of predication.
It is clear also when a syllogism in general can be made and when it cannot; and when a valid, when a perfect syllogism can be formed; and that if a syllogism is formed the terms must be arranged in one of the ways that have been mentioned.
25
It is clear too that every demonstration will proceed through three terms and no more, unless the same conclusion is established by different pairs of propositions; e.g. the conclusion E may be established through the propositions A and B, and through the propositions C and D, or through the propositions A and B, or A and C, or B and C. For nothing prevents there being several middles for the same terms. But in that case there is not one but several syllogisms. Or again when each of the propositions A and B is obtained by syllogistic inference, e.g. by means of D and E, and again B by means of F and G. Or one may be obtained by syllogistic, the other by inductive inference. But thus also the syllogisms are many; for the conclusions are many, e.g. A and B and C.
But if this can be called one syllogism, not many, the same conclusion may be reached by more than three terms in this way, but it cannot be reached as C is established by means of A and B. Suppose that the proposition E is inferred from the premisses A, B, C, and D. It is necessary then that of these one should be related to another as whole to part: for it has already been proved that if a syllogism is formed some of its terms must be related in this way. Suppose then that A stands in this relation to B. Some conclusion then follows from them. It must either be E or one or other of C and D, or something other than these.
(1) If it is E the syllogism will have A and B for its sole premisses. But if C and D are so related that one is whole, the other part, some conclusion will follow from them also; and it must be either E, or one or other of the propositions A and B, or something other than these. And if it is (i) E, or (ii) A or B, either (i) the syllogisms will be more than one, or (ii) the same thing happens to be inferred by means of several terms only in the sense which we saw to be possible. But if (iii) the conclusion is other than E or A or B, the syllogisms will be many, and unconnected with one another. But if C is not so related to D as to make a syllogism, the propositions will have been assumed to no purpose, unless for the sake of induction or of obscuring the argument or something of the sort.
96
(2) But if from the propositions A and B there follows not E but some other conclusion, and if from C and D either A or B follows or something else, then there are several syllogisms, and they do not establish the conclusion proposed: for we assumed that the syllogism proved E. And if no conclusion follows from C and D, it turns out that these propositions have been assumed to no purpose, and the syllogism does not prove the original proposition.
So it is clear that every demonstration and every syllogism will proceed through three terms only.
This being evident, it is clear that a syllogistic conclusion follows from two premisses and not from more than two. For the three terms make two premisses, unless a new premiss is assumed, as was said at the beginning, to perfect the syllogisms. It is clear therefore that in whatever syllogistic argument the premisses through which the main conclusion follows (for some of the preceding conclusions must be premisses) are not even in number, this argument either has not been drawn syllogistically or it has assumed more than was necessary to establish its thesis.
If then syllogisms are taken with respect to their main premisses, every syllogism will consist of an even number of premisses and an odd number of terms (for the terms exceed the premisses by one), and the conclusions will be half the number of the premisses. But whenever a conclusion is reached by means of prosyllogisms or by means of several continuous middle terms, e.g. the proposition AB by means of the middle terms C and D, the number of the terms will similarly exceed that of the premisses by one (for the extra term must either be added outside or inserted: but in either case it follows that the relations of predication are one fewer than the terms related), and the premisses will be equal in number to the relations of predication. The premisses however will not always be even, the terms odd; but they will alternate-when the premisses are even, the terms must be odd; when the terms are even, the premisses must be odd: for along with one term one premiss is added, if a term is added from any quarter. Consequently since the premisses were (as we saw) even, and the terms odd, we must make them alternately even and odd at each addition. But the conclusions will not follow the same arrangement either in respect to the terms or to the premisses.
For if one term is added, conclusions will be added less by one than the pre-existing terms: for the conclusion is drawn not in relation to the single term last added, but in relation to all the rest, e.g. if to ABC the term D is added, two conclusions are thereby added, one in relation to A, the other in relation to B. Similarly with any further additions. And 97
similarly too if the term is inserted in the middle: for in relation to one term only, a syllogism will not be constructed. Consequently the conclusions will be much more numerous than the terms or the premisses.
26
Since we understand the subjects with which syllogisms are concerned, what sort of conclusion is established in each figure, and in how many moods this is done, it is evident to us both what sort of problem is difficult and what sort is easy to prove. For that which is concluded in many figures and through many moods is easier; that which is concluded in few figures and through few moods is more difficult to attempt. The universal affirmative is proved by means of the first figure only and by this in only one mood; the universal negative is proved both through the first figure and through the second, through the first in one mood, through the second in two. The particular affirmative is proved through the first and through the last figure, in one mood through the first, in three moods through the last. The particular negative is proved in all the figures, but once in the first, in two moods in the second, in three moods in the third. It is clear then that the universal affirmative is most difficult to establish, most easy to overthrow. In general, universals are easier game for the destroyer than particulars: for whether the predicate belongs to none or not to some, they are destroyed: and the particular negative is proved in all the figures, the universal negative in two.
Similarly with universal negatives: the original statement is destroyed, whether the predicate belongs to all or to some: and this we found possible in two figures. But particular statements can be refuted in one way only-by proving that the predicate belongs either to all or to none. But particular statements are easier to establish: for proof is possible in more figures and through more moods. And in general we must not forget that it is possible to refute statements by means of one another, I mean, universal statements by means of particular, and particular statements by means of universal: but it is not possible to establish universal statements by means of particular, though it is possible to establish particular statements by means of universal. At the same time it is evident that it is easier to refute than to establish.
The manner in which every syllogism is produced, the number of the terms and premisses through which it proceeds, the relation of the premisses to one another, the character of the problem proved in each figure, and the number of the figures appropriate to each problem, all these matters are clear from what has been said.
98
27
We must now state how we may ourselves always have a supply of syllogisms in reference to the problem proposed and by what road we may reach the principles relative to the problem: for perhaps we ought not only to investigate the construction of syllogisms, but also to have the power of making them.
Of all the things which exist some are such that they cannot be predicated of anything else truly and universally, e.g. Cleon and Callias, i.e. the individual and sensible, but other things may be predicated of them (for each of these is both man and animal); and some things are themselves predicated of others, but nothing prior is predicated of them; and some are predicated of others, and yet others of them, e.g. man of Callias and animal of man. It is clear then that some things are naturally not stated of anything: for as a rule each sensible thing is such that it cannot be predicated of anything, save incidentally: for we sometimes say that that white object is Socrates, or that that which approaches is Callias. We shall explain in another place that there is an upward limit also to the process of predicating: for the present we must assume this. Of these ultimate predicates it is not possible to demonstrate another predicate, save as a matter of opinion, but these may be predicated of other things. Neither can individuals be predicated of other things, though other things can be predicated of them. Whatever lies between these limits can be spoken of in both ways: they may be stated of others, and others stated of them.
And as a rule arguments and inquiries are concerned with these things.
We must select the premisses suitable to each problem in this manner: first we must lay down the subject and the definitions and the properties of the thing; next we must lay down those attributes which follow the thing, and again those which the thing follows, and those which cannot belong to it. But those to which it cannot belong need not be selected, because the negative statement implied above is convertible. Of the attributes which follow we must distinguish those which fall within the definition, those which are predicated as properties, and those which are predicated as accidents, and of the latter those which apparently and those which really belong. The larger the supply a man has of these, the more quickly will he reach a conclusion; and in proportion as he apprehends those which are truer, the more cogently will he demonstrate. But he must select not those which follow some particular but those which follow the thing as a whole, e.g. not what follows a particular man but what follows every man: for the syllogism proceeds through universal premisses. If the statement is indefinite, it is uncertain whether the 99
premiss is universal, but if the statement is definite, the matter is clear.
Similarly one must select those attributes which the subject follows as wholes, for the reason given. But that which follows one must not suppose to follow as a whole, e.g. that every animal follows man or every science music, but only that it follows, without qualification, and indeed we state it in a proposition: for the other statement is useless and impossible, e.g. that every man is every animal or justice is all good. But that which something follows receives the mark ‘every’. Whenever the subject, for which we must obtain the attributes that follow, is contained by something else, what follows or does not follow the highest term universally must not be selected in dealing with the subordinate term (for these attributes have been taken in dealing with the superior term; for what follows animal also follows man, and what does not belong to animal does not belong to man); but we must choose those attributes which are peculiar to each s