PRIOR ANALYTICS

by Aristotle
350 BC
translated by A. J. Jenkinson

Book I

1

We must first state the subject of our inquiry and the faculty to which it belongs: its subject is demonstration and the faculty that carries it out demonstrative science. We must next define a premiss, a term, and a syllogism, and the nature of a perfect and of an imperfect syllogism; and after that, the inclusion or noninclusion of one term in another as in a whole, and what we mean by predicating one term of all, or none, of another.

A premiss then is a sentence affirming or denying one thing of another. This is either universal or particular or indefinite. By universal I mean the statement that something belongs to all or none of something else; by particular that it belongs to some or not to some or not to all; by indefinite that it does or does not belong, without any mark to show whether it is universal or particular, e.g. 'contraries are subjects of the same science', or 'pleasure is not good'…

I call that a term into which the premiss is resolved, i.e. both the predicate and that of which it is predicated, 'being' being added and 'not being' removed, or vice versa. A syllogism is discourse in which, certain things being stated, something other than what is stated follows of necessity from their being so. I mean by the last phrase that they produce the consequence, and by this, that no further term is required from without in order to make the consequence necessary.

I call that a perfect syllogism which needs nothing other than what has been stated to make plain what necessarily follows; a syllogism is imperfect, if it needs either one or more propositions, which are indeed the necessary consequences of the terms set down, but have not been expressly stated as premisses. That one term should be included in another as in a whole is the same as for the other to be predicated of all of the first. And we say that one term is predicated of all of another, whenever no instance of the subject can be found of which the other term cannot be asserted: 'to be predicated of none' must be understood in the same way.

2

Every premiss states that something either is or must be or may be the attribute of something else; of premisses of these three kinds some are affirmative, others negative, in respect of each of the three modes of attribution; again some affirmative and negative premisses are universal, others particular, others indefinite. It is necessary then that in universal attribution the terms of the negative premiss should be convertible, e.g. if no pleasure is good, then no good will be pleasure; the terms of the affirmative must be convertible, not however, universally, but in part, e.g. if every pleasure,is good, some good must be pleasure; the particular affirmative must convert in part (for if some pleasure is good, then some good will be pleasure); but the particular negative need not convert, for if some animal is not man, it does not follow that some man is not animal.

First then take a universal negative with the terms A and B. If no B is A, neither can any A be B. For if some A (say C) were B, it would not be true that no B is A; for C is a B. But if every B is A then some A is B. For if no A were B, then no B could be A. But we assumed that every B is A. Similarly too, if the premiss is particular. For if some B is A, then some of the As must be B. For if none were, then no B would be A. But if some B is not A, there is no necessity that some of the As should not be B; e.g. let B stand for animal and A for man. Not every animal is a man; but every man is an animal.

3

The same manner of conversion will hold good also in respect of necessary premisses. The universal negative converts universally; each of the affirmatives converts into a particular. If it is necessary that no B is A, it is necessary also that no A is B. For if it is possible that some A is B, it would be possible also that some B is A. If all or some B is A of necessity, it is necessary also that some A is B: for if there were no necessity, neither would some of the Bs be A necessarily. But the particular negative does not convert, for the same reason which we have already stated…

4

After these distinctions we now state by what means, when, and how every syllogism is produced; subsequently we must speak of demonstration. Syllogism should be discussed before demonstration because syllogism is the general: the demonstration is a sort of syllogism, but not every syllogism is a demonstration.

Whenever three terms are so related to one another that the last is contained in the middle as in a whole, and the middle is either contained in, or excluded from, the first as in or from a whole, the extremes must be related by a perfect syllogism. I call that term middle which is itself contained in another and contains another in itself: in position also this comes in the middle. By extremes I mean both that term which is itself contained in another and that in which another is contained. If A is predicated of all B, and B of all C, A must be predicated of all C: we have already explained what we mean by 'predicated of all'. Similarly also, if A is predicated of no B, and B of all C, it is necessary that no C will be A. But if the first term belongs to all the middle, but the middle to none of the last term, there will be no syllogism in respect of the extremes; for nothing necessary follows from the terms being so related; for it is possible that the first should belong either to all or to none of the last, so that neither a particular nor a universal conclusion is necessary. But if there is no necessary consequence, there cannot be a syllogism by means of these premisses.

As an example of a universal affirmative relation between the extremes we may take the terms animal, man, horse; of a universal negative relation, the terms animal, man, stone. Nor again can syllogism be formed when neither the first term belongs to any of the middle, nor the middle to any of the last. As an example of a positive relation between the extremes take the terms science, line, medicine: of a negative relation science, line, unit. If then the terms are universally related, it is clear in this figure when a syllogism will be possible and when not, and that if a syllogism is possible the terms must be related as described, and if they are so related there will be a syllogism. But if one term is related universally, the other in part only, to its subject, there must be a perfect syllogism whenever universality is posited with reference to the major term either affirmatively or negatively, and particularity with reference to the minor term affirmatively: but whenever the universality is posited in relation to the minor term, or the terms are related in any other way, a syllogism is impossible.

I call that term the major in which the middle is contained and that term the minor which comes under the middle. Let all B be A and some C be B. Then if 'predicated of all' means what was said above, it is necessary that some C is A. And if no B is A but some C is B, it is necessary that some C is not A. The meaning of 'predicated of none' has also been defined. So there will be a perfect syllogism. This holds good also if the premiss BC should be indefinite, provided that it is affirmative: for we shall have the same syllogism whether the premiss is indefinite or particular.

But if the universality is posited with respect to the minor term either affirmatively or negatively, a syllogism will not be possible, whether the major premiss is positive or negative, indefinite or particular: e.g. if some B is or is not A, and all C is B. As an example of a positive relation between the extremes take the terms good, state, wisdom: of a negative relation, good, state, ignorance. Again if no C is B, but some B is or is not A or not every B is A, there cannot be a syllogism. Take the terms white, horse, swan: white, horse, raven. The same terms may be taken also if the premiss BA is indefinite.

Nor when the major premiss is universal, whether affirmative or negative, and the minor premiss is negative and particular, can there be a syllogism, whether the minor premiss be indefinite or particular: e.g. if all B is A and some C is not B, or if not all C is B. For the major term may be predicable both of all and of none of the minor, to some of which the middle term cannot be attributed. Suppose the terms are animal, man, white: next take some of the white things of which man is not predicated-swan and snow: animal is predicated of all of the one, but of none of the other. Consequently there cannot be a syllogism. Again let no B be A, but let some C not be B. Take the terms inanimate, man, white: then take some white things of which man is not predicated-swan and snow: the term inanimate is predicated of all of the one, of none of the other.

Further since it is indefinite to say some C is not B, and it is true that some C is not B, whether no C is B, or not all C is B, and since if terms are assumed such that no C is B, no syllogism follows (this has already been stated) it is clear that this arrangement of terms will not afford a syllogism: otherwise one would have been possible with a universal negative minor premiss. A similar proof may also be given if the universal premiss is negative.

Nor can there in any way be a syllogism if both the relations of subject and predicate are particular, either positively or negatively, or the one negative and the other affirmative, or one indefinite and the other definite, or both indefinite. Terms common to all the above are animal, white, horse: animal, white, stone.

It is clear then from what has been said that if there is a syllogism in this figure with a particular conclusion, the terms must be related as we have stated: if they are related otherwise, no syllogism is possible anyhow. It is evident also that all the syllogisms in this figure are perfect (for they are all completed by means of the premisses originally taken) and that all conclusions are proved by this figure, viz. universal and particular, affirmative and negative...