Aristotle

Whatever may have been the real origin and purpose of this last paragraph, I think it unsuitable as a portion of the treatise De Interpretatione. It nullifies, or at least overclouds, one of the best parts of that treatise, the clear determination of Anaphasis and its consequences.

If, now, we compare the theory of the Proposition as given by Aristotle in this treatise, with that which we read in the Sophistes of Plato, we shall find Plato already conceiving the proposition as composed indispensably of noun and verb, and as being either affirmative or negative, for both of which he indicates the technical terms.56 He has no technical term for either subject or predicate; but he conceives the proposition as belonging to its subject:57 we may be mistaken in the predicates, but we are not mistaken in the subject. Aristotle enlarges and improves upon this theory. He not only has a technical term for affirmation and negation, and for negative noun and verb, but also for subject and predicate; again, for the mode of signification belonging to noun and verb, each separately, as distinguished from the mode of signification belonging to them conjointly, when brought together in a proposition. He follows Plato in insisting upon the characteristic feature of the proposition — aptitude for being true or false; but he gives an ampler definition of it, and he introduces the novel and important distribution of propositions according to the quantity of the subject. Until this last distribution had been made, it was impossible to appreciate the true value and bearing of each Antiphasis and the correct language for expressing it, so as to say neither more nor less. We see, by reading the Sophistes, that Plato did not conceive the Antiphasis correctly, as distinguished from Contrariety on the one hand, and from mere Difference on the other. He saw that the negative of any proposition does not affirm the contrary of its affirmative; but he knew no other alternative except to say, that it affirms only something different from the affirmative. His theory in the Sophistes recognizes nothing but affirmative propositions, with the predicate of contrariety on one hand, or of difference on the other;58 he ignores, or jumps over, the intermediate station of propositions affirming nothing at all, but simply denying a pre-understood affirmative. There were other contemporaries, Antisthenes among them, who declared contradiction to be an impossibility;59 an opinion coinciding at bottom with what I have just cited from Plato himself. We see, in the Theætêtus, the Euthydêmus, the Sophistes, and elsewhere, how great was the difficulty felt by philosophers of that age to find a proper locus standi for false propositions, so as to prove them theoretically possible, to assign a legitimate function for the negative, and to escape from the interdict of Parmenides, who eliminated Non-Ens as unmeaning and incogitable. Even after the death of Aristotle, the acute disputation of Stilpon suggested many problems, but yielded few solutions; and Menedêmus went so far as to disallow negative propositions altogether.60

Such being the conditions under which philosophers debated in the age of Aristotle, we can appreciate the full value of a positive theory of propositions such as that which we read in his treatise De Interpretatione. It is, so far as we know, the first positive theory thereof that was ever set out; the first attempt to classify propositions in such a manner that a legitimate Antiphasis could be assigned to each; the first declaration that to each affirmative proposition there belonged one appropriate negative, and to each negative proposition one appropriate counter-affirmative, and one only; the earliest effort to construct a theory for this purpose, such as to hold ground against all the puzzling questions of acute disputants.61 The clear determination of the Antiphasis in each case — the distinction of Contradictory antithesis from Contrary antithesis between propositions — this was an important logical doctrine never advanced before Aristotle; and the importance of it becomes manifest when we read the arguments of Plato and Antisthenes, the former overleaping and ignoring the contradictory opposition, the latter maintaining that it was a process theoretically indefensible. But in order that these two modes of antithesis should be clearly contrasted, each with its proper characteristic, it was requisite that the distinction of quantity between different propositions should also be brought to view, and considered in conjunction with the distinction of quality. Until this was done, the Maxim of Contradiction, denied by some, could not be shown in its true force or with its proper limits. Now, we find it done,62 for the first time, in the treatise before us. Here the Contradictory antithesis (opposition both in quantity and quality) in which one proposition must be true and the other false, is contrasted with the Contrary (propositions opposite in quality, but both of them universal). Aristotle’s terminology is not in all respects fully developed; in regard, especially, to the quantity of propositions it is less advanced than in his own later treatises; but from the theory of the De Interpretatione all the distinctions current among later logicians, take their rise.

