AFFIRMATIVE........228
Again, if all contradictory statements are true of the same subject at the same time, evidently all things will be one. For the same thing will be a trireme, a wall, and a man, if of everything it is possible either to affirm or to deny anything (and this premiss must be accepted by those who share the views of Protagoras). For if any one thinks that the man is not a trireme, evidently he is not a trireme; so that he also is a trireme, if, as they say, contradictory statements are both true. And we thus get the doctrine of Anaxagoras, that all things are mixed together; so that nothing really exists. They seem, then, to be speaking of the indeterminate, and, while fancying themselves to be speaking of being, they are speaking about non-being; for it is that which exists potentially and not in complete reality that is indeterminate. But they must predicate of every subject the affirmation or the negation of every attribute. For it is absurd if of each subject its own negation is to be predicable, while the negation of something else which cannot be predicated of it is not to be predicable of it; for instance, if it is true to say of a man that he is not a man, evidently it is also true to say that he is either a trireme or not a trireme. If, then, the affirmative can be predicated, the negative must be predicable too; and if the affirmative is not predicable, the negative, at least, will be more predicable than the negative of the subject itself. If, then, even the latter negative is predicable, the negative of 'trireme' will be also predicable; and, if this is predicable, the affirmative will be so too.	METAPHYSICS Book IV
Again, if all contradictory statements are true of the same subject at the same time, evidently all things will be one. For the same thing will be a trireme, a wall, and a man, if of everything it is possible either to affirm or to deny anything (and this premiss must be accepted by those who share the views of Protagoras). For if any one thinks that the man is not a trireme, evidently he is not a trireme; so that he also is a trireme, if, as they say, contradictory statements are both true. And we thus get the doctrine of Anaxagoras, that all things are mixed together; so that nothing really exists. They seem, then, to be speaking of the indeterminate, and, while fancying themselves to be speaking of being, they are speaking about non-being; for it is that which exists potentially and not in complete reality that is indeterminate. But they must predicate of every subject the affirmation or the negation of every attribute. For it is absurd if of each subject its own negation is to be predicable, while the negation of something else which cannot be predicated of it is not to be predicable of it; for instance, if it is true to say of a man that he is not a man, evidently it is also true to say that he is either a trireme or not a trireme. If, then, the affirmative can be predicated, the negative must be predicable too; and if the affirmative is not predicable, the negative, at least, will be more predicable than the negative of the subject itself. If, then, even the latter negative is predicable, the negative of 'trireme' will be also predicable; and, if this is predicable, the affirmative will be so too.	METAPHYSICS Book IV
Again, if all contradictory statements are true of the same subject at the same time, evidently all things will be one. For the same thing will be a trireme, a wall, and a man, if of everything it is possible either to affirm or to deny anything (and this premiss must be accepted by those who share the views of Protagoras). For if any one thinks that the man is not a trireme, evidently he is not a trireme; so that he also is a trireme, if, as they say, contradictory statements are both true. And we thus get the doctrine of Anaxagoras, that all things are mixed together; so that nothing really exists. They seem, then, to be speaking of the indeterminate, and, while fancying themselves to be speaking of being, they are speaking about non-being; for it is that which exists potentially and not in complete reality that is indeterminate. But they must predicate of every subject the affirmation or the negation of every attribute. For it is absurd if of each subject its own negation is to be predicable, while the negation of something else which cannot be predicated of it is not to be predicable of it; for instance, if it is true to say of a man that he is not a man, evidently it is also true to say that he is either a trireme or not a trireme. If, then, the affirmative can be predicated, the negative must be predicable too; and if the affirmative is not predicable, the negative, at least, will be more predicable than the negative of the subject itself. If, then, even the latter negative is predicable, the negative of 'trireme' will be also predicable; and, if this is predicable, the affirmative will be so too.	METAPHYSICS Book IV
That which changes changes either from positive into positive, or from negative into negative, or from positive into negative, or from negative into positive. (By positive I mean that which is expressed by an affirmative term.) Therefore there must be three changes; that from negative into negative is not change, because (since the terms are neither contraries nor contradictories) there is no opposition. The change from the negative into the positive which is its contradictory is generation-absolute change absolute generation, and partial change partial generation; and the change from positive to negative is destruction-absolute change absolute destruction, and partial change partial destruction. If, then, 'that which is not' has several senses, and movement can attach neither to that which implies putting together or separating, nor to that which implies potency and is opposed to that which is in the full sense (true, the not-white or not-good can be moved incidentally, for the not-white might be a man; but that which is not a particular thing at all can in no wise be moved), that which is not cannot be moved (and if this is so, generation cannot be movement; for that which is not is generated; for even if we admit to the full that its generation is accidental, yet it is true to say that 'not-being' is predicable of that which is generated absolutely). Similarly rest cannot be long to that which is not. These consequences, then, turn out to be awkward, and also this, that everything that is moved is in a place, but that which is not is not in a place; for then it would be somewhere. Nor is destruction movement; for the contrary of movement is rest, but the contrary of destruction is generation. Since every movement is a change, and the kinds of change are the three named above, and of these those in the way of generation and destruction are not movements, and these are the changes from a thing to its contradictory, it follows that only the change from positive into positive is movement. And the positives are either contrary or intermediate (for even privation must be regarded as contrary), and are expressed by an affirmative term, e.g. 'naked' or 'toothless' or 'black'.	METAPHYSICS Book XI
That which changes changes either from positive into positive, or from negative into negative, or from positive into negative, or from negative into positive. (By positive I mean that which is expressed by an affirmative term.) Therefore there must be three changes; that from negative into negative is not change, because (since the terms are neither contraries nor contradictories) there is no opposition. The change from the negative into the positive which is its contradictory is generation-absolute change absolute generation, and partial change partial generation; and the change from positive to negative is destruction-absolute change absolute destruction, and partial change partial destruction. If, then, 'that which is not' has several senses, and movement can attach neither to that which implies putting together or separating, nor to that which implies potency and is opposed to that which is in the full sense (true, the not-white or not-good can be moved incidentally, for the not-white might be a man; but that which is not a particular thing at all can in no wise be moved), that which is not cannot be moved (and if this is so, generation cannot be movement; for that which is not is generated; for even if we admit to the full that its generation is accidental, yet it is true to say that 'not-being' is predicable of that which is generated absolutely). Similarly rest cannot be long to that which is not. These consequences, then, turn out to be awkward, and also this, that everything that is moved is in a place, but that which is not is not in a place; for then it would be somewhere. Nor is destruction movement; for the contrary of movement is rest, but the contrary of destruction is generation. Since every movement is a change, and the kinds of change are the three named above, and of these those in the way of generation and destruction are not movements, and these are the changes from a thing to its contradictory, it follows that only the change from positive into positive is movement. And the positives are either contrary or intermediate (for even privation must be regarded as contrary), and are expressed by an affirmative term, e.g. 'naked' or 'toothless' or 'black'.	METAPHYSICS Book XI
Those arguments which depend upon an expression that is valid of a particular thing, or in a particular respect, or place, or manner, or relation, and not valid absolutely, should be solved by considering the conclusion in relation to its contradictory, to see if any of these things can possibly have happened to it. For it is impossible for contraries and opposites and an affirmative and a negative to belong to the same thing absolutely; there is, however, nothing to prevent each from belonging in a particular respect or relation or manner, or to prevent one of them from belonging in a particular respect and the other absolutely. So that if this one belongs absolutely and that one in a particular respect, there is as yet no refutation. This is a feature one has to find in the conclusion by examining it in comparison with its contradictory.	ON SOPHISTICAL REFUTATIONS Book I
These are the various forms of the deliberative body; they correspond to the various forms of government. And the government of each state is administered according to one or other of the principles which have been laid down. Now it is for the interest of democracy, according to the most prevalent notion of it (I am speaking of that extreme form of democracy in which the people are supreme even over the laws), with a view to better deliberation to adopt the custom of oligarchies respecting courts of law. For in oligarchies the rich who are wanted to be judges are compelled to attend under pain of a fine, whereas in deinocracies the poor are paid to attend. And this practice of oligarchies should be adopted by democracies in their public assemblies, for they will advise better if they all deliberate together — the people with the notables and the notables with the people. It is also a good plan that those who deliberate should be elected by vote or by lot in equal numbers out of the different classes; and that if the people greatly exceed in number those who have political training, pay should not be given to all, but only to as many as would balance the number of the notables, or that the number in excess should be eliminated by lot. But in oligarchies either certain persons should be co-opted from the mass, or a class of officers should be appointed such as exist in some states who are termed probuli and guardians of the law; and the citizens should occupy themselves exclusively with matters on which these have previously deliberated; for so the people will have a share in the deliberations of the state, but will not be able to disturb the principles of the constitution. Again, in oligarchies either the people ought to accept the measures of the government, or not to pass anything contrary to them; or, if all are allowed to share in counsel, the decision should rest with the magistrates. The opposite of what is done in constitutional governments should be the rule in oligarchies; the veto of the majority should be final, their assent not final, but the proposal should be referred back to the magistrates. Whereas in constitutional governments they take the contrary course; the few have the negative, not the affirmative power; the affirmation of everything rests with the multitude.	POLITICS BOOK II
Of all the figures the most scientific is the first. Thus, it is the vehicle of the demonstrations of all the mathematical sciences, such as arithmetic, geometry, and optics, and practically all of all sciences that investigate causes: for the syllogism of the reasoned fact is either exclusively or generally speaking and in most cases in this figure — a second proof that this figure is the most scientific; for grasp of a reasoned conclusion is the primary condition of knowledge. Thirdly, the first is the only figure which enables us to pursue knowledge of the essence of a thing. In the second figure no affirmative conclusion is possible, and knowledge of a thing's essence must be affirmative; while in the third figure the conclusion can be affirmative, but cannot be universal, and essence must have a universal character: e.g. man is not two-footed animal in any qualified sense, but universally. Finally, the first figure has no need of the others, while it is by means of the first that the other two figures are developed, and have their intervals closepacked until immediate premisses are reached.	POSTERIOR ANALYTICS Book I
Of all the figures the most scientific is the first. Thus, it is the vehicle of the demonstrations of all the mathematical sciences, such as arithmetic, geometry, and optics, and practically all of all sciences that investigate causes: for the syllogism of the reasoned fact is either exclusively or generally speaking and in most cases in this figure — a second proof that this figure is the most scientific; for grasp of a reasoned conclusion is the primary condition of knowledge. Thirdly, the first is the only figure which enables us to pursue knowledge of the essence of a thing. In the second figure no affirmative conclusion is possible, and knowledge of a thing's essence must be affirmative; while in the third figure the conclusion can be affirmative, but cannot be universal, and essence must have a universal character: e.g. man is not two-footed animal in any qualified sense, but universally. Finally, the first figure has no need of the others, while it is by means of the first that the other two figures are developed, and have their intervals closepacked until immediate premisses are reached.	POSTERIOR ANALYTICS Book I
Of all the figures the most scientific is the first. Thus, it is the vehicle of the demonstrations of all the mathematical sciences, such as arithmetic, geometry, and optics, and practically all of all sciences that investigate causes: for the syllogism of the reasoned fact is either exclusively or generally speaking and in most cases in this figure — a second proof that this figure is the most scientific; for grasp of a reasoned conclusion is the primary condition of knowledge. Thirdly, the first is the only figure which enables us to pursue knowledge of the essence of a thing. In the second figure no affirmative conclusion is possible, and knowledge of a thing's essence must be affirmative; while in the third figure the conclusion can be affirmative, but cannot be universal, and essence must have a universal character: e.g. man is not two-footed animal in any qualified sense, but universally. Finally, the first figure has no need of the others, while it is by means of the first that the other two figures are developed, and have their intervals closepacked until immediate premisses are reached.	POSTERIOR ANALYTICS Book I
Just as an attribute A may (as we saw) be atomically connected with a subject B, so its disconnexion may be atomic. I call 'atomic' connexions or disconnexions which involve no intermediate term; since in that case the connexion or disconnexion will not be mediated by something other than the terms themselves. It follows that if either A or B, or both A and B, have a genus, their disconnexion cannot be primary. Thus: let C be the genus of A. Then, if C is not the genus of B — for A may well have a genus which is not the genus of B — there will be a syllogism proving A's disconnexion from B, thus: all A is C, / no B is C, / therefore no B is A. / Or if it is B which has a genus D, we have / all B is D, / no D is A, / therefore no B is A, by syllogism; and the proof will be similar if both A and B have a genus. That the genus of A need not be the genus of B and vice versa, is shown by the existence of mutually exclusive coordinate series of predication. If no term in the series ACD...is predicable of any term in the series BEF...,and if G — a term in the former series — is the genus of A, clearly G will not be the genus of B; since, if it were, the series would not be mutually exclusive. So also if B has a genus, it will not be the genus of A. If, on the other hand, neither A nor B has a genus and A does not inhere in B, this disconnexion must be atomic. If there be a middle term, one or other of them is bound to have a genus, for the syllogism will be either in the first or the second figure. If it is in the first, B will have a genus — for the premiss containing it must be affirmative: if in the second, either A or B indifferently, since syllogism is possible if either is contained in a negative premiss, but not if both premisses are negative.	POSTERIOR ANALYTICS Book I
We have stated when and through what kinds of premisses error will result in cases where the erroneous conclusion is negative. If the conclusion is affirmative, (a) (i) it may be inferred through the 'appropriate' middle term. In this case both premisses cannot be false since, as we said before, C-B must remain unchanged if there is to be a conclusion, and consequently A-C, the quality of which is changed, will always be false. This is equally true if (ii) the middle is taken from another series of predication, as was stated to be the case also with regard to negative error; for D-B must remain unchanged, while the quality of A-D must be converted, and the type of error is the same as before.	POSTERIOR ANALYTICS Book I
Further, if in affirmative demonstration the series terminates in both directions, clearly it will terminate too in negative demonstration. Let us assume that we cannot proceed to infinity either by ascending from the ultimate term (by 'ultimate term' I mean a term such as was, not itself attributable to a subject but itself the subject of attributes), or by descending towards an ultimate from the primary term (by 'primary term' I mean a term predicable of a subject but not itself a subject). If this assumption is justified, the series will also terminate in the case of negation. For a negative conclusion can be proved in all three figures. In the first figure it is proved thus: no B is A, all C is B. In packing the interval B-C we must reach immediate propositions — as is always the case with the minor premiss — since B-C is affirmative. As regards the other premiss it is plain that if the major term is denied of a term D prior to B, D will have to be predicable of all B, and if the major is denied of yet another term prior to D, this term must be predicable of all D. Consequently, since the ascending series is finite, the descent will also terminate and there will be a subject of which A is primarily non-predicable. In the second figure the syllogism is, all A is B, no C is B,..no C is A. If proof of this is required, plainly it may be shown either in the first figure as above, in the second as here, or in the third. The first figure has been discussed, and we will proceed to display the second, proof by which will be as follows: all B is D, no C is D..., since it is required that B should be a subject of which a predicate is affirmed. Next, since D is to be proved not to belong to C, then D has a further predicate which is denied of C. Therefore, since the succession of predicates affirmed of an ever higher universal terminates, the succession of predicates denied terminates too.	POSTERIOR ANALYTICS Book I
Further, if in affirmative demonstration the series terminates in both directions, clearly it will terminate too in negative demonstration. Let us assume that we cannot proceed to infinity either by ascending from the ultimate term (by 'ultimate term' I mean a term such as was, not itself attributable to a subject but itself the subject of attributes), or by descending towards an ultimate from the primary term (by 'primary term' I mean a term predicable of a subject but not itself a subject). If this assumption is justified, the series will also terminate in the case of negation. For a negative conclusion can be proved in all three figures. In the first figure it is proved thus: no B is A, all C is B. In packing the interval B-C we must reach immediate propositions — as is always the case with the minor premiss — since B-C is affirmative. As regards the other premiss it is plain that if the major term is denied of a term D prior to B, D will have to be predicable of all B, and if the major is denied of yet another term prior to D, this term must be predicable of all D. Consequently, since the ascending series is finite, the descent will also terminate and there will be a subject of which A is primarily non-predicable. In the second figure the syllogism is, all A is B, no C is B,..no C is A. If proof of this is required, plainly it may be shown either in the first figure as above, in the second as here, or in the third. The first figure has been discussed, and we will proceed to display the second, proof by which will be as follows: all B is D, no C is D..., since it is required that B should be a subject of which a predicate is affirmed. Next, since D is to be proved not to belong to C, then D has a further predicate which is denied of C. Therefore, since the succession of predicates affirmed of an ever higher universal terminates, the succession of predicates denied terminates too.	POSTERIOR ANALYTICS Book I
Thus it is plain that the regress of middles terminates in the case of negative demonstration, if it does so also in the case of affirmative demonstration. That in fact the regress terminates in both these cases may be made clear by the following dialectical considerations.	POSTERIOR ANALYTICS Book I
Since demonstrations may be either commensurately universal or particular, and either affirmative or negative; the question arises, which form is the better? And the same question may be put in regard to so-called 'direct' demonstration and reductio ad impossibile. Let us first examine the commensurately universal and the particular forms, and when we have cleared up this problem proceed to discuss 'direct' demonstration and reductio ad impossibile.	POSTERIOR ANALYTICS Book I
The preceding arguments constitute our defence of the superiority of commensurately universal to particular demonstration. That affirmative demonstration excels negative may be shown as follows.	POSTERIOR ANALYTICS Book I
Hence demonstration by fewer premisses is ceteris paribus superior. Now both affirmative and negative demonstration operate through three terms and two premisses, but whereas the former assumes only that something is, the latter assumes both that something is and that something else is not, and thus operating through more kinds of premiss is inferior.	POSTERIOR ANALYTICS Book I
(2) It has been proved that no conclusion follows if both premisses are negative, but that one must be negative, the other affirmative. So we are compelled to lay down the following additional rule: as the demonstration expands, the affirmative premisses must increase in number, but there cannot be more than one negative premiss in each complete proof. Thus, suppose no B is A, and all C is B. Then if both the premisses are to be again expanded, a middle must be interposed. Let us interpose D between A and B, and E between B and C. Then clearly E is affirmatively related to B and C, while D is affirmatively related to B but negatively to A; for all B is D, but there must be no D which is A. Thus there proves to be a single negative premiss, A-D. In the further prosyllogisms too it is the same, because in the terms of an affirmative syllogism the middle is always related affirmatively to both extremes; in a negative syllogism it must be negatively related only to one of them, and so this negation comes to be a single negative premiss, the other premisses being affirmative. If, then, that through which a truth is proved is a better known and more certain truth, and if the negative proposition is proved through the affirmative and not vice versa, affirmative demonstration, being prior and better known and more certain, will be superior.	POSTERIOR ANALYTICS Book I
(2) It has been proved that no conclusion follows if both premisses are negative, but that one must be negative, the other affirmative. So we are compelled to lay down the following additional rule: as the demonstration expands, the affirmative premisses must increase in number, but there cannot be more than one negative premiss in each complete proof. Thus, suppose no B is A, and all C is B. Then if both the premisses are to be again expanded, a middle must be interposed. Let us interpose D between A and B, and E between B and C. Then clearly E is affirmatively related to B and C, while D is affirmatively related to B but negatively to A; for all B is D, but there must be no D which is A. Thus there proves to be a single negative premiss, A-D. In the further prosyllogisms too it is the same, because in the terms of an affirmative syllogism the middle is always related affirmatively to both extremes; in a negative syllogism it must be negatively related only to one of them, and so this negation comes to be a single negative premiss, the other premisses being affirmative. If, then, that through which a truth is proved is a better known and more certain truth, and if the negative proposition is proved through the affirmative and not vice versa, affirmative demonstration, being prior and better known and more certain, will be superior.	POSTERIOR ANALYTICS Book I
(2) It has been proved that no conclusion follows if both premisses are negative, but that one must be negative, the other affirmative. So we are compelled to lay down the following additional rule: as the demonstration expands, the affirmative premisses must increase in number, but there cannot be more than one negative premiss in each complete proof. Thus, suppose no B is A, and all C is B. Then if both the premisses are to be again expanded, a middle must be interposed. Let us interpose D between A and B, and E between B and C. Then clearly E is affirmatively related to B and C, while D is affirmatively related to B but negatively to A; for all B is D, but there must be no D which is A. Thus there proves to be a single negative premiss, A-D. In the further prosyllogisms too it is the same, because in the terms of an affirmative syllogism the middle is always related affirmatively to both extremes; in a negative syllogism it must be negatively related only to one of them, and so this negation comes to be a single negative premiss, the other premisses being affirmative. If, then, that through which a truth is proved is a better known and more certain truth, and if the negative proposition is proved through the affirmative and not vice versa, affirmative demonstration, being prior and better known and more certain, will be superior.	POSTERIOR ANALYTICS Book I
(2) It has been proved that no conclusion follows if both premisses are negative, but that one must be negative, the other affirmative. So we are compelled to lay down the following additional rule: as the demonstration expands, the affirmative premisses must increase in number, but there cannot be more than one negative premiss in each complete proof. Thus, suppose no B is A, and all C is B. Then if both the premisses are to be again expanded, a middle must be interposed. Let us interpose D between A and B, and E between B and C. Then clearly E is affirmatively related to B and C, while D is affirmatively related to B but negatively to A; for all B is D, but there must be no D which is A. Thus there proves to be a single negative premiss, A-D. In the further prosyllogisms too it is the same, because in the terms of an affirmative syllogism the middle is always related affirmatively to both extremes; in a negative syllogism it must be negatively related only to one of them, and so this negation comes to be a single negative premiss, the other premisses being affirmative. If, then, that through which a truth is proved is a better known and more certain truth, and if the negative proposition is proved through the affirmative and not vice versa, affirmative demonstration, being prior and better known and more certain, will be superior.	POSTERIOR ANALYTICS Book I
(2) It has been proved that no conclusion follows if both premisses are negative, but that one must be negative, the other affirmative. So we are compelled to lay down the following additional rule: as the demonstration expands, the affirmative premisses must increase in number, but there cannot be more than one negative premiss in each complete proof. Thus, suppose no B is A, and all C is B. Then if both the premisses are to be again expanded, a middle must be interposed. Let us interpose D between A and B, and E between B and C. Then clearly E is affirmatively related to B and C, while D is affirmatively related to B but negatively to A; for all B is D, but there must be no D which is A. Thus there proves to be a single negative premiss, A-D. In the further prosyllogisms too it is the same, because in the terms of an affirmative syllogism the middle is always related affirmatively to both extremes; in a negative syllogism it must be negatively related only to one of them, and so this negation comes to be a single negative premiss, the other premisses being affirmative. If, then, that through which a truth is proved is a better known and more certain truth, and if the negative proposition is proved through the affirmative and not vice versa, affirmative demonstration, being prior and better known and more certain, will be superior.	POSTERIOR ANALYTICS Book I
(2) It has been proved that no conclusion follows if both premisses are negative, but that one must be negative, the other affirmative. So we are compelled to lay down the following additional rule: as the demonstration expands, the affirmative premisses must increase in number, but there cannot be more than one negative premiss in each complete proof. Thus, suppose no B is A, and all C is B. Then if both the premisses are to be again expanded, a middle must be interposed. Let us interpose D between A and B, and E between B and C. Then clearly E is affirmatively related to B and C, while D is affirmatively related to B but negatively to A; for all B is D, but there must be no D which is A. Thus there proves to be a single negative premiss, A-D. In the further prosyllogisms too it is the same, because in the terms of an affirmative syllogism the middle is always related affirmatively to both extremes; in a negative syllogism it must be negatively related only to one of them, and so this negation comes to be a single negative premiss, the other premisses being affirmative. If, then, that through which a truth is proved is a better known and more certain truth, and if the negative proposition is proved through the affirmative and not vice versa, affirmative demonstration, being prior and better known and more certain, will be superior.	POSTERIOR ANALYTICS Book I
(3) The basic truth of demonstrative syllogism is the universal immediate premiss, and the universal premiss asserts in affirmative demonstration and in negative denies: and the affirmative proposition is prior to and better known than the negative (since affirmation explains denial and is prior to denial, just as being is prior to not-being). It follows that the basic premiss of affirmative demonstration is superior to that of negative demonstration, and the demonstration which uses superior basic premisses is superior.	POSTERIOR ANALYTICS Book I
(3) The basic truth of demonstrative syllogism is the universal immediate premiss, and the universal premiss asserts in affirmative demonstration and in negative denies: and the affirmative proposition is prior to and better known than the negative (since affirmation explains denial and is prior to denial, just as being is prior to not-being). It follows that the basic premiss of affirmative demonstration is superior to that of negative demonstration, and the demonstration which uses superior basic premisses is superior.	POSTERIOR ANALYTICS Book I
(3) The basic truth of demonstrative syllogism is the universal immediate premiss, and the universal premiss asserts in affirmative demonstration and in negative denies: and the affirmative proposition is prior to and better known than the negative (since affirmation explains denial and is prior to denial, just as being is prior to not-being). It follows that the basic premiss of affirmative demonstration is superior to that of negative demonstration, and the demonstration which uses superior basic premisses is superior.	POSTERIOR ANALYTICS Book I
(4) Affirmative demonstration is more of the nature of a basic form of proof, because it is a sine qua non of negative demonstration.	POSTERIOR ANALYTICS Book I
Since affirmative demonstration is superior to negative, it is clearly superior also to reductio ad impossibile. We must first make certain what is the difference between negative demonstration and reductio ad impossibile. Let us suppose that no B is A, and that all C is B: the conclusion necessarily follows that no C is A. If these premisses are assumed, therefore, the negative demonstration that no C is A is direct. Reductio ad impossibile, on the other hand, proceeds as follows. Supposing we are to prove that does not inhere in B, we have to assume that it does inhere, and further that B inheres in C, with the resulting inference that A inheres in C. This we have to suppose a known and admitted impossibility; and we then infer that A cannot inhere in B. Thus if the inherence of B in C is not questioned, A's inherence in B is impossible.	POSTERIOR ANALYTICS Book I
The order of the terms is the same in both proofs: they differ according to which of the negative propositions is the better known, the one denying A of B or the one denying A of C. When the falsity of the conclusion is the better known, we use reductio ad impossible; when the major premiss of the syllogism is the more obvious, we use direct demonstration. All the same the proposition denying A of B is, in the order of being, prior to that denying A of C; for premisses are prior to the conclusion which follows from them, and 'no C is A' is the conclusion, 'no B is A' one of its premisses. For the destructive result of reductio ad impossibile is not a proper conclusion, nor are its antecedents proper premisses. On the contrary: the constituents of syllogism are premisses related to one another as whole to part or part to whole, whereas the premisses A-C and A-B are not thus related to one another. Now the superior demonstration is that which proceeds from better known and prior premisses, and while both these forms depend for credence on the not-being of something, yet the source of the one is prior to that of the other. Therefore negative demonstration will have an unqualified superiority to reductio ad impossibile, and affirmative demonstration, being superior to negative, will consequently be superior also to reductio ad impossibile.	POSTERIOR ANALYTICS Book I
It is clear, then, that all questions are a search for a 'middle'. Let us now state how essential nature is revealed and in what way it can be reduced to demonstration; what definition is, and what things are definable. And let us first discuss certain difficulties which these questions raise, beginning what we have to say with a point most intimately connected with our immediately preceding remarks, namely the doubt that might be felt as to whether or not it is possible to know the same thing in the same relation, both by definition and by demonstration. It might, I mean, be urged that definition is held to concern essential nature and is in every case universal and affirmative; whereas, on the other hand, some conclusions are negative and some are not universal; e.g. all in the second figure are negative, none in the third are universal. And again, not even all affirmative conclusions in the first figure are definable, e.g. 'every triangle has its angles equal to two right angles'. An argument proving this difference between demonstration and definition is that to have scientific knowledge of the demonstrable is identical with possessing a demonstration of it: hence if demonstration of such conclusions as these is possible, there clearly cannot also be definition of them. If there could, one might know such a conclusion also in virtue of its definition without possessing the demonstration of it; for there is nothing to stop our having the one without the other.	POSTERIOR ANALYTICS Book II
It is clear, then, that all questions are a search for a 'middle'. Let us now state how essential nature is revealed and in what way it can be reduced to demonstration; what definition is, and what things are definable. And let us first discuss certain difficulties which these questions raise, beginning what we have to say with a point most intimately connected with our immediately preceding remarks, namely the doubt that might be felt as to whether or not it is possible to know the same thing in the same relation, both by definition and by demonstration. It might, I mean, be urged that definition is held to concern essential nature and is in every case universal and affirmative; whereas, on the other hand, some conclusions are negative and some are not universal; e.g. all in the second figure are negative, none in the third are universal. And again, not even all affirmative conclusions in the first figure are definable, e.g. 'every triangle has its angles equal to two right angles'. An argument proving this difference between demonstration and definition is that to have scientific knowledge of the demonstrable is identical with possessing a demonstration of it: hence if demonstration of such conclusions as these is possible, there clearly cannot also be definition of them. If there could, one might know such a conclusion also in virtue of its definition without possessing the demonstration of it; for there is nothing to stop our having the one without the other.	POSTERIOR ANALYTICS Book II
Now to know its essential nature is, as we said, the same as to know the cause of a thing's existence, and the proof of this depends on the fact that a thing must have a cause. Moreover, this cause is either identical with the essential nature of the thing or distinct from it; and if its cause is distinct from it, the essential nature of the thing is either demonstrable or indemonstrable. Consequently, if the cause is distinct from the thing's essential nature and demonstration is possible, the cause must be the middle term, and, the conclusion proved being universal and affirmative, the proof is in the first figure. So the method just examined of proving it through another essential nature would be one way of proving essential nature, because a conclusion containing essential nature must be inferred through a middle which is an essential nature just as a 'peculiar' property must be inferred through a middle which is a 'peculiar' property; so that of the two definable natures of a single thing this method will prove one and not the other.	POSTERIOR ANALYTICS Book II
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.	PRIOR ANALYTICS Book I
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.	PRIOR ANALYTICS Book I
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.	PRIOR ANALYTICS Book I
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.	PRIOR ANALYTICS Book I
In respect of possible premisses, since possibility is used in several senses (for we say that what is necessary and what is not necessary and what is potential is possible), affirmative statements will all convert in a manner similar to those described. For if it is possible that all or some B is A, it will be possible that some A is B. For if that were not possible, then no B could possibly be A. This has been already proved. But in negative statements the case is different. Whatever is said to be possible, either because B necessarily is A, or because B is not necessarily A, admits of conversion like other negative statements, e.g. if one should say, it is possible that man is not horse, or that no garment is white. For in the former case the one term necessarily does not belong to the other; in the latter there is no necessity that it should: and the premiss converts like other negative statements. For if it is possible for no man to be a horse, it is also admissible for no horse to be a man; and if it is admissible for no garment to be white, it is also admissible for nothing white to be a garment. For if any white thing must be a garment, then some garment will necessarily be white. This has been already proved. The particular negative also must be treated like those dealt with above. But if anything is said to be possible because it is the general rule and natural (and it is in this way we define the possible), the negative premisses can no longer be converted like the simple negatives; the universal negative premiss does not convert, and the particular does. This will be plain when we speak about the possible. At present we may take this much as clear in addition to what has been said: the statement that it is possible that no B is A or some B is not A is affirmative in form: for the expression 'is possible' ranks along with 'is', and 'is' makes an affirmation always and in every case, whatever the terms to which it is added, in predication, e.g. 'it is not-good' or 'it is not-white' or in a word 'it is not-this'. But this also will be proved in the sequel. In conversion these premisses will behave like the other affirmative propositions.	PRIOR ANALYTICS Book I
In respect of possible premisses, since possibility is used in several senses (for we say that what is necessary and what is not necessary and what is potential is possible), affirmative statements will all convert in a manner similar to those described. For if it is possible that all or some B is A, it will be possible that some A is B. For if that were not possible, then no B could possibly be A. This has been already proved. But in negative statements the case is different. Whatever is said to be possible, either because B necessarily is A, or because B is not necessarily A, admits of conversion like other negative statements, e.g. if one should say, it is possible that man is not horse, or that no garment is white. For in the former case the one term necessarily does not belong to the other; in the latter there is no necessity that it should: and the premiss converts like other negative statements. For if it is possible for no man to be a horse, it is also admissible for no horse to be a man; and if it is admissible for no garment to be white, it is also admissible for nothing white to be a garment. For if any white thing must be a garment, then some garment will necessarily be white. This has been already proved. The particular negative also must be treated like those dealt with above. But if anything is said to be possible because it is the general rule and natural (and it is in this way we define the possible), the negative premisses can no longer be converted like the simple negatives; the universal negative premiss does not convert, and the particular does. This will be plain when we speak about the possible. At present we may take this much as clear in addition to what has been said: the statement that it is possible that no B is A or some B is not A is affirmative in form: for the expression 'is possible' ranks along with 'is', and 'is' makes an affirmation always and in every case, whatever the terms to which it is added, in predication, e.g. 'it is not-good' or 'it is not-white' or in a word 'it is not-this'. But this also will be proved in the sequel. In conversion these premisses will behave like the other affirmative propositions.	PRIOR ANALYTICS Book I
In respect of possible premisses, since possibility is used in several senses (for we say that what is necessary and what is not necessary and what is potential is possible), affirmative statements will all convert in a manner similar to those described. For if it is possible that all or some B is A, it will be possible that some A is B. For if that were not possible, then no B could possibly be A. This has been already proved. But in negative statements the case is different. Whatever is said to be possible, either because B necessarily is A, or because B is not necessarily A, admits of conversion like other negative statements, e.g. if one should say, it is possible that man is not horse, or that no garment is white. For in the former case the one term necessarily does not belong to the other; in the latter there is no necessity that it should: and the premiss converts like other negative statements. For if it is possible for no man to be a horse, it is also admissible for no horse to be a man; and if it is admissible for no garment to be white, it is also admissible for nothing white to be a garment. For if any white thing must be a garment, then some garment will necessarily be white. This has been already proved. The particular negative also must be treated like those dealt with above. But if anything is said to be possible because it is the general rule and natural (and it is in this way we define the possible), the negative premisses can no longer be converted like the simple negatives; the universal negative premiss does not convert, and the particular does. This will be plain when we speak about the possible. At present we may take this much as clear in addition to what has been said: the statement that it is possible that no B is A or some B is not A is affirmative in form: for the expression 'is possible' ranks along with 'is', and 'is' makes an affirmation always and in every case, whatever the terms to which it is added, in predication, e.g. 'it is not-good' or 'it is not-white' or in a word 'it is not-this'. But this also will be proved in the sequel. In conversion these premisses will behave like the other affirmative propositions.	PRIOR ANALYTICS Book I
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.	PRIOR ANALYTICS Book I
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.	PRIOR ANALYTICS Book I
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.	PRIOR ANALYTICS Book I
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.	PRIOR ANALYTICS Book I
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. Such a figure I call the first.	PRIOR ANALYTICS Book I
If the middle term is related universally to one of the extremes, a particular negative syllogism must result whenever the middle term is related universally to the major whether positively or negatively, and particularly to the minor and in a manner opposite to that of the universal statement: by 'an opposite manner' I mean, if the universal statement is negative, the particular is affirmative: if the universal is affirmative, the particular is negative. For if M belongs to no N, but to some O, it is necessary that N does not belong to some O. For since the negative statement is convertible, N will belong to no M: but M was admitted to belong to some O: therefore N will not belong to some O: for the result is reached by means of the first figure. Again if M belongs to all N, but not to some O, it is necessary that N does not belong to some O: for if N belongs to all O, and M is predicated also of all N, M must belong to all O: but we assumed that M does not belong to some O. And if M belongs to all N but not to all O, we shall conclude that N does not belong to all O: the proof is the same as the above. But if M is predicated of all O, but not of all N, there will be no syllogism. Take the terms animal, substance, raven; animal, white, raven. Nor will there be a conclusion when M is predicated of no O, but of some N. Terms to illustrate a positive relation between the extremes are animal, substance, unit: a negative relation, animal, substance, science.	PRIOR ANALYTICS Book I
If the middle term is related universally to one of the extremes, a particular negative syllogism must result whenever the middle term is related universally to the major whether positively or negatively, and particularly to the minor and in a manner opposite to that of the universal statement: by 'an opposite manner' I mean, if the universal statement is negative, the particular is affirmative: if the universal is affirmative, the particular is negative. For if M belongs to no N, but to some O, it is necessary that N does not belong to some O. For since the negative statement is convertible, N will belong to no M: but M was admitted to belong to some O: therefore N will not belong to some O: for the result is reached by means of the first figure. Again if M belongs to all N, but not to some O, it is necessary that N does not belong to some O: for if N belongs to all O, and M is predicated also of all N, M must belong to all O: but we assumed that M does not belong to some O. And if M belongs to all N but not to all O, we shall conclude that N does not belong to all O: the proof is the same as the above. But if M is predicated of all O, but not of all N, there will be no syllogism. Take the terms animal, substance, raven; animal, white, raven. Nor will there be a conclusion when M is predicated of no O, but of some N. Terms to illustrate a positive relation between the extremes are animal, substance, unit: a negative relation, animal, substance, science.	PRIOR ANALYTICS Book I
If then the universal statement is opposed to the particular, we have stated when a syllogism will be possible and when not: but if the premisses are similar in form, I mean both negative or both affirmative, a syllogism will not be possible anyhow. First let them be negative, and let the major premiss be universal, e.g. let M belong to no N, and not to some O. It is possible then for N to belong either to all O or to no O. Terms to illustrate the negative relation are black, snow, animal. But it is not possible to find terms of which the extremes are related positively and universally, if M belongs to some O, and does not belong to some O. For if N belonged to all O, but M to no N, then M would belong to no O: but we assumed that it belongs to some O. In this way then it is not admissible to take terms: our point must be proved from the indefinite nature of the particular statement. For since it is true that M does not belong to some O, even if it belongs to no O, and since if it belongs to no O a syllogism is (as we have seen) not possible, clearly it will not be possible now either.	PRIOR ANALYTICS Book I
Again let the premisses be affirmative, and let the major premiss as before be universal, e.g. let M belong to all N and to some O. It is possible then for N to belong to all O or to no O. Terms to illustrate the negative relation are white, swan, stone. But it is not possible to take terms to illustrate the universal affirmative relation, for the reason already stated: the point must be proved from the indefinite nature of the particular statement. But if the minor premiss is universal, and M belongs to no O, and not to some N, it is possible for N to belong either to all O or to no O. Terms for the positive relation are white, animal, raven: for the negative relation, white, stone, raven. If the premisses are affirmative, terms for the negative relation are white, animal, snow; for the positive relation, white, animal, swan. Evidently then, whenever the premisses are similar in form, and one is universal, the other particular, a syllogism can, not be formed anyhow. Nor is one possible if the middle term belongs to some of each of the extremes, or does not belong to some of either, or belongs to some of the one, not to some of the other, or belongs to neither universally, or is related to them indefinitely. Common terms for all the above are white, animal, man: white, animal, inanimate.	PRIOR ANALYTICS Book I
Again let the premisses be affirmative, and let the major premiss as before be universal, e.g. let M belong to all N and to some O. It is possible then for N to belong to all O or to no O. Terms to illustrate the negative relation are white, swan, stone. But it is not possible to take terms to illustrate the universal affirmative relation, for the reason already stated: the point must be proved from the indefinite nature of the particular statement. But if the minor premiss is universal, and M belongs to no O, and not to some N, it is possible for N to belong either to all O or to no O. Terms for the positive relation are white, animal, raven: for the negative relation, white, stone, raven. If the premisses are affirmative, terms for the negative relation are white, animal, snow; for the positive relation, white, animal, swan. Evidently then, whenever the premisses are similar in form, and one is universal, the other particular, a syllogism can, not be formed anyhow. Nor is one possible if the middle term belongs to some of each of the extremes, or does not belong to some of either, or belongs to some of the one, not to some of the other, or belongs to neither universally, or is related to them indefinitely. Common terms for all the above are white, animal, man: white, animal, inanimate.	PRIOR ANALYTICS Book I
Again let the premisses be affirmative, and let the major premiss as before be universal, e.g. let M belong to all N and to some O. It is possible then for N to belong to all O or to no O. Terms to illustrate the negative relation are white, swan, stone. But it is not possible to take terms to illustrate the universal affirmative relation, for the reason already stated: the point must be proved from the indefinite nature of the particular statement. But if the minor premiss is universal, and M belongs to no O, and not to some N, it is possible for N to belong either to all O or to no O. Terms for the positive relation are white, animal, raven: for the negative relation, white, stone, raven. If the premisses are affirmative, terms for the negative relation are white, animal, snow; for the positive relation, white, animal, swan. Evidently then, whenever the premisses are similar in form, and one is universal, the other particular, a syllogism can, not be formed anyhow. Nor is one possible if the middle term belongs to some of each of the extremes, or does not belong to some of either, or belongs to some of the one, not to some of the other, or belongs to neither universally, or is related to them indefinitely. Common terms for all the above are white, animal, man: white, animal, inanimate.	PRIOR ANALYTICS Book I
It is clear then from what has been said that if the terms are related to one another in the way stated, a syllogism results of necessity; and if there is a syllogism, the terms must be so related. But it is evident also that all the syllogisms in this figure are imperfect: for all are made perfect by certain supplementary statements, which either are contained in the terms of necessity or are assumed as hypotheses, i.e. when we prove per impossibile. And it is evident that an affirmative conclusion is not attained by means of this figure, but all are negative, whether universal or particular.	PRIOR ANALYTICS Book I
If they are universal, whenever both P and R belong to S, it follows that P will necessarily belong to some R. For, since the affirmative statement is convertible, S will belong to some R: consequently since P belongs to all S, and S to some R, P must belong to some R: for a syllogism in the first figure is produced. It is possible to demonstrate this also per impossibile and by exposition. For if both P and R belong to all S, should one of the Ss, e.g. N, be taken, both P and R will belong to this, and thus P will belong to some R.	PRIOR ANALYTICS Book I
It is clear then in this figure also when a syllogism will be possible and when not, if the terms are related universally. For whenever both the terms are affirmative, there will be a syllogism to prove that one extreme belongs to some of the other; but when they are negative, no syllogism will be possible. But when one is negative, the other affirmative, if the major is negative, the minor affirmative, there will be a syllogism to prove that the one extreme does not belong to some of the other: but if the relation is reversed, no syllogism will be possible. If one term is related universally to the middle, the other in part only, when both are affirmative there must be a syllogism, no matter which of the premisses is universal. For if R belongs to all S, P to some S, P must belong to some R. For since the affirmative statement is convertible S will belong to some P: consequently since R belongs to all S, and S to some P, R must also belong to some P: therefore P must belong to some R.	PRIOR ANALYTICS Book I
It is clear then in this figure also when a syllogism will be possible and when not, if the terms are related universally. For whenever both the terms are affirmative, there will be a syllogism to prove that one extreme belongs to some of the other; but when they are negative, no syllogism will be possible. But when one is negative, the other affirmative, if the major is negative, the minor affirmative, there will be a syllogism to prove that the one extreme does not belong to some of the other: but if the relation is reversed, no syllogism will be possible. If one term is related universally to the middle, the other in part only, when both are affirmative there must be a syllogism, no matter which of the premisses is universal. For if R belongs to all S, P to some S, P must belong to some R. For since the affirmative statement is convertible S will belong to some P: consequently since R belongs to all S, and S to some P, R must also belong to some P: therefore P must belong to some R.	PRIOR ANALYTICS Book I
It is clear then in this figure also when a syllogism will be possible and when not, if the terms are related universally. For whenever both the terms are affirmative, there will be a syllogism to prove that one extreme belongs to some of the other; but when they are negative, no syllogism will be possible. But when one is negative, the other affirmative, if the major is negative, the minor affirmative, there will be a syllogism to prove that the one extreme does not belong to some of the other: but if the relation is reversed, no syllogism will be possible. If one term is related universally to the middle, the other in part only, when both are affirmative there must be a syllogism, no matter which of the premisses is universal. For if R belongs to all S, P to some S, P must belong to some R. For since the affirmative statement is convertible S will belong to some P: consequently since R belongs to all S, and S to some P, R must also belong to some P: therefore P must belong to some R.	PRIOR ANALYTICS Book I
It is clear then in this figure also when a syllogism will be possible and when not, if the terms are related universally. For whenever both the terms are affirmative, there will be a syllogism to prove that one extreme belongs to some of the other; but when they are negative, no syllogism will be possible. But when one is negative, the other affirmative, if the major is negative, the minor affirmative, there will be a syllogism to prove that the one extreme does not belong to some of the other: but if the relation is reversed, no syllogism will be possible. If one term is related universally to the middle, the other in part only, when both are affirmative there must be a syllogism, no matter which of the premisses is universal. For if R belongs to all S, P to some S, P must belong to some R. For since the affirmative statement is convertible S will belong to some P: consequently since R belongs to all S, and S to some P, R must also belong to some P: therefore P must belong to some R.	PRIOR ANALYTICS Book I
It is clear then in this figure also when a syllogism will be possible and when not, if the terms are related universally. For whenever both the terms are affirmative, there will be a syllogism to prove that one extreme belongs to some of the other; but when they are negative, no syllogism will be possible. But when one is negative, the other affirmative, if the major is negative, the minor affirmative, there will be a syllogism to prove that the one extreme does not belong to some of the other: but if the relation is reversed, no syllogism will be possible. If one term is related universally to the middle, the other in part only, when both are affirmative there must be a syllogism, no matter which of the premisses is universal. For if R belongs to all S, P to some S, P must belong to some R. For since the affirmative statement is convertible S will belong to some P: consequently since R belongs to all S, and S to some P, R must also belong to some P: therefore P must belong to some R.	PRIOR ANALYTICS Book I
Again if R belongs to some S, and P to all S, P must belong to some R. This may be demonstrated in the same way as the preceding. And it is possible to demonstrate it also per impossibile and by exposition, as in the former cases. But if one term is affirmative, the other negative, and if the affirmative is universal, a syllogism will be possible whenever the minor term is affirmative. For if R belongs to all S, but P does not belong to some S, it is necessary that P does not belong to some R. For if P belongs to all R, and R belongs to all S, then P will belong to all S: but we assumed that it did not. Proof is possible also without reduction ad impossibile, if one of the Ss be taken to which P does not belong.	PRIOR ANALYTICS Book I
Again if R belongs to some S, and P to all S, P must belong to some R. This may be demonstrated in the same way as the preceding. And it is possible to demonstrate it also per impossibile and by exposition, as in the former cases. But if one term is affirmative, the other negative, and if the affirmative is universal, a syllogism will be possible whenever the minor term is affirmative. For if R belongs to all S, but P does not belong to some S, it is necessary that P does not belong to some R. For if P belongs to all R, and R belongs to all S, then P will belong to all S: but we assumed that it did not. Proof is possible also without reduction ad impossibile, if one of the Ss be taken to which P does not belong.	PRIOR ANALYTICS Book I
Again if R belongs to some S, and P to all S, P must belong to some R. This may be demonstrated in the same way as the preceding. And it is possible to demonstrate it also per impossibile and by exposition, as in the former cases. But if one term is affirmative, the other negative, and if the affirmative is universal, a syllogism will be possible whenever the minor term is affirmative. For if R belongs to all S, but P does not belong to some S, it is necessary that P does not belong to some R. For if P belongs to all R, and R belongs to all S, then P will belong to all S: but we assumed that it did not. Proof is possible also without reduction ad impossibile, if one of the Ss be taken to which P does not belong.	PRIOR ANALYTICS Book I
But whenever the major is affirmative, no syllogism will be possible, e.g. if P belongs to all S and R does not belong to some S. Terms for the universal affirmative relation are animate, man, animal. For the universal negative relation it is not possible to get terms, if R belongs to some S, and does not belong to some S. For if P belongs to all S, and R to some S, then P will belong to some R: but we assumed that it belongs to no R. We must put the matter as before.' Since the expression 'it does not belong to some' is indefinite, it may be used truly of that also which belongs to none. But if R belongs to no S, no syllogism is possible, as has been shown. Clearly then no syllogism will be possible here.	PRIOR ANALYTICS Book I
But whenever the major is affirmative, no syllogism will be possible, e.g. if P belongs to all S and R does not belong to some S. Terms for the universal affirmative relation are animate, man, animal. For the universal negative relation it is not possible to get terms, if R belongs to some S, and does not belong to some S. For if P belongs to all S, and R to some S, then P will belong to some R: but we assumed that it belongs to no R. We must put the matter as before.' Since the expression 'it does not belong to some' is indefinite, it may be used truly of that also which belongs to none. But if R belongs to no S, no syllogism is possible, as has been shown. Clearly then no syllogism will be possible here.	PRIOR ANALYTICS Book I
But if the negative term is universal, whenever the major is negative and the minor affirmative there will be a syllogism. For if P belongs to no S, and R belongs to some S, P will not belong to some R: for we shall have the first figure again, if the premiss RS is converted.	PRIOR ANALYTICS Book I
It is clear then in this figure also when a syllogism will be possible, and when not; and that if the terms are as stated, a syllogism results of necessity, and if there is a syllogism, the terms must be so related. It is clear also that all the syllogisms in this figure are imperfect (for all are made perfect by certain supplementary assumptions), and that it will not be possible to reach a universal conclusion by means of this figure, whether negative or affirmative.	PRIOR ANALYTICS Book I
It is evident also that in all the figures, whenever a proper syllogism does not result, if both the terms are affirmative or negative nothing necessary follows at all, but if one is affirmative, the other negative, and if the negative is stated universally, a syllogism always results relating the minor to the major term, e.g. if A belongs to all or some B, and B belongs to no C: for if the premisses are converted it is necessary that C does not belong to some A. Similarly also in the other figures: a syllogism always results by means of conversion. It is evident also that the substitution of an indefinite for a particular affirmative will effect the same syllogism in all the figures.	PRIOR ANALYTICS Book I
It is evident also that in all the figures, whenever a proper syllogism does not result, if both the terms are affirmative or negative nothing necessary follows at all, but if one is affirmative, the other negative, and if the negative is stated universally, a syllogism always results relating the minor to the major term, e.g. if A belongs to all or some B, and B belongs to no C: for if the premisses are converted it is necessary that C does not belong to some A. Similarly also in the other figures: a syllogism always results by means of conversion. It is evident also that the substitution of an indefinite for a particular affirmative will effect the same syllogism in all the figures.	PRIOR ANALYTICS Book I
It is evident also that in all the figures, whenever a proper syllogism does not result, if both the terms are affirmative or negative nothing necessary follows at all, but if one is affirmative, the other negative, and if the negative is stated universally, a syllogism always results relating the minor to the major term, e.g. if A belongs to all or some B, and B belongs to no C: for if the premisses are converted it is necessary that C does not belong to some A. Similarly also in the other figures: a syllogism always results by means of conversion. It is evident also that the substitution of an indefinite for a particular affirmative will effect the same syllogism in all the figures.	PRIOR ANALYTICS Book I
There is hardly any difference between syllogisms from necessary premisses and syllogisms from premisses which merely assert. When the terms are put in the same way, then, whether something belongs or necessarily belongs (or does not belong) to something else, a syllogism will or will not result alike in both cases, the only difference being the addition of the expression 'necessarily' to the terms. For the negative statement is convertible alike in both cases, and we should give the same account of the expressions 'to be contained in something as in a whole' and 'to be predicated of all of something'. With the exceptions to be made below, the conclusion will be proved to be necessary by means of conversion, in the same manner as in the case of simple predication. But in the middle figure when the universal statement is affirmative, and the particular negative, and again in the third figure when the universal is affirmative and the particular negative, the demonstration will not take the same form, but it is necessary by the 'exposition' of a part of the subject of the particular negative proposition, to which the predicate does not belong, to make the syllogism in reference to this: with terms so chosen the conclusion will necessarily follow. But if the relation is necessary in respect of the part taken, it must hold of some of that term in which this part is included: for the part taken is just some of that. And each of the resulting syllogisms is in the appropriate figure.	PRIOR ANALYTICS Book I
There is hardly any difference between syllogisms from necessary premisses and syllogisms from premisses which merely assert. When the terms are put in the same way, then, whether something belongs or necessarily belongs (or does not belong) to something else, a syllogism will or will not result alike in both cases, the only difference being the addition of the expression 'necessarily' to the terms. For the negative statement is convertible alike in both cases, and we should give the same account of the expressions 'to be contained in something as in a whole' and 'to be predicated of all of something'. With the exceptions to be made below, the conclusion will be proved to be necessary by means of conversion, in the same manner as in the case of simple predication. But in the middle figure when the universal statement is affirmative, and the particular negative, and again in the third figure when the universal is affirmative and the particular negative, the demonstration will not take the same form, but it is necessary by the 'exposition' of a part of the subject of the particular negative proposition, to which the predicate does not belong, to make the syllogism in reference to this: with terms so chosen the conclusion will necessarily follow. But if the relation is necessary in respect of the part taken, it must hold of some of that term in which this part is included: for the part taken is just some of that. And each of the resulting syllogisms is in the appropriate figure.	PRIOR ANALYTICS Book I
In particular syllogisms, if the universal premiss is necessary, then the conclusion will be necessary; but if the particular, the conclusion will not be necessary, whether the universal premiss is negative or affirmative. First let the universal be necessary, and let A belong to all B necessarily, but let B simply belong to some C: it is necessary then that A belongs to some C necessarily: for C falls under B, and A was assumed to belong necessarily to all B. Similarly also if the syllogism should be negative: for the proof will be the same. But if the particular premiss is necessary, the conclusion will not be necessary: for from the denial of such a conclusion nothing impossible results, just as it does not in the universal syllogisms. The same is true of negative syllogisms. Try the terms movement, animal, white.	PRIOR ANALYTICS Book I
In the second figure, if the negative premiss is necessary, then the conclusion will be necessary, but if the affirmative, not necessary. First let the negative be necessary; let A be possible of no B, and simply belong to C. Since then the negative statement is convertible, B is possible of no A. But A belongs to all C; consequently B is possible of no C. For C falls under A. The same result would be obtained if the minor premiss were negative: for if A is possible be of no C, C is possible of no A: but A belongs to all B, consequently C is possible of none of the Bs: for again we have obtained the first figure. Neither then is B possible of C: for conversion is possible without modifying the relation.	PRIOR ANALYTICS Book I
But if the affirmative premiss is necessary, the conclusion will not be necessary. Let A belong to all B necessarily, but to no C simply. If then the negative premiss is converted, the first figure results. But it has been proved in the case of the first figure that if the negative major premiss is not necessary the conclusion will not be necessary either. Therefore the same result will obtain here. Further, if the conclusion is necessary, it follows that C necessarily does not belong to some A. For if B necessarily belongs to no C, C will necessarily belong to no B. But B at any rate must belong to some A, if it is true (as was assumed) that A necessarily belongs to all B. Consequently it is necessary that C does not belong to some A. But nothing prevents such an A being taken that it is possible for C to belong to all of it. Further one might show by an exposition of terms that the conclusion is not necessary without qualification, though it is a necessary conclusion from the premisses. For example let A be animal, B man, C white, and let the premisses be assumed to correspond to what we had before: it is possible that animal should belong to nothing white. Man then will not belong to anything white, but not necessarily: for it is possible for man to be born white, not however so long as animal belongs to nothing white. Consequently under these conditions the conclusion will be necessary, but it is not necessary without qualification.	PRIOR ANALYTICS Book I
Similar results will obtain also in particular syllogisms. For whenever the negative premiss is both universal and necessary, then the conclusion will be necessary: but whenever the affirmative premiss is universal, the negative particular, the conclusion will not be necessary. First then let the negative premiss be both universal and necessary: let it be possible for no B that A should belong to it, and let A simply belong to some C. Since the negative statement is convertible, it will be possible for no A that B should belong to it: but A belongs to some C; consequently B necessarily does not belong to some of the Cs. Again let the affirmative premiss be both universal and necessary, and let the major premiss be affirmative. If then A necessarily belongs to all B, but does not belong to some C, it is clear that B will not belong to some C, but not necessarily. For the same terms can be used to demonstrate the point, which were used in the universal syllogisms. Nor again, if the negative statement is necessary but particular, will the conclusion be necessary. The point can be demonstrated by means of the same terms.	PRIOR ANALYTICS Book I
Similar results will obtain also in particular syllogisms. For whenever the negative premiss is both universal and necessary, then the conclusion will be necessary: but whenever the affirmative premiss is universal, the negative particular, the conclusion will not be necessary. First then let the negative premiss be both universal and necessary: let it be possible for no B that A should belong to it, and let A simply belong to some C. Since the negative statement is convertible, it will be possible for no A that B should belong to it: but A belongs to some C; consequently B necessarily does not belong to some of the Cs. Again let the affirmative premiss be both universal and necessary, and let the major premiss be affirmative. If then A necessarily belongs to all B, but does not belong to some C, it is clear that B will not belong to some C, but not necessarily. For the same terms can be used to demonstrate the point, which were used in the universal syllogisms. Nor again, if the negative statement is necessary but particular, will the conclusion be necessary. The point can be demonstrated by means of the same terms.	PRIOR ANALYTICS Book I
Similar results will obtain also in particular syllogisms. For whenever the negative premiss is both universal and necessary, then the conclusion will be necessary: but whenever the affirmative premiss is universal, the negative particular, the conclusion will not be necessary. First then let the negative premiss be both universal and necessary: let it be possible for no B that A should belong to it, and let A simply belong to some C. Since the negative statement is convertible, it will be possible for no A that B should belong to it: but A belongs to some C; consequently B necessarily does not belong to some of the Cs. Again let the affirmative premiss be both universal and necessary, and let the major premiss be affirmative. If then A necessarily belongs to all B, but does not belong to some C, it is clear that B will not belong to some C, but not necessarily. For the same terms can be used to demonstrate the point, which were used in the universal syllogisms. Nor again, if the negative statement is necessary but particular, will the conclusion be necessary. The point can be demonstrated by means of the same terms.	PRIOR ANALYTICS Book I
In the last figure when the terms are related universally to the middle, and both premisses are affirmative, if one of the two is necessary, then the conclusion will be necessary. But if one is negative, the other affirmative, whenever the negative is necessary the conclusion also will be necessary, but whenever the affirmative is necessary the conclusion will not be necessary. First let both the premisses be affirmative, and let A and B belong to all C, and let AC be necessary. Since then B belongs to all C, C also will belong to some B, because the universal is convertible into the particular: consequently if A belongs necessarily to all C, and C belongs to some B, it is necessary that A should belong to some B also. For B is under C. The first figure then is formed. A similar proof will be given also if BC is necessary. For C is convertible with some A: consequently if B belongs necessarily to all C, it will belong necessarily also to some A.	PRIOR ANALYTICS Book I
In the last figure when the terms are related universally to the middle, and both premisses are affirmative, if one of the two is necessary, then the conclusion will be necessary. But if one is negative, the other affirmative, whenever the negative is necessary the conclusion also will be necessary, but whenever the affirmative is necessary the conclusion will not be necessary. First let both the premisses be affirmative, and let A and B belong to all C, and let AC be necessary. Since then B belongs to all C, C also will belong to some B, because the universal is convertible into the particular: consequently if A belongs necessarily to all C, and C belongs to some B, it is necessary that A should belong to some B also. For B is under C. The first figure then is formed. A similar proof will be given also if BC is necessary. For C is convertible with some A: consequently if B belongs necessarily to all C, it will belong necessarily also to some A.	PRIOR ANALYTICS Book I
In the last figure when the terms are related universally to the middle, and both premisses are affirmative, if one of the two is necessary, then the conclusion will be necessary. But if one is negative, the other affirmative, whenever the negative is necessary the conclusion also will be necessary, but whenever the affirmative is necessary the conclusion will not be necessary. First let both the premisses be affirmative, and let A and B belong to all C, and let AC be necessary. Since then B belongs to all C, C also will belong to some B, because the universal is convertible into the particular: consequently if A belongs necessarily to all C, and C belongs to some B, it is necessary that A should belong to some B also. For B is under C. The first figure then is formed. A similar proof will be given also if BC is necessary. For C is convertible with some A: consequently if B belongs necessarily to all C, it will belong necessarily also to some A.	PRIOR ANALYTICS Book I
In the last figure when the terms are related universally to the middle, and both premisses are affirmative, if one of the two is necessary, then the conclusion will be necessary. But if one is negative, the other affirmative, whenever the negative is necessary the conclusion also will be necessary, but whenever the affirmative is necessary the conclusion will not be necessary. First let both the premisses be affirmative, and let A and B belong to all C, and let AC be necessary. Since then B belongs to all C, C also will belong to some B, because the universal is convertible into the particular: consequently if A belongs necessarily to all C, and C belongs to some B, it is necessary that A should belong to some B also. For B is under C. The first figure then is formed. A similar proof will be given also if BC is necessary. For C is convertible with some A: consequently if B belongs necessarily to all C, it will belong necessarily also to some A.	PRIOR ANALYTICS Book I
Again let AC be negative, BC affirmative, and let the negative premiss be necessary. Since then C is convertible with some B, but A necessarily belongs to no C, A will necessarily not belong to some B either: for B is under C. But if the affirmative is necessary, the conclusion will not be necessary. For suppose BC is affirmative and necessary, while AC is negative and not necessary. Since then the affirmative is convertible, C also will belong to some B necessarily: consequently if A belongs to none of the Cs, while C belongs to some of the Bs, A will not belong to some of the Bs — but not of necessity; for it has been proved, in the case of the first figure, that if the negative premiss is not necessary, neither will the conclusion be necessary. Further, the point may be made clear by considering the terms. Let the term A be 'good', let that which B signifies be 'animal', let the term C be 'horse'. It is possible then that the term good should belong to no horse, and it is necessary that the term animal should belong to every horse: but it is not necessary that some animal should not be good, since it is possible for every animal to be good. Or if that is not possible, take as the term 'awake' or 'asleep': for every animal can accept these.	PRIOR ANALYTICS Book I
Again let AC be negative, BC affirmative, and let the negative premiss be necessary. Since then C is convertible with some B, but A necessarily belongs to no C, A will necessarily not belong to some B either: for B is under C. But if the affirmative is necessary, the conclusion will not be necessary. For suppose BC is affirmative and necessary, while AC is negative and not necessary. Since then the affirmative is convertible, C also will belong to some B necessarily: consequently if A belongs to none of the Cs, while C belongs to some of the Bs, A will not belong to some of the Bs — but not of necessity; for it has been proved, in the case of the first figure, that if the negative premiss is not necessary, neither will the conclusion be necessary. Further, the point may be made clear by considering the terms. Let the term A be 'good', let that which B signifies be 'animal', let the term C be 'horse'. It is possible then that the term good should belong to no horse, and it is necessary that the term animal should belong to every horse: but it is not necessary that some animal should not be good, since it is possible for every animal to be good. Or if that is not possible, take as the term 'awake' or 'asleep': for every animal can accept these.	PRIOR ANALYTICS Book I
Again let AC be negative, BC affirmative, and let the negative premiss be necessary. Since then C is convertible with some B, but A necessarily belongs to no C, A will necessarily not belong to some B either: for B is under C. But if the affirmative is necessary, the conclusion will not be necessary. For suppose BC is affirmative and necessary, while AC is negative and not necessary. Since then the affirmative is convertible, C also will belong to some B necessarily: consequently if A belongs to none of the Cs, while C belongs to some of the Bs, A will not belong to some of the Bs — but not of necessity; for it has been proved, in the case of the first figure, that if the negative premiss is not necessary, neither will the conclusion be necessary. Further, the point may be made clear by considering the terms. Let the term A be 'good', let that which B signifies be 'animal', let the term C be 'horse'. It is possible then that the term good should belong to no horse, and it is necessary that the term animal should belong to every horse: but it is not necessary that some animal should not be good, since it is possible for every animal to be good. Or if that is not possible, take as the term 'awake' or 'asleep': for every animal can accept these.	PRIOR ANALYTICS Book I
Again let AC be negative, BC affirmative, and let the negative premiss be necessary. Since then C is convertible with some B, but A necessarily belongs to no C, A will necessarily not belong to some B either: for B is under C. But if the affirmative is necessary, the conclusion will not be necessary. For suppose BC is affirmative and necessary, while AC is negative and not necessary. Since then the affirmative is convertible, C also will belong to some B necessarily: consequently if A belongs to none of the Cs, while C belongs to some of the Bs, A will not belong to some of the Bs — but not of necessity; for it has been proved, in the case of the first figure, that if the negative premiss is not necessary, neither will the conclusion be necessary. Further, the point may be made clear by considering the terms. Let the term A be 'good', let that which B signifies be 'animal', let the term C be 'horse'. It is possible then that the term good should belong to no horse, and it is necessary that the term animal should belong to every horse: but it is not necessary that some animal should not be good, since it is possible for every animal to be good. Or if that is not possible, take as the term 'awake' or 'asleep': for every animal can accept these.	PRIOR ANALYTICS Book I
If, then, the premisses are universal, we have stated when the conclusion will be necessary. But if one premiss is universal, the other particular, and if both are affirmative, whenever the universal is necessary the conclusion also must be necessary. The demonstration is the same as before; for the particular affirmative also is convertible. If then it is necessary that B should belong to all C, and A falls under C, it is necessary that B should belong to some A. But if B must belong to some A, then A must belong to some B: for conversion is possible. Similarly also if AC should be necessary and universal: for B falls under C. But if the particular premiss is necessary, the conclusion will not be necessary. Let the premiss BC be both particular and necessary, and let A belong to all C, not however necessarily. If the proposition BC is converted the first figure is formed, and the universal premiss is not necessary, but the particular is necessary. But when the premisses were thus, the conclusion (as we proved was not necessary: consequently it is not here either. Further, the point is clear if we look at the terms. Let A be waking, B biped, and C animal. It is necessary that B should belong to some C, but it is possible for A to belong to C, and that A should belong to B is not necessary. For there is no necessity that some biped should be asleep or awake. Similarly and by means of the same terms proof can be made, should the proposition AC be both particular and necessary.	PRIOR ANALYTICS Book I
If, then, the premisses are universal, we have stated when the conclusion will be necessary. But if one premiss is universal, the other particular, and if both are affirmative, whenever the universal is necessary the conclusion also must be necessary. The demonstration is the same as before; for the particular affirmative also is convertible. If then it is necessary that B should belong to all C, and A falls under C, it is necessary that B should belong to some A. But if B must belong to some A, then A must belong to some B: for conversion is possible. Similarly also if AC should be necessary and universal: for B falls under C. But if the particular premiss is necessary, the conclusion will not be necessary. Let the premiss BC be both particular and necessary, and let A belong to all C, not however necessarily. If the proposition BC is converted the first figure is formed, and the universal premiss is not necessary, but the particular is necessary. But when the premisses were thus, the conclusion (as we proved was not necessary: consequently it is not here either. Further, the point is clear if we look at the terms. Let A be waking, B biped, and C animal. It is necessary that B should belong to some C, but it is possible for A to belong to C, and that A should belong to B is not necessary. For there is no necessity that some biped should be asleep or awake. Similarly and by means of the same terms proof can be made, should the proposition AC be both particular and necessary.	PRIOR ANALYTICS Book I
But if one premiss is affirmative, the other negative, whenever the universal is both negative and necessary the conclusion also will be necessary. For if it is not possible that A should belong to any C, but B belongs to some C, it is necessary that A should not belong to some B. But whenever the affirmative proposition is necessary, whether universal or particular, or the negative is particular, the conclusion will not be necessary. The proof of this by reduction will be the same as before; but if terms are wanted, when the universal affirmative is necessary, take the terms 'waking' — 'animal' — 'man', 'man' being middle, and when the affirmative is particular and necessary, take the terms 'waking' — 'animal' — 'white': for it is necessary that animal should belong to some white thing, but it is possible that waking should belong to none, and it is not necessary that waking should not belong to some animal. But when the negative proposition being particular is necessary, take the terms 'biped', 'moving', 'animal', 'animal' being middle.	PRIOR ANALYTICS Book I
But if one premiss is affirmative, the other negative, whenever the universal is both negative and necessary the conclusion also will be necessary. For if it is not possible that A should belong to any C, but B belongs to some C, it is necessary that A should not belong to some B. But whenever the affirmative proposition is necessary, whether universal or particular, or the negative is particular, the conclusion will not be necessary. The proof of this by reduction will be the same as before; but if terms are wanted, when the universal affirmative is necessary, take the terms 'waking' — 'animal' — 'man', 'man' being middle, and when the affirmative is particular and necessary, take the terms 'waking' — 'animal' — 'white': for it is necessary that animal should belong to some white thing, but it is possible that waking should belong to none, and it is not necessary that waking should not belong to some animal. But when the negative proposition being particular is necessary, take the terms 'biped', 'moving', 'animal', 'animal' being middle.	PRIOR ANALYTICS Book I
But if one premiss is affirmative, the other negative, whenever the universal is both negative and necessary the conclusion also will be necessary. For if it is not possible that A should belong to any C, but B belongs to some C, it is necessary that A should not belong to some B. But whenever the affirmative proposition is necessary, whether universal or particular, or the negative is particular, the conclusion will not be necessary. The proof of this by reduction will be the same as before; but if terms are wanted, when the universal affirmative is necessary, take the terms 'waking' — 'animal' — 'man', 'man' being middle, and when the affirmative is particular and necessary, take the terms 'waking' — 'animal' — 'white': for it is necessary that animal should belong to some white thing, but it is possible that waking should belong to none, and it is not necessary that waking should not belong to some animal. But when the negative proposition being particular is necessary, take the terms 'biped', 'moving', 'animal', 'animal' being middle.	PRIOR ANALYTICS Book I
But if one premiss is affirmative, the other negative, whenever the universal is both negative and necessary the conclusion also will be necessary. For if it is not possible that A should belong to any C, but B belongs to some C, it is necessary that A should not belong to some B. But whenever the affirmative proposition is necessary, whether universal or particular, or the negative is particular, the conclusion will not be necessary. The proof of this by reduction will be the same as before; but if terms are wanted, when the universal affirmative is necessary, take the terms 'waking' — 'animal' — 'man', 'man' being middle, and when the affirmative is particular and necessary, take the terms 'waking' — 'animal' — 'white': for it is necessary that animal should belong to some white thing, but it is possible that waking should belong to none, and it is not necessary that waking should not belong to some animal. But when the negative proposition being particular is necessary, take the terms 'biped', 'moving', 'animal', 'animal' being middle.	PRIOR ANALYTICS Book I
It is clear then that a simple conclusion is not reached unless both premisses are simple assertions, but a necessary conclusion is possible although one only of the premisses is necessary. But in both cases, whether the syllogisms are affirmative or negative, it is necessary that one premiss should be similar to the conclusion. I mean by 'similar', if the conclusion is a simple assertion, the premiss must be simple; if the conclusion is necessary, the premiss must be necessary. Consequently this also is clear, that the conclusion will be neither necessary nor simple unless a necessary or simple premiss is assumed.	PRIOR ANALYTICS Book I
Perhaps enough has been said about the proof of necessity, how it comes about and how it differs from the proof of a simple statement. We proceed to discuss that which is possible, when and how and by what means it can be proved. I use the terms 'to be possible' and 'the possible' of that which is not necessary but, being assumed, results in nothing impossible. We say indeed ambiguously of the necessary that it is possible. But that my definition of the possible is correct is clear from the phrases by which we deny or on the contrary affirm possibility. For the expressions 'it is not possible to belong', 'it is impossible to belong', and 'it is necessary not to belong' are either identical or follow from one another; consequently their opposites also, 'it is possible to belong', 'it is not impossible to belong', and 'it is not necessary not to belong', will either be identical or follow from one another. For of everything the affirmation or the denial holds good. That which is possible then will be not necessary and that which is not necessary will be possible. It results that all premisses in the mode of possibility are convertible into one another. I mean not that the affirmative are convertible into the negative, but that those which are affirmative in form admit of conversion by opposition, e.g. 'it is possible to belong' may be converted into 'it is possible not to belong', and 'it is possible for A to belong to all B' into 'it is possible for A to belong to no B' or 'not to all B', and 'it is possible for A to belong to some B' into 'it is possible for A not to belong to some B'. And similarly the other propositions in this mode can be converted. For since that which is possible is not necessary, and that which is not necessary may possibly not belong, it is clear that if it is possible that A should belong to B, it is possible also that it should not belong to B: and if it is possible that it should belong to all, it is also possible that it should not belong to all. The same holds good in the case of particular affirmations: for the proof is identical. And such premisses are affirmative and not negative; for 'to be possible' is in the same rank as 'to be', as was said above.	PRIOR ANALYTICS Book I
Perhaps enough has been said about the proof of necessity, how it comes about and how it differs from the proof of a simple statement. We proceed to discuss that which is possible, when and how and by what means it can be proved. I use the terms 'to be possible' and 'the possible' of that which is not necessary but, being assumed, results in nothing impossible. We say indeed ambiguously of the necessary that it is possible. But that my definition of the possible is correct is clear from the phrases by which we deny or on the contrary affirm possibility. For the expressions 'it is not possible to belong', 'it is impossible to belong', and 'it is necessary not to belong' are either identical or follow from one another; consequently their opposites also, 'it is possible to belong', 'it is not impossible to belong', and 'it is not necessary not to belong', will either be identical or follow from one another. For of everything the affirmation or the denial holds good. That which is possible then will be not necessary and that which is not necessary will be possible. It results that all premisses in the mode of possibility are convertible into one another. I mean not that the affirmative are convertible into the negative, but that those which are affirmative in form admit of conversion by opposition, e.g. 'it is possible to belong' may be converted into 'it is possible not to belong', and 'it is possible for A to belong to all B' into 'it is possible for A to belong to no B' or 'not to all B', and 'it is possible for A to belong to some B' into 'it is possible for A not to belong to some B'. And similarly the other propositions in this mode can be converted. For since that which is possible is not necessary, and that which is not necessary may possibly not belong, it is clear that if it is possible that A should belong to B, it is possible also that it should not belong to B: and if it is possible that it should belong to all, it is also possible that it should not belong to all. The same holds good in the case of particular affirmations: for the proof is identical. And such premisses are affirmative and not negative; for 'to be possible' is in the same rank as 'to be', as was said above.	PRIOR ANALYTICS Book I
Perhaps enough has been said about the proof of necessity, how it comes about and how it differs from the proof of a simple statement. We proceed to discuss that which is possible, when and how and by what means it can be proved. I use the terms 'to be possible' and 'the possible' of that which is not necessary but, being assumed, results in nothing impossible. We say indeed ambiguously of the necessary that it is possible. But that my definition of the possible is correct is clear from the phrases by which we deny or on the contrary affirm possibility. For the expressions 'it is not possible to belong', 'it is impossible to belong', and 'it is necessary not to belong' are either identical or follow from one another; consequently their opposites also, 'it is possible to belong', 'it is not impossible to belong', and 'it is not necessary not to belong', will either be identical or follow from one another. For of everything the affirmation or the denial holds good. That which is possible then will be not necessary and that which is not necessary will be possible. It results that all premisses in the mode of possibility are convertible into one another. I mean not that the affirmative are convertible into the negative, but that those which are affirmative in form admit of conversion by opposition, e.g. 'it is possible to belong' may be converted into 'it is possible not to belong', and 'it is possible for A to belong to all B' into 'it is possible for A to belong to no B' or 'not to all B', and 'it is possible for A to belong to some B' into 'it is possible for A not to belong to some B'. And similarly the other propositions in this mode can be converted. For since that which is possible is not necessary, and that which is not necessary may possibly not belong, it is clear that if it is possible that A should belong to B, it is possible also that it should not belong to B: and if it is possible that it should belong to all, it is also possible that it should not belong to all. The same holds good in the case of particular affirmations: for the proof is identical. And such premisses are affirmative and not negative; for 'to be possible' is in the same rank as 'to be', as was said above.	PRIOR ANALYTICS Book I
But if one of the premisses is universal, the other particular, when the major premiss is universal there will be a perfect syllogism. For if A is possible for all B, and B for some C, then A is possible for some C. This is clear from the definition of being possible. Again if A may belong to no B, and B may belong to some of the Cs, it is necessary that A may possibly not belong to some of the Cs. The proof is the same as above. But if the particular premiss is negative, and the universal is affirmative, the major still being universal and the minor particular, e.g. A is possible for all B, B may possibly not belong to some C, then a clear syllogism does not result from the assumed premisses, but if the particular premiss is converted and it is laid down that B possibly may belong to some C, we shall have the same conclusion as before, as in the cases given at the beginning.	PRIOR ANALYTICS Book I
But if the major premiss is the minor universal, whether both are affirmative, or negative, or different in quality, or if both are indefinite or particular, in no way will a syllogism be possible. For nothing prevents B from reaching beyond A, so that as predicates cover unequal areas. Let C be that by which B extends beyond A. To C it is not possible that A should belong — either to all or to none or to some or not to some, since premisses in the mode of possibility are convertible and it is possible for B to belong to more things than A can. Further, this is obvious if we take terms; for if the premisses are as assumed, the major term is both possible for none of the minor and must belong to all of it. Take as terms common to all the cases under consideration 'animal' — 'white' — 'man', where the major belongs necessarily to the minor; 'animal' — 'white' — 'garment', where it is not possible that the major should belong to the minor. It is clear then that if the terms are related in this manner, no syllogism results. For every syllogism proves that something belongs either simply or necessarily or possibly. It is clear that there is no proof of the first or of the second. For the affirmative is destroyed by the negative, and the negative by the affirmative. There remains the proof of possibility. But this is impossible. For it has been proved that if the terms are related in this manner it is both necessary that the major should belong to all the minor and not possible that it should belong to any. Consequently there cannot be a syllogism to prove the possibility; for the necessary (as we stated) is not possible.	PRIOR ANALYTICS Book I
But if the major premiss is the minor universal, whether both are affirmative, or negative, or different in quality, or if both are indefinite or particular, in no way will a syllogism be possible. For nothing prevents B from reaching beyond A, so that as predicates cover unequal areas. Let C be that by which B extends beyond A. To C it is not possible that A should belong — either to all or to none or to some or not to some, since premisses in the mode of possibility are convertible and it is possible for B to belong to more things than A can. Further, this is obvious if we take terms; for if the premisses are as assumed, the major term is both possible for none of the minor and must belong to all of it. Take as terms common to all the cases under consideration 'animal' — 'white' — 'man', where the major belongs necessarily to the minor; 'animal' — 'white' — 'garment', where it is not possible that the major should belong to the minor. It is clear then that if the terms are related in this manner, no syllogism results. For every syllogism proves that something belongs either simply or necessarily or possibly. It is clear that there is no proof of the first or of the second. For the affirmative is destroyed by the negative, and the negative by the affirmative. There remains the proof of possibility. But this is impossible. For it has been proved that if the terms are related in this manner it is both necessary that the major should belong to all the minor and not possible that it should belong to any. Consequently there cannot be a syllogism to prove the possibility; for the necessary (as we stated) is not possible.	PRIOR ANALYTICS Book I
But if the major premiss is the minor universal, whether both are affirmative, or negative, or different in quality, or if both are indefinite or particular, in no way will a syllogism be possible. For nothing prevents B from reaching beyond A, so that as predicates cover unequal areas. Let C be that by which B extends beyond A. To C it is not possible that A should belong — either to all or to none or to some or not to some, since premisses in the mode of possibility are convertible and it is possible for B to belong to more things than A can. Further, this is obvious if we take terms; for if the premisses are as assumed, the major term is both possible for none of the minor and must belong to all of it. Take as terms common to all the cases under consideration 'animal' — 'white' — 'man', where the major belongs necessarily to the minor; 'animal' — 'white' — 'garment', where it is not possible that the major should belong to the minor. It is clear then that if the terms are related in this manner, no syllogism results. For every syllogism proves that something belongs either simply or necessarily or possibly. It is clear that there is no proof of the first or of the second. For the affirmative is destroyed by the negative, and the negative by the affirmative. There remains the proof of possibility. But this is impossible. For it has been proved that if the terms are related in this manner it is both necessary that the major should belong to all the minor and not possible that it should belong to any. Consequently there cannot be a syllogism to prove the possibility; for the necessary (as we stated) is not possible.	PRIOR ANALYTICS Book I
It is clear that if the terms are universal in possible premisses a syllogism always results in the first figure, whether they are affirmative or negative, only a perfect syllogism results in the first case, an imperfect in the second. But possibility must be understood according to the definition laid down, not as covering necessity. This is sometimes forgotten.	PRIOR ANALYTICS Book I
If one premiss is a simple proposition, the other a problematic, whenever the major premiss indicates possibility all the syllogisms will be perfect and establish possibility in the sense defined; but whenever the minor premiss indicates possibility all the syllogisms will be imperfect, and those which are negative will establish not possibility according to the definition, but that the major does not necessarily belong to any, or to all, of the minor. For if this is so, we say it is possible that it should belong to none or not to all. Let A be possible for all B, and let B belong to all C. Since C falls under B, and A is possible for all B, clearly it is possible for all C also. So a perfect syllogism results. Likewise if the premiss AB is negative, and the premiss BC is affirmative, the former stating possible, the latter simple attribution, a perfect syllogism results proving that A possibly belongs to no C.	PRIOR ANALYTICS Book I
If the minor premiss is negative and indicates possibility, from the actual premisses taken there can be no syllogism, but if the problematic premiss is converted, a syllogism will be possible, as before. Let A belong to all B, and let B possibly belong to no C. If the terms are arranged thus, nothing necessarily follows: but if the proposition BC is converted and it is assumed that B is possible for all C, a syllogism results as before: for the terms are in the same relative positions. Likewise if both the relations are negative, if the major premiss states that A does not belong to B, and the minor premiss indicates that B may possibly belong to no C. Through the premisses actually taken nothing necessary results in any way; but if the problematic premiss is converted, we shall have a syllogism. Suppose that A belongs to no B, and B may possibly belong to no C. Through these comes nothing necessary. But if B is assumed to be possible for all C (and this is true) and if the premiss AB remains as before, we shall again have the same syllogism. But if it be assumed that B does not belong to any C, instead of possibly not belonging, there cannot be a syllogism anyhow, whether the premiss AB is negative or affirmative. As common instances of a necessary and positive relation we may take the terms white-animal-snow: of a necessary and negative relation, white-animal-pitch. Clearly then if the terms are universal, and one of the premisses is assertoric, the other problematic, whenever the minor premiss is problematic a syllogism always results, only sometimes it results from the premisses that are taken, sometimes it requires the conversion of one premiss. We have stated when each of these happens and the reason why. But if one of the relations is universal, the other particular, then whenever the major premiss is universal and problematic, whether affirmative or negative, and the particular is affirmative and assertoric, there will be a perfect syllogism, just as when the terms are universal. The demonstration is the same as before. But whenever the major premiss is universal, but assertoric, not problematic, and the minor is particular and problematic, whether both premisses are negative or affirmative, or one is negative, the other affirmative, in all cases there will be an imperfect syllogism. Only some of them will be proved per impossibile, others by the conversion of the problematic premiss, as has been shown above. And a syllogism will be possible by means of conversion when the major premiss is universal and assertoric, whether positive or negative, and the minor particular, negative, and problematic, e.g. if A belongs to all B or to no B, and B may possibly not belong to some C. For if the premiss BC is converted in respect of possibility, a syllogism results. But whenever the particular premiss is assertoric and negative, there cannot be a syllogism. As instances of the positive relation we may take the terms white-animal-snow; of the negative, white-animal-pitch. For the demonstration must be made through the indefinite nature of the particular premiss. But if the minor premiss is universal, and the major particular, whether either premiss is negative or affirmative, problematic or assertoric, nohow is a syllogism possible. Nor is a syllogism possible when the premisses are particular or indefinite, whether problematic or assertoric, or the one problematic, the other assertoric. The demonstration is the same as above. As instances of the necessary and positive relation we may take the terms animal-white-man; of the necessary and negative relation, animal-white-garment. It is evident then that if the major premiss is universal, a syllogism always results, but if the minor is universal nothing at all can ever be proved.	PRIOR ANALYTICS Book I
If the minor premiss is negative and indicates possibility, from the actual premisses taken there can be no syllogism, but if the problematic premiss is converted, a syllogism will be possible, as before. Let A belong to all B, and let B possibly belong to no C. If the terms are arranged thus, nothing necessarily follows: but if the proposition BC is converted and it is assumed that B is possible for all C, a syllogism results as before: for the terms are in the same relative positions. Likewise if both the relations are negative, if the major premiss states that A does not belong to B, and the minor premiss indicates that B may possibly belong to no C. Through the premisses actually taken nothing necessary results in any way; but if the problematic premiss is converted, we shall have a syllogism. Suppose that A belongs to no B, and B may possibly belong to no C. Through these comes nothing necessary. But if B is assumed to be possible for all C (and this is true) and if the premiss AB remains as before, we shall again have the same syllogism. But if it be assumed that B does not belong to any C, instead of possibly not belonging, there cannot be a syllogism anyhow, whether the premiss AB is negative or affirmative. As common instances of a necessary and positive relation we may take the terms white-animal-snow: of a necessary and negative relation, white-animal-pitch. Clearly then if the terms are universal, and one of the premisses is assertoric, the other problematic, whenever the minor premiss is problematic a syllogism always results, only sometimes it results from the premisses that are taken, sometimes it requires the conversion of one premiss. We have stated when each of these happens and the reason why. But if one of the relations is universal, the other particular, then whenever the major premiss is universal and problematic, whether affirmative or negative, and the particular is affirmative and assertoric, there will be a perfect syllogism, just as when the terms are universal. The demonstration is the same as before. But whenever the major premiss is universal, but assertoric, not problematic, and the minor is particular and problematic, whether both premisses are negative or affirmative, or one is negative, the other affirmative, in all cases there will be an imperfect syllogism. Only some of them will be proved per impossibile, others by the conversion of the problematic premiss, as has been shown above. And a syllogism will be possible by means of conversion when the major premiss is universal and assertoric, whether positive or negative, and the minor particular, negative, and problematic, e.g. if A belongs to all B or to no B, and B may possibly not belong to some C. For if the premiss BC is converted in respect of possibility, a syllogism results. But whenever the particular premiss is assertoric and negative, there cannot be a syllogism. As instances of the positive relation we may take the terms white-animal-snow; of the negative, white-animal-pitch. For the demonstration must be made through the indefinite nature of the particular premiss. But if the minor premiss is universal, and the major particular, whether either premiss is negative or affirmative, problematic or assertoric, nohow is a syllogism possible. Nor is a syllogism possible when the premisses are particular or indefinite, whether problematic or assertoric, or the one problematic, the other assertoric. The demonstration is the same as above. As instances of the necessary and positive relation we may take the terms animal-white-man; of the necessary and negative relation, animal-white-garment. It is evident then that if the major premiss is universal, a syllogism always results, but if the minor is universal nothing at all can ever be proved.	PRIOR ANALYTICS Book I
If the minor premiss is negative and indicates possibility, from the actual premisses taken there can be no syllogism, but if the problematic premiss is converted, a syllogism will be possible, as before. Let A belong to all B, and let B possibly belong to no C. If the terms are arranged thus, nothing necessarily follows: but if the proposition BC is converted and it is assumed that B is possible for all C, a syllogism results as before: for the terms are in the same relative positions. Likewise if both the relations are negative, if the major premiss states that A does not belong to B, and the minor premiss indicates that B may possibly belong to no C. Through the premisses actually taken nothing necessary results in any way; but if the problematic premiss is converted, we shall have a syllogism. Suppose that A belongs to no B, and B may possibly belong to no C. Through these comes nothing necessary. But if B is assumed to be possible for all C (and this is true) and if the premiss AB remains as before, we shall again have the same syllogism. But if it be assumed that B does not belong to any C, instead of possibly not belonging, there cannot be a syllogism anyhow, whether the premiss AB is negative or affirmative. As common instances of a necessary and positive relation we may take the terms white-animal-snow: of a necessary and negative relation, white-animal-pitch. Clearly then if the terms are universal, and one of the premisses is assertoric, the other problematic, whenever the minor premiss is problematic a syllogism always results, only sometimes it results from the premisses that are taken, sometimes it requires the conversion of one premiss. We have stated when each of these happens and the reason why. But if one of the relations is universal, the other particular, then whenever the major premiss is universal and problematic, whether affirmative or negative, and the particular is affirmative and assertoric, there will be a perfect syllogism, just as when the terms are universal. The demonstration is the same as before. But whenever the major premiss is universal, but assertoric, not problematic, and the minor is particular and problematic, whether both premisses are negative or affirmative, or one is negative, the other affirmative, in all cases there will be an imperfect syllogism. Only some of them will be proved per impossibile, others by the conversion of the problematic premiss, as has been shown above. And a syllogism will be possible by means of conversion when the major premiss is universal and assertoric, whether positive or negative, and the minor particular, negative, and problematic, e.g. if A belongs to all B or to no B, and B may possibly not belong to some C. For if the premiss BC is converted in respect of possibility, a syllogism results. But whenever the particular premiss is assertoric and negative, there cannot be a syllogism. As instances of the positive relation we may take the terms white-animal-snow; of the negative, white-animal-pitch. For the demonstration must be made through the indefinite nature of the particular premiss. But if the minor premiss is universal, and the major particular, whether either premiss is negative or affirmative, problematic or assertoric, nohow is a syllogism possible. Nor is a syllogism possible when the premisses are particular or indefinite, whether problematic or assertoric, or the one problematic, the other assertoric. The demonstration is the same as above. As instances of the necessary and positive relation we may take the terms animal-white-man; of the necessary and negative relation, animal-white-garment. It is evident then that if the major premiss is universal, a syllogism always results, but if the minor is universal nothing at all can ever be proved.	PRIOR ANALYTICS Book I
If the minor premiss is negative and indicates possibility, from the actual premisses taken there can be no syllogism, but if the problematic premiss is converted, a syllogism will be possible, as before. Let A belong to all B, and let B possibly belong to no C. If the terms are arranged thus, nothing necessarily follows: but if the proposition BC is converted and it is assumed that B is possible for all C, a syllogism results as before: for the terms are in the same relative positions. Likewise if both the relations are negative, if the major premiss states that A does not belong to B, and the minor premiss indicates that B may possibly belong to no C. Through the premisses actually taken nothing necessary results in any way; but if the problematic premiss is converted, we shall have a syllogism. Suppose that A belongs to no B, and B may possibly belong to no C. Through these comes nothing necessary. But if B is assumed to be possible for all C (and this is true) and if the premiss AB remains as before, we shall again have the same syllogism. But if it be assumed that B does not belong to any C, instead of possibly not belonging, there cannot be a syllogism anyhow, whether the premiss AB is negative or affirmative. As common instances of a necessary and positive relation we may take the terms white-animal-snow: of a necessary and negative relation, white-animal-pitch. Clearly then if the terms are universal, and one of the premisses is assertoric, the other problematic, whenever the minor premiss is problematic a syllogism always results, only sometimes it results from the premisses that are taken, sometimes it requires the conversion of one premiss. We have stated when each of these happens and the reason why. But if one of the relations is universal, the other particular, then whenever the major premiss is universal and problematic, whether affirmative or negative, and the particular is affirmative and assertoric, there will be a perfect syllogism, just as when the terms are universal. The demonstration is the same as before. But whenever the major premiss is universal, but assertoric, not problematic, and the minor is particular and problematic, whether both premisses are negative or affirmative, or one is negative, the other affirmative, in all cases there will be an imperfect syllogism. Only some of them will be proved per impossibile, others by the conversion of the problematic premiss, as has been shown above. And a syllogism will be possible by means of conversion when the major premiss is universal and assertoric, whether positive or negative, and the minor particular, negative, and problematic, e.g. if A belongs to all B or to no B, and B may possibly not belong to some C. For if the premiss BC is converted in respect of possibility, a syllogism results. But whenever the particular premiss is assertoric and negative, there cannot be a syllogism. As instances of the positive relation we may take the terms white-animal-snow; of the negative, white-animal-pitch. For the demonstration must be made through the indefinite nature of the particular premiss. But if the minor premiss is universal, and the major particular, whether either premiss is negative or affirmative, problematic or assertoric, nohow is a syllogism possible. Nor is a syllogism possible when the premisses are particular or indefinite, whether problematic or assertoric, or the one problematic, the other assertoric. The demonstration is the same as above. As instances of the necessary and positive relation we may take the terms animal-white-man; of the necessary and negative relation, animal-white-garment. It is evident then that if the major premiss is universal, a syllogism always results, but if the minor is universal nothing at all can ever be proved.	PRIOR ANALYTICS Book I
If the minor premiss is negative and indicates possibility, from the actual premisses taken there can be no syllogism, but if the problematic premiss is converted, a syllogism will be possible, as before. Let A belong to all B, and let B possibly belong to no C. If the terms are arranged thus, nothing necessarily follows: but if the proposition BC is converted and it is assumed that B is possible for all C, a syllogism results as before: for the terms are in the same relative positions. Likewise if both the relations are negative, if the major premiss states that A does not belong to B, and the minor premiss indicates that B may possibly belong to no C. Through the premisses actually taken nothing necessary results in any way; but if the problematic premiss is converted, we shall have a syllogism. Suppose that A belongs to no B, and B may possibly belong to no C. Through these comes nothing necessary. But if B is assumed to be possible for all C (and this is true) and if the premiss AB remains as before, we shall again have the same syllogism. But if it be assumed that B does not belong to any C, instead of possibly not belonging, there cannot be a syllogism anyhow, whether the premiss AB is negative or affirmative. As common instances of a necessary and positive relation we may take the terms white-animal-snow: of a necessary and negative relation, white-animal-pitch. Clearly then if the terms are universal, and one of the premisses is assertoric, the other problematic, whenever the minor premiss is problematic a syllogism always results, only sometimes it results from the premisses that are taken, sometimes it requires the conversion of one premiss. We have stated when each of these happens and the reason why. But if one of the relations is universal, the other particular, then whenever the major premiss is universal and problematic, whether affirmative or negative, and the particular is affirmative and assertoric, there will be a perfect syllogism, just as when the terms are universal. The demonstration is the same as before. But whenever the major premiss is universal, but assertoric, not problematic, and the minor is particular and problematic, whether both premisses are negative or affirmative, or one is negative, the other affirmative, in all cases there will be an imperfect syllogism. Only some of them will be proved per impossibile, others by the conversion of the problematic premiss, as has been shown above. And a syllogism will be possible by means of conversion when the major premiss is universal and assertoric, whether positive or negative, and the minor particular, negative, and problematic, e.g. if A belongs to all B or to no B, and B may possibly not belong to some C. For if the premiss BC is converted in respect of possibility, a syllogism results. But whenever the particular premiss is assertoric and negative, there cannot be a syllogism. As instances of the positive relation we may take the terms white-animal-snow; of the negative, white-animal-pitch. For the demonstration must be made through the indefinite nature of the particular premiss. But if the minor premiss is universal, and the major particular, whether either premiss is negative or affirmative, problematic or assertoric, nohow is a syllogism possible. Nor is a syllogism possible when the premisses are particular or indefinite, whether problematic or assertoric, or the one problematic, the other assertoric. The demonstration is the same as above. As instances of the necessary and positive relation we may take the terms animal-white-man; of the necessary and negative relation, animal-white-garment. It is evident then that if the major premiss is universal, a syllogism always results, but if the minor is universal nothing at all can ever be proved.	PRIOR ANALYTICS Book I
If the minor premiss is negative and indicates possibility, from the actual premisses taken there can be no syllogism, but if the problematic premiss is converted, a syllogism will be possible, as before. Let A belong to all B, and let B possibly belong to no C. If the terms are arranged thus, nothing necessarily follows: but if the proposition BC is converted and it is assumed that B is possible for all C, a syllogism results as before: for the terms are in the same relative positions. Likewise if both the relations are negative, if the major premiss states that A does not belong to B, and the minor premiss indicates that B may possibly belong to no C. Through the premisses actually taken nothing necessary results in any way; but if the problematic premiss is converted, we shall have a syllogism. Suppose that A belongs to no B, and B may possibly belong to no C. Through these comes nothing necessary. But if B is assumed to be possible for all C (and this is true) and if the premiss AB remains as before, we shall again have the same syllogism. But if it be assumed that B does not belong to any C, instead of possibly not belonging, there cannot be a syllogism anyhow, whether the premiss AB is negative or affirmative. As common instances of a necessary and positive relation we may take the terms white-animal-snow: of a necessary and negative relation, white-animal-pitch. Clearly then if the terms are universal, and one of the premisses is assertoric, the other problematic, whenever the minor premiss is problematic a syllogism always results, only sometimes it results from the premisses that are taken, sometimes it requires the conversion of one premiss. We have stated when each of these happens and the reason why. But if one of the relations is universal, the other particular, then whenever the major premiss is universal and problematic, whether affirmative or negative, and the particular is affirmative and assertoric, there will be a perfect syllogism, just as when the terms are universal. The demonstration is the same as before. But whenever the major premiss is universal, but assertoric, not problematic, and the minor is particular and problematic, whether both premisses are negative or affirmative, or one is negative, the other affirmative, in all cases there will be an imperfect syllogism. Only some of them will be proved per impossibile, others by the conversion of the problematic premiss, as has been shown above. And a syllogism will be possible by means of conversion when the major premiss is universal and assertoric, whether positive or negative, and the minor particular, negative, and problematic, e.g. if A belongs to all B or to no B, and B may possibly not belong to some C. For if the premiss BC is converted in respect of possibility, a syllogism results. But whenever the particular premiss is assertoric and negative, there cannot be a syllogism. As instances of the positive relation we may take the terms white-animal-snow; of the negative, white-animal-pitch. For the demonstration must be made through the indefinite nature of the particular premiss. But if the minor premiss is universal, and the major particular, whether either premiss is negative or affirmative, problematic or assertoric, nohow is a syllogism possible. Nor is a syllogism possible when the premisses are particular or indefinite, whether problematic or assertoric, or the one problematic, the other assertoric. The demonstration is the same as above. As instances of the necessary and positive relation we may take the terms animal-white-man; of the necessary and negative relation, animal-white-garment. It is evident then that if the major premiss is universal, a syllogism always results, but if the minor is universal nothing at all can ever be proved.	PRIOR ANALYTICS Book I
Whenever one premiss is necessary, the other problematic, there will be a syllogism when the terms are related as before; and a perfect syllogism when the minor premiss is necessary. If the premisses are affirmative the conclusion will be problematic, not assertoric, whether the premisses are universal or not: but if one is affirmative, the other negative, when the affirmative is necessary the conclusion will be problematic, not negative assertoric; but when the negative is necessary the conclusion will be problematic negative, and assertoric negative, whether the premisses are universal or not. Possibility in the conclusion must be understood in the same manner as before. There cannot be an inference to the necessary negative proposition: for 'not necessarily to belong' is different from 'necessarily not to belong'.	PRIOR ANALYTICS Book I
Whenever one premiss is necessary, the other problematic, there will be a syllogism when the terms are related as before; and a perfect syllogism when the minor premiss is necessary. If the premisses are affirmative the conclusion will be problematic, not assertoric, whether the premisses are universal or not: but if one is affirmative, the other negative, when the affirmative is necessary the conclusion will be problematic, not negative assertoric; but when the negative is necessary the conclusion will be problematic negative, and assertoric negative, whether the premisses are universal or not. Possibility in the conclusion must be understood in the same manner as before. There cannot be an inference to the necessary negative proposition: for 'not necessarily to belong' is different from 'necessarily not to belong'.	PRIOR ANALYTICS Book I
Whenever one premiss is necessary, the other problematic, there will be a syllogism when the terms are related as before; and a perfect syllogism when the minor premiss is necessary. If the premisses are affirmative the conclusion will be problematic, not assertoric, whether the premisses are universal or not: but if one is affirmative, the other negative, when the affirmative is necessary the conclusion will be problematic, not negative assertoric; but when the negative is necessary the conclusion will be problematic negative, and assertoric negative, whether the premisses are universal or not. Possibility in the conclusion must be understood in the same manner as before. There cannot be an inference to the necessary negative proposition: for 'not necessarily to belong' is different from 'necessarily not to belong'.	PRIOR ANALYTICS Book I
If the premisses are affirmative, clearly the conclusion which follows is not necessary. Suppose A necessarily belongs to all B, and let B be possible for all C. We shall have an imperfect syllogism to prove that A may belong to all C. That it is imperfect is clear from the proof: for it will be proved in the same manner as above. Again, let A be possible for all B, and let B necessarily belong to all C. We shall then have a syllogism to prove that A may belong to all C, not that A does belong to all C: and it is perfect, not imperfect: for it is completed directly through the original premisses.	PRIOR ANALYTICS Book I
But if the premisses are not similar in quality, suppose first that the negative premiss is necessary, and let necessarily A not be possible for any B, but let B be possible for all C. It is necessary then that A belongs to no C. For suppose A to belong to all C or to some C. Now we assumed that A is not possible for any B. Since then the negative proposition is convertible, B is not possible for any A. But A is supposed to belong to all C or to some C. Consequently B will not be possible for any C or for all C. But it was originally laid down that B is possible for all C. And it is clear that the possibility of belonging can be inferred, since the fact of not belonging is inferred. Again, let the affirmative premiss be necessary, and let A possibly not belong to any B, and let B necessarily belong to all C. The syllogism will be perfect, but it will establish a problematic negative, not an assertoric negative. For the major premiss was problematic, and further it is not possible to prove the assertoric conclusion per impossibile. For if it were supposed that A belongs to some C, and it is laid down that A possibly does not belong to any B, no impossible relation between B and C follows from these premisses. But if the minor premiss is negative, when it is problematic a syllogism is possible by conversion, as above; but when it is necessary no syllogism can be formed. Nor again when both premisses are negative, and the minor is necessary. The same terms as before serve both for the positive relation — white-animal-snow, and for the negative relation — white-animal-pitch.	PRIOR ANALYTICS Book I
The same relation will obtain in particular syllogisms. Whenever the negative proposition is necessary, the conclusion will be negative assertoric: e.g. if it is not possible that A should belong to any B, but B may belong to some of the Cs, it is necessary that A should not belong to some of the Cs. For if A belongs to all C, but cannot belong to any B, neither can B belong to any A. So if A belongs to all C, to none of the Cs can B belong. But it was laid down that B may belong to some C. But when the particular affirmative in the negative syllogism, e.g. BC the minor premiss, or the universal proposition in the affirmative syllogism, e.g. AB the major premiss, is necessary, there will not be an assertoric conclusion. The demonstration is the same as before. But if the minor premiss is universal, and problematic, whether affirmative or negative, and the major premiss is particular and necessary, there cannot be a syllogism. Premisses of this kind are possible both where the relation is positive and necessary, e.g. animal-white-man, and where it is necessary and negative, e.g. animal-white-garment. But when the universal is necessary, the particular problematic, if the universal is negative we may take the terms animal-white-raven to illustrate the positive relation, or animal-white-pitch to illustrate the negative; and if the universal is affirmative we may take the terms animal-white-swan to illustrate the positive relation, and animal-white-snow to illustrate the negative and necessary relation. Nor again is a syllogism possible when the premisses are indefinite, or both particular. Terms applicable in either case to illustrate the positive relation are animal-white-man: to illustrate the negative, animal-white-inanimate. For the relation of animal to some white, and of white to some inanimate, is both necessary and positive and necessary and negative. Similarly if the relation is problematic: so the terms may be used for all cases.	PRIOR ANALYTICS Book I
The same relation will obtain in particular syllogisms. Whenever the negative proposition is necessary, the conclusion will be negative assertoric: e.g. if it is not possible that A should belong to any B, but B may belong to some of the Cs, it is necessary that A should not belong to some of the Cs. For if A belongs to all C, but cannot belong to any B, neither can B belong to any A. So if A belongs to all C, to none of the Cs can B belong. But it was laid down that B may belong to some C. But when the particular affirmative in the negative syllogism, e.g. BC the minor premiss, or the universal proposition in the affirmative syllogism, e.g. AB the major premiss, is necessary, there will not be an assertoric conclusion. The demonstration is the same as before. But if the minor premiss is universal, and problematic, whether affirmative or negative, and the major premiss is particular and necessary, there cannot be a syllogism. Premisses of this kind are possible both where the relation is positive and necessary, e.g. animal-white-man, and where it is necessary and negative, e.g. animal-white-garment. But when the universal is necessary, the particular problematic, if the universal is negative we may take the terms animal-white-raven to illustrate the positive relation, or animal-white-pitch to illustrate the negative; and if the universal is affirmative we may take the terms animal-white-swan to illustrate the positive relation, and animal-white-snow to illustrate the negative and necessary relation. Nor again is a syllogism possible when the premisses are indefinite, or both particular. Terms applicable in either case to illustrate the positive relation are animal-white-man: to illustrate the negative, animal-white-inanimate. For the relation of animal to some white, and of white to some inanimate, is both necessary and positive and necessary and negative. Similarly if the relation is problematic: so the terms may be used for all cases.	PRIOR ANALYTICS Book I
The same relation will obtain in particular syllogisms. Whenever the negative proposition is necessary, the conclusion will be negative assertoric: e.g. if it is not possible that A should belong to any B, but B may belong to some of the Cs, it is necessary that A should not belong to some of the Cs. For if A belongs to all C, but cannot belong to any B, neither can B belong to any A. So if A belongs to all C, to none of the Cs can B belong. But it was laid down that B may belong to some C. But when the particular affirmative in the negative syllogism, e.g. BC the minor premiss, or the universal proposition in the affirmative syllogism, e.g. AB the major premiss, is necessary, there will not be an assertoric conclusion. The demonstration is the same as before. But if the minor premiss is universal, and problematic, whether affirmative or negative, and the major premiss is particular and necessary, there cannot be a syllogism. Premisses of this kind are possible both where the relation is positive and necessary, e.g. animal-white-man, and where it is necessary and negative, e.g. animal-white-garment. But when the universal is necessary, the particular problematic, if the universal is negative we may take the terms animal-white-raven to illustrate the positive relation, or animal-white-pitch to illustrate the negative; and if the universal is affirmative we may take the terms animal-white-swan to illustrate the positive relation, and animal-white-snow to illustrate the negative and necessary relation. Nor again is a syllogism possible when the premisses are indefinite, or both particular. Terms applicable in either case to illustrate the positive relation are animal-white-man: to illustrate the negative, animal-white-inanimate. For the relation of animal to some white, and of white to some inanimate, is both necessary and positive and necessary and negative. Similarly if the relation is problematic: so the terms may be used for all cases.	PRIOR ANALYTICS Book I
The same relation will obtain in particular syllogisms. Whenever the negative proposition is necessary, the conclusion will be negative assertoric: e.g. if it is not possible that A should belong to any B, but B may belong to some of the Cs, it is necessary that A should not belong to some of the Cs. For if A belongs to all C, but cannot belong to any B, neither can B belong to any A. So if A belongs to all C, to none of the Cs can B belong. But it was laid down that B may belong to some C. But when the particular affirmative in the negative syllogism, e.g. BC the minor premiss, or the universal proposition in the affirmative syllogism, e.g. AB the major premiss, is necessary, there will not be an assertoric conclusion. The demonstration is the same as before. But if the minor premiss is universal, and problematic, whether affirmative or negative, and the major premiss is particular and necessary, there cannot be a syllogism. Premisses of this kind are possible both where the relation is positive and necessary, e.g. animal-white-man, and where it is necessary and negative, e.g. animal-white-garment. But when the universal is necessary, the particular problematic, if the universal is negative we may take the terms animal-white-raven to illustrate the positive relation, or animal-white-pitch to illustrate the negative; and if the universal is affirmative we may take the terms animal-white-swan to illustrate the positive relation, and animal-white-snow to illustrate the negative and necessary relation. Nor again is a syllogism possible when the premisses are indefinite, or both particular. Terms applicable in either case to illustrate the positive relation are animal-white-man: to illustrate the negative, animal-white-inanimate. For the relation of animal to some white, and of white to some inanimate, is both necessary and positive and necessary and negative. Similarly if the relation is problematic: so the terms may be used for all cases.	PRIOR ANALYTICS Book I
In the second figure whenever both premisses are problematic, no syllogism is possible, whether the premisses are affirmative or negative, universal or particular. But when one premiss is assertoric, the other problematic, if the affirmative is assertoric no syllogism is possible, but if the universal negative is assertoric a conclusion can always be drawn. Similarly when one premiss is necessary, the other problematic. Here also we must understand the term 'possible' in the conclusion, in the same sense as before.	PRIOR ANALYTICS Book I
In the second figure whenever both premisses are problematic, no syllogism is possible, whether the premisses are affirmative or negative, universal or particular. But when one premiss is assertoric, the other problematic, if the affirmative is assertoric no syllogism is possible, but if the universal negative is assertoric a conclusion can always be drawn. Similarly when one premiss is necessary, the other problematic. Here also we must understand the term 'possible' in the conclusion, in the same sense as before.	PRIOR ANALYTICS Book I
This being proved, suppose it possible that A may belong to no B and to all C. By means of conversion no syllogism will result: for the major premiss, as has been said, is not convertible. Nor can a proof be obtained by a reductio ad absurdum: for if it is assumed that B can belong to all C, no false consequence results: for A may belong both to all C and to no C. In general, if there is a syllogism, it is clear that its conclusion will be problematic because neither of the premisses is assertoric; and this must be either affirmative or negative. But neither is possible. Suppose the conclusion is affirmative: it will be proved by an example that the predicate cannot belong to the subject. Suppose the conclusion is negative: it will be proved that it is not problematic but necessary. Let A be white, B man, C horse. It is possible then for A to belong to all of the one and to none of the other. But it is not possible for B to belong nor not to belong to C. That it is not possible for it to belong, is clear. For no horse is a man. Neither is it possible for it not to belong. For it is necessary that no horse should be a man, but the necessary we found to be different from the possible. No syllogism then results. A similar proof can be given if the major premiss is negative, the minor affirmative, or if both are affirmative or negative. The demonstration can be made by means of the same terms. And whenever one premiss is universal, the other particular, or both are particular or indefinite, or in whatever other way the premisses can be altered, the proof will always proceed through the same terms. Clearly then, if both the premisses are problematic, no syllogism results.	PRIOR ANALYTICS Book I
This being proved, suppose it possible that A may belong to no B and to all C. By means of conversion no syllogism will result: for the major premiss, as has been said, is not convertible. Nor can a proof be obtained by a reductio ad absurdum: for if it is assumed that B can belong to all C, no false consequence results: for A may belong both to all C and to no C. In general, if there is a syllogism, it is clear that its conclusion will be problematic because neither of the premisses is assertoric; and this must be either affirmative or negative. But neither is possible. Suppose the conclusion is affirmative: it will be proved by an example that the predicate cannot belong to the subject. Suppose the conclusion is negative: it will be proved that it is not problematic but necessary. Let A be white, B man, C horse. It is possible then for A to belong to all of the one and to none of the other. But it is not possible for B to belong nor not to belong to C. That it is not possible for it to belong, is clear. For no horse is a man. Neither is it possible for it not to belong. For it is necessary that no horse should be a man, but the necessary we found to be different from the possible. No syllogism then results. A similar proof can be given if the major premiss is negative, the minor affirmative, or if both are affirmative or negative. The demonstration can be made by means of the same terms. And whenever one premiss is universal, the other particular, or both are particular or indefinite, or in whatever other way the premisses can be altered, the proof will always proceed through the same terms. Clearly then, if both the premisses are problematic, no syllogism results.	PRIOR ANALYTICS Book I
This being proved, suppose it possible that A may belong to no B and to all C. By means of conversion no syllogism will result: for the major premiss, as has been said, is not convertible. Nor can a proof be obtained by a reductio ad absurdum: for if it is assumed that B can belong to all C, no false consequence results: for A may belong both to all C and to no C. In general, if there is a syllogism, it is clear that its conclusion will be problematic because neither of the premisses is assertoric; and this must be either affirmative or negative. But neither is possible. Suppose the conclusion is affirmative: it will be proved by an example that the predicate cannot belong to the subject. Suppose the conclusion is negative: it will be proved that it is not problematic but necessary. Let A be white, B man, C horse. It is possible then for A to belong to all of the one and to none of the other. But it is not possible for B to belong nor not to belong to C. That it is not possible for it to belong, is clear. For no horse is a man. Neither is it possible for it not to belong. For it is necessary that no horse should be a man, but the necessary we found to be different from the possible. No syllogism then results. A similar proof can be given if the major premiss is negative, the minor affirmative, or if both are affirmative or negative. The demonstration can be made by means of the same terms. And whenever one premiss is universal, the other particular, or both are particular or indefinite, or in whatever other way the premisses can be altered, the proof will always proceed through the same terms. Clearly then, if both the premisses are problematic, no syllogism results.	PRIOR ANALYTICS Book I
This being proved, suppose it possible that A may belong to no B and to all C. By means of conversion no syllogism will result: for the major premiss, as has been said, is not convertible. Nor can a proof be obtained by a reductio ad absurdum: for if it is assumed that B can belong to all C, no false consequence results: for A may belong both to all C and to no C. In general, if there is a syllogism, it is clear that its conclusion will be problematic because neither of the premisses is assertoric; and this must be either affirmative or negative. But neither is possible. Suppose the conclusion is affirmative: it will be proved by an example that the predicate cannot belong to the subject. Suppose the conclusion is negative: it will be proved that it is not problematic but necessary. Let A be white, B man, C horse. It is possible then for A to belong to all of the one and to none of the other. But it is not possible for B to belong nor not to belong to C. That it is not possible for it to belong, is clear. For no horse is a man. Neither is it possible for it not to belong. For it is necessary that no horse should be a man, but the necessary we found to be different from the possible. No syllogism then results. A similar proof can be given if the major premiss is negative, the minor affirmative, or if both are affirmative or negative. The demonstration can be made by means of the same terms. And whenever one premiss is universal, the other particular, or both are particular or indefinite, or in whatever other way the premisses can be altered, the proof will always proceed through the same terms. Clearly then, if both the premisses are problematic, no syllogism results.	PRIOR ANALYTICS Book I
But if one premiss is assertoric, the other problematic, if the affirmative is assertoric and the negative problematic no syllogism will be possible, whether the premisses are universal or particular. The proof is the same as above, and by means of the same terms. But when the affirmative premiss is problematic, and the negative assertoric, we shall have a syllogism. Suppose A belongs to no B, but can belong to all C. If the negative proposition is converted, B will belong to no A. But ex hypothesi can belong to all C: so a syllogism is made, proving by means of the first figure that B may belong to no C. Similarly also if the minor premiss is negative. But if both premisses are negative, one being assertoric, the other problematic, nothing follows necessarily from these premisses as they stand, but if the problematic premiss is converted into its complementary affirmative a syllogism is formed to prove that B may belong to no C, as before: for we shall again have the first figure. But if both premisses are affirmative, no syllogism will be possible. This arrangement of terms is possible both when the relation is positive, e.g. health, animal, man, and when it is negative, e.g. health, horse, man.	PRIOR ANALYTICS Book I
But if one premiss is assertoric, the other problematic, if the affirmative is assertoric and the negative problematic no syllogism will be possible, whether the premisses are universal or particular. The proof is the same as above, and by means of the same terms. But when the affirmative premiss is problematic, and the negative assertoric, we shall have a syllogism. Suppose A belongs to no B, but can belong to all C. If the negative proposition is converted, B will belong to no A. But ex hypothesi can belong to all C: so a syllogism is made, proving by means of the first figure that B may belong to no C. Similarly also if the minor premiss is negative. But if both premisses are negative, one being assertoric, the other problematic, nothing follows necessarily from these premisses as they stand, but if the problematic premiss is converted into its complementary affirmative a syllogism is formed to prove that B may belong to no C, as before: for we shall again have the first figure. But if both premisses are affirmative, no syllogism will be possible. This arrangement of terms is possible both when the relation is positive, e.g. health, animal, man, and when it is negative, e.g. health, horse, man.	PRIOR ANALYTICS Book I
But if one premiss is assertoric, the other problematic, if the affirmative is assertoric and the negative problematic no syllogism will be possible, whether the premisses are universal or particular. The proof is the same as above, and by means of the same terms. But when the affirmative premiss is problematic, and the negative assertoric, we shall have a syllogism. Suppose A belongs to no B, but can belong to all C. If the negative proposition is converted, B will belong to no A. But ex hypothesi can belong to all C: so a syllogism is made, proving by means of the first figure that B may belong to no C. Similarly also if the minor premiss is negative. But if both premisses are negative, one being assertoric, the other problematic, nothing follows necessarily from these premisses as they stand, but if the problematic premiss is converted into its complementary affirmative a syllogism is formed to prove that B may belong to no C, as before: for we shall again have the first figure. But if both premisses are affirmative, no syllogism will be possible. This arrangement of terms is possible both when the relation is positive, e.g. health, animal, man, and when it is negative, e.g. health, horse, man.	PRIOR ANALYTICS Book I
But if one premiss is assertoric, the other problematic, if the affirmative is assertoric and the negative problematic no syllogism will be possible, whether the premisses are universal or particular. The proof is the same as above, and by means of the same terms. But when the affirmative premiss is problematic, and the negative assertoric, we shall have a syllogism. Suppose A belongs to no B, but can belong to all C. If the negative proposition is converted, B will belong to no A. But ex hypothesi can belong to all C: so a syllogism is made, proving by means of the first figure that B may belong to no C. Similarly also if the minor premiss is negative. But if both premisses are negative, one being assertoric, the other problematic, nothing follows necessarily from these premisses as they stand, but if the problematic premiss is converted into its complementary affirmative a syllogism is formed to prove that B may belong to no C, as before: for we shall again have the first figure. But if both premisses are affirmative, no syllogism will be possible. This arrangement of terms is possible both when the relation is positive, e.g. health, animal, man, and when it is negative, e.g. health, horse, man.	PRIOR ANALYTICS Book I
The same will hold good if the syllogisms are particular. Whenever the affirmative proposition is assertoric, whether universal or particular, no syllogism is possible (this is proved similarly and by the same examples as above), but when the negative proposition is assertoric, a conclusion can be drawn by means of conversion, as before. Again if both the relations are negative, and the assertoric proposition is universal, although no conclusion follows from the actual premisses, a syllogism can be obtained by converting the problematic premiss into its complementary affirmative as before. But if the negative proposition is assertoric, but particular, no syllogism is possible, whether the other premiss is affirmative or negative. Nor can a conclusion be drawn when both premisses are indefinite, whether affirmative or negative, or particular. The proof is the same and by the same terms.	PRIOR ANALYTICS Book I
The same will hold good if the syllogisms are particular. Whenever the affirmative proposition is assertoric, whether universal or particular, no syllogism is possible (this is proved similarly and by the same examples as above), but when the negative proposition is assertoric, a conclusion can be drawn by means of conversion, as before. Again if both the relations are negative, and the assertoric proposition is universal, although no conclusion follows from the actual premisses, a syllogism can be obtained by converting the problematic premiss into its complementary affirmative as before. But if the negative proposition is assertoric, but particular, no syllogism is possible, whether the other premiss is affirmative or negative. Nor can a conclusion be drawn when both premisses are indefinite, whether affirmative or negative, or particular. The proof is the same and by the same terms.	PRIOR ANALYTICS Book I
The same will hold good if the syllogisms are particular. Whenever the affirmative proposition is assertoric, whether universal or particular, no syllogism is possible (this is proved similarly and by the same examples as above), but when the negative proposition is assertoric, a conclusion can be drawn by means of conversion, as before. Again if both the relations are negative, and the assertoric proposition is universal, although no conclusion follows from the actual premisses, a syllogism can be obtained by converting the problematic premiss into its complementary affirmative as before. But if the negative proposition is assertoric, but particular, no syllogism is possible, whether the other premiss is affirmative or negative. Nor can a conclusion be drawn when both premisses are indefinite, whether affirmative or negative, or particular. The proof is the same and by the same terms.	PRIOR ANALYTICS Book I
The same will hold good if the syllogisms are particular. Whenever the affirmative proposition is assertoric, whether universal or particular, no syllogism is possible (this is proved similarly and by the same examples as above), but when the negative proposition is assertoric, a conclusion can be drawn by means of conversion, as before. Again if both the relations are negative, and the assertoric proposition is universal, although no conclusion follows from the actual premisses, a syllogism can be obtained by converting the problematic premiss into its complementary affirmative as before. But if the negative proposition is assertoric, but particular, no syllogism is possible, whether the other premiss is affirmative or negative. Nor can a conclusion be drawn when both premisses are indefinite, whether affirmative or negative, or particular. The proof is the same and by the same terms.	PRIOR ANALYTICS Book I
If one of the premisses is necessary, the other problematic, then if the negative is necessary a syllogistic conclusion can be drawn, not merely a negative problematic but also a negative assertoric conclusion; but if the affirmative premiss is necessary, no conclusion is possible. Suppose that A necessarily belongs to no B, but may belong to all C. If the negative premiss is converted B will belong to no A: but A ex hypothesi is capable of belonging to all C: so once more a conclusion is drawn by the first figure that B may belong to no C. But at the same time it is clear that B will not belong to any C. For assume that it does: then if A cannot belong to any B, and B belongs to some of the Cs, A cannot belong to some of the Cs: but ex hypothesi it may belong to all. A similar proof can be given if the minor premiss is negative. Again let the affirmative proposition be necessary, and the other problematic; i.e. suppose that A may belong to no B, but necessarily belongs to all C. When the terms are arranged in this way, no syllogism is possible. For (1) it sometimes turns out that B 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.	PRIOR ANALYTICS Book I
If one of the premisses is necessary, the other problematic, then if the negative is necessary a syllogistic conclusion can be drawn, not merely a negative problematic but also a negative assertoric conclusion; but if the affirmative premiss is necessary, no conclusion is possible. Suppose that A necessarily belongs to no B, but may belong to all C. If the negative premiss is converted B will belong to no A: but A ex hypothesi is capable of belonging to all C: so once more a conclusion is drawn by the first figure that B may belong to no C. But at the same time it is clear that B will not belong to any C. For assume that it does: then if A cannot belong to any B, and B belongs to some of the Cs, A cannot belong to some of the Cs: but ex hypothesi it may belong to all. A similar proof can be given if the minor premiss is negative. Again let the affirmative proposition be necessary, and the other problematic; i.e. suppose that A may belong to no B, but necessarily belongs to all C. When the terms are arranged in this way, no syllogism is possible. For (1) it sometimes turns out that B 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.	PRIOR ANALYTICS Book I
If one of the premisses is necessary, the other problematic, then if the negative is necessary a syllogistic conclusion can be drawn, not merely a negative problematic but also a negative assertoric conclusion; but if the affirmative premiss is necessary, no conclusion is possible. Suppose that A necessarily belongs to no B, but may belong to all C. If the negative premiss is converted B will belong to no A: but A ex hypothesi is capable of belonging to all C: so once more a conclusion is drawn by the first figure that B may belong to no C. But at the same time it is clear that B will not belong to any C. For assume that it does: then if A cannot belong to any B, and B belongs to some of the Cs, A cannot belong to some of the Cs: but ex hypothesi it may belong to all. A similar proof can be given if the minor premiss is negative. Again let the affirmative proposition be necessary, and the other problematic; i.e. suppose that A may belong to no B, but necessarily belongs to all C. When the terms are arranged in this way, no syllogism is possible. For (1) it sometimes turns out that B 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.	PRIOR ANALYTICS Book I
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.	PRIOR ANALYTICS Book I
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.	PRIOR ANALYTICS Book I
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 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.	PRIOR ANALYTICS Book I
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 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.	PRIOR ANALYTICS Book I
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 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.	PRIOR ANALYTICS Book I
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.	PRIOR ANALYTICS Book I
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.	PRIOR ANALYTICS Book I
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 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 horse-man-white — white being the middle term.	PRIOR ANALYTICS Book I
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 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 horse-man-white — white being the middle term.	PRIOR ANALYTICS Book I
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 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 horse-man-white — white being the middle term.	PRIOR ANALYTICS Book I
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.	PRIOR ANALYTICS Book I
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.	PRIOR ANALYTICS Book I
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 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.	PRIOR ANALYTICS Book I
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 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.	PRIOR ANALYTICS Book I
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 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.	PRIOR ANALYTICS Book I
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 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.	PRIOR ANALYTICS Book I
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 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.	PRIOR ANALYTICS Book I
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 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.	PRIOR ANALYTICS Book I
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 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.	PRIOR ANALYTICS Book I
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 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.	PRIOR ANALYTICS Book I
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 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.	PRIOR ANALYTICS Book I
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 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.	PRIOR ANALYTICS Book I
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 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.	PRIOR ANALYTICS Book I
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 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.	PRIOR ANALYTICS Book I
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.	PRIOR ANALYTICS Book I
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.	PRIOR ANALYTICS Book I
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.	PRIOR ANALYTICS Book I
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 affirmative or negative, but also in being necessary, pure, problematic. We must consider also the other forms of predication.	PRIOR ANALYTICS Book I
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.	PRIOR ANALYTICS Book I
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.	PRIOR ANALYTICS Book I
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.	PRIOR ANALYTICS Book I
It is clear too that other methods of inquiry by selection of middle terms are useless to produce a syllogism, e.g. if the consequents of the terms in question are identical, or if the antecedents of A are identical with those attributes which cannot possibly belong to E, or if those attributes are identical which cannot belong to either term: for no syllogism is produced by means of these. For if the consequents are identical, e.g. B and F, we have the middle figure with both premisses affirmative: if the antecedents of A are identical with attributes which cannot belong to E, e.g. C with H, we have the first figure with its minor premiss negative. If attributes which cannot belong to either term are identical, e.g. C and H, both premisses are negative, either in the first or in the middle figure. But no syllogism is possible in this way.	PRIOR ANALYTICS Book I
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.	PRIOR ANALYTICS Book I
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 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.	PRIOR ANALYTICS Book I
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.	PRIOR ANALYTICS Book I
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.	PRIOR ANALYTICS Book I
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.	PRIOR ANALYTICS Book I
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.	PRIOR ANALYTICS Book II
(3) But if one only of the premisses is false, when the first premiss is wholly false, e.g. AB, the conclusion will not be true, but if the premiss BC is wholly false, a true conclusion will be possible. I mean by 'wholly false' the contrary of the truth, e.g. if what belongs to none is assumed to belong to all, or if what belongs to all is assumed to belong to none. Let A belong to no B, and B to all C. If then the premiss BC which I take is true, and the premiss AB is wholly false, viz. that A belongs to all B, it is impossible that the conclusion should be true: for A belonged to none of the Cs, since A belonged to nothing to which B belonged, and B belonged to all C. Similarly there cannot be a true conclusion if A belongs to all B, and B to all C, but while the true premiss BC is assumed, the wholly false premiss AB is also assumed, viz. that A belongs to nothing to which B belongs: here the conclusion must be false. For A will belong to all C, since A belongs to everything to which B belongs, and B to all C. It is clear then that when the first premiss is wholly false, whether affirmative or negative, and the other premiss is true, the conclusion cannot be true.	PRIOR ANALYTICS Book II
(3) 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.	PRIOR ANALYTICS Book II
It is clear also that our thesis holds in particular syllogisms. For (5) 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.	PRIOR ANALYTICS Book II
It is clear also that our thesis holds in particular syllogisms. For (5) 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.	PRIOR ANALYTICS Book II
(6) 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.	PRIOR ANALYTICS Book II
In the last figure a true conclusion may come through what is false, alike when both premisses are wholly false, when each is partly false, when one premiss is wholly true, the other false, when one premiss is partly false, the other wholly true, and vice versa, and in every other way in which it is possible to alter the premisses. For (1) nothing prevents neither A nor B from belonging to any C, while A belongs to some B, e.g. neither man nor footed follows anything lifeless, though man belongs to some footed things. If then it is assumed that A and B belong to all C, the premisses will be wholly false, but the conclusion true. Similarly if one premiss is negative, the other affirmative. For it is possible that B should belong to no C, but A to all C, and that should not belong to some B, e.g. black belongs to no swan, animal to every swan, and animal not to everything black. Consequently if it is assumed that B belongs to all C, and A to no C, A will not belong to some B: and the conclusion is true, though the premisses are false.	PRIOR ANALYTICS Book II
(3) Similarly if one of the premisses assumed is wholly false, the other wholly true. For it is possible that both A and B should follow all C, though A does not belong to some B, e.g. animal and white follow every swan, though animal does not belong to everything white. Taking these then as terms, if one assumes that B belongs to the whole of C, but A does not belong to C at all, the premiss BC will be wholly true, the premiss AC wholly false, and the conclusion true. Similarly if the statement BC is false, the statement AC true, the conclusion may be true. The same terms will serve for the proof. Also if both the premisses assumed are affirmative, the conclusion may be true. For nothing prevents B from following all C, and A from not belonging to C at all, though A belongs to some B, e.g. animal belongs to every swan, black to no swan, and black to some animals. Consequently if it is assumed that A and B belong to every C, the premiss BC is wholly true, the premiss AC is wholly false, and the conclusion is true. Similarly if the premiss AC which is assumed is true: the proof can be made through the same terms.	PRIOR ANALYTICS Book II
(4) Again if one premiss is wholly true, the other partly false, the conclusion may be true. For it is possible that B should belong to all C, and A to some C, while A belongs to some B, e.g. biped belongs to every man, beautiful not to every man, and beautiful to some bipeds. If then it is assumed that both A and B belong to the whole of C, the premiss BC is wholly true, the premiss AC partly false, the conclusion true. Similarly if of the premisses assumed AC is true and BC partly false, a true conclusion is possible: this can be proved, if the same terms as before are transposed. Also the conclusion may be true if one premiss is negative, the other affirmative. For since it is possible that B should belong to the whole of C, and A to some C, and, when they are so, that A should not belong to all B, therefore it is assumed that B belongs to the whole of C, and A to no C, the negative premiss is partly false, the other premiss wholly true, and the conclusion is true. Again since it has been proved that if A belongs to no C and B to some C, it is possible that A should not belong to some C, it is clear that if the premiss AC is wholly true, and the premiss BC partly false, it is possible that the conclusion should be true. For if it is assumed that A belongs to no C, and B to all C, the premiss AC is wholly true, and the premiss BC is partly false.	PRIOR ANALYTICS Book II
In the second figure it is not possible to prove an affirmative proposition in this way, but a negative proposition may be proved. An affirmative proposition is not proved because both premisses of the new syllogism are not affirmative (for the conclusion is negative) but an affirmative proposition is (as we saw) proved from premisses which are both affirmative. The negative is proved as follows. Let A belong to all B, and to no C: we conclude that B belongs to no C. If then it is assumed that B belongs to all A, it is necessary that A should belong to no C: for we get the second figure, with B as middle. But if the premiss AB was negative, and the other affirmative, we shall have the first figure. For C belongs to all A and B to no C, consequently B belongs to no A: neither then does A belong to B. Through the conclusion, therefore, and one premiss, we get no syllogism, but if another premiss is assumed in addition, a syllogism will be possible. But if the syllogism not universal, the universal premiss cannot be proved, for the same reason as we gave above, but the particular premiss can be proved whenever the universal statement is affirmative. Let A belong to all B, and not to all C: the conclusion is BC. If then it is assumed that B belongs to all A, but not to all C, A will not belong to some C, B being middle. But if the universal premiss is negative, the premiss AC will not be demonstrated by the conversion of AB: for it turns out that either both or one of the premisses is negative; consequently a syllogism will not be possible. But the proof will proceed as in the universal syllogisms, if it is assumed that A belongs to some of that to some of which B does not belong.	PRIOR ANALYTICS Book II
In the second figure it is not possible to prove an affirmative proposition in this way, but a negative proposition may be proved. An affirmative proposition is not proved because both premisses of the new syllogism are not affirmative (for the conclusion is negative) but an affirmative proposition is (as we saw) proved from premisses which are both affirmative. The negative is proved as follows. Let A belong to all B, and to no C: we conclude that B belongs to no C. If then it is assumed that B belongs to all A, it is necessary that A should belong to no C: for we get the second figure, with B as middle. But if the premiss AB was negative, and the other affirmative, we shall have the first figure. For C belongs to all A and B to no C, consequently B belongs to no A: neither then does A belong to B. Through the conclusion, therefore, and one premiss, we get no syllogism, but if another premiss is assumed in addition, a syllogism will be possible. But if the syllogism not universal, the universal premiss cannot be proved, for the same reason as we gave above, but the particular premiss can be proved whenever the universal statement is affirmative. Let A belong to all B, and not to all C: the conclusion is BC. If then it is assumed that B belongs to all A, but not to all C, A will not belong to some C, B being middle. But if the universal premiss is negative, the premiss AC will not be demonstrated by the conversion of AB: for it turns out that either both or one of the premisses is negative; consequently a syllogism will not be possible. But the proof will proceed as in the universal syllogisms, if it is assumed that A belongs to some of that to some of which B does not belong.	PRIOR ANALYTICS Book II
In the second figure it is not possible to prove an affirmative proposition in this way, but a negative proposition may be proved. An affirmative proposition is not proved because both premisses of the new syllogism are not affirmative (for the conclusion is negative) but an affirmative proposition is (as we saw) proved from premisses which are both affirmative. The negative is proved as follows. Let A belong to all B, and to no C: we conclude that B belongs to no C. If then it is assumed that B belongs to all A, it is necessary that A should belong to no C: for we get the second figure, with B as middle. But if the premiss AB was negative, and the other affirmative, we shall have the first figure. For C belongs to all A and B to no C, consequently B belongs to no A: neither then does A belong to B. Through the conclusion, therefore, and one premiss, we get no syllogism, but if another premiss is assumed in addition, a syllogism will be possible. But if the syllogism not universal, the universal premiss cannot be proved, for the same reason as we gave above, but the particular premiss can be proved whenever the universal statement is affirmative. Let A belong to all B, and not to all C: the conclusion is BC. If then it is assumed that B belongs to all A, but not to all C, A will not belong to some C, B being middle. But if the universal premiss is negative, the premiss AC will not be demonstrated by the conversion of AB: for it turns out that either both or one of the premisses is negative; consequently a syllogism will not be possible. But the proof will proceed as in the universal syllogisms, if it is assumed that A belongs to some of that to some of which B does not belong.	PRIOR ANALYTICS Book II
In the second figure it is not possible to prove an affirmative proposition in this way, but a negative proposition may be proved. An affirmative proposition is not proved because both premisses of the new syllogism are not affirmative (for the conclusion is negative) but an affirmative proposition is (as we saw) proved from premisses which are both affirmative. The negative is proved as follows. Let A belong to all B, and to no C: we conclude that B belongs to no C. If then it is assumed that B belongs to all A, it is necessary that A should belong to no C: for we get the second figure, with B as middle. But if the premiss AB was negative, and the other affirmative, we shall have the first figure. For C belongs to all A and B to no C, consequently B belongs to no A: neither then does A belong to B. Through the conclusion, therefore, and one premiss, we get no syllogism, but if another premiss is assumed in addition, a syllogism will be possible. But if the syllogism not universal, the universal premiss cannot be proved, for the same reason as we gave above, but the particular premiss can be proved whenever the universal statement is affirmative. Let A belong to all B, and not to all C: the conclusion is BC. If then it is assumed that B belongs to all A, but not to all C, A will not belong to some C, B being middle. But if the universal premiss is negative, the premiss AC will not be demonstrated by the conversion of AB: for it turns out that either both or one of the premisses is negative; consequently a syllogism will not be possible. But the proof will proceed as in the universal syllogisms, if it is assumed that A belongs to some of that to some of which B does not belong.	PRIOR ANALYTICS Book II
In the second figure it is not possible to prove an affirmative proposition in this way, but a negative proposition may be proved. An affirmative proposition is not proved because both premisses of the new syllogism are not affirmative (for the conclusion is negative) but an affirmative proposition is (as we saw) proved from premisses which are both affirmative. The negative is proved as follows. Let A belong to all B, and to no C: we conclude that B belongs to no C. If then it is assumed that B belongs to all A, it is necessary that A should belong to no C: for we get the second figure, with B as middle. But if the premiss AB was negative, and the other affirmative, we shall have the first figure. For C belongs to all A and B to no C, consequently B belongs to no A: neither then does A belong to B. Through the conclusion, therefore, and one premiss, we get no syllogism, but if another premiss is assumed in addition, a syllogism will be possible. But if the syllogism not universal, the universal premiss cannot be proved, for the same reason as we gave above, but the particular premiss can be proved whenever the universal statement is affirmative. Let A belong to all B, and not to all C: the conclusion is BC. If then it is assumed that B belongs to all A, but not to all C, A will not belong to some C, B being middle. But if the universal premiss is negative, the premiss AC will not be demonstrated by the conversion of AB: for it turns out that either both or one of the premisses is negative; consequently a syllogism will not be possible. But the proof will proceed as in the universal syllogisms, if it is assumed that A belongs to some of that to some of which B does not belong.	PRIOR ANALYTICS Book II
In the second figure it is not possible to prove an affirmative proposition in this way, but a negative proposition may be proved. An affirmative proposition is not proved because both premisses of the new syllogism are not affirmative (for the conclusion is negative) but an affirmative proposition is (as we saw) proved from premisses which are both affirmative. The negative is proved as follows. Let A belong to all B, and to no C: we conclude that B belongs to no C. If then it is assumed that B belongs to all A, it is necessary that A should belong to no C: for we get the second figure, with B as middle. But if the premiss AB was negative, and the other affirmative, we shall have the first figure. For C belongs to all A and B to no C, consequently B belongs to no A: neither then does A belong to B. Through the conclusion, therefore, and one premiss, we get no syllogism, but if another premiss is assumed in addition, a syllogism will be possible. But if the syllogism not universal, the universal premiss cannot be proved, for the same reason as we gave above, but the particular premiss can be proved whenever the universal statement is affirmative. Let A belong to all B, and not to all C: the conclusion is BC. If then it is assumed that B belongs to all A, but not to all C, A will not belong to some C, B being middle. But if the universal premiss is negative, the premiss AC will not be demonstrated by the conversion of AB: for it turns out that either both or one of the premisses is negative; consequently a syllogism will not be possible. But the proof will proceed as in the universal syllogisms, if it is assumed that A belongs to some of that to some of which B does not belong.	PRIOR ANALYTICS Book II
In the second figure it is not possible to prove an affirmative proposition in this way, but a negative proposition may be proved. An affirmative proposition is not proved because both premisses of the new syllogism are not affirmative (for the conclusion is negative) but an affirmative proposition is (as we saw) proved from premisses which are both affirmative. The negative is proved as follows. Let A belong to all B, and to no C: we conclude that B belongs to no C. If then it is assumed that B belongs to all A, it is necessary that A should belong to no C: for we get the second figure, with B as middle. But if the premiss AB was negative, and the other affirmative, we shall have the first figure. For C belongs to all A and B to no C, consequently B belongs to no A: neither then does A belong to B. Through the conclusion, therefore, and one premiss, we get no syllogism, but if another premiss is assumed in addition, a syllogism will be possible. But if the syllogism not universal, the universal premiss cannot be proved, for the same reason as we gave above, but the particular premiss can be proved whenever the universal statement is affirmative. Let A belong to all B, and not to all C: the conclusion is BC. If then it is assumed that B belongs to all A, but not to all C, A will not belong to some C, B being middle. But if the universal premiss is negative, the premiss AC will not be demonstrated by the conversion of AB: for it turns out that either both or one of the premisses is negative; consequently a syllogism will not be possible. But the proof will proceed as in the universal syllogisms, if it is assumed that A belongs to some of that to some of which B does not belong.	PRIOR ANALYTICS Book II
In the third figure, when both premisses are taken universally, it is not possible to prove them reciprocally: for that which is universal is proved through statements which are universal, but the conclusion in this figure is always particular, so that it is clear that it is not possible at all to prove through this figure the universal premiss. But if one premiss is universal, the other particular, proof of the latter will sometimes be possible, sometimes not. When both the premisses assumed are affirmative, and the universal concerns the minor extreme, proof will be possible, but when it concerns the other extreme, impossible. Let A belong to all C and B to some C: the conclusion is the statement AB. If then it is assumed that C belongs to all A, it has been proved that C belongs to some B, but that B belongs to some C has not been proved. And yet it is necessary, if C belongs to some B, that B should belong to some C. But it is not the same that this should belong to that, and that to this: but we must assume besides that if this belongs to some of that, that belongs to some of this. But if this is assumed the syllogism no longer results from the conclusion and the other premiss. But if B belongs to all C, and A to some C, it will be possible to prove the proposition AC, when it is assumed that C belongs to all B, and A to some B. For if C belongs to all B and A to some B, it is necessary that A should belong to some C, B being middle. And whenever one premiss is affirmative the other negative, and the affirmative is universal, the other premiss can be proved. Let B belong to all C, and A not to some C: the conclusion is that A does not belong to some B. If then it is assumed further that C belongs to all B, it is necessary that A should not belong to some C, B being middle. But when the negative premiss is universal, the other premiss is not except as before, viz. if it is assumed that that belongs to some of that, to some of which this does not belong, e.g. if A belongs to no C, and B to some C: the conclusion is that A does not belong to some B. If then it is assumed that C belongs to some of that to some of which does not belong, it is necessary that C should belong to some of the Bs. In no other way is it possible by converting the universal premiss to prove the other: for in no other way can a syllogism be formed.	PRIOR ANALYTICS Book II
In the third figure, when both premisses are taken universally, it is not possible to prove them reciprocally: for that which is universal is proved through statements which are universal, but the conclusion in this figure is always particular, so that it is clear that it is not possible at all to prove through this figure the universal premiss. But if one premiss is universal, the other particular, proof of the latter will sometimes be possible, sometimes not. When both the premisses assumed are affirmative, and the universal concerns the minor extreme, proof will be possible, but when it concerns the other extreme, impossible. Let A belong to all C and B to some C: the conclusion is the statement AB. If then it is assumed that C belongs to all A, it has been proved that C belongs to some B, but that B belongs to some C has not been proved. And yet it is necessary, if C belongs to some B, that B should belong to some C. But it is not the same that this should belong to that, and that to this: but we must assume besides that if this belongs to some of that, that belongs to some of this. But if this is assumed the syllogism no longer results from the conclusion and the other premiss. But if B belongs to all C, and A to some C, it will be possible to prove the proposition AC, when it is assumed that C belongs to all B, and A to some B. For if C belongs to all B and A to some B, it is necessary that A should belong to some C, B being middle. And whenever one premiss is affirmative the other negative, and the affirmative is universal, the other premiss can be proved. Let B belong to all C, and A not to some C: the conclusion is that A does not belong to some B. If then it is assumed further that C belongs to all B, it is necessary that A should not belong to some C, B being middle. But when the negative premiss is universal, the other premiss is not except as before, viz. if it is assumed that that belongs to some of that, to some of which this does not belong, e.g. if A belongs to no C, and B to some C: the conclusion is that A does not belong to some B. If then it is assumed that C belongs to some of that to some of which does not belong, it is necessary that C should belong to some of the Bs. In no other way is it possible by converting the universal premiss to prove the other: for in no other way can a syllogism be formed.	PRIOR ANALYTICS Book II
In the third figure, when both premisses are taken universally, it is not possible to prove them reciprocally: for that which is universal is proved through statements which are universal, but the conclusion in this figure is always particular, so that it is clear that it is not possible at all to prove through this figure the universal premiss. But if one premiss is universal, the other particular, proof of the latter will sometimes be possible, sometimes not. When both the premisses assumed are affirmative, and the universal concerns the minor extreme, proof will be possible, but when it concerns the other extreme, impossible. Let A belong to all C and B to some C: the conclusion is the statement AB. If then it is assumed that C belongs to all A, it has been proved that C belongs to some B, but that B belongs to some C has not been proved. And yet it is necessary, if C belongs to some B, that B should belong to some C. But it is not the same that this should belong to that, and that to this: but we must assume besides that if this belongs to some of that, that belongs to some of this. But if this is assumed the syllogism no longer results from the conclusion and the other premiss. But if B belongs to all C, and A to some C, it will be possible to prove the proposition AC, when it is assumed that C belongs to all B, and A to some B. For if C belongs to all B and A to some B, it is necessary that A should belong to some C, B being middle. And whenever one premiss is affirmative the other negative, and the affirmative is universal, the other premiss can be proved. Let B belong to all C, and A not to some C: the conclusion is that A does not belong to some B. If then it is assumed further that C belongs to all B, it is necessary that A should not belong to some C, B being middle. But when the negative premiss is universal, the other premiss is not except as before, viz. if it is assumed that that belongs to some of that, to some of which this does not belong, e.g. if A belongs to no C, and B to some C: the conclusion is that A does not belong to some B. If then it is assumed that C belongs to some of that to some of which does not belong, it is necessary that C should belong to some of the Bs. In no other way is it possible by converting the universal premiss to prove the other: for in no other way can a syllogism be formed.	PRIOR ANALYTICS Book II
It is clear then that in the first figure reciprocal proof is made both through the third and through the first figure — if the conclusion is affirmative through the first; if the conclusion is negative through the last. For it is assumed that that belongs to all of that to none of which this belongs. In the middle figure, when the syllogism is universal, proof is possible through the second figure and through the first, but when particular through the second and the last. In the third figure all proofs are made through itself. It is clear also that in the third figure and in the middle figure those syllogisms which are not made through those figures themselves either are not of the nature of circular proof or are imperfect.	PRIOR ANALYTICS Book II
If the conclusion is converted into its contradictory, the syllogisms will be contradictory and not universal. For one premiss is particular, so that the conclusion also will be particular. Let the syllogism be affirmative, and let it be converted as stated. Then if A belongs not to all C, but to all B, B will belong not to all C. And if A belongs not to all C, but B belongs to all C, A will belong not to all B. Similarly if the syllogism is negative. For if A belongs to some C, and to no B, B will belong, not to no C at all, but — not to some C. And if A belongs to some C, and B to all C, as was originally assumed, A will belong to some B.	PRIOR ANALYTICS Book II
If the syllogism is particular, when the conclusion is converted into its contrary neither premiss can be refuted, as also happened in the first figure,' if the conclusion is converted into its contradictory, both premisses can be refuted. Suppose that A belongs to no B, and to some C: the conclusion is BC. If then it is assumed that B belongs to some C, and the statement AB stands, the conclusion will be that A does not belong to some C. But the original statement has not been refuted: for it is possible that A should belong to some C and also not to some C. Again if B belongs to some C and A to some C, no syllogism will be possible: for neither of the premisses taken is universal. Consequently the proposition AB is not refuted. But if the conclusion is converted into its contradictory, both premisses can be refuted. For if B belongs to all C, and A to no B, A will belong to no C: but it was assumed to belong to some C. Again if B belongs to all C and A to some C, A will belong to some B. The same proof can be given if the universal statement is affirmative.	PRIOR ANALYTICS Book II
Similarly if the original syllogism is negative. Suppose it has been proved that A does not belong to some B, BC being affirmative, AC being negative: for it was thus that, as we saw, a syllogism could be made. Whenever then the contrary of the conclusion is assumed a syllogism will not be possible. For if A belongs to some B, and B to all C, no syllogism is possible (as we saw) about A and C. Nor, if A belongs to some B, and to no C, was a syllogism possible concerning B and C. Therefore the premisses are not refuted. But when the contradictory of the conclusion is assumed, they are refuted. For if A belongs to all B, and B to C, A belongs to all C: but A was supposed originally to belong to no C. Again if A belongs to all B, and to no C, then B belongs to no C: but it was supposed to belong to all C. A similar proof is possible if the premisses are not universal. For AC becomes universal and negative, the other premiss particular and affirmative. If then A belongs to all B, and B to some C, it results that A belongs to some C: but it was supposed to belong to no C. Again if A belongs to all B, and to no C, then B belongs to no C: but it was assumed to belong to some C. If A belongs to some B and B to some C, no syllogism results: nor yet if A belongs to some B, and to no C. Thus in one way the premisses are refuted, in the other way they are not.	PRIOR ANALYTICS Book II
Similarly if the original syllogism is negative. Suppose it has been proved that A does not belong to some B, BC being affirmative, AC being negative: for it was thus that, as we saw, a syllogism could be made. Whenever then the contrary of the conclusion is assumed a syllogism will not be possible. For if A belongs to some B, and B to all C, no syllogism is possible (as we saw) about A and C. Nor, if A belongs to some B, and to no C, was a syllogism possible concerning B and C. Therefore the premisses are not refuted. But when the contradictory of the conclusion is assumed, they are refuted. For if A belongs to all B, and B to C, A belongs to all C: but A was supposed originally to belong to no C. Again if A belongs to all B, and to no C, then B belongs to no C: but it was supposed to belong to all C. A similar proof is possible if the premisses are not universal. For AC becomes universal and negative, the other premiss particular and affirmative. If then A belongs to all B, and B to some C, it results that A belongs to some C: but it was supposed to belong to no C. Again if A belongs to all B, and to no C, then B belongs to no C: but it was assumed to belong to some C. If A belongs to some B and B to some C, no syllogism results: nor yet if A belongs to some B, and to no C. Thus in one way the premisses are refuted, in the other way they are not.	PRIOR ANALYTICS Book II
All the problems can be proved per impossibile in all the figures, excepting the universal affirmative, which is proved in the middle and third figures, but not in the first. Suppose that A belongs not to all B, or to no B, and take besides another premiss concerning either of the terms, viz. that C belongs to all A, or that B belongs to all D; thus we get the first figure. If then it is supposed that A does not belong to all B, no syllogism results whichever term the assumed premiss concerns; but if it is supposed that A belongs to no B, when the premiss BD is assumed as well we shall prove syllogistically what is false, but not the problem proposed. For if A belongs to no B, and B belongs to all D, A belongs to no D. Let this be impossible: it is false then A belongs to no B. But the universal affirmative is not necessarily true if the universal negative is false. But if the premiss CA is assumed as well, no syllogism results, nor does it do so when it is supposed that A does not belong to all B. Consequently it is clear that the universal affirmative cannot be proved in the first figure per impossibile.	PRIOR ANALYTICS Book II
All the problems can be proved per impossibile in all the figures, excepting the universal affirmative, which is proved in the middle and third figures, but not in the first. Suppose that A belongs not to all B, or to no B, and take besides another premiss concerning either of the terms, viz. that C belongs to all A, or that B belongs to all D; thus we get the first figure. If then it is supposed that A does not belong to all B, no syllogism results whichever term the assumed premiss concerns; but if it is supposed that A belongs to no B, when the premiss BD is assumed as well we shall prove syllogistically what is false, but not the problem proposed. For if A belongs to no B, and B belongs to all D, A belongs to no D. Let this be impossible: it is false then A belongs to no B. But the universal affirmative is not necessarily true if the universal negative is false. But if the premiss CA is assumed as well, no syllogism results, nor does it do so when it is supposed that A does not belong to all B. Consequently it is clear that the universal affirmative cannot be proved in the first figure per impossibile.	PRIOR ANALYTICS Book II
All the problems can be proved per impossibile in all the figures, excepting the universal affirmative, which is proved in the middle and third figures, but not in the first. Suppose that A belongs not to all B, or to no B, and take besides another premiss concerning either of the terms, viz. that C belongs to all A, or that B belongs to all D; thus we get the first figure. If then it is supposed that A does not belong to all B, no syllogism results whichever term the assumed premiss concerns; but if it is supposed that A belongs to no B, when the premiss BD is assumed as well we shall prove syllogistically what is false, but not the problem proposed. For if A belongs to no B, and B belongs to all D, A belongs to no D. Let this be impossible: it is false then A belongs to no B. But the universal affirmative is not necessarily true if the universal negative is false. But if the premiss CA is assumed as well, no syllogism results, nor does it do so when it is supposed that A does not belong to all B. Consequently it is clear that the universal affirmative cannot be proved in the first figure per impossibile.	PRIOR ANALYTICS Book II
But the particular affirmative and the universal and particular negatives can all be proved. Suppose that A belongs to no B, and let it have been assumed that B belongs to all or to some C. Then it is necessary that A should belong to no C or not to all C. But this is impossible (for let it be true and clear that A belongs to all C): consequently if this is false, it is necessary that A should belong to some B. But if the other premiss assumed relates to A, no syllogism will be possible. Nor can a conclusion be drawn when the contrary of the conclusion is supposed, e.g. that A does not belong to some B. Clearly then we must suppose the contradictory.	PRIOR ANALYTICS Book II
It is clear then that not the contrary but the contradictory ought to be supposed in all the syllogisms. For thus we shall have necessity of inference, and the claim we make is one that will be generally accepted. For if of everything one or other of two contradictory statements holds good, then if it is proved that the negation does not hold, the affirmation must be true. Again if it is not admitted that the affirmation is true, the claim that the negation is true will be generally accepted. But in neither way does it suit to maintain the contrary: for it is not necessary that if the universal negative is false, the universal affirmative should be true, nor is it generally accepted that if the one is false the other is true.	PRIOR ANALYTICS Book II
It is clear then that in the first figure all problems except the universal affirmative are proved per impossibile. But in the middle and the last figures this also is proved. Suppose that A does not belong to all B, and let it have been assumed that A belongs to all C. If then A belongs not to all B, but to all C, C will not belong to all B. But this is impossible (for suppose it to be clear that C belongs to all B): consequently the hypothesis is false. It is true then that A belongs to all B. But if the contrary is supposed, we shall have a syllogism and a result which is impossible: but the problem in hand is not proved. For if A belongs to no B, and to all C, C will belong to no B. This is impossible; so that it is false that A belongs to no B. But though this is false, it does not follow that it is true that A belongs to all B.	PRIOR ANALYTICS Book II
It is clear then that in all the syllogisms which proceed per impossibile the contradictory must be assumed. And it is plain that in the middle figure an affirmative conclusion, and in the last figure a universal conclusion, are proved in a way.	PRIOR ANALYTICS Book II
Demonstration per impossibile differs from ostensive proof in that it posits what it wishes to refute by reduction to a statement admitted to be false; whereas ostensive proof starts from admitted positions. Both, indeed, take two premisses that are admitted, but the latter takes the premisses from which the syllogism starts, the former takes one of these, along with the contradictory of the original conclusion. Also in the ostensive proof it is not necessary that the conclusion should be known, nor that one should suppose beforehand that it is true or not: in the other it is necessary to suppose beforehand that it is not true. It makes no difference whether the conclusion is affirmative or negative; the method is the same in both cases. Everything which is concluded ostensively can be proved per impossibile, and that which is proved per impossibile can be proved ostensively, through the same terms. Whenever the syllogism is formed in the first figure, the truth will be found in the middle or the last figure, if negative in the middle, if affirmative in the last. Whenever the syllogism is formed in the middle figure, the truth will be found in the first, whatever the problem may be. Whenever the syllogism is formed in the last figure, the truth will be found in the first and middle figures, if affirmative in first, if negative in the middle. Suppose that A has been proved to belong to no B, or not to all B, through the first figure. Then the hypothesis must have been that A belongs to some B, and the original premisses that C belongs to all A and to no B. For thus the syllogism was made and the impossible conclusion reached. But this is the middle figure, if C belongs to all A and to no B. And it is clear from these premisses that A belongs to no B. Similarly if has been proved not to belong to all B. For the hypothesis is that A belongs to all B; and the original premisses are that C belongs to all A but not to all B. Similarly too, if the premiss CA should be negative: for thus also we have the middle figure. Again suppose it has been proved that A belongs to some B. The hypothesis here is that is that A belongs to no B; and the original premisses that B belongs to all C, and A either to all or to some C: for in this way we shall get what is impossible. But if A and B belong to all C, we have the last figure. And it is clear from these premisses that A must belong to some B. Similarly if B or A should be assumed to belong to some C.	PRIOR ANALYTICS Book II
Demonstration per impossibile differs from ostensive proof in that it posits what it wishes to refute by reduction to a statement admitted to be false; whereas ostensive proof starts from admitted positions. Both, indeed, take two premisses that are admitted, but the latter takes the premisses from which the syllogism starts, the former takes one of these, along with the contradictory of the original conclusion. Also in the ostensive proof it is not necessary that the conclusion should be known, nor that one should suppose beforehand that it is true or not: in the other it is necessary to suppose beforehand that it is not true. It makes no difference whether the conclusion is affirmative or negative; the method is the same in both cases. Everything which is concluded ostensively can be proved per impossibile, and that which is proved per impossibile can be proved ostensively, through the same terms. Whenever the syllogism is formed in the first figure, the truth will be found in the middle or the last figure, if negative in the middle, if affirmative in the last. Whenever the syllogism is formed in the middle figure, the truth will be found in the first, whatever the problem may be. Whenever the syllogism is formed in the last figure, the truth will be found in the first and middle figures, if affirmative in first, if negative in the middle. Suppose that A has been proved to belong to no B, or not to all B, through the first figure. Then the hypothesis must have been that A belongs to some B, and the original premisses that C belongs to all A and to no B. For thus the syllogism was made and the impossible conclusion reached. But this is the middle figure, if C belongs to all A and to no B. And it is clear from these premisses that A belongs to no B. Similarly if has been proved not to belong to all B. For the hypothesis is that A belongs to all B; and the original premisses are that C belongs to all A but not to all B. Similarly too, if the premiss CA should be negative: for thus also we have the middle figure. Again suppose it has been proved that A belongs to some B. The hypothesis here is that is that A belongs to no B; and the original premisses that B belongs to all C, and A either to all or to some C: for in this way we shall get what is impossible. But if A and B belong to all C, we have the last figure. And it is clear from these premisses that A must belong to some B. Similarly if B or A should be assumed to belong to some C.	PRIOR ANALYTICS Book II
Demonstration per impossibile differs from ostensive proof in that it posits what it wishes to refute by reduction to a statement admitted to be false; whereas ostensive proof starts from admitted positions. Both, indeed, take two premisses that are admitted, but the latter takes the premisses from which the syllogism starts, the former takes one of these, along with the contradictory of the original conclusion. Also in the ostensive proof it is not necessary that the conclusion should be known, nor that one should suppose beforehand that it is true or not: in the other it is necessary to suppose beforehand that it is not true. It makes no difference whether the conclusion is affirmative or negative; the method is the same in both cases. Everything which is concluded ostensively can be proved per impossibile, and that which is proved per impossibile can be proved ostensively, through the same terms. Whenever the syllogism is formed in the first figure, the truth will be found in the middle or the last figure, if negative in the middle, if affirmative in the last. Whenever the syllogism is formed in the middle figure, the truth will be found in the first, whatever the problem may be. Whenever the syllogism is formed in the last figure, the truth will be found in the first and middle figures, if affirmative in first, if negative in the middle. Suppose that A has been proved to belong to no B, or not to all B, through the first figure. Then the hypothesis must have been that A belongs to some B, and the original premisses that C belongs to all A and to no B. For thus the syllogism was made and the impossible conclusion reached. But this is the middle figure, if C belongs to all A and to no B. And it is clear from these premisses that A belongs to no B. Similarly if has been proved not to belong to all B. For the hypothesis is that A belongs to all B; and the original premisses are that C belongs to all A but not to all B. Similarly too, if the premiss CA should be negative: for thus also we have the middle figure. Again suppose it has been proved that A belongs to some B. The hypothesis here is that is that A belongs to no B; and the original premisses that B belongs to all C, and A either to all or to some C: for in this way we shall get what is impossible. But if A and B belong to all C, we have the last figure. And it is clear from these premisses that A must belong to some B. Similarly if B or A should be assumed to belong to some C.	PRIOR ANALYTICS Book II
In what figure it is possible to draw a conclusion from premisses which are opposed, and in what figure this is not possible, will be made clear in this way. Verbally four kinds of opposition are possible, viz. universal affirmative to universal negative, universal affirmative to particular negative, particular affirmative to universal negative, and particular affirmative to particular negative: but really there are only three: for the particular affirmative is only verbally opposed to the particular negative. Of the genuine opposites I call those which are universal contraries, the universal affirmative and the universal negative, e.g. 'every science is good', 'no science is good'; the others I call contradictories.	PRIOR ANALYTICS Book II
In what figure it is possible to draw a conclusion from premisses which are opposed, and in what figure this is not possible, will be made clear in this way. Verbally four kinds of opposition are possible, viz. universal affirmative to universal negative, universal affirmative to particular negative, particular affirmative to universal negative, and particular affirmative to particular negative: but really there are only three: for the particular affirmative is only verbally opposed to the particular negative. Of the genuine opposites I call those which are universal contraries, the universal affirmative and the universal negative, e.g. 'every science is good', 'no science is good'; the others I call contradictories.	PRIOR ANALYTICS Book II
In what figure it is possible to draw a conclusion from premisses which are opposed, and in what figure this is not possible, will be made clear in this way. Verbally four kinds of opposition are possible, viz. universal affirmative to universal negative, universal affirmative to particular negative, particular affirmative to universal negative, and particular affirmative to particular negative: but really there are only three: for the particular affirmative is only verbally opposed to the particular negative. Of the genuine opposites I call those which are universal contraries, the universal affirmative and the universal negative, e.g. 'every science is good', 'no science is good'; the others I call contradictories.	PRIOR ANALYTICS Book II
In what figure it is possible to draw a conclusion from premisses which are opposed, and in what figure this is not possible, will be made clear in this way. Verbally four kinds of opposition are possible, viz. universal affirmative to universal negative, universal affirmative to particular negative, particular affirmative to universal negative, and particular affirmative to particular negative: but really there are only three: for the particular affirmative is only verbally opposed to the particular negative. Of the genuine opposites I call those which are universal contraries, the universal affirmative and the universal negative, e.g. 'every science is good', 'no science is good'; the others I call contradictories.	PRIOR ANALYTICS Book II
In what figure it is possible to draw a conclusion from premisses which are opposed, and in what figure this is not possible, will be made clear in this way. Verbally four kinds of opposition are possible, viz. universal affirmative to universal negative, universal affirmative to particular negative, particular affirmative to universal negative, and particular affirmative to particular negative: but really there are only three: for the particular affirmative is only verbally opposed to the particular negative. Of the genuine opposites I call those which are universal contraries, the universal affirmative and the universal negative, e.g. 'every science is good', 'no science is good'; the others I call contradictories.	PRIOR ANALYTICS Book II
In what figure it is possible to draw a conclusion from premisses which are opposed, and in what figure this is not possible, will be made clear in this way. Verbally four kinds of opposition are possible, viz. universal affirmative to universal negative, universal affirmative to particular negative, particular affirmative to universal negative, and particular affirmative to particular negative: but really there are only three: for the particular affirmative is only verbally opposed to the particular negative. Of the genuine opposites I call those which are universal contraries, the universal affirmative and the universal negative, e.g. 'every science is good', 'no science is good'; the others I call contradictories.	PRIOR ANALYTICS Book II
In the first figure no syllogism whether affirmative or negative can be made out of opposed premisses: no affirmative syllogism is possible because both premisses must be affirmative, but opposites are, the one affirmative, the other negative: no negative syllogism is possible because opposites affirm and deny the same predicate of the same subject, and the middle term in the first figure is not predicated of both extremes, but one thing is denied of it, and it is affirmed of something else: but such premisses are not opposed.	PRIOR ANALYTICS Book II
In the first figure no syllogism whether affirmative or negative can be made out of opposed premisses: no affirmative syllogism is possible because both premisses must be affirmative, but opposites are, the one affirmative, the other negative: no negative syllogism is possible because opposites affirm and deny the same predicate of the same subject, and the middle term in the first figure is not predicated of both extremes, but one thing is denied of it, and it is affirmed of something else: but such premisses are not opposed.	PRIOR ANALYTICS Book II
In the first figure no syllogism whether affirmative or negative can be made out of opposed premisses: no affirmative syllogism is possible because both premisses must be affirmative, but opposites are, the one affirmative, the other negative: no negative syllogism is possible because opposites affirm and deny the same predicate of the same subject, and the middle term in the first figure is not predicated of both extremes, but one thing is denied of it, and it is affirmed of something else: but such premisses are not opposed.	PRIOR ANALYTICS Book II
In the first figure no syllogism whether affirmative or negative can be made out of opposed premisses: no affirmative syllogism is possible because both premisses must be affirmative, but opposites are, the one affirmative, the other negative: no negative syllogism is possible because opposites affirm and deny the same predicate of the same subject, and the middle term in the first figure is not predicated of both extremes, but one thing is denied of it, and it is affirmed of something else: but such premisses are not opposed.	PRIOR ANALYTICS Book II
In the middle figure a syllogism can be made both oLcontradictories and of contraries. Let A stand for good, let B and C stand for science. If then one assumes that every science is good, and no science is good, A belongs to all B and to no C, so that B belongs to no C: no science then is a science. Similarly if after taking 'every science is good' one took 'the science of medicine is not good'; for A belongs to all B but to no C, so that a particular science will not be a science. Again, a particular science will not be a science if A belongs to all C but to no B, and B is science, C medicine, and A supposition: for after taking 'no science is supposition', one has assumed that a particular science is supposition. This syllogism differs from the preceding because the relations between the terms are reversed: before, the affirmative statement concerned B, now it concerns C. Similarly if one premiss is not universal: for the middle term is always that which is stated negatively of one extreme, and affirmatively of the other. Consequently it is possible that contradictories may lead to a conclusion, though not always or in every mood, but only if the terms subordinate to the middle are such that they are either identical or related as whole to part. Otherwise it is impossible: for the premisses cannot anyhow be either contraries or contradictories.	PRIOR ANALYTICS Book II
In the third figure an affirmative syllogism can never be made out of opposite premisses, for the reason given in reference to the first figure; but a negative syllogism is possible whether the terms are universal or not. Let B and C stand for science, A for medicine. If then one should assume that all medicine is science and that no medicine is science, he has assumed that B belongs to all A and C to no A, so that a particular science will not be a science. Similarly if the premiss BA is not assumed universally. For if some medicine is science and again no medicine is science, it results that some science is not science, The premisses are contrary if the terms are taken universally; if one is particular, they are contradictory.	PRIOR ANALYTICS Book II
We must recognize that it is possible to take opposites in the way we said, viz. 'all science is good' and 'no science is good' or 'some science is not good'. This does not usually escape notice. But it is possible to establish one part of a contradiction through other premisses, or to assume it in the way suggested in the Topics. Since there are three oppositions to affirmative statements, it follows that opposite statements may be assumed as premisses in six ways; we may have either universal affirmative and negative, or universal affirmative and particular negative, or particular affirmative and universal negative, and the relations between the terms may be reversed; e.g. A may belong to all B and to no C, or to all C and to no B, or to all of the one, not to all of the other; here too the relation between the terms may be reversed. Similarly in the third figure. So it is clear in how many ways and in what figures a syllogism can be made by means of premisses which are opposed.	PRIOR ANALYTICS Book II
We must recognize that it is possible to take opposites in the way we said, viz. 'all science is good' and 'no science is good' or 'some science is not good'. This does not usually escape notice. But it is possible to establish one part of a contradiction through other premisses, or to assume it in the way suggested in the Topics. Since there are three oppositions to affirmative statements, it follows that opposite statements may be assumed as premisses in six ways; we may have either universal affirmative and negative, or universal affirmative and particular negative, or particular affirmative and universal negative, and the relations between the terms may be reversed; e.g. A may belong to all B and to no C, or to all C and to no B, or to all of the one, not to all of the other; here too the relation between the terms may be reversed. Similarly in the third figure. So it is clear in how many ways and in what figures a syllogism can be made by means of premisses which are opposed.	PRIOR ANALYTICS Book II
We must recognize that it is possible to take opposites in the way we said, viz. 'all science is good' and 'no science is good' or 'some science is not good'. This does not usually escape notice. But it is possible to establish one part of a contradiction through other premisses, or to assume it in the way suggested in the Topics. Since there are three oppositions to affirmative statements, it follows that opposite statements may be assumed as premisses in six ways; we may have either universal affirmative and negative, or universal affirmative and particular negative, or particular affirmative and universal negative, and the relations between the terms may be reversed; e.g. A may belong to all B and to no C, or to all C and to no B, or to all of the one, not to all of the other; here too the relation between the terms may be reversed. Similarly in the third figure. So it is clear in how many ways and in what figures a syllogism can be made by means of premisses which are opposed.	PRIOR ANALYTICS Book II
We must recognize that it is possible to take opposites in the way we said, viz. 'all science is good' and 'no science is good' or 'some science is not good'. This does not usually escape notice. But it is possible to establish one part of a contradiction through other premisses, or to assume it in the way suggested in the Topics. Since there are three oppositions to affirmative statements, it follows that opposite statements may be assumed as premisses in six ways; we may have either universal affirmative and negative, or universal affirmative and particular negative, or particular affirmative and universal negative, and the relations between the terms may be reversed; e.g. A may belong to all B and to no C, or to all C and to no B, or to all of the one, not to all of the other; here too the relation between the terms may be reversed. Similarly in the third figure. So it is clear in how many ways and in what figures a syllogism can be made by means of premisses which are opposed.	PRIOR ANALYTICS Book II
If then begging the question is proving what is not self-evident by means of itself, in other words failing to prove when the failure is due to the thesis to be proved and the premiss through which it is proved being equally uncertain, either because predicates which are identical belong to the same subject, or because the same predicate belongs to subjects which are identical, the question may be begged in the middle and third figures in both ways, though, if the syllogism is affirmative, only in the third and first figures. If the syllogism is negative, the question is begged when identical predicates are denied of the same subject; and both premisses do not beg the question indifferently (in a similar way the question may be begged in the middle figure), because the terms in negative syllogisms are not convertible. In scientific demonstrations the question is begged when the terms are really related in the manner described, in dialectical arguments when they are according to common opinion so related.	PRIOR ANALYTICS Book II
Since we know when a syllogism can be formed and how its terms must be related, it is clear when refutation will be possible and when impossible. A refutation is possible whether everything is conceded, or the answers alternate (one, I mean, being affirmative, the other negative). For as has been shown a syllogism is possible whether the terms are related in affirmative propositions or one proposition is affirmative, the other negative: consequently, if what is laid down is contrary to the conclusion, a refutation must take place: for a refutation is a syllogism which establishes the contradictory. But if nothing is conceded, a refutation is impossible: for no syllogism is possible (as we saw) when all the terms are negative: therefore no refutation is possible. For if a refutation were possible, a syllogism must be possible; although if a syllogism is possible it does not follow that a refutation is possible. Similarly refutation is not possible if nothing is conceded universally: since the fields of refutation and syllogism are defined in the same way.	PRIOR ANALYTICS Book II
Since we know when a syllogism can be formed and how its terms must be related, it is clear when refutation will be possible and when impossible. A refutation is possible whether everything is conceded, or the answers alternate (one, I mean, being affirmative, the other negative). For as has been shown a syllogism is possible whether the terms are related in affirmative propositions or one proposition is affirmative, the other negative: consequently, if what is laid down is contrary to the conclusion, a refutation must take place: for a refutation is a syllogism which establishes the contradictory. But if nothing is conceded, a refutation is impossible: for no syllogism is possible (as we saw) when all the terms are negative: therefore no refutation is possible. For if a refutation were possible, a syllogism must be possible; although if a syllogism is possible it does not follow that a refutation is possible. Similarly refutation is not possible if nothing is conceded universally: since the fields of refutation and syllogism are defined in the same way.	PRIOR ANALYTICS Book II
Since we know when a syllogism can be formed and how its terms must be related, it is clear when refutation will be possible and when impossible. A refutation is possible whether everything is conceded, or the answers alternate (one, I mean, being affirmative, the other negative). For as has been shown a syllogism is possible whether the terms are related in affirmative propositions or one proposition is affirmative, the other negative: consequently, if what is laid down is contrary to the conclusion, a refutation must take place: for a refutation is a syllogism which establishes the contradictory. But if nothing is conceded, a refutation is impossible: for no syllogism is possible (as we saw) when all the terms are negative: therefore no refutation is possible. For if a refutation were possible, a syllogism must be possible; although if a syllogism is possible it does not follow that a refutation is possible. Similarly refutation is not possible if nothing is conceded universally: since the fields of refutation and syllogism are defined in the same way.	PRIOR ANALYTICS Book II
Whenever the extremes are convertible it is necessary that the middle should be convertible with both. For if A belongs to C through B, then if A and C are convertible and C belongs everything to which A belongs, B is convertible with A, and B belongs to everything to which A belongs, through C as middle, and C is convertible with B through A as middle. Similarly if the conclusion is negative, e.g. if B belongs to C, but A does not belong to B, neither will A belong to C. If then B is convertible with A, C will be convertible with A. Suppose B does not belong to A; neither then will C: for ex hypothesi B belonged to all C. And if C is convertible with B, B is convertible also with A, for C is said of that of all of which B is said. And if C is convertible in relation to A and to B, B also is convertible in relation to A. For C belongs to that to which B belongs: but C does not belong to that to which A belongs. And this alone starts from the conclusion; the preceding moods do not do so as in the affirmative syllogism. Again if A and B are convertible, and similarly C and D, and if A or C must belong to anything whatever, then B and D will be such that one or other belongs to anything whatever. For since B belongs to that to which A belongs, and D belongs to that to which C belongs, and since A or C belongs to everything, but not together, it is clear that B or D belongs to everything, but not together. For example if that which is uncreated is incorruptible and that which is incorruptible is uncreated, it is necessary that what is created should be corruptible and what is corruptible should have been created. For two syllogisms have been put together. Again if A or B belongs to everything and if C or D belongs to everything, but they cannot belong together, then when A and C are convertible B and D are convertible. For if B does not belong to something to which D belongs, it is clear that A belongs to it. But if A then C: for they are convertible. Therefore C and D belong together. But this is impossible. When A belongs to the whole of B and to C and is affirmed of nothing else, and B also belongs to all C, it is necessary that A and B should be convertible: for since A is said of B and C only, and B is affirmed both of itself and of C, it is clear that B will be said of everything of which A is said, except A itself. Again when A and B belong to the whole of C, and C is convertible with B, it is necessary that A should belong to all B: for since A belongs to all C, and C to B by conversion, A will belong to all B.	PRIOR ANALYTICS Book II
An objection is a premiss contrary to a premiss. It differs from a premiss, because it may be particular, but a premiss either cannot be particular at all or not in universal syllogisms. An objection is brought in two ways and through two figures; in two ways because every objection is either universal or particular, by two figures because objections are brought in opposition to the premiss, and opposites can be proved only in the first and third figures. If a man maintains a universal affirmative, we reply with a universal or a particular negative; the former is proved from the first figure, the latter from the third. For example let stand for there being a single science, B for contraries. If a man premises that contraries are subjects of a single science, the objection may be either that opposites are never subjects of a single science, and contraries are opposites, so that we get the first figure, or that the knowable and the unknowable are not subjects of a single science: this proof is in the third figure: for it is true of C (the knowable and the unknowable) that they are contraries, and it is false that they are the subjects of a single science.	PRIOR ANALYTICS Book II
If the objection is particular, the objector must frame his contradiction with reference to a term relatively to which the subject of his opponent's premiss is universal, e.g. he will point out that the knowable and the unknowable are not subjects of the same science: 'contraries' is universal relatively to these. And we have the third figure: for the particular term assumed is middle, e.g. the knowable and the unknowable. Premisses from which it is possible to draw the contrary conclusion are what we start from when we try to make objections. Consequently we bring objections in these figures only: for in them only are opposite syllogisms possible, since the second figure cannot produce an affirmative conclusion.	PRIOR ANALYTICS Book II
Here, again, we have our first principle of selection of Enthymemes — that which refers to the lines of argument selected. We will now consider the various elementary classes of enthymemes. (By an 'elementary class' of enthymeme I mean the same thing as a 'line of argument'.) We will begin, as we must begin, by observing that there are two kinds of enthymemes. One kind proves some affirmative or negative proposition; the other kind disproves one. The difference between the two kinds is the same as that between syllogistic proof and disproof in dialectic. The demonstrative enthymeme is formed by the conjunction of compatible propositions; the refutative, by the conjunction of incompatible propositions.	RHETORIC Book II
Thirdly (c) look from the point of view of the subjects taken by themselves, and see, for destructive purposes, if the property rendered is a property of the positive subject: for then the same term will not be a property of the negative subject as well. Also, if the term rendered be a property of the negative subject, it will not be a property of the positive. Thus (e.g.) inasmuch as 'animate' is a property of 'living creature', 'animate' could not be a property of 'not-living creature'. For constructive purposes, on the other hand, if the term rendered fails to be a property of the affirmative subject it would be a property of the negative. This commonplace rule is, however, deceptive: for a positive term is not a property of a negative, or a negative of a positive. For a positive term does not belong at all to a negative, while a negative term, though it belongs to a positive, does not belong as a property.	TOPICS Book V