18
A false argument depends on the first false statement in it. Every syllogism is made out of two or more premisses. If then the false conclusion is drawn from two premisses, one or both of them must be false: for (as we proved) a false syllogism cannot be drawn from two premisses. But if the premisses are more than two, e.g. if C is established through A and B, and these through D, E, F, and G, one of these higher propositions must be false, and on this the argument depends: for A and B are inferred by means of D, E, F, and G. Therefore the conclusion and the error results from one of them.
19
In order to avoid having a syllogism drawn against us we must take care, whenever an opponent asks us to admit the reason without the conclusions, not to grant him the same term twice over in his premisses, since we know that a syllogism cannot be drawn without a middle term, and that term which is stated more than once is the middle. How we ought to watch the middle in reference to each conclusion, is evident from our knowing what kind of thesis is proved in each figure. This will not escape us since we know how we are maintaining the argument.
That which we urge men to beware of in their admissions, they ought in attack to try to conceal. This will be possible first, if, instead of drawing the conclusions of preliminary syllogisms, they take the necessary premisses and leave the conclusions in the dark; secondly if instead of inviting assent to propositions which are closely connected they take as far as possible those that are not connected by middle terms. For example suppose that A is to be inferred to be true of F, B, C, D, and E being middle terms. One ought then to ask whether A belongs to B, and next whether D belongs to E, instead of asking whether B belongs to C; after that he may ask whether B belongs to C, and so on. If the syllogism is drawn through one middle term, he ought to begin with that: in this way he will most likely deceive his opponent.
20
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).
148
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.
21
It sometimes happens that just as we are deceived in the arrangement of the terms, so error may arise in our thought about them, e.g. if it is possible that the same predicate should belong to more than one subject immediately, but although knowing the one, a man may forget the other and think the opposite true. Suppose that A belongs to B and to C in virtue of their nature, and that B and C belong to all D in the same way. If then a man thinks that A belongs to all B, and B to D, but A to no C, and C to all D, he will both know and not know the same thing in respect of the same thing. Again if a man were to make a mistake about the members of a single series; e.g. suppose A belongs to B, B to C, and C to D, but some one thinks that A belongs to all B, but to no C: he will both know that A belongs to D, and think that it does not. Does he then maintain after this simply that what he knows, he does not think? For he knows in a way that A belongs to C through B, since the part is included in the whole; so that what he knows in a way, this he maintains he does not think at all: but that is impossible.
In the former case, where the middle term does not belong to the same series, it is not possible to think both the premisses with reference to each of the two middle terms: e.g. that A belongs to all B, but to no C, and both B and C belong to all D. For it turns out that the first premiss of the one syllogism is either wholly or partially contrary to the first premiss of the other. For if he thinks that A belongs to everything to which B belongs, and he knows that B belongs to D, then he knows that A belongs to D. Consequently if again he thinks that A belongs to nothing to which C belongs, he thinks that A does not belong to some of that to which B
belongs; but if he thinks that A belongs to everything to which B belongs, and again thinks that A does not belong to some of that to which B
149
belongs, these beliefs are wholly or partially contrary. In this way then it is not possible to think; but nothing prevents a man thinking one premiss of each syllogism of both premisses of one of the two syllogisms: e.g. A belongs to all B, and B to D, and again A belongs to no C. An error of this kind is similar to the error into which we fall concerning particulars: e.g.
if A belongs to all B, and B to all C, A will belong to all C. If then a man knows that A belongs to everything to which B belongs, he knows that A belongs to C. But nothing prevents his being ignorant that C exists; e.g.
let A stand for two right angles, B for triangle, C for a particular diagram of a triangle. A man might think that C did not exist, though he knew that every triangle contains two right angles; consequently he will know and not know the same thing at the same time. For the expression ‘to know that every triangle has its angles equal to two right angles’ is ambiguous, meaning to have the knowledge either of the universal or of the particulars. Thus then he knows that C contains two right angles with a knowledge of the universal, but not with a knowledge of the particulars; consequently his knowledge will not be contrary to his ignorance. The argument in the Meno that learning is recollection may be criticized in a similar way. For it never happens that a man starts with a foreknow-ledge of the particular, but along with the process of being led to see the general principle he receives a knowledge of the particulars, by an act (as it were) of recognition. For we know some things directly; e.g. that the angles are equal to two right angles, if we know that the figure is a triangle. Similarly in all other cases.
By a knowledge of the universal then we see the particulars, but we do not know them by the kind of knowledge which is proper to them; consequently it is possible that we may make mistakes about them, but not that we should have the knowledge and error that are contrary to one another: rather we have the knowledge of the universal but make a mistake in apprehending the particular. Similarly in the cases stated above.
The error in respect of the middle term is not contrary to the knowledge obtained through the syllogism, nor is the thought in respect of one middle term contrary to that in respect of the other. Nothing prevents a man who knows both that A belongs to the whole of B, and that B again belongs to C, thinking that A does not belong to C, e.g. knowing that every mule is sterile and that this is a mule, and thinking that this animal is with foal: for he does not know that A belongs to C, unless he considers the two propositions together. So it is evident that if he knows the one and does not know the other, he will fall into error. And this is the relation of knowledge of the universal to knowledge of the particular.
150
For we know no sensible thing, once it has passed beyond the range of our senses, even if we happen to have perceived it, except by means of the universal and the possession of the knowledge which is proper to the particular, but without the actual exercise of that knowledge. For to know is used in three senses: it may mean either to have knowledge of the universal or to have knowledge proper to the matter in hand or to exercise such knowledge: consequently three kinds of error also are possible. Nothing then prevents a man both knowing and being mistaken about the same thing, provided that his knowledge and his error are not contrary. And this happens also to the man whose knowledge is limited to each of the premisses and who has not previously considered the particular question. For when he thinks that the mule is with foal he has not the knowledge in the sense of its actual exercise, nor on the other hand has his thought caused an error contrary to his knowledge: for the error contrary to the knowledge of the universal would be a syllogism.
But he who thinks the essence of good is the essence of bad will think the same thing to be the essence of good and the essence of bad. Let A stand for the essence of good and B for the essence of bad, and again C
for the essence of good. Since then he thinks B and C identical, he will think that C is B, and similarly that B is A, consequently that C is A. For just as we saw that if B is true of all of which C is true, and A is true of all of which B is true, A is true of C, similarly with the word ‘think’. Similarly also with the word ‘is’; for we saw that if C is the same as B, and B as A, C is the same as A. Similarly therefore with ‘opine’. Perhaps then this is necessary if a man will grant the first point. But presumably that is false, that any one could suppose the essence of good to be the essence of bad, save incidentally. For it is possible to think this in many different ways. But we must consider this matter better.
22
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
151
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.
When, of two opposites A and B, A is preferable to B, and similarly D
is preferable to C, then if A and C together are preferable to B and D together, A must be preferable to D. For A is an object of desire to the same extent as B is an object of aversion, since they are opposites: and C is similarly related to D, since they also are opposites. If then A is an object of desire to the same extent as D, B is an object of aversion to the same extent as C (since each is to the same extent as each-the one an object of aversion, the other an object of desire). Therefore both A and C together, and B and D together, will be equally objects of desire or aversion. But since A and C are preferable to B and D, A cannot be equally desirable with D; for then B along with D would be equally desirable with A along with C. But if D is preferable to A, then B must be less an object of aversion than C: for the less is opposed to the less. But the greater good and lesser evil are preferable to the lesser good and greater evil: the whole 152
BD then is preferable to the whole AC. But ex hypothesi this is not so. A then is preferable to D, and C consequently is less an object of aversion than B. If then every lover in virtue of his love would prefer A, viz. that the beloved should be such as to grant a favour, and yet should not grant it (for which C stands), to the beloved’s granting the favour (represented by D) without being such as to grant it (represented by B), it is clear that A (being of such a nature) is preferable to granting the favour. To receive affection then is preferable in love to sexual intercourse. Love then is more dependent on friendship than on intercourse. And if it is most dependent on receiving affection, then this is its end. Intercourse then either is not an end at all or is an end relative to the further end, the receiving of affection. And indeed the same is true of the other desires and arts.
23
It is clear then how the terms are related in conversion, and in respect of being in a higher degree objects of aversion or of desire. We must now state that not only dialectical and demonstrative syllogisms are formed by means of the aforesaid figures, but also rhetorical syllogisms and in general any form of persuasion, however it may be presented. For every belief comes either through syllogism or from induction.
Now induction, or rather the syllogism which springs out of induction, consists in establishing syllogistically a relation between one extreme and the middle by means of the other extreme, e.g. if B is the middle term between A and C, it consists in proving through C that A belongs to B. For this is the manner in which we make inductions. For example let A stand for long-lived, B for bileless, and C for the particular long-lived animals, e.g. man, horse, mule. A then belongs to the whole of C: for whatever is bileless is long-lived. But B also (’not possessing bile’) belongs to all C. If then C is convertible with B, and the middle term is not wider in extension, it is necessary that A should belong to B. For it has already been proved that if two things belong to the same thing, and the extreme is convertible with one of them, then the other predicate will belong to the predicate that is converted. But we must apprehend C as made up of all the particulars. For induction proceeds through an enumeration of all the cases.
Such is the syllogism which establishes the first and immediate premiss: for where there is a middle term the syllogism proceeds through the middle term; when there is no middle term, through induction. And in a way induction is opposed to syllogism: for the latter 153
proves the major term to belong to the third term by means of the middle, the former proves the major to belong to the middle by means of the third. In the order of nature, syllogism through the middle term is prior and better known, but syllogism through induction is clearer to us.
24
We have an ‘example’ when the major term is proved to belong to the middle by means of a term which resembles the third. It ought to be known both that the middle belongs to the third term, and that the first belongs to that which resembles the third. For example let A be evil, B
making war against neighbours, C Athenians against Thebans, D
Thebans against Phocians. If then we wish to prove that to fight with the Thebans is an evil, we must assume that to fight against neighbours is an evil. Evidence of this is obtained from similar cases, e.g. that the war against the Phocians was an evil to the Thebans. Since then to fight against neighbours is an evil, and to fight against the Thebans is to fight against neighbours, it is clear that to fight against the Thebans is an evil.
Now it is clear that B belongs to C and to D (for both are cases of making war upon one’s neighbours) and that A belongs to D (for the war against the Phocians did not turn out well for the Thebans): but that A belongs to B will be proved through D. Similarly if the belief in the relation of the middle term to the extreme should be produced by several similar cases.
Clearly then to argue by example is neither like reasoning from part to whole, nor like reasoning from whole to part, but rather reasoning from part to part, when both particulars are subordinate to the same term, and one of them is known. It differs from induction, because induction starting from all the particular cases proves (as we saw) that the major term belongs to the middle, and does not apply the syllogistic conclusion to the minor term, whereas argument by example does make this application and does not draw its proof from all the particular cases.
25
By reduction we mean an argument in which the first term clearly belongs to the middle, but the relation of the middle to the last term is uncertain though equally or more probable than the conclusion; or again an argument in which the terms intermediate between the last term and the middle are few. For in any of these cases it turns out that we approach more nearly to knowledge. For example let A stand for what can be taught, B for knowledge, C for justice. Now it is clear that knowledge can 154
be taught: but it is uncertain whether virtue is knowledge. If now the statement BC is equally or more probable than AC, we have a reduction: for we are nearer to knowledge, since we have taken a new term, being so far without knowledge that A belongs to C. Or again suppose that the terms intermediate between B and C are few: for thus too we are nearer knowledge. For example let D stand for squaring, E for rectilinear figure, F for circle. If there were only one term intermediate between E and F
(viz. that the circle is made equal to a rectilinear figure by the help of lunules), we should be near to knowledge. But when BC is not more probable than AC, and the intermediate terms are not few, I do not call this reduction: nor again when the statement BC is immediate: for such a statement is knowledge.
26
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.
Similarly if the premiss objected to is negative. For if a man maintains that contraries are not subjects of a single science, we reply either that all opposites or that certain contraries, e.g. what is healthy and what is sickly, are subjects of the same science: the former argument issues from the first, the latter from the third figure.
In general if a man urges a universal objection he must frame his contradiction with reference to the universal of the terms taken by his opponent, e.g. if a man maintains that contraries are not subjects of the same science, his opponent must reply that there is a single science of all 155
opposites. Thus we must have the first figure: for the term which embraces the original subject becomes the middle term.
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.
Besides, an objection in the middle figure would require a fuller argument, e.g. if it should not be granted that A belongs to B, because C does not follow B. This can be made clear only by other premisses. But an objection ought not to turn off into other things, but have its new premiss quite clear immediately. For this reason also this is the only figure from which proof by signs cannot be obtained.
We must consider later the other kinds of objection, namely the objection from contraries, from similars, and from common opinion, and inquire whether a particular objection cannot be elicited from the first figure or a negative objection from the second.
27
A probability and a sign are not identical, but a probability is a generally approved proposition: what men know to happen or not to happen, to be or not to be, for the most part thus and thus, is a probability, e.g.
‘the envious hate’, ‘the beloved show affection’. A sign means a demonstrative proposition necessary or generally approved: for anything such that when it is another thing is, or when it has come into being the other has come into being before or after, is a sign of the other’s being or having come into being. Now an enthymeme is a syllogism starting from probabilities or signs, and a sign may be taken in three ways, corresponding to the position of the middle term in the figures. For it may be taken as in the first figure or the second or the third. For example the proof that a woman is with child because she has milk is in the first figure: for to have milk is the middle term. Let A represent to be with child, B to have milk, C woman. The proof that wise men are good, since Pittacus is good, comes through the last figure. Let A stand for good, B for wise men, C for Pittacus. It is true then to affirm both A and B of C: only 156
men do not say the latter, because they know it, though they state the former. The proof that a woman is with child because she is pale is meant to come through the middle figure: for since paleness follows women with child and is a concomitant of this woman, people suppose it has been proved that she is with child. Let A stand for paleness, B for being with child, C for woman. Now if the one proposition is stated, we have only a sign, but if the other is stated as well, a syllogism, e.g.
‘Pittacus is generous, since ambitious men are generous and Pittacus is ambitious.’ Or again ‘Wise men are good, since Pittacus is not only good but wise.’ In this way then syllogisms are formed, only that which proceeds through the first figure is irrefutable if it is true (for it is universal), that which proceeds through the last figure is refutable even if the conclusion is true, since the syllogism is not universal nor correlative to the matter in question: for though Pittacus is good, it is not therefore necessary that all other wise men should be good. But the syllogism which proceeds through the middle figure is always refutable in any case: for a syllogism can never be formed when the terms are related in this way: for though a woman with child is pale, and this woman also is pale, it is not necessary that she should be with child. Truth then may be found in signs whatever their kind, but they have the differences we have stated.
We must either divide signs in the way stated, and among them designate the middle term as the index (for people call that the index which makes us know, and the middle term above all has this character), or else we must call the arguments derived from the extremes signs, that derived from the middle term the index: for that which is proved through the first figure is most generally accepted and most true.
It is possible to infer character from features, if it is granted that the body and the soul are changed together by the natural affections: I say
‘natural’, for though perhaps by learning music a man has made some change in his soul, this is not one of those affections which are natural to us; rather I refer to passions and desires when I speak of natural emotions. If then this were granted and also that for each change there is a corresponding sign, and we could state the affection and sign proper to each kind of animal, we shall be able to infer character from features. For if there is an affection which belongs properly to an individual kind, e.g.
courage to lions, it is necessary that there should be a sign of it: for ex hypothesi body and soul are affected together. Suppose this sign is the possession of large extremities: this may belong to other kinds also though not universally. For the sign is proper in the sense stated, because the affection is proper to the whole kind, though not proper to it alone, 157
according to our usual manner of speaking. The same thing then will be found in another kind, and man may be brave, and some other kinds of animal as well. They will then have the sign: for ex hypothesi there is one sign corresponding to each affection. If then this is so, and we can collect signs of this sort in these animals which have only one affection proper to them-but each affection has its sign, since it is necessary that it should have a single sign-we shall then be able to infer character from features.
But if the kind as a whole has two properties, e.g. if the lion is both brave and generous, how shall we know which of the signs which are its proper concomitants is the sign of a particular affection? Perhaps if both belong to some other kind though not to the whole of it, and if, in those kinds in which each is found though not in the whole of their members, some members possess one of the affections and not the other: e.g. if a man is brave but not generous, but possesses, of the two signs, large extremities, it is clear that this is the sign of courage in the lion also. To judge character from features, then, is possible in the first figure if the middle term is convertible with the first extreme, but is wider than the third term and not convertible with it: e.g. let A stand for courage, B for large extremities, and C for lion. B then belongs to everything to which C
belongs, but also to others. But A belongs to everything to which B belongs, and to nothing besides, but is convertible with B: otherwise, there would not be a single sign correlative with each affection.
158
Posterior Analytics, Book I
Translated by G. R. G. Mure
1
All instruction given or received by way of argument proceeds from pre-existent knowledge. This becomes evident upon a survey of all the species of such instruction. The mathematical sciences and all other speculative disciplines are acquired in this way, and so are the two forms of dialectical reasoning, syllogistic and inductive; for each of these latter make use of old knowledge to impart new, the syllogism assuming an audience that accepts its premisses, induction exhibiting the universal as implicit in the clearly known particular. Again, the persuasion exerted by rhetorical arguments is in principle the same, since they use either example, a kind of induction, or enthymeme, a form of syllogism.
The pre-existent knowledge required is of two kinds. In some cases admission of the fact must be assumed, in others comprehension of the meaning of the term used, and sometimes both assumptions are essential. Thus, we assume that every predicate can be either truly affirmed or truly denied of any subject, and that ‘triangle’ means so and so; as regards ‘unit’ we have to make the double assumption of the meaning of the word and the existence of the thing. The reason is that these several objects are not equally obvious to us. Recognition of a truth may in some cases contain as factors both previous knowledge and also knowledge acquired simultaneously with that recognition-knowledge, this latter, of the particulars actually falling under the universal and therein already virtually known. For example, the student knew beforehand that the angles of every triangle are