26.
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 a.s.sumed, 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 a.s.sume 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.
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 const.i.tuents 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.
27.
The science which is knowledge at once of the fact and of the reasoned fact, not of the fact by itself without the reasoned fact, is the more exact and the prior science.
A science such as arithmetic, which is not a science of properties qua inhering in a substratum, is more exact than and prior to a science like harmonics, which is a science of pr,operties inhering in a substratum; and similarly a science like arithmetic, which is const.i.tuted of fewer basic elements, is more exact than and prior to geometry, which requires additional elements. What I mean by "additional elements" is this: a unit is substance without position, while a point is substance with position; the latter contains an additional element.
28.
A single science is one whose domain is a single genus, viz. all the subjects const.i.tuted out of the primary ent.i.ties of the genus-i.e. the parts of this total subject-and their essential properties.
One science differs from another when their basic truths have neither a common source nor are derived those of the one science from those the other. This is verified when we reach the indemonstrable premisses of a science, for they must be within one genus with its conclusions: and this again is verified if the conclusions proved by means of them fall within one genus-i.e. are h.o.m.ogeneous.
29.
One can have several demonstrations of the same connexion not only by taking from the same series of predication middles which are other than the immediately cohering term e.g. by taking C, D, and F severally to prove A-B--but also by taking a middle from another series. Thus let A be change, D alteration of a property, B feeling pleasure, and G relaxation. We can then without falsehood predicate D of B and A of D, for he who is pleased suffers alteration of a property, and that which alters a property changes. Again, we can predicate A of G without falsehood, and G of B; for to feel pleasure is to relax, and to relax is to change. So the conclusion can be drawn through middles which are different, i.e. not in the same series-yet not so that neither of these middles is predicable of the other, for they must both be attributable to some one subject.
A further point worth investigating is how many ways of proving the same conclusion can be obtained by varying the figure,
30.
There is no knowledge by demonstration of chance conjunctions; for chance conjunctions exist neither by necessity nor as general connexions but comprise what comes to be as something distinct from these. Now demonstration is concerned only with one or other of these two; for all reasoning proceeds from necessary or general premisses, the conclusion being necessary if the premisses are necessary and general if the premisses are general. Consequently, if chance conjunctions are neither general nor necessary, they are not demonstrable.
31.
Scientific knowledge is not possible through the act of perception. Even if perception as a faculty is of "the such" and not merely of a "this somewhat", yet one must at any rate actually perceive a "this somewhat", and at a definite present place and time: but that which is commensurately universal and true in all cases one cannot perceive, since it is not "this" and it is not "now"; if it were, it would not be commensurately universal-the term we apply to what is always and everywhere. Seeing, therefore, that demonstrations are commensurately universal and universals imperceptible, we clearly cannot obtain scientific knowledge by the act of perception: nay, it is obvious that even if it were possible to perceive that a triangle has its angles equal to two right angles, we should still be looking for a demonstration-we should not (as some say) possess knowledge of it; for perception must be of a particular, whereas scientific knowledge involves the recognition of the commensurate universal. So if we were on the moon, and saw the earth shutting out the sun"s light, we should not know the cause of the eclipse: we should perceive the present fact of the eclipse, but not the reasoned fact at all, since the act of perception is not of the commensurate universal. I do not, of course, deny that by watching the frequent recurrence of this event we might, after tracking the commensurate universal, possess a demonstration, for the commensurate universal is elicited from the several groups of singulars.
The commensurate universal is precious because it makes clear the cause; so that in the case of facts like these which have a cause other than themselves universal knowledge is more precious than sense-perceptions and than intuition. (As regards primary truths there is of course a different account to be given.) Hence it is clear that knowledge of things demonstrable cannot be acquired by perception, unless the term perception is applied to the possession of scientific knowledge through demonstration. Nevertheless certain points do arise with regard to connexions to be proved which are referred for their explanation to a failure in sense-perception: there are cases when an act of vision would terminate our inquiry, not because in seeing we should be knowing, but because we should have elicited the universal from seeing; if, for example, we saw the pores in the gla.s.s and the light pa.s.sing through, the reason of the kindling would be clear to us because we should at the same time see it in each instance and intuit that it must be so in all instances.
32.
All syllogisms cannot have the same basic truths. This may be shown first of all by the following dialectical considerations. (1) Some syllogisms are true and some false: for though a true inference is possible from false premisses, yet this occurs once only-I mean if A for instance, is truly predicable of C, but B, the middle, is false, both A-B and B-C being false; nevertheless, if middles are taken to prove these premisses, they will be false because every conclusion which is a falsehood has false premisses, while true conclusions have true premisses, and false and true differ in kind.
Then again, (2) falsehoods are not all derived from a single identical set of principles: there are falsehoods which are the contraries of one another and cannot coexist, e.g. "justice is injustice", and "justice is cowardice"; "man is horse", and "man is ox"; "the equal is greater", and "the equal is less." From established principles we may argue the case as follows, confining-ourselves therefore to true conclusions. Not even all these are inferred from the same basic truths; many of them in fact have basic truths which differ generically and are not transferable; units, for instance, which are without position, cannot take the place of points, which have position. The transferred terms could only fit in as middle terms or as major or minor terms, or else have some of the other terms between them, others outside them.
Nor can any of the common axioms-such, I mean, as the law of excluded middle-serve as premisses for the proof of all conclusions.
For the kinds of being are different, and some attributes attach to quanta and some to qualia only; and proof is achieved by means of the common axioms taken in conjunction with these several kinds and their attributes.
Again, it is not true that the basic truths are much fewer than the conclusions, for the basic truths are the premisses, and the premisses are formed by the apposition of a fresh extreme term or the interposition of a fresh middle. Moreover, the number of conclusions is indefinite, though the number of middle terms is finite; and lastly some of the basic truths are necessary, others variable.
Looking at it in this way we see that, since the number of conclusions is indefinite, the basic truths cannot be identical or limited in number. If, on the other hand, ident.i.ty is used in another sense, and it is said, e.g. "these and no other are the fundamental truths of geometry, these the fundamentals of calculation, these again of medicine"; would the statement mean anything except that the sciences have basic truths? To call them identical because they are self-identical is absurd, since everything can be identified with everything in that sense of ident.i.ty. Nor again can the contention that all conclusions have the same basic truths mean that from the ma.s.s of all possible premisses any conclusion may be drawn. That would be exceedingly naive, for it is not the case in the clearly evident mathematical sciences, nor is it possible in a.n.a.lysis, since it is the immediate premisses which are the basic truths, and a fresh conclusion is only formed by the addition of a new immediate premiss: but if it be admitted that it is these primary immediate premisses which are basic truths, each subject-genus will provide one basic truth. If, however, it is not argued that from the ma.s.s of all possible premisses any conclusion may be proved, nor yet admitted that basic truths differ so as to be generically different for each science, it remains to consider the possibility that, while the basic truths of all knowledge are within one genus, special premisses are required to prove special conclusions. But that this cannot be the case has been shown by our proof that the basic truths of things generically different themselves differ generically. For fundamental truths are of two kinds, those which are premisses of demonstration and the subject-genus; and though the former are common, the latter-number, for instance, and magnitude-are peculiar.
33.
Scientific knowledge and its object differ from opinion and the object of opinion in that scientific knowledge is commensurately universal and proceeds by necessary connexions, and that which is necessary cannot be otherwise. So though there are things which are true and real and yet can be otherwise, scientific knowledge clearly does not concern them: if it did, things which can be otherwise would be incapable of being otherwise. Nor are they any concern of rational intuition-by rational intuition I mean an originative source of scientific knowledge-nor of indemonstrable knowledge, which is the grasping of the immediate premiss. Since then rational intuition, science, and opinion, and what is revealed by these terms, are the only things that can be "true", it follows that it is opinion that is concerned with that which may be true or false, and can be otherwise: opinion in fact is the grasp of a premiss which is immediate but not necessary. This view also fits the observed facts, for opinion is unstable, and so is the kind of being we have described as its object. Besides, when a man thinks a truth incapable of being otherwise he always thinks that he knows it, never that he opines it. He thinks that he opines when he thinks that a connexion, though actually so, may quite easily be otherwise; for he believes that such is the proper object of opinion, while the necessary is the object of knowledge.
In what sense, then, can the same thing be the object of both opinion and knowledge? And if any one chooses to maintain that all that he knows he can also opine, why should not opinion be knowledge? For he that knows and he that opines will follow the same train of thought through the same middle terms until the immediate premisses are reached; because it is possible to opine not only the fact but also the reasoned fact, and the reason is the middle term; so that, since the former knows, he that opines also has knowledge.
The truth perhaps is that if a man grasp truths that cannot be other than they are, in the way in which he grasps the definitions through which demonstrations take place, he will have not opinion but knowledge: if on the other hand he apprehends these attributes as inhering in their subjects, but not in virtue of the subjects"
substance and essential nature possesses opinion and not genuine knowledge; and his opinion, if obtained through immediate premisses, will be both of the fact and of the reasoned fact; if not so obtained, of the fact alone. The object of opinion and knowledge is not quite identical; it is only in a sense identical, just as the object of true and false opinion is in a sense identical. The sense in which some maintain that true and false opinion can have the same object leads them to embrace many strange doctrines, particularly the doctrine that what a man opines falsely he does not opine at all. There are really many senses of "identical", and in one sense the object of true and false opinion can be the same, in another it cannot. Thus, to have a true opinion that the diagonal is commensurate with the side would be absurd: but because the diagonal with which they are both concerned is the same, the two opinions have objects so far the same: on the other hand, as regards their essential definable nature these objects differ. The ident.i.ty of the objects of knowledge and opinion is similar. Knowledge is the apprehension of, e.g. the attribute "animal" as incapable of being otherwise, opinion the apprehension of "animal" as capable of being otherwise-e.g. the apprehension that animal is an element in the essential nature of man is knowledge; the apprehension of animal as predicable of man but not as an element in man"s essential nature is opinion: man is the subject in both judgements, but the mode of inherence differs.
This also shows that one cannot opine and know the same thing simultaneously; for then one would apprehend the same thing as both capable and incapable of being otherwise-an impossibility. Knowledge and opinion of the same thing can co-exist in two different people in the sense we have explained, but not simultaneously in the same person. That would involve a man"s simultaneously apprehending, e.g.
(1) that man is essentially animal-i.e. cannot be other than animal-and (2) that man is not essentially animal, that is, we may a.s.sume, may be other than animal.
Further consideration of modes of thinking and their distribution under the heads of discursive thought, intuition, science, art, practical wisdom, and metaphysical thinking, belongs rather partly to natural science, partly to moral philosophy.
34.
Quick wit is a faculty of hitting upon the middle term instantaneously. It would be exemplified by a man who saw that the moon has her bright side always turned towards the sun, and quickly grasped the cause of this, namely that she borrows her light from him; or observed somebody in conversation with a man of wealth and divined that he was borrowing money, or that the friendship of these people sprang from a common enmity. In all these instances he has seen the major and minor terms and then grasped the causes, the middle terms.
Let A represent "bright side turned sunward", B "lighted from the sun", C the moon. Then B, "lighted from the sun" is predicable of C, the moon, and A, "having her bright side towards the source of her light", is predicable of B. So A is predicable of C through B.
Book II
1.
THE kinds of question we ask are as many as the kinds of things which we know. They are in fact four:-(1) whether the connexion of an attribute with a thing is a fact, (2) what is the reason of the connexion, (3) whether a thing exists, (4) What is the nature of the thing. Thus, when our question concerns a complex of thing and attribute and we ask whether the thing is thus or otherwise qualified-whether, e.g. the sun suffers eclipse or not-then we are asking as to the fact of a connexion. That our inquiry ceases with the discovery that the sun does suffer eclipse is an indication of this; and if we know from the start that the sun suffers eclipse, we do not inquire whether it does so or not. On the other hand, when we know the fact we ask the reason; as, for example, when we know that the sun is being eclipsed and that an earthquake is in progress, it is the reason of eclipse or earthquake into which we inquire.
Where a complex is concerned, then, those are the two questions we ask; but for some objects of inquiry we have a different kind of question to ask, such as whether there is or is not a centaur or a G.o.d. (By "is or is not" I mean "is or is not, without further qualification"; as opposed to "is or is not [e.g.] white".) On the other hand, when we have ascertained the thing"s existence, we inquire as to its nature, asking, for instance, "what, then, is G.o.d?" or "what is man?".
2.
These, then, are the four kinds of question we ask, and it is in the answers to these questions that our knowledge consists.
Now when we ask whether a connexion is a fact, or whether a thing without qualification is, we are really asking whether the connexion or the thing has a "middle"; and when we have ascertained either that the connexion is a fact or that the thing is-i.e. ascertained either the partial or the unqualified being of the thing-and are proceeding to ask the reason of the connexion or the nature of the thing, then we are asking what the "middle" is.
(By distinguishing the fact of the connexion and the existence of the thing as respectively the partial and the unqualified being of the thing, I mean that if we ask "does the moon suffer eclipse?", or "does the moon wax?", the question concerns a part of the thing"s being; for what we are asking in such questions is whether a thing is this or that, i.e. has or has not this or that attribute: whereas, if we ask whether the moon or night exists, the question concerns the unqualified being of a thing.) We conclude that in all our inquiries we are asking either whether there is a "middle" or what the "middle" is: for the "middle" here is precisely the cause, and it is the cause that we seek in all our inquiries. Thus, "Does the moon suffer eclipse?" means "Is there or is there not a cause producing eclipse of the moon?", and when we have learnt that there is, our next question is, "What, then, is this cause? for the cause through which a thing is-not is this or that, i.e. has this or that attribute, but without qualification is-and the cause through which it is-not is without qualification, but is this or that as having some essential attribute or some accident-are both alike the middle". By that which is without qualification I mean the subject, e.g. moon or earth or sun or triangle; by that which a subject is (in the partial sense) I mean a property, e.g. eclipse, equality or inequality, interposition or non-interposition. For in all these examples it is clear that the nature of the thing and the reason of the fact are identical: the question "What is eclipse?" and its answer "The privation of the moon"s light by the interposition of the earth" are identical with the question "What is the reason of eclipse?" or "Why does the moon suffer eclipse?" and the reply "Because of the failure of light through the earth"s shutting it out".
Again, for "What is a concord? A commensurate numerical ratio of a high and a low note", we may subst.i.tute "What ratio makes a high and a low note concordant? Their relation according to a commensurate numerical ratio." "Are the high and the low note concordant?" is equivalent to "Is their ratio commensurate?"; and when we find that it is commensurate, we ask "What, then, is their ratio?".
Cases in which the "middle" is sensible show that the object of our inquiry is always the "middle": we inquire, because we have not perceived it, whether there is or is not a "middle" causing, e.g. an eclipse. On the other hand, if we were on the moon we should not be inquiring either as to the fact or the reason, but both fact and reason would be obvious simultaneously. For the act of perception would have enabled us to know the universal too; since, the present fact of an eclipse being evident, perception would then at the same time give us the present fact of the earth"s screening the sun"s light, and from this would arise the universal.
Thus, as we maintain, to know a thing"s nature is to know the reason why it is; and this is equally true of things in so far as they are said without qualification to he as opposed to being possessed of some attribute, and in so far as they are said to be possessed of some attribute such as equal to right angles, or greater or less.
3.
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.
Induction too will sufficiently convince us of this difference; for never yet by defining anything-essential attribute or accident-did we get knowledge of it. Again, if to define is to acquire knowledge of a substance, at any rate such attributes are not substances.
It is evident, then, that not everything demonstrable can be defined. What then? Can everything definable be demonstrated, or not? There is one of our previous arguments which covers this too.
Of a single thing qua single there is a single scientific knowledge.
Hence, since to know the demonstrable scientifically is to possess the demonstration of it, an impossible consequence will follow:-possession of its definition without its demonstration will give knowledge of the demonstrable.