The distinction of Contradictory and Contrary is fundamental in ratiocinative Logic, and lies at the bottom of the syllogistic theory as delivered in the Analytica Priora. The precision with which Aristotle designates the Universal proposition with its exact contradictory antithesis, is remarkable in his day. Some, however, of his observations respecting the place and functions of the negative particle (οὐ), must be understood with reference to the variable order of words in a Greek or Latin sentence; for instance, the distinction between Kallias non est justus and Kallias est non justus does not suggest itself to one speaking English or French.63 Moreover, the Aristotelian theory of the Proposition is encumbered with various unnecessary subtleties; and the introduction of the Modals (though they belong, in my opinion, legitimately to a complete logical theory) renders the doctrine so intricate and complicated, that a judicious teacher will prefer, in explaining the subject, to leave them for second or ulterior study, when the simpler relations between categorical propositions have been made evident and familiar. The force of this remark will be felt more when we go through the Analytica Priora. The two principal relations to be considered in the theory of Propositions — Opposition and Equipollence — would have come out far more clearly in the treatise De Interpretatione, if the discussion of the Modals had been reserved for a separate chapter.

CHAPTER V.

ANALYTICA PRIORA I.

Reviewing the treatise De Interpretatione, we have followed Aristotle in his first attempt to define what a Proposition is, to point out its constituent elements, and to specify some of its leading varieties. The characteristic feature of the Proposition he stated to be — That it declares, in the first instance, the mental state of the speaker as to belief or disbelief, and, in its ulterior or final bearing, a state of facts to which such belief or disbelief corresponds. It is thus significant of truth or falsehood; and this is its logical character (belonging to Analytic and Dialectic), as distinguished from its rhetorical character, with other aspects besides. Aristotle farther indicated the two principal discriminative attributes of propositions as logically regarded, passing under the names of quantity and quality. He took great pains, in regard to the quality, to explain what was the special negative proposition in true contradictory antithesis to each affirmative. He stated and enforced the important separation of contradictory propositions from contrary; and he even parted off (which the Greek and Latin languages admit, though the French and English will hardly do so) the true negative from the indeterminate affirmative. He touched also upon equipollent propositions, though he did not go far into them. Thus commenced with Aristotle the systematic study of propositions, classified according to their meaning and their various interdependences with each other as to truth and falsehood — their mutual consistency or incompatibility. Men who had long been talking good Greek fluently and familiarly, were taught to reflect upon the conjunctions of words that they habitually employed, and to pay heed to the conditions of correct speech in reference to its primary purpose of affirmation and denial, for the interchange of beliefs and disbeliefs, the communication of truth, and the rectification of falsehood. To many of Aristotle’s contemporaries this first attempt to theorize upon the forms of locution familiar to every one would probably appear hardly less strange than the interrogative dialectic of Sokrates, when he declared himself not to know what was meant by justice, virtue, piety, temperance, government, &c.; when he astonished his hearers by asking them to rescue him from this state of ignorance, and to communicate to him some portion of their supposed plenitude of knowledge.

Aristotle tells us expressly that the theory of the Syllogism, both demonstrative and dialectic, on which we are now about to enter, was his own work altogether and from the beginning; that no one had ever attempted it before; that he therefore found no basis to work upon, but was obliged to elaborate his own theory, from the very rudiments, by long and laborious application. In this point of view, he contrasts Logic pointedly with Rhetoric, on which there had been a series of writers and teachers, each profiting by the labours of his predecessors.1 There is no reason to contest the claim to originality here advanced by Aristotle. He was the first who endeavoured, by careful study and multiplied comparison of propositions, to elicit general truths respecting their ratiocinative interdependence, and to found thereupon precepts for regulating the conduct of demonstration and dialectic.2

