But it is possible to give another reason concerning those which are universal. For all the things that are subordinate to the middle term or to the conclusion may be proved by the same deduction, if the former are placed in the middle, the latter in the conclusion; e.g. if the conclusion AB is proved through C, then A must be said of all of whatever is subordinate to B or C; for if D is in B as in a whole, and B is in A, then D will be in A. Again if E is in C as in a whole, and C is in A, then E will be in A. Similarly if the deduction is negative. In the second figure it will be possible to deduce only that which is subordinate to the conclusion, e.g. if A belong to no B and to every C; we conclude that B belongs to no C. If then D is subordinate to C, clearly B does not belong to it. But that B does not belong to what is subordinate to A, is not clear by means of the deduction. And yet B does not belong to E, if E is subordinate to A. But while it has been proved through the deduction that B belongs to no C, it has been assumed without proof that B does not belong to A, consequently it does not result through the deduction that B does not belong to E. — Aristotle, Prior Analytics II.1
The internet is young, sure, but Aristotle is Aristotle, I'd think there'd be more exhaustive discussions behind the nitty gritty of his works than most other philosophers — Pretty
7. [...] There is, however, yet another cause for which universal syllogisms infer plenty of conclusions. For from the content of the minor term you will draw a conclusion and from the content of the middle term another one, but all conclusions will be drawn in the first figure through this very figure, the first one, by means of which the first syllogism also comes about. Let us assume that A stands for essence, C for animate being, E for sense‐perceptible being, B for logical being and D for human being. The first syllogism is that essence is predicated of every animate being, animate being is predicated of every logical being, and therefore essence is predicated of every logical being. Indeed, this is the first syllogism. Since the minor term, the logical being, contains the human being, you will draw from the content of the former a second conclusion: essence is predicated of every logical being, logical being is predicated of every human being, therefore essence is predicated of every human being. But even the middle term, the animate being, contains the sense‐perceptible being and you will draw another conclusion: essence is predicated of every animate being, animate being is predicated of every sense perceptible being, and therefore essence is predicated of every sense‐perceptible being. [...]
8. In the second and in the third figure, not all conclusions are drawn by the same figure, but by a different one on each occasion; e.g. in the second figure it was inferred through the middle term living being that stone is predicated of no human being. The particular term, namely grammarian, which is subordinated to the minor term, namely human being, will be inferred in the first figure as follows: stone is predicated of no human being, human being is predicated of every grammarian, therefore stone is also predicated of no grammarian. Similarly, logical being, i.e. the particular term subordinated to the middle term, namely living being, will also be inferred in the first figure as follows: stone is predicated of no living being (for ‘no’ converts to itself), living being is predicated of every logical being, therefore stone is also predicated of no logical being.
9. In the case of the second figure, however, a syllogism will be possible only for what is subordinated to the conclusion, namely for the subordinated term. A syllogism for what is subordinated to the conclusion will be possible from a premise demonstrated by syllogism; for the major premise ‘stone is predicated of no human being’ was the conclusion of the second figure and every conclusion has been demonstrated by a syllogism.
10. To the terms subordinated to the middle term; or rather the conclusion of the terms which are subordinated to the middle term, namely to A, that stone is predicated of no logical being, has not become clear by means of a syllogism; or rather, the major premise, that ‘stone is predicated of no living being’, has not been demonstrated before, but it was received undemonstrated. Furthermore B, namely the stone, is predicated of no E, namely of no logical being, because logical being is subordinated to A; and since B is denied of A, namely of the living being, it is will also be denied of E, namely of the logical being.
11. That B is predicated of no C, however, was demonstrated by a syllogism of the second figure and is conclusion of the latter; it was taken as major premise leading to the conclusion that ‘stone is predicated of no grammarian’. But that B is predicated of no A, which is exactly the major premise leading to the conclusion that stone is predicated of no E, namely of no logical being, is undemonstrated. Consequently, that B is predicated of no E was not inferred because of the syllogism, or rather it does not result from a premise demonstrated by means of syllogism.
Get involved in philosophical discussions about knowledge, truth, language, consciousness, science, politics, religion, logic and mathematics, art, history, and lots more. No ads, no clutter, and very little agreement — just fascinating conversations.