The Epicheirema is called Single or Double, says Hamilton, according as an "adscititious proposition" attaches to one or both of the premises. The above example is of the double kind. The Single Epicheirema is said to be of the First Order, if the adscititious proposition attach to the major premise; if to the minor, of the Second Order. (Hamilton's Logic: Lecture xix.)

An Epicheirema, then, is an abbreviated chain of reasoning, or Polysyllogism, comprising an Episyllogism with one or two enthymematic Prosyllogisms. The major premise in the above case, All men are mortal, for they are animals, is an Enthymeme of the First Order, suppressing its own major premise, and may be restored thus:

All animals are mortal;
All men are animals:
∴ All men are mortal.

The minor premise, Socrates is a man, for rational bipeds are men, is an Enthymeme of the Second Order, suppressing its own minor premise, and may be restored thus:

All rational bipeds are men;
Socrates is a rational biped:
∴ Socrates is a man.

§ 5. The Sorites is a Polysyllogism in which the Conclusions, and even some of the Premises, are suppressed until the arguments end. If the chain of arguments were freed of its enthymematic character, the suppressed conclusions would appear as premises of Episyllogisms.

Two varieties of Sorites are recognised, the Aristotelian (so called, though not treated of by Aristotle), and the Goclenian (named after its discoverer, Goclenius of Marburg, who flourished about 1600 A.D.). In order to compare these two forms of argument, it will be convenient to place side by side Hamilton's classical examples of them.

Aristotelian. Goclenian.
Bucephalus is a horse; An animal is a substance;
A horse is a quadruped; A quadruped is an animal;
A quadruped is an animal; A horse is a quadruped;
An animal is a substance: Bucephalus is a horse:
Bucephalus is a substance.Bucephalus is a substance.

The reader wonders what is the difference between these two forms. In the Aristotelian Sorites the minor term occurs in the first premise, and the major term in the last; whilst in the Goclenian the major term occurs in the first premise, and the minor in the last. But since the character of premises is fixed by their terms, not by the order in which they are written, there cannot be a better example of a distinction without a difference. At a first glance, indeed, there may seem to be a more important point involved; the premises of the Aristotelian Sorites seem to proceed in the order of Fig. IV. But if that were really so the conclusion would be, Some Substance is Bucephalus. That, on the contrary, every one writes the conclusion, Bucephalus is a substance, proves that the logical order of the premises is in Fig. I. Logically, therefore, there is absolutely no difference between these two forms, and pure reason requires either that the "Aristotelian Sorites" disappear from the text-books, or that it be regarded as in Fig. IV., and its conclusion converted. It is the shining merit of Goclenius to have restored the premises of the Sorites to the usual order of Fig. I.: whereby he has raised to himself a monument more durable than brass, and secured indeed the very cheapest immortality.

The common Sorites, then, being in Fig. I., its rules follow from those of Fig. I: