M is P;S is M:∴ S is P.
Syllogisms may be classified, as to quantity, into Universal or Particular, according to the quantity of the conclusion; as to quality, into Affirmative or Negative, according to the quality of the conclusion; and, as to relation, into Categorical, Hypothetical and Disjunctive, according as all their propositions are categorical, or one (at least) of their evidentiary propositions is a hypothetical or a disjunctive.
To begin with Categorical Syllogisms, of which the following is an example:
All authors are vain;Cicero is an author:∴ Cicero is vain.
Here we may suppose that there are no direct means of knowing that Cicero is vain; but we happen to know thatall authors are vain and that he is an author; and these two propositions, put together, unmistakably imply that he is vain. In other words, we do not at first know any relation between 'Cicero' and 'vanity'; but we know that these two terms are severally related to a third term, 'author,' hence called a Middle Term; and thus we perceive, by mediate evidence, that they are related to one another. This sort of proof bears an obvious resemblance (though the relations involved are not the same) to the mathematical proof of equality between two quantities, that cannot be directly compared, by showing the equality of each of them to some third quantity: A = B = C ∴ A = C. Here B is a middle term.
We have to inquire, then, what conditions must be satisfied in order that a Syllogism may be formally conclusive or valid. A specious Syllogism that is not really valid is called a Parasyllogism.
§ 2. General Canons of the Syllogism.
(1) A Syllogism contains three, and no more, distinct propositions.
(2) A Syllogism contains three, and no more, distinct univocal terms.
These two Canons imply one another. Three propositions with less than three terms can only be connected in some of the modes of Immediate Inference. Three propositions with more than three terms do not show that connection of two terms by means of a third, which is requisite for proving a Mediate Inference. If we write—
All authors are vain;Cicero is a statesman—
there are four terms and no middle term, and therefore there is no proof. Or if we write—
All authors are vain;Cicero is an author:∴ Cicero is a statesman—
here the term 'statesman' occurs without any voucher; it appears in the inference but not in the evidence, and therefore violates the maxim of all formal proof, 'not to go beyond the evidence.' It is true that if any one argued—
All authors are vain;Cicero wrote on philosophy:∴ Cicero is vain—
this could not be called a bad argument or a material fallacy; but it would be a needless departure from the form of expression in which the connection between the evidence and the inference is most easily seen.
Still, a mere adherence to the same form of words in the expression of terms is not enough: we must also attend to their meaning. For if the same word be used ambiguously (as 'author' now for 'father' and anon for 'man of letters'), it becomes as to its meaning two terms; so that we have four in all. Then, if the ambiguous term be the Middle, no connection is shown between the other two; if either of the others be ambiguous, something seems to be inferred which has never been really given in evidence.
The above two Canons are, indeed, involved in the definition of a categorical syllogism, which may be thus stated: A Categorical Syllogism is a form of proof or reasoning (way of giving reasons) in which one categorical proposition is established by comparing two others that contain together only three terms, or that have one and only one term in common.
The proposition established, derived, or inferred, is called the Conclusion: the evidentiary propositions by which it is proved are called the Premises.
The term common to the premises, by means of which the other terms are compared, is called the Middle Term; the subject of the conclusion is called the Minor Term; the predicate of the conclusion, the Major Term.
The premise in which the minor term occurs is called theMinor Premise; that in which the major term occurs is called the Major Premise. And a Syllogism is usually written thus:
Major Premise—All authors (Middle) are vain (Major);Minor Premise—Cicero (Minor) is an author (Middle):Conclusion—∴ Cicero (Minor) is vain (Major).
Here we have three propositions with three terms, each term occurring twice. The minor and major terms are so called, because, when the conclusion is an universal affirmative (which only occurs in Barbara; seechap. x. § 6), its subject and predicate are respectively the less and the greater in extent or denotation; and the premises are called after the peculiar terms they contain: the expressions 'major premise' and 'minor premise' have nothing to do with the order in which the premises are presented; though it is usual to place the major premise first.
(3) No term must be distributed in the conclusion unless it is distributed in the premises.
It is usual to give this as one of the General Canons of the Syllogism; but we have seen (chap. vi. § 6) that it is of wider application. Indeed, 'not to go beyond the evidence' belongs to the definition of formal proof. A breech of this rule in a syllogism is the fallacy of Illicit Process of the Minor, or of the Major, according to which term has been unwarrantably distributed. The following parasyllogism illicitly distributes both terms of the conclusion:
All poets are pathetic;Some orators are not poets:∴ No orators are pathetic.
(4) The Middle Term must be distributed at least once in the premises (in order to prove a conclusion in the given terms).
For the use of mediate evidence is to show the relation of terms that cannot be directly compared; this is only possible if the middle term furnishes the ground of comparison; and this (in Logic) requires that the whole denotation of the middle should be either included or excluded by one of the other terms; since if we only know that the other terms are related tosomeof the middle, their respective relations may not be with the same part of it.
It is true that in what has been called the "numerically definite syllogism," an inference may be drawn, though our canon seems to be violated. Thus:
60 sheep in 100 are horned;60 sheep in 100 are blackfaced:∴ at least 20 blackfaced sheep in 100 are horned.
But such an argument, though it may be correct Arithmetic, is not Logic at all; and when such numerical evidence is obtainable the comparatively indefinite arguments of Logic are needless. Another apparent exception is the following:
Most men are 5 feet high;Most men are semi-rational:∴ Some semi-rational things are 5 feet high.
Here the Middle Term (men) is distributed in neither premise, yet the indisputable conclusion is a logical proposition. The premises, however, are really arithmetical; for 'most' means 'more than half,' or more than 50 per cent.
Still, another apparent exception is entirely logical. Suppose we are given, the premises—All P is M, andAll S is M—the middle term is undistributed. But take the obverse of the contrapositive of both premises:
All m is p;All m is s:∴ Some s is p.
Here we have a conclusion legitimately obtained; but it is not in the terms originally given.
For Mediate Inference depending on truly logical premises, then, it is necessary that one premise should distribute the middle term; and the reason of this may be illustrated even by the above supposed numerical exceptions. For in them the premises are such that, though neither of the two premises by itself distributes the Middle, yet they always overlap upon it. If each premise dealt with exactly half the Middle, thus barely distributing it between them, there would be no logical proposition inferrible. We require that the middle term, as used in one premise, should necessarily overlap the same term as used in the other, so as to furnish common ground for comparing the other terms. Hence I have defined the middle term as 'that term common to both premises by means of which the other terms are compared.'
(5) One at least of the premises must be affirmative; or, from two negative premises nothing can be inferred (in the given terms).
The fourth Canon required that the middle term should be given distributed, or in its whole extent, at least once, in order to afford sure ground of comparison for the others. But that such comparison may be effected, something more is requisite; the relation of the other terms to the Middle must be of a certain character. One at least of them must be, as to its extent or denotation, partially or wholly identified with the Middle; so that to that extent it may be known to bear to the other term, whatever relation we are told that so much of the Middle bears to that other term. Now, identity of denotation can only be predicated in an affirmative proposition: one premise, then, must be affirmative.
If both premises are negative, we only know that both the other terms are partly or wholly excluded from the Middle, or are not identical with it in denotation: where they lie, then, in relation to one another we have no means of knowing. Similarly, in the mediate comparison of quantities, if we are told that A and C are both of themunequal to B, we can infer nothing as to the relation of C to A. Hence the premises—
No electors are sober;No electors are independent—
however suggestive, do not formally justify us in inferring any connection between sobriety and independence. Formally to draw a conclusion, we must have affirmative grounds, such as in this case we may obtain by obverting both premises:
All electors are not-sober;All electors are not-independent:∴ Some who are not-independent are not-sober.
But this conclusion is not in the given terms.
(6) (a) If one premise be negative, the conclusion must be negative: and (b) to prove a negative conclusion, one premise must be negative.
(a) For we have seen that one premise must be affirmative, and that thus one term must be partly (at least) identified with the Middle. If, then, the other premise, being negative, predicates the exclusion of the remaining term from the Middle, this remaining term must be excluded from the first term, so far as we know the first to be identical with the Middle: and this exclusion will be expressed by a negative conclusion. The analogy of the mediate comparison of quantities may here again be noticed: if A is equal to B, and B is unequal to C, A is unequal to C.
(b) If both premises be affirmative, the relations to the Middle of both the other terms are more or less inclusive, and therefore furnish no ground for an exclusive inference. This also follows from the function of the middle term.
For the more convenient application of these canons to the testing of syllogisms, it is usual to derive from them three Corollaries:
(i) Two particular premises yield no conclusion.
For if both premises be affirmative,alltheir terms are undistributed, the subjects by predesignation, the predicates by position; and therefore the middle term must be undistributed, and there can be no conclusion.
If one premise be negative, its predicate is distributed by position: the other terms remaining undistributed. But, by Canon 6, the conclusion (if any be possible) must be negative; and therefore its predicate, the major term, will be distributed. In the premises, therefore, both the middle and the major terms should be distributed, which is impossible:e.g.,
Some M is not P;Some S is M:∴ Some S is not P.
Here, indeed, the major term is legitimately distributed (though the negative premise might have been the minor); but M, the middle term, is distributed in neither premise, and therefore there can be no conclusion.
Still, an exception may be made by admitting a bi-designate conclusion:
Some P is M;Some S is not M:∴ Some S is not some P.
(ii) If one premise be particular, so is the conclusion.
For, again, if both premises be affirmative, they only distribute one term, the subject of the universal premise, and this must be the middle term. The minor term, therefore, is undistributed, and the conclusion must be particular.
If one premise be negative, the two premises together can distribute only two terms, the subject of the universal and the predicate of the negative (which may be the same premise). One of these terms must be the middle; the other (since the conclusion is negative) must be the major. The minor term, therefore, is undistributed, and the conclusion must be particular.
(iii) From a particular major and a negative minor premise nothing can be inferred.
For the minor premise being negative, the major premise must be affirmative (5th Canon); and therefore, being particular, distributes the major term neither in its subject nor in its predicate. But since the conclusion must be negative (6th Canon), a distributed major term is demanded,e.g.,
Some M is P;No S is M:∴ ———
Here the minor and the middle terms are both distributed, but not the major (P); and, therefore, a negative conclusion is impossible.
§ 3. First Principle or Axiom of the Syllogism.—Hitherto in this chapter we have been analysing the conditions of valid mediate inference. We have seen that a single step of such inference, a Syllogism, contains, when fully expressed in language, three propositions and three terms, and that these terms must stand to one another in the relations required by the fourth, fifth, and sixth Canons. We now come to a principle which conveniently sums up these conditions; it is called theDictum de omni et nullo, and may be stated thus:
Whatever is predicated (affirmatively or negatively) of a term distributed,With which term another term can be (partly or wholly) identified,May be predicated in like manner (affirmatively or negatively) of the latter term (or part of it).
Whatever is predicated (affirmatively or negatively) of a term distributed,
With which term another term can be (partly or wholly) identified,
May be predicated in like manner (affirmatively or negatively) of the latter term (or part of it).
Thus stated (nearly as by Whately in the introduction to hisLogic) theDictumfollows line by line the course of a Syllogism in the First Figure (seechap. x. § 2). To return to our former example:All authors are vainis the same as—Vanity is predicated of all authors;Cicero is an authoris the same as—Cicero is identified as an author; thereforeCicero is vain, or—Vanity may be predicated of Cicero. TheDictumthen requires: (1) three propositions; (2) three terms; (3) that the middle term be distributed; (4) that one premise be affirmative, since only by an affirmative proposition can one term be identified with another; (5) that if one premise be negative the conclusion shall be so too, since whatever is predicated of the middle term is predicatedin like mannerof the minor.
Thus far, then, theDictumis wholly analytic or verbal, expressing no more than is implied in the definitions of 'Syllogism' and 'Middle Term'; since (as we have seen) all the General Canons (except the third, which is a still more general condition of formal proof) are derivable from those definitions. However, theDictummakes a further statement of a synthetic or real character, namely, thatwhen these conditions are fulfilled an inference is justified; that then the major and minor terms are brought into comparison through the middle, and that the major term may be predicated affirmatively or negatively of all or part of the minor. It is this real assertion that justifies us in calling theDictuman Axiom.
§ 4. Whether the Laws of Thought may not fully explain the Syllogism without the need of any synthetic principle has, however, been made a question. Take such a syllogism as the following:
All domestic animals are useful;All pugs are domestic animals:∴ All pugs are useful.
Here (an ingenious man might urge), having once identified pugs with domestic animals, that they are useful follows from the Law of Identity. If we attend to the meaning, and remember that what is true in one form of words is true in any other form, then, all domestic animals being useful, of course pugs are. It is merely a case of subalternation: we may put it in this way:
All domestic animals are useful:∴ Some domestic animals (e.g., pugs) are useful.
The derivation of negative syllogisms from the Law of Contradiction (he might add) may be shown in a similar manner.
But the force of this ingenious argument depends on the participial clause—'having once identified pugs with domestic animals.' If this is a distinct step of the reasoning, the above syllogism cannot be reduced to one step, cannot be exhibited as mere subalternation, nor be brought directly under the law of Identity. If 'pug,' 'domestic,' and 'useful' are distinct terms; and if 'pug' and 'useful' are only known to be connected because of their relations to 'domestic': this is something more than the Laws of Thought provide for: it is not Immediate Inference, but Mediate; and to justify it, scientific method requires that its conditions be generalised. TheDictum, then, as we have seen, does generalise these conditions, and declares that when such conditions are satisfied a Mediate Inference is valid.
But, after all (to go back a little), consider again that propositionAll pugs are domestic animals: is it a distinct step of the reasoning; that is to say, is it a Real Proposition? If, indeed, 'domestic' is no part of the definition of 'pug,' the proposition is real, and is a distinct part of the argument. But take such a case as this:
All dogs are useful;All pugs are dogs.
Here we clearly have, in the minor premise, only a verbal proposition; to be a dog is certainly part of the definition of 'pug.' But, if so, the inference 'All pugs are useful' involves no real mediation, and the argument is no more than this:
All dogs are useful;∴ Some dogs (e.g., pugs) are useful.
Similarly, if the major premise be verbal, thus:
All men are rational;Socrates is a man—
to conclude that 'Socrates is rational' is no Mediate Inference; for so much was implied in the minor premise, 'Socrates is a man,' and the major premise adds nothing to this.
Hence we may conclude (as anticipated inchap. vii. § 3) that 'any apparent syllogism, having one premise a verbal proposition, is really an Immediate Inference'; but that, if both premises are real propositions, the Inference is Mediate, and demands for its explanation something more than the Laws of Thought.
The fact is that to prove the minor to be a case of the middle term may be an exceedingly difficult operation (chap. xiii. § 7). The difficulty is disguised by ordinary examples, used for the sake of convenience.
§ 5. Other kinds of Mediate Inference exist, yielding valid conclusions, without being truly syllogistic. Such are mathematical inferences of Equality, as—
A = B = C ∴ A = C.
Here, according to the usual logical analysis, there are strictly four terms—(1) A, (2) equal to B, (3) B, (4) equal to C.
Similarly with the argumenta fortiori,
A > B > C ∴ (much more) A > C.
This also is said to contain four terms: (1) A, (2) greater than B, (3) B, (4) greater than C. Such inferences are nevertheless intuitively sound, may be verified by trial (within the limits of sense-perception), and are generalised in appropriate axioms of their own, corresponding to theDictumof the syllogism; as 'Things equal to the same thing are equal to one another,'etc.
Now, surely, this is an erroneous application of the usual logical analysis of propositions. Both Logic and Mathematics treat of therelationsof terms; but whilst Mathematics employs the sign = for only one kind of relation, and for that relation exclusive of the terms; Logic employsthe same signs (isoris not) for all relations, recognising only a difference of quality in predication, and treating every other difference of relation as belonging to one of the terms related. Thus Logicians readA—is—equal to B: as ifequal to Bcould possibly be a term co-relative with A. Whence it follows that the argumentA = B = C ∴ A = Ccontains four terms; though everybody sees that there are only three.
In fact (as observed inchap. ii. § 2) the sign of logical relation (isoris not), whilst usually adequate for class-reasoning (coinherence) and sometimes extensible to causation (because a cause implies a class of events), should never be stretched to include other relations in such a way as to sacrifice intelligence to formalism. And, besides mathematical or quantitative relations, there are others (usually considered qualitative because indefinite) which cannot be justly expressed by the logical copula. We ought to read propositions expressing time-relations (and inferences drawn accordingly) thus:
B—is before—C;A—is before—B:∴ A—is before—C.
And in like mannerA—is simultaneous with—B; etc.Such arguments (as well as the mathematical) are intuitively sound and verifiable, and might be generalised in axioms if it were worth while: but it is not, because no method could be founded on such axioms.
The customary use of relative terms justifies some Mediate Inferences, as,The father of a father is a grand-father.
Some cases, however, that at first seem obvious, are really delusive unless further data be supplied. ThusA co-exists with B, B with C; ∴ A with C—is not sound unlessBis an instantaneous event; for where B is perdurable,Amay co-exist with it at one time andCat another.
Again:A is to the left of B, B of C; ∴ A of C. This maypass; but it is not a parallel argument that ifA is north of B and B west of C, thenA is north-west of C: for suppose that A is a mile to the north of B, and B a yard to the west of C, then A is practically north of C; at least, its westward position cannot be expressed in terms of the mariner's compass. In such a case we require to know not only the directions but the distances of A and C from B; and then the exact direction of A from C is an affair of mathematical calculation.
Qualitative reasoning concerning position is only applicable to things in one dimension of space, or in time considered as having one dimension. Under these conditions we may frame the following generalisation concerning all Mediate Inferences: Two terms definitely related to a third, and one of them positively, are related to one another as the other term is related to the third (that is, positively or negatively); provided that the relations given are of the same kind (that is, of Time, or Coinherence, or Likeness, or Equality).
Thus, to illustrate by relations of Time—
B is simultaneous with C;A is not simultaneous with B:∴ A is not simultaneous with C.
Here the relations are of the same kind but of different logical quality, and (as in the syllogism) a negative copula in the premises leads to a negative conclusion.
An examination in detail of particular cases would show that the above generalisation concerning all Mediate Inferences is subject to too many qualifications to be called an Axiom; it stands to the real Axioms (theDictum,etc.) as the notion of the Uniformity of Nature does to the definite principles of natural order (cf.chap. xiii. § 8).
§ 1. The type of logical, deductive, mediate, categorical Inference is a Syllogism directly conformable with theDictum: as—
All carnivores (M) are excitable (P);Cats (S) are carnivores (M):∴ Cats (S) are excitable (P).
In this example P is predicated of M, a term distributed; in which term, M, S is given as included; so that P may be predicated of S.
Many arguments, however, are of a type superficially different from the above: as—
No wise man (P) fears death (M);Balbus (S) fears death (M):∴ Balbus (S) is not a wise man (P).
In this example, instead of P being predicated of M, M is predicated of P, and yet S is given as included not in P, but in M. The divergence of such a syllogism from theDictummay, however, be easily shown to be superficial by writing, instead ofNo wise man fears death, the simple, converse,No man who fears death is wise.
Again:
Some dogs (M) are friendly to man (P);All dogs (M) are carnivores (S):∴ Some carnivores (S) are friendly to man (P).
Here P is predicated of M undistributed; and instead of S being included in M, M is included in S: so that the divergence from the type of syllogism to which theDictumdirectly applies is still greater than in the former case. But if we transpose the premises, taking first
All dogs (M) are carnivores (P),
then P is predicated of M distributed; and, simply converting the other premise, we get—
Some things friendly to man (S) are dogs (M):
whence it follows that—
Some things friendly to man (S) are carnivores (P);
and this is the simple converse of the original conclusion.
Once more:
No pigs (P) are philosophers (M);Some philosophers (M) are hedonists (S):∴ Some hedonists (S) are not pigs (P).
In this case, instead of P being predicated of M distributed, M is predicated of P distributed; and instead of S (or part of it) being included in M, we are told that some M is included in S. Still there is no real difficulty. Simply convert both the premises, and we have:
No philosophers (M) are pigs (P);Some hedonists (S) are philosophers (M).
Whence the same conclusion follows; and the whole syllogism plainly conforms directly to theDictum.
Such departures as these from the normal syllogistic form are said to constitute differences of Figure (see§ 2); and the processes by which they are shown to be unessential differences are called Reduction (see§ 6).
§ 2. Figure is determined by the position of the Middle Term in the premises; of which position there are four possible variations. The middle term may be subject of the major premise, and predicate of the minor, as in the first example above; and this position, being directly conformable to the requirements of theDictum, is called the First Figure. Or the middle term may be predicate of both premises, as in the second of the above examples;and this is called the Second Figure. Or the middle term may be subject of both premises, as in the third of the above examples; and this is called the Third Figure. Or, finally, the middle term may be predicate of the major premise, and subject of the minor, as in the fourth example given above; and this is the Fourth Figure.
It may facilitate the recollection of this most important point if we schematise the figures thus:
The horizontal lines represent the premises, and at the angles formed with them by the slanting or by the perpendicular lines the middle term occurs. The schema of Figure IV. resembles Z, the last letter of the alphabet: this helps one to remember it in contrast with Figure I., which is thereby also remembered. Figures II. and III. seem to stand back to back.
§ 3. The Moods of each Figure are the modifications of it which arise from different combinations of propositions according to quantity and quality. In Figure I., for example, four Moods are recognised: A.A.A., E.A.E., A.I.I., E.I.O.
A.All M is P;A.All S is M:A.∴ All S is P.E.No M is P;A.All S is M:E.∴ No S is P.A.All M is P;I.Some S is M:I.∴ Some S is P.E.No M is P;I.Some S is M:O.∴ Some S is not P.
Now, remembering that there are four Figures, and four kinds of propositions (A. I. E. O.), each of which propositions may be major premise, minor premise, or conclusion of a syllogism, it appears that in each Figure there may be 64 Moods, and therefore 256 in all. On examining these 256 Moods, however, we find that only 24 of them are valid (i.e., of such a character that the conclusion strictly follows from the premises), whilst 5 of these 24 are needless, because their conclusions are 'weaker' or less extensive than the premises warrant; that is to say, they are particular when they might be universal. Thus, in Figure I., besides the above 4 Moods, A.A.I. and E.A.O. are valid in the sense of being conclusive; but they are superfluous, because included in A.A.A. and E.A.E. Omitting, then, these 5 needless Moods, which are called 'Subalterns' because their conclusions are subaltern (chap. vii. § 2) to those of other Moods, there remain 19 Moods that are valid and generally recognised.
§ 4. How these 19 Moods are determined must be our next inquiry. There are several ways more or less ingenious and interesting; but all depend on the application, directly or indirectly, of the Six Canons, which were shown in the last chapter to be the conditions of Mediate Inference.
(1) One way is to begin by finding what Moods of Figure I. conform to theDictum. Now, theDictumrequires that, in the major premise, P be predicated of a term distributed, from which it follows that no Mood can be valid whose major premise is particular, as in I.A.I. or O.A.O. Again, theDictumrequires that the minor premise be affirmative ("with which term another is identified"); so that no Mood can be valid whose minor premise is negative, as in A.E.E. or A.O.O. By such considerations we find that in Figure I., out of 64 Moods possible, only six are valid, namely, those above-mentioned in§ 3, including the two subalterns. The second step of this method isto test the Moods of the Second, Third, and Fourth Figures, by trying whether they can be reduced to one or other of the four Moods of the First (as briefly illustrated in§ 1, and to be further explained in§ 6).
(2) Another way is to take the above six General or Common Canons, and to deduce from them Special Canons for testing each Figure: an interesting method, which, on account of its length, will be treated of separately in the next section.
(3) Direct application of the Common Canons is, perhaps, the simplest plan. First write out the 64 Moods that are possible without regard to Figure, and then cross out those which violate any of the Canons or Corollaries, thus:
AAA,AAE(6th Can.b). AAI,AAO(6th Can.b).AEA(6th Can.a) AEE,AEI(6th Can.a) AEO,AIA(Cor. ii.)AIE(6th Can.b) AII,AIO(6th Can.b)AOA(6th Can.a)AOE(Cor. ii.)AOI(6th Can.a) AOO.
Whoever has the patience to go through the remaining 48 Moods will discover that of the whole 64 only 11 are valid, namely:
A.A.A., A.A.I., A.E.E., A.E.O., A.I.I., A.O.O.,E.A.E., E.A.O., E.I.O., I.A.I., O.A.O.
These 11 Moods have next to be examined in each Figure, and if valid in every Figure there will still be 44 moods in all. We find, however, that in the First Figure, A.E.E., A.E.O., A.O.O. involve illicit process of the major term (3rd Can.); I.A.I., O.A.O. involve undistributed Middle (4th Can.); and A.A.I., E.A.O. are subalterns. In the Second Figure all the affirmative Moods, A.A.A., A.A.I., A.I.I., I.A.I., involve undistributed Middle; O.A.O. gives illicit process of the major term; and A.E.O., E.A.O. are subalterns. In the Third Figure, A.A.A., E.A.E., involve illicit process of the minor term (3rd Can.); A.E.E., A.E.O., A.O.O., illicitprocess of the major term. In the Fourth Figure, A.A.A. and E.A.E. involve illicit process of the minor term; A.I.I., A.O.O., undistributed Middle; O.A.O. involves illicit process of the major term; and A.E.O. is subaltern.
Those moods of each Figure which, when tried by these tests, are not rejected, are valid, namely:
Fig. I.—A.A.A., E.A.E., A.I.I., E.I.O. (A.A.I., E.A.O., Subaltern);Fig. II.—E.A.E., A.E.E., E.I.O., A.O.O. (E.A.O., A.E.O., Subaltern);Fig. III.—A.A.I., I.A.I., A.I.I., E.A.O., O.A.O., E.I.O.;Fig. IV.—A.A.I., A.E.E., I.A.I., E.A.O., E.I.O. (A.E.O., Subaltern).
Fig. I.—A.A.A., E.A.E., A.I.I., E.I.O. (A.A.I., E.A.O., Subaltern);
Fig. II.—E.A.E., A.E.E., E.I.O., A.O.O. (E.A.O., A.E.O., Subaltern);
Fig. III.—A.A.I., I.A.I., A.I.I., E.A.O., O.A.O., E.I.O.;
Fig. IV.—A.A.I., A.E.E., I.A.I., E.A.O., E.I.O. (A.E.O., Subaltern).
Thus, including subaltern Moods, there are six valid in each Figure. In Fig. III. alone there is no subaltern Mood, because in that Figure there can be no universal conclusion.
§ 5. Special Canons of the several Figures, deduced from the Common Canons, enable us to arrive at the same result by a somewhat different course. They are not, perhaps, necessary to the Science, but afford a very useful means of enabling one to thoroughly appreciate the character of formal syllogistic reasoning. Accordingly, the proof of each rule will be indicated, and its elaboration left to the reader. There is no difficulty, if one bears in mind that Figure is determined by the position of the middle term.
Fig. I., Rule (a):The minor premise must be affirmative.
For, if not, in negative Moods there will be illicit process of the major term. Applying this rule to the eleven possible Moods given in § 4, as remaining after application of the Common Canons, it eliminates A.E.E., A.E.O., A.O.O.
(b)The major premise must be universal.
For, if not, the minor premise being affirmative, themiddle term will be undistributed. This rule eliminates I.A.I., O.A.O.; leaving six Moods, including two subalterns.
Fig. II. (a)One premise must be negative.
For else neither premise will distribute the middle term. This rule eliminates A.A.A., A.A.I., A.I.I., I.A.I.
(b)The major premise must be universal.
For else, the conclusion being negative, there will be illicit process of the major term. This eliminates I.A.I., O.A.O.; leaving six Moods, including two subalterns.
Fig. III. (a)The minor premise must be affirmative.
For else, in negative moods there will be illicit process of the major term. This rule eliminates A.E.E., A.E.O., A.O.O.
(b)The conclusion must be particular.
For, if not, the minor premise being affirmative, there will be illicit process of the minor term. This eliminates A.A.A., A.E.E., E.A.E.; leaving six Moods.
Fig. IV. (a)When the major premise is affirmative, the minor must be universal.
For else the middle term is undistributed. This eliminates A.I.I., A.O.O.
(b)When the minor premise is affirmative the conclusion must be particular.
Otherwise there will be illicit process of the minor term. This eliminates A.A.A., E.A.E.
(c)When either premise is negative, the major must be universal.
For else, the conclusion being negative, there will be illicit process of the major term. This eliminates O.A.O.; leaving six Moods, including one subaltern.
§ 6. Reduction is either—(1) Ostensive or (2) Indirect. Ostensive Reduction consists in showing that an argument given in one Mood can also be stated in another; the process is especially used to show that the Moods of the second, third, and fourth Figures are equivalent to one oranother Mood of the first Figure. It thus proves the validity of the former Moods by showing that they also essentially conform to theDictum, and that all Categorical Syllogisms are only superficial varieties of one type of proof.
To facilitate Reduction, the recognised Moods have all had names given them; which names, again, have been strung together into mnemonic verses of great force and pregnancy:
Barbara, Celarent, Darii, Ferioque prioris:Cesare, Camestres, Festino, Baroco, secundæ:Tertia, Darapti, Disamis, Datisi, Felapton,Bocardo, Ferison, habet: Quarta insuper additBramantip, Camenes, Dimaris, Fesapo, Fresison.
In the above verses the names of the Moods of Fig. I. begin with the first four consonants B, C, D, F, in alphabetical order; and the names of all other Moods likewise begin with these letters, thus signifying (except in Baroco and Bocardo) the mood of Fig. I., to which each is equivalent, and to which it is to be reduced: as Bramantip to Barbara, Camestres to Celarent, and so forth.
The vowels A, E, I, O, occurring in the several names, give the quantity and quality of major premise, minor premise, and conclusion in the usual order.
The consonants s and p, occurring after a vowel, show that the proposition which the vowel stands for is to be converted either (s) simply or (p)per accidens; except where s or p occurs after the third vowel of a name, the conclusion: then it refers not to the conclusion of the given Mood (say Disamis), but to the conclusion of that Mood of the first Figure to which the given Mood is reduced (Darii).
M (mutare, metathesis) means 'transpose the premises' (as of Camestres).
C means 'substitute the contradictory of the conclusion for the foregoing premise,' a process of the Indirect Reduction to be presently explained (see Baroco, § 8).
The other consonants, r, n, t (with b and d, when not initial), occurring here and there, have no mnemonic significance.
What now is the problem of Reduction? The difference of Figures depends upon the position of the Middle Term. To reduce a Mood of any other Figure to the form of the First, then, we must so manipulate its premises that the Middle Term shall be subject of the major premise and predicate of the minor premise.
Now in Fig. II. the Middle Term is predicate of both premises; so that the minor premise may need no alteration, and to convert the major premise may suffice. This is the case with Cesare, which reduces to Celarent by simply converting the major premise; and with Festino, which by the same process becomes Ferio. In Camestres, however, the minor premise is negative; and, as this is impossible in Fig. I., the premises must be transposed, and the new major premise must be simply converted: then, since the transposition of the premises will have transposed the terms of the conclusion (according to the usual reading of syllogisms), the new conclusion must be simply converted in order to prove the validity of the original conclusion. The process may be thus represented (s.c.meaning 'simply convert')