Page - 189 - in The Complete Aristotle

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 glass and the light passing 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 189