7
Book I
Part 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 premises, 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 equal to two right angles; but it was only at the actual moment at which he was being led on to recognize this as true in the instance before him that he came to know ‘this figure inscribed in the semicircle’ to be a triangle. For some things (viz. the singulars finally reached which are not predicable of anything else as subject) are only learnt in this way, i.e. there is here no recognition through a middle of a minor term as subject to a major. Before he was led on to recognition or before he actually drew a conclusion, we should perhaps say that in a manner he knew, in a manner not.
If he did not in an unqualified sense of the term know the existence of this triangle, how could he know without qualification that its angles were equal to two right angles? No: clearly he knows not without qualification but only in the sense that he knows universally. If this distinction is not drawn, we are faced with the dilemma in the Meno: either a man will learn nothing or what he already knows; for we cannot accept the solution which some people offer. A man is asked, ‘Do you, or do you not, know that every pair is even?’ He says he does know it. The questioner then produces a particular pair, of the existence, and so a fortiori of the evenness, of which he was unaware. The solution which some people offer is to assert that they do not know that every pair is even, but only that everything which they know to be a pair is even: yet what they know to be even is that of which they have demonstrated evenness, i.e. what they made the subject of their premise, viz. not merely every triangle or number which they know to be such, but any and every number or triangle without reservation. For no premise is ever couched in the form ‘every number which you know to be such’, or ‘every rectilinear figure which you know to be such’: the predicate is always construed as applicable to any and every instance of the thing. On the other hand, I imagine there is nothing to prevent a man in one sense knowing what he is learning, in another not knowing it. The strange thing would be, not if in some sense he knew what he was learning, but if he were to know it in that precise sense and manner in which he was learning it.
Part 2
We suppose ourselves to possess unqualified scientific knowledge of a thing, as opposed to knowing it in the accidental way in which the sophist knows, when we think that we know the cause on which the fact depends, as the cause of that fact and of no other, and, further, that the fact could not be other than it is. Now that scientific knowing is something of this sort is evident—witness both those who falsely claim it and those who actually possess it, since the former merely imagine themselves to be, while the latter are also actually, in the condition described. Consequently the proper object of unqualified scientific knowledge is something which cannot be other than it is.
There may be another manner of knowing as well—that will be discussed later. What I now assert is that at all events we do know by demonstration. By demonstration I mean a syllogism productive of scientific knowledge, a syllogism, that is, the grasp of which is eo ipso such knowledge. Assuming then that my thesis as to the nature of scientific knowing is correct, the premises of demonstrated knowledge must be true, primary, immediate, better known than and prior to the conclusion, which is further related to them as effect to cause. Unless these conditions are satisfied, the basic truths will not be ‘appropriate’ to the conclusion. Syllogism there may indeed be without these conditions, but such syllogism, not being productive of scientific knowledge, will not be demonstration. The premises must be true: for that which is non-existent cannot be known—we cannot know, e.g. that the diagonal of a square is commensurate with its side. The premises must be primary and indemonstrable; otherwise they will require demonstration in order to be known, since to have knowledge, if it be not accidental knowledge, of things which are demonstrable, means precisely to have a demonstration of them. The premises must be the causes of the conclusion, better known than it, and prior to it; its causes, since we possess scientific knowledge of a thing only when we know its cause; prior, in order to be causes; antecedently known, this antecedent knowledge being not our mere understanding of the meaning, but knowledge of the fact as well. Now ‘prior’ and ‘better known’ are ambiguous terms, for there is a difference between what is prior and better known in the order of being and what is prior and better known to man. I mean that objects nearer to sense are prior and better known to man; objects without qualification prior and better known are those further from sense. Now the most universal causes are furthest from sense and particular causes are nearest to sense, and they are thus exactly opposed to one another. In saying that the premises of demonstrated knowledge must be primary, I mean that they must be the ‘appropriate’ basic truths, for I identify primary premise and basic truth. A ‘basic truth’ in a demonstration is an immediate proposition. An immediate proposition is one which has no other proposition prior to it. A proposition is either part of an enunciation, i.e. it predicates a single attribute of a single subject. If a proposition is dialectical, it assumes either part indifferently; if it is demonstrative, it lays down one part to the definite exclusion of the other because that part is true. The term ‘enunciation’ denotes either part of a contradiction indifferently. A contradiction is an opposition which of its own nature excludes a middle. The part of a contradiction which conjoins a predicate with a subject is an affirmation; the part disjoining them is a negation. I call an immediate basic truth of syllogism a ‘thesis’ when, though it is not susceptible of proof by the teacher, yet ignorance of it does not constitute a total bar to progress on the part of the pupil: one which the pupil must know if he is to learn anything whatever is an axiom. I call it an axiom because there are such truths and we give them the name of axioms par excellence. If a thesis assumes one part or the other of an enunciation, i.e. asserts either the existence or the non-existence of a subject, it is a hypothesis; if it does not so assert, it is a definition. Definition is a ‘thesis’ or a ‘laying something down’, since the arithmetician lays it down that to be a unit is to be quantitatively indivisible; but it is not a hypothesis, for to define what a unit is is not the same as to affirm its existence.
Now since the required ground of our knowledge—i.e. of our conviction—of a fact is the possession of such a syllogism as we call demonstration, and the ground of the syllogism is the facts constituting its premises, we must not only know the primary premises—some if not all of them—beforehand, but know them better than the conclusion: for the cause of an attribute’s inherence in a subject always itself inheres in the subject more firmly than that attribute; e.g. the cause of our loving anything is dearer to us than the object of our love. So since the primary premises are the cause of our knowledge—i.e. of our conviction—it follows that we know them better—that is, are more convinced of them—than their consequences, precisely because of our knowledge of the latter is the effect of our knowledge of the premises. Now a man cannot believe in anything more than in the things he knows, unless he has either actual knowledge of it or something better than actual knowledge. But we are faced with this paradox if a student whose belief rests on demonstration has not prior knowledge; a man must believe in some, if not in all, of the basic truths more than in the conclusion. Moreover, if a man sets out to acquire the scientific knowledge that comes through demonstration, he must not only have a better knowledge of the basic truths and a firmer conviction of them than of the connexion which is being demonstrated: more than this, nothing must be more certain or better known to him than these basic truths in their character as contradicting the fundamental premises which lead to the opposed and erroneous conclusion. For indeed the conviction of pure science must be unshakable.
Part 13
Knowledge of the fact differs from knowledge of the reasoned fact. To begin with, they differ within the same science and in two ways: (1) when the premises of the syllogism are not immediate (for then the proximate cause is not contained in them—a necessary condition of knowledge of the reasoned fact): (2) when the premises are immediate, but instead of the cause the better known of the two reciprocals is taken as the middle; for of two reciprocally predicable terms the one which is not the cause may quite easily be the better known and so become the middle term of the demonstration. Thus (2, a) you might prove as follows that the planets are near because they do not twinkle: let C be the planets, B not twinkling, A proximity. Then B is predicable of C; for the planets do not twinkle. But A is also predicable of B, since that which does not twinkle is near—we must take this truth as having been reached by induction or sense-perception. Therefore A is a necessary predicate of C; so that we have demonstrated that the planets are near. This syllogism, then, proves not the reasoned fact but only the fact; since they are not near because they do not twinkle, but, because they are near, do not twinkle. The major and middle of the proof, however, may be reversed, and then the demonstration will be of the reasoned fact. Thus: let C be the planets, B proximity, A not twinkling. Then B is an attribute of C, and A—not twinkling—of B. Consequently A is predicable of C, and the syllogism proves the reasoned fact, since its middle term is the proximate cause. Another example is the inference that the moon is spherical from its manner of waxing. Thus: since that which so waxes is spherical, and since the moon so waxes, clearly the moon is spherical. Put in this form, the syllogism turns out to be proof of the fact, but if the middle and major be reversed it is proof of the reasoned fact; since the moon is not spherical because it waxes in a certain manner, but waxes in such a manner because it is spherical. (Let C be the moon, B spherical, and A waxing.) Again (b), in cases where the cause and the effect are not reciprocal and the effect is the better known, the fact is demonstrated but not the reasoned fact. This also occurs (1) when the middle falls outside the major and minor, for here too the strict cause is not given, and so the demonstration is of the fact, not of the reasoned fact. For example, the question ‘Why does not a wall breathe?’ might be answered, ‘Because it is not an animal’; but that answer would not give the strict cause, because if not being an animal causes the absence of respiration, then being an animal should be the cause of respiration, according to the rule that if the negation of causes the non-inherence of y, the affirmation of x causes the inherence of y; e.g. if the disproportion of the hot and cold elements is the cause of ill health, their proportion is the cause of health; and conversely, if the assertion of x causes the inherence of y, the negation of x must cause y’s non-inherence. But in the case given this consequence does not result; for not every animal breathes. A syllogism with this kind of cause takes place in the second figure. Thus: let A be animal, B respiration, C wall. Then A is predicable of all B (for all that breathes is animal), but of no C; and consequently B is predicable of no C; that is, the wall does not breathe. Such causes are like far-fetched explanations, which precisely consist in making the cause too remote, as in Anacharsis’s account of why the Scythians have no flute-players; namely because they have no vines.
Thus, then, do the syllogism of the fact and the syllogism of the reasoned fact differ within one science and according to the position of the middle terms. But there is another way too in which the fact and the reasoned fact differ, and that is when they are investigated respectively by different sciences. This occurs in the case of problems related to one another as subordinate and superior, as when optical problems are subordinated to geometry, mechanical problems to stereometry, harmonic problems to arithmetic, the data of observation to astronomy. (Some of these sciences bear almost the same name; e.g. mathematical and nautical astronomy, mathematical and acoustical harmonics.) Here it is the business of the empirical observers to know the fact, of the mathematicians to know the reasoned fact; for the latter are in possession of the demonstrations giving the causes, and are often ignorant of the fact: just as we have often a clear insight into a universal, but through lack of observation are ignorant of some of its particular instances. These connexions have a perceptible existence though they are manifestations of forms. For the mathematical sciences concern forms: they do not demonstrate properties of a substratum, since, even though the geometrical subjects are predicable as properties of a perceptible substratum, it is not as thus predicable that the mathematician demonstrates properties of them. As optics is related to geometry, so another science is related to optics, namely the theory of the rainbow. Here knowledge of the fact is within the province of the natural philosopher, knowledge of the reasoned fact within that of the optician, either qua optician or qua mathematical optician. Many sciences not standing in this mutual relation enter into it at points; e.g. medicine and geometry: it is the physician’s business to know that circular wounds heal more slowly, the geometer’s to know the reason why.
Translated by G. R. G. Mure
Reading and Discussion Questions
1.What is induction? What is deduction?
2.Explain what Aristotle means by a scientific deduction and what would be involved in giving a demonstration. Explain how his discussion of why the planets do not twinkle serves as an example of Aristotelian demonstration.
3.Notice at the end of the reading what kinds of disciplines are available and well developed in his period.