a type of deductive inference, the two premises and the conclusion of which have the same subject-predicate structure.
The term “syllogism” is most often applied to the “categorical” syllogisms, the premises and conclusions of which are statements (judgments) expressed in simple sentences, with the verb “to be” (indicative mood, singular or plural, with or without negation) as the grammatical predicate linking the terms of the sentence—the subject and the predicate in the logical sense (the designation of a class). The sentences in categorical syllogisms are formed with quantifying words, such as “all,” “any,” “each,” “every,” and “some” (or “there is,” “there exists,” and so forth). They may take any of four forms (the terms of the sentences are designated by capital letters): all R are Q (a universal affirmative, usually designated by the letter A); no R is Q (universal negative, designated by E); some R are Q (particular affirmative, designated by I), and some R are not Q (particular negative, designated by O).
The following judgment is an example of a categorical syllogism: no P is M; some S are M; therefore some S are not P. This may also be stated as a conditional sentence: if no P is M and some S are M, then some S are not P. The following is also an example of a categorical syllogism: every M is P; every S is M; therefore every S is P. (The latter type of syllogism is represented by the literary example “All humans are mortal; all Greeks are humans; therefore all Greeks are mortal.”) The premise containing the predicate of the conclusion (the major term P) is called the major premise, and the premise containing the subject of the conclusion (the minor term S), the minor premise.
Syllogisms are divided into four figures, depending on the middle term M, which is included only in the premises of the syllogism. In the first, M serves as the subject in the major premise and as the predicate in the minor premise; in the second, as the predicate in both premises; in the third, as the subject in both premises; and in the fourth, as the predicate in the major premise and the subject in the minor premise.
Different moods of syllogisms are distinguished, depending on the form of the syllogistic sentences (A, E, I, or O). In each figure there are 4 X 4 X 4 = 64 conceivable moods, or a total of 256 moods. However, only 24 prove to be valid (that is, guaranteeing a true conclusion from true premises). Of these, five are weakened moods—that is, it is possible to strengthen them by the substitution of a particular sentence for a universal one in the conclusion. Thus, there are 19 unweakened, valid syllogistic moods in the four syllogistic figures. (In the following list, the first letter denotes the type of major premise; the second, the type of minor premise; and the third, the type of conclusion.) The 19 unweakened moods are AAA, EAE, All, and EIO in the first figure; EAE, AEE, EIO, and AOO in the second; AAI, IA I, All, EAO, OAO, and EIO in the third; and AAI, AEE, IAI, EA O, and EIO in the fourth. (See for a discussion of the validity of these moods and the invalidness of the others.)
The term “syllogism” is also used in a broader sense to refer to deductions drawn from other types of sentences. Thus, there are conditional, conditional-categorical, disjunctive-categorical, and conditional disjunctive syllogisms. Sometimes, the term “syllogism” is used as a synonym for “deduction.”