§ 801. It is plain that all truths cannot be established by reasoning. For the attempt to do so would involve us in an infinite regress, wherein the number of syllogisms required would increase at each step in a geometrical ratio. To establish the premisses of a given syllogism we should require two preceding syllogisms; to establish their premisses, four; at the next step backwards, eight; at the next, sixteen; and so on ad infinitum. Thus the very possibility of reasoning implies truths that are known to us prior to all reasoning; and, however long a train of reasoning may be, we must ultimately come to truths which are either self-evident or are taken for granted. § 802. Any syllogism which establishes one of the premisses of another is called in reference to that other a Pro-syllogism, while a syllogism which has for one of its premisses the conclusion of another syllogism is called in reference to that other an Epi-syllogism. _The Epicheirema_. § 803. The name Epicheirema is given to a syllogism with one or both of its premisses supported by a reason. Thus the following is a double epicheirema-- All B is A, for it is E. All C is B, for it is F. .'. All C is A. All virtue is praiseworthy, for it promotes the general welfare. Generosity is a virtue, for it prompts men to postpone self to others. .'. Generosity is praiseworthy. § 804. An epicheirema is said to be of the first or second order according as the major or minor premiss is thus supported. The double epicheirema is a combination of the two orders. § 805. An epicheirema, it will be seen, consists of one syllogism fully expressed together with one, or, it may be, two enthymemes (§ 557). In the above instance, if the reasoning which supports the premisses were set forth at full length, we should have, in place of the enthymemes, the two following pro-syllogisms-- (i) All E is A. All B is E. .'. All B is A. Whatever promotes the general welfare is praiseworthy. Every virtue promotes the general welfare. .'. Every virtue is praiseworthy. (2) All F is B. All C is F. .'. All C is B. Whatever prompts men to postpone self to others is a virtue. Generosity prompts men to postpone self to others. .'. Generosity is a virtue. § 806. The enthymemes in the instance above given are both of the first order, having the major premiss suppressed. But there is nothing to prevent one or both of them from being of the second order-- All B is A, because all F is. All C is B, because all F is. .'. All C is A. All Mahometans are fanatics, because all Monotheists are. These men are Mahometans, because all Persians are. .'. These men are fanatics. Here it is the minor premiss in each syllogism that is suppressed, namely, (1) All Mahometans are Monotheists. (2) These men are Persians. _The Sorites_. § 807. The Sorites is the neatest and most compendious form that can be assumed by a train of reasoning.