He begins the Analytica Priora by setting forth his general purpose, and defining his principal terms and phrases. His manner is one of geometrical plainness and strictness. It may perhaps have been common to him with various contemporary geometers, whose works are now lost; but it presents an entire novelty in Grecian philosophy and literature. It departed not merely from the manner of the rhetoricians and the physical philosophers (as far as we know them, not excluding even Demokritus), but also from Sokrates and the Sokratic school. For though Sokrates and Plato were perpetually calling for definitions, and did much to make others feel the want of such, they neither of them evinced aptitude or readiness to supply the want. The new manner of Aristotle is adapted to an undertaking which he himself describes as original, in which he has no predecessors, and is compelled to dig his own foundations. It is essentially didactic and expository, and contrasts strikingly with the mixture of dramatic liveliness and dialectical subtlety which we find in Plato.

The terminology of Aristotle in the Analytica is to a certain extent different from that in the treatise De Interpretatione. The Enunciation (Ἀπόφανις) appears under the new name of Πρότασις, Proposition (in the literal sense) or Premiss; while, instead of Noun and Verb, we have the word Term (Ὅρος), applied alike both to Subject and to Predicate.3 We pass now from the region of declared truth, into that of inferential or reasoned truth. We find the proposition looked at, not merely as communicating truth in itself, but as generating and helping to guarantee certain ulterior propositions, which communicate something additional or different. The primary purpose of the Analytica is announced to be, to treat of Demonstration and demonstrative Science; but the secondary purpose, running parallel with it and serving as illustrative counterpart, is, to treat also of Dialectic; both of them4 being applications of the inferential or ratiocinative process, the theory of which Aristotle intends to unfold.

The three treatises — 1, Analytica Priora, 2, Analytica Posteriora, 3, Topica with Sophistici Elenchi — thus belong all to one general scheme; to the theory of the Syllogism, with its distinct applications, first, to demonstrative or didactic science, and, next, to dialectical debate. The scheme is plainly announced at the commencement of the Analytica Priora; which treatise discusses the Syllogism generally, while the Analytica Posteriora deals with Demonstration, and the Topica with Dialectic. The first chapter of the Analytica Priora and the last chapter of the Sophistici Elenchi (closing the Topica), form a preface and a conclusion to the whole. The exposition of the Syllogism, Aristotle distinctly announces, precedes that of Demonstration (and for the same reason also precedes that of Dialectic), because it is more general: every demonstration is a sort of syllogism, but every syllogism is not a demonstration.5

As a foundation for the syllogistic theory, propositions are classified according to their quantity (more formally than in the treatise De Interpretatione) into Universal, Particular, and Indefinite or Indeterminate;6 Aristotle does not recognize the Singular Proposition as a distinct variety. In regard to the Universal Proposition, he introduces a different phraseology according as it is looked at from the side of the Subject, or from that of the Predicate. The Subject is, or is not, in the whole Predicate; the Predicate is affirmed or denied respecting all or every one of the Subject.7 The minor term of the Syllogism (in the first mode of the first figure) is declared to be in the whole middle term; the major is declared to belong to, or to be predicable of, all and every the middle term. Aristotle says that the two are the same; we ought rather to say that each is the concomitant and correlate of the other, though his phraseology is such as to obscure the correlation.

The definition given of a Syllogism is very clear and remarkable:— “It is a speech in which, some positions having been laid down, something different from these positions follows as a necessary consequence from their being laid down.” In a perfect Syllogism nothing additional is required to make the necessity of the consequence obvious as well as complete. But there are also imperfect Syllogisms, in which such necessity, though equally complete, is not so obviously conveyed in the premisses, but requires some change to be effected in the position of the terms in order to render it conspicuous.8

The term Syllogism has acquired, through the influence of Aristotle, a meaning so definite and technical, that we do not easily conceive it in any other meaning. But in Plato and other contemporaries it bears a much wider sense, being equivalent to reasoning generally, to the process of comparison, abstraction, generalization.9 It was Aristotle who consecrated the word, so as to mean exclusively the reasoning embodied in propositions of definite form and number. Having already analysed propositions separately taken, and discriminated them into various classes according to their constituent elements, he now proceeds to consider propositions in combination. Two propositions, if properly framed, will conduct to a third, different from themselves, but which will be necessarily true if they are true. Aristotle calls the three together a Syllogism.10 He undertakes to shew how it must be framed in order that its conclusion shall be necessarily true, if the premisses are true. He furnishes schemes whereby the cast and arrangement of premisses, proper for attaining truth, may be recognized; together with the nature of the conclusion, warrantable under each arrangement.

In the Analytica Priora, we find ourselves involved, from and after the second chapter, in the distinction of Modal propositions, the necessary and the possible. The rules respecting the simple Assertory propositions are thus, even from the beginning, given in conjunction and contrast with those respecting the Modals. This is one among many causes of the difficulty and obscurity with which the treatise is beset. Theophrastus and Eudemus seem also to have followed their master by giving prominence to the Modals:11 recent expositors avoid the difficulty, some by omitting them altogether, others by deferring them until the simple assertory propositions have been first made clear. I shall follow the example of these last; but it deserves to be kept in mind, as illustrating Aristotle’s point of view, that he regards the Modals as principal varieties of the proposition, co-ordinate in logical position with the simple assertory.

Before entering on combinations of propositions, Aristotle begins by shewing what can be done with single propositions, in view to the investigation or proving of truth. A single proposition may be converted; that is, its subject and predicate may be made to change places. If a proposition be true, will it be true when thus converted, or (in other words) will its converse be true? If false, will its converse be false? If this be not always the case, what are the conditions and limits under which (assuming the proposition to be true) the process of conversion leads to assured truth, in each variety of propositions, affirmative or negative, universal or particular? As far as we know, Aristotle was the first person that ever put to himself this question; though the answer to it is indispensable to any theory of the process of proving or disproving. He answers it before he enters upon the Syllogism.

The rules which he lays down on the subject have passed into all logical treatises. They are now familiar; and readers are apt to fancy that there never was any novelty in them — that every one knows them without being told. Such fancy would be illusory. These rules are very far from being self-evident, any more than the maxims of Contradiction and of the Excluded Middle. Not one of the rules could have been laid down with its proper limits, until the discrimination of propositions, both as to quality (affirmative or negative), and as to quantity (universal or particular), had been put prominently forward and appreciated in all its bearings. The rule for trustworthy conversion is different for each variety of propositions. The Universal Negative may be converted simply; that is, the predicate may become subject, and the subject may become predicate — the proposition being true after conversion, if it was true before. But the Universal Affirmative cannot be thus converted simply. It admits of conversion only in the manner called by logicians per accidens: if the predicate change places with the subject, we cannot be sure that the proposition thus changed will be true, unless the new subject be lowered in quantity from universal to particular; e.g. the proposition, All men are animals, has for its legitimate converse not, All animals are men, but only, Some animals are men. The Particular Affirmative may be converted simply: if it be true that Some animals are men, it will also be true that Some men are animals. But, lastly, if the true proposition to be converted be a Particular Negative, it cannot be converted at all, so as to make sure that the converse will be true also.12

Here then are four separate rules laid down, one for each variety of propositions. The rules for the second and third variety are proved by the rule for the first (the Universal Negative), which is thus the basis of all. But how does Aristotle prove the rule for the Universal Negative itself? He proceeds as follows: “If A cannot be predicated of any one among the B’s, neither can B be predicated of any one among the A’s. For if it could be predicated of any one among them (say C), the proposition that A cannot be predicated of any B would not be true; since C is one among the B’s.”13 Here we have a proof given which is no proof at all. If I disbelieved or doubted the proposition to be proved, I should equally disbelieve or doubt the proposition given to prove it. The proof only becomes valid, when you add a farther assumption which Aristotle has not distinctly enunciated, viz.: That if some A (e.g. C) is B, then some B must also be A; which would be contrary to the fundamental supposition. But this farther assumption cannot be granted here, because it would imply that we already know the rule respecting the convertibility of Particular Affirmatives, viz., that they admit of being converted simply. Now the rule about Particular Affirmatives is afterwards itself proved by help of the preceding demonstration respecting the Universal Negative. As the proof stands, therefore, Aristotle demonstrates each of these by means of the other; which is not admissible.14