Minor premise Conclusion Each part is a categorical proposition, and each categorical proposition contains two categorical terms. In Aristotle, each of the premises is in the form "All A are B," "Some A are B", "No A are B" or "Some A are not B", where "A" is one term and "B" is another: "All A are B," and "No A are B" are termed universal propositions; "Some A are B" and "Some A are not B" are termed particular propositions. More modern logicians allow some variation. Each of the premises has one term in common with the conclusion: in a major premise, this is the major term (i.e., the predicate of the conclusion); in a minor premise, this is the minor term (i.e., the subject of the conclusion). For example: Major premise: All humans are mortal. Minor premise: All Greeks are humans. Conclusion: All Greeks are mortal. Each of the three distinct terms represents a category. From the example above, humans, mortal, and Greeks: mortal is the major term, and Greeks the minor term. The premises also have one term in common with each other, which is known as the middle term; in this example, humans. Both of the premises are universal, as is the conclusion. Major premise: All mortals die. Minor premise: All men are mortals. Conclusion: All men die. Here, the major term is die, the minor term is men, and the middle term is mortals. Again, both premises are universal, hence so is the conclusion. Polysyllogism A polysyllogism, or a sorites, is a form of argument in which a series of incomplete syllogisms is so arranged that the predicate of each premise forms the subject of the next until the subject of the first is joined with the predicate of the last in the conclusion. For example, one might argue that all lions are big cats, all big cats are predators, and all predators are carnivores. To conclude that therefore all lions are carnivores is to construct a sorites argument. Types There are infinitely many possible syllogisms, but only 256 logically distinct types and only 24 valid types (enumerated below). A syllogism takes the form (note: M – Middle, S – subject, P – predicate.): Major premise: All M are P. Minor premise: All S are M. Conclusion: All S are P. The premises and conclusion of a syllogism can be any of four types, which