fihssJBC \s% Book_JAl Y? MANUAL OF LOGIC MANUAL OF LOGKLC, DEDUCTIVE AND INDUCTIVE. H. H. MUNEO, '• Since it is reason which sets in order and finishes all things, it ought not itself to be left in disorder." — Stoic. GLASGOW: MAURICE OGLE AND SON LONDON: HAMILTON, ADAMS AND CO. EDINBURGH: ROBERT OGLE. MDCCCL. c< 8 ?°,a« GLASGOW: PRINTER B T S. AND T. DUNN, 14, Prince's Square. 7rZ*L £* 'o^rnr-l &1~. as £; R * w ^ S a w £ p g £ s o § § H O £ 05 fcCJ s < a o 8 9 8* II j °° 3 s g H w ~2 IT'S J •2 ^ ® 03 p* S s s ° 3 a O cj '* J .2 ^ a c s-

j%oj.) Differentia has no distinct place as- signed to it, but is considered as belonging naturally to the genus (wg ovffotv yzvizrjv.') Species is regarded as constituted not so much by the combined notions of the genus and difference as from the marks of two concurrent or com- municant genera. 40 MANUAL OF LOGIC. There are five distinct classes of relations which may ob- tain between a subject and a predicate, for of any subject we may affirm its genus, or its differentia, or its species, or its proprium, or its accidens. In conceiving of some imaginary common nature — as, man, triangle — we are naturally led to conceive, also, that this supposed essence or nature is composed of parts, and that the conception of it may therefofte be resolved into more simple conceptions ; for instance, the conception of man resolves itself into those of animality and rationality ; tri- angle into figure, and the quality of having three sides. These, again, suggest other conceptions as belonging to the primary essence or nature ; as, risibility, nobility to man; the having three angles; the being equilateral to triangle. These in their order we term the essence, the part of the essence, and the quality joined to the essence. The essence consists of two parts, of which one is common to it, and to other essences, as animality is common to man and brute, figure to triangle, circle, square, &c. The other is peculiar to the essence, and distinguishes it from all others, and forms it that which it is, i. e., rationality distinguishes man from all other animals ; the having three sides distinguishes tin- angle from all other figures. But the quality joined to the essence may be twofold, as being either necessarily or contingently united with it. Thus with man the idea of risibility is necessarily joined, while the ideas of nobility, tallness, &c, are only contingently joined. With triangle, the having three angles is necessarily, but the being equilateral, or isosceles, &c, is only accidentally joined. These have been termed, as above stated, the five predic- ates or universals. It may be proper to remark, however, that the predicable and the universal are not one and the same. The former is the sign expressive of the latter. The predicable is that which is asserted of many, and the univer- MANUAL OF LOGIC. 41 sal is one nature existing in many, or the ens unum in multis. The subjoined examples may be of use to the student : — Genus, animal. Differentia, rational. Species, . man. Propriuni, possessing speech. Accidens, learned, illiterate, &c. Genus, juice. Differentia, extracted from grapes. Species, . wine. Propriuni, inebriating. Accidens, sweet. Genus, sentence. Differentia, declaratory. Species, . proposition. Proprium, true or false. Accidens, categorical, modal, &c. Genus, substance. Differentia, having solid extension. Species, . body. Propriuni, occupying space. Accidens, white, red, &c. Genus, . water. Differentia, falling from the clouds in drops Species, . rain. Proprium, fertilising the earth. Accidens, cold, violent, excessive, &c. Genus, surface. Differentia, bounded by one or more lines. Species, . figure. Proprium, enclosing space. Accidens, large, small, &c. 42 MANUAL OF LOGIC. Genus, ' . figure. Differentia, having three sides. Species, . triangle. Proprium, having three angles. Accidens, equilateral, isosceles, &c. Genus, star. Differentia, wandering. Species, . planet. Proprium, describing an elliptical orbit- Accidens, seen from the earth. Genus, . institution. Differentia, possessing the highest executive power in a country. Species, . government. Proprium, able to enact or abrogate laws. Accidens, monarchial, despotic, &c. The above examples have been selected - on account of their simplicity, and with the view of showing that all the more important knowledge we possess, regarding the nature of a thing, may be briefly summed up by the five predicables. When we say, ' Man is a rational animal, possessing speech, learned,' &c, we give an adequate account of his nature. The object of all investigations into the nature of things, is to ascertain all the predicables that bear relation to them ; and our knowledge must always be confined to the predications we can make with certainty. It is a simple matter to refer a species to its true genus. We readily refer iron to the genus metal ; eagle to the genus bird, &c. ; but to decide on the individual quality which essentially 'distinguishes one species from another, and what specific property is to be held as flowing necessarily from the essential attribute of any given species, is often a point of extreme difficulty. Even in the examples prefixed, simple as they are, many of the differentiae and propria are by no means beyond the reach of objection. MANUAL OF LOGIC. 43 SCHEME OF THE PORPHYRIAS TREE. Substance. Divisive. Corporeal. Constitutive. Divisive. Animate. Constitutive. Body. Divisive. Incorporeal. Divisive. Inanimate. Living Body. Divisive. Sensitive. Constitutive. Divisive. Rational. Constitutive. Animal. Divisive. Insensitive. Divisive. Irrational. Man. ►tf o > H- o CO 3 o H 2 fc Q s 3 H a CO i W 9 M DO O A 44 MANUAL OF LOGIC. In this simple scheme of the Porphyrian Tree, substance is taken as the highest genus, and man as the lowest or infima species; all the other terms in the direct line between sub- stance and man are subaltern terms. The scheme may be thus explained : — Substance, taken as the highest genus, is divided, as indicated by the term ' divisive,' into two species — ' corporeal,' and ' incorporeal.' On the left side are the logical differentia, which distinguish each species from the collateral species belonging to the genus immediately above it. On the right side are the differences of those collateral species which are not specified in the scheme. ' Substance,' then, as has been said, is divided into ' corporeal' and ' incorporeal ;' by combining the terms 'corporeal' and 'substance,' i. e., the differentia and genus, they constitute, as indicated by the term ' constitutive/ the species ' body,' which is one and the same with corporeal substance. Then, again, considering ' body' as a genus, it is divided into ' animate' and ' inani- mate;' and, by combining 'animate' and 'body,' we consti- tute the species ' living body.' Living body may, however, be considered a genus, and as such may be divided into 'sensitive' and 'insensitive,' and, by combining 'sensitive' and ' living body,' we constitute the species ' animal.' Ani- mal may also be considered a genus, and is divisible into ' rational' and ' irrational,' and, by uniting ' rational' and animal,' we constitute the species ' man,' which is equivalent to rational animal. ' Man,' however, is an infima species, and is consequently only divisible into the individuals con- tained under it. The term genus denotes the material, or common part of an essence ; differentia, the distinguishing or formal part of an essence; species, the whole of an essence; proprium, some property necessarily joined to an essence ; and accidens, some property contingently joined to an essence. The predicables belonging to each of these five classes are predicated or asserted in the same sense of many things, MANUAL OF LOGIC. 45 namely, of all those objects in which the common or universal nature represented by the term is supposed to exist. First. We can predicate of any subject its genus ; as, Violets are flowers. Daisies are flowers. Here the term flowers denotes the genus, and is predicated of both violets and daisies, two of the species comprehended under it. Or, secondly, its species ; as, This plain figure is a triangle. This plain figure is a square. Here the terms triangle and square denote species, and are predicated of their genus plain figure. Or, thirdly, its differ- entia, i. e., the formal and distinguishing part of its essence ; as, A triangle is a figure contained by three sides. Here, contained by three sides, denotes the differentia, and is affirmed of triangle , of which alone it is predicable. Or, fourthly, its proprium ; as, Every triangle has three angles — the property of having three angles being necessarily joined to the differentia, contained by three sides. Or, fifthly, its accidens, i. e., something accidental to it — a quality which is found in some, but not in others ; as, This triangle is equilateral. Men are wits. Bodies are round. Here the terms equilateral, wits, round, are accidents to the subjects triangle, men, bodies. It must be kept in view, however, that each of these heads 46 MANUAL OF LOGIC. of predicables is a relative term ; for that which is a genus, when predicated of some things, may be a differentia, species, proprium, or accidens, when predicated of other things. 3 In short, we cannot say what predicable any term is, or whether it is really one, until it be specified of what it is to be predi- cated, e. g., The term sound is a genus, in relation to the species contained under it, viz., sharp sound, flat sound, &c. On the other hand, it is the differentia of a sounding body, the proprium of bodies, which, from their nature, are capable of producing sound, and it is an accident of bodies in general. b definition and explanation of the five predicables. 1. Of Genus. Genus is defined to be a universal predicable, predicated in ' quid ' of many things differing in species, as the material or common part of their essence. Things are said to differ in species, or, specifically, when viewed as divided into different classes. Terms which belong to the class genus express common natures, derived not immediately from the comparison of individuals, but from the comparison of several classes or a Although in their application the predicables are to be viewed as relative terms, yet, when regarded as the species contained under a genus, their relation to each other is determinate and opposed. b It is to be remarked of these distinctions, that they express not what the predicate is in its own meaning, but what relation it bears to the subject of which it happens on the particular occasion to be predicated. There are not some names which are exclusively genera, and others which are exclusively species, or differentiae, ; but the same term is referred to one or another predic- able, according to the subject of which it is predicated on the particular occa- sion. Animal, for instance, is a genus, with respect to man or John ; a species, with respect to substance or being. The words genus, species, &c. are therefore relative terms ; they are names applied to certain predicates, to ex- press the relation between them and some given subject. — Mitt's Logic, p. 162. MANUAL OF LOGIC. 47 species already formed by abstraction and generalisation from individuals; and it is for this reason that such terms are technically said to be predicated of things differing in species. The term genus denotes a class that has immediately under it two or more classes or species, and each of these, if not species infima, must have at least two other species or classes under them. It is an universal term, and the classes under it must be universal terms, *. e., they must be expressive of species or classes. Thus the genus Animal comprehends under it the classes man, beast, bird, fish, insect, which are also all universal terms. A term, therefore, which only includes singulars under it cannot be a genus. Genus, then., is an abridged expression of all the collected properties found in the subject species, with the exception of the differentice, and the properties resulting from them. There are two kinds of genus, viz., summum and subalter- num. The summum, or highest genus, is the last step in generalisation. Any genus that cannot be considered a spe- cies of anything, is a summum genus. A summum genus can therefore in no case be a species, as it manifestly can have no constitutive differentia. Summum genus, in its strictest signification, is that all- extensive term under which every object of whatever kind may be classed, and of every one of which it may be affirma- tively predicated. The w r ord generally used to express it is substance, or, as some call it, being. It is the highest and most general notion which the mind can conceive, and cannot consequently be classed under any superior genus. Many other genera are, however, frequently used as summa genera, according as they may be most suitable for any particular science or system. Thus by an ornithologist, bird would be regarded as the summum genus under which he w T ould class the various subdivisions of birds ; in like manner, fish would 48 MANUAL OF LOGIC. be regarded as the sumraum genus most applicable to the study of ichthyology. Any term between a highest genus and a lowest species, expresses a species with reference to the genus above it, but a genus with regard to the species below it ; and such terms are respectively named genus subalternum, and species sub- alterna. This will be more clearly illustrated by an ex- ample : — Highest Genus. Lowest Speciei. Substance, Body, Living Body, Animal, Man. Here body is a species with reference to its genus substance, but a genus with reference to living body, which is one of the species included under it. Living body, again, is a species with reference to its genus body, but a genus with reference to animal, which is one of its subject species. Animal, on the other hand, is a species with reference to living body, but a genus with reference to man, being one of the species which it comprises. Man is the lowest species (species infima), in- cluding under it no terms except the proper names of individual men, and cannot therefore be considered a genus of anything. Species still lower might be formed, indeed, if we were to classify men according to their country ; as, American, Asiatic, African, European, or, according to their size, age, or colour; but such classifications would proceed on acciden- tal, not on essential distinctions. In the series substance, body, living body, animal, man, the term substance is the highest genus, and cannot be a species of anything more abstract, as it is the last step in generalisa- tion ; and the term man is the lowest species, and cannot be considered a genus, as it is the first step in generalisation. With the exception, therefore, of the terms substance and man, every other term in the series is a genus subalternum with regard to the term below it, and a species subalterna with regard to the term above it. MANUAL OF LOGIC. 49 In any series of this kind, it is evident that the summum genus has the least comprehension and greatest extension of all the terms, being the name of the simplest conception, and that the species infima has the greatest comprehension and the least extension of them all, although, as a universal term, it has a smaller comprehension, (as it excludes accidents) and greater extension than any of the singular terms included under it. Genus, as already mentioned, means the material or com- mon part of an essence ; a and hence it can only be predicated of things differing in species. "When we say violets are flower 's 9 daisies are flowers, the affirmation is only made as to the common part of their essence, i. e., their common points of resemblance. Violets and daisies, and all other flowers, pos- sess certain qualities in common, and it is upon these that the genus is founded. The characteristic and distinguishing attri- butes do not enter into the comprehension of the genus. But every attribute included in the comprehension of the genus is predicable of every one of its subject species. It follows that a genus can only express an essence inade- quately, since it merely expresses a nature common to many things, excluding from its comprehension all the distinguish- ing characteristics of the species of which it may be predicated. A genus is called & logical or universal whole, because it is the most extensive term in its signification, containing a From what has been said at the close of the last section, regarding realism and nominalism, it will readily be seen that the definitions here given of the predicables' are strictly realistic in their character, for they cannot be defended except on realist principles ; that is, that genera and species are not mere con- ceptions of the mind, but have an independent existence in nature. Like most of the scholastic definitions, they are simple, clear, and terse, and not likely to be replaced by anything preferable. Indeed, all definitions of the subjective, as the predicables are now universally regarded, are characterised by less or more looseness and vagueness ; at all events, they fall short -of the exactness and pre- cision which can be secured in definitions of the objective. The definitions are those of Aldrich, who probably took them immediately from Albertus Magnus. C 50 .MANUAL OF LOGIC. species as its subject parts, and affirmatively predicable of all of them, as may be seen from the following example, viz. : — 'Men \ All Beasts Birds Fishes Jnsects C are Animals. Here animal is the logical whole, and men, beasts, birds, &c, its contained parts. A logical whole — such as a genus — has only parts of ex- tension, while a metaphysical, or essential whole — such as a species — has parts of comprehension. Genus is said to be predicated in ' quid' (sv ry n sov "koyi/iov dvrjrov (a rational mortal being) — the last term being in like manner the differentia of man, as compared with the gods. — Mansell, p. 21. 56 MANUAL OF LOGIC. and the attribute irrational to another part of it, e. g., rational animal, or man ; irrational animal, or beast. "With respect to its dividing the genus, it has been termed divisive (differentia divisiva); and with respect to its con- stituting the species, it has been termed constitutive (differ- entia constitutiva). a It is by the differentia that the various species contained under a genus become opposed to each other, and such oppo- sition consists in each species having some one essential attribute peculiar to itself alone. In short, it signifies the attribute which distinguishes a given species from every other species of the same genus. Porphyry gives five definitions, or, rather, explanations of the differentia, but they are all substantially one ; for the same differentia is either formal, or divisive, or constitutive, &c, according to the view in which it is for the time regarded. The differentia is predicated in quale quid, e. g., to the question, What is a man? with reference to his genus, the answer is an animal, but to the question Quale animal ? what description of animal, with reference to his species, the answer is rational. The answer to 'quid' points out the material part, and the answer to ' quale,' the distinguishing part, and both taken together complete the species or whole essence. GENERIC AND SPECIFIC DIFFERENCE. There are two kinds of difference, viz., generic and spe- cific. Generic difference is that which constitutes subaltern species. It is termed generic, because the species which it constitutes may be considered as a subaltern genus, and con- a Hasc divisio est ejusdem rei in diversos tantum modos ; eadem enim dif- ferentia perpetuo est et divisiva et constitutiva, diverso tamen respectu.— San- derson. MANUAL OF LOGIC* 57 sequently the generic difference may be affirmatively predi- cated of every species which is contained under it ; and hence it is predicated of things differing from each other in species, e. g., sensitive may be predicated of beast, bird, Jish, insect, as well as of man, for it is a generic difference to all animals. Specific* difference is that which constitutes infima species. It is this kind of difference which is distinctively meant by the logical difference. It can be predicated of all the individuals contained under the species which it constitutes, and is there- fore said to be predicated of things differing in number. Thus rational, which is the specific difference of man, is predicable of every man, but not of any other animal. proprium. A proprium is a predicable, predicated in 'quale ' of things differing either in species or in number, as necessarily joined to their essence. Terms which belong to the heads differentia, proprium, and accidens, are said to be predicated of things differing either in species or in number, because they may have imme- diate reference either to a genus, in which case they are pre- dicated of all the species contained under that genus, or to a species, in which case they are predicated of the individuals from which that species is formed. A proprium is a quality necessarily joined to an essence, but not its differentia. It is predicated universally and ex- clusively of all the individuals of a species, but is predicable * Specified (differentia) est quag speciem infimam constituit; haec est, quae de numero differentibus predicatur. — Aldrich. This differs somewhat from the view of Porphyry, who considers the specific difference (hicMpo^a sibortoiog) as opposed to accidental difference, (<5/a<£>oga xara tfu,a/3s/3?j;>co£) — the former denoting the differentia proper (i. e., either constitutive or divisive) which distinguishes one species from another, whether subaltern or infima — the latter denoting the accidents which distinguish between individuals. c 2 58 MANUAL OF LOGIC. of no other species. A property of this description forma part of the essence of a species, and is the result of the diffe- rentia, e. g., the differentia of a triangle is, that it is ' contained by three sides ;* and we cannot conceive of a figure contained by three sides but as having also three angles. The property, therefore, < having three angles,' is the result of the differentia 1 contained by three sides.' Responsibility r , again, is a pro- perty of man, and is the result of the differentia rational. It is evident, however, that when we call anything a proprium, we should first know the differentia from which it flows, because a proprium must be considered as an accident, unless deduced from a known differentia. A proprium might therefore be defined as the expression of those attributes which are observed uniformly to accompany a class, though not taken into consideration when forming it. GENERIC AND SPECIFIC PROPERTY. Property is divided into two kinds — generic and specific. Generic property is that which necessarily accompanies or is joined to the essence of the summum or subaltern genus. 8 It is evident from this that generic properties may be predi- cated of many species, and of all the individuals contained under them, while specific properties can only be predicated of the different individuals contained under one species, e. g., the property in triangles that ' the three angles are equal to- gether to two right angles ' is a generic property, and may be predicated of all triangles. a Genericum est, quod necessario comitatur essentiam generis summi vel sub- alterni. — Aldrich. On the principles of Aristotle and Porphyry, a generic property can only be regarded as a property with respect to the highest species of which it is predi- cate. As regards all subordinate species, it must be considered as an accident. Mobile, for example, a property of corpus, is an accident to animal and to homo, as not convertible with them. — Mansell, p. 28. MANUAL OF LOGIC. 59 Specific property is that which flows from the essence of the species infima, a and is predicated of one species and its different individuals, e. g., the property that 'all equilateral triangles are also equi-angular,' is a specific property, and can only be predicated of that species of triangle which is termed '. equilateral.' Generic property is predicable, then, not only of species, but also of the various individuals contained under those species. Specific property is only predicable of the individuals contained under one species. b Proprium has also been divided into four kinds : — 1. That which is peculiar to one species, but not univer- sally found in its contained individuals. Thus it is proper to man alone to be a physician or statesman, though all men are not so. 2. That which is predicable of the whole species, but not of that species alone, i. e., found in every individual of a species, but found also in other species. Thus malleability, a Specificum. quod Suit ab essentia speciei infimae. — A Idrich. This view of property is not countenanced either by Aristotle or Porphyry. Instead of consi- dering it as flowing or resulting necessarily from the essence, they regard it as simply convertible with its subject. Aldrich's view is, however, a very old one, and is probably traceable to the Arabians. b The difference and specific property are often difficult to distinguish from each other ; but it should be remembered that a property is only joined to an essence, and results from the difference; whereas the difference is a con- stituting part of the essence. If, then, any part of an essence be supposed to be taken away, that essence can no longer remain as it was. The following test, therefore, will in most cases succeed : — Since the genus and difference united form the species, it follows that if the difference be supposed to be taken away from any species, that species must revert to its subaltern genus — in fact, the species will no longer exist ; but if a property be supposed to be taken from it, the essence, i. e., the species, will not thereby be injured. — Huyshe. In illus- tration of this, let us take the following example : — From the species ' rational animal' suppose 'rational' to be taken away, and the species immediately reverts to its subaltern genus ' animal ' —but suppose, again, the property ' speech- possessing' to be taken away, the species ' rational animal' would not thereby be destroyed. 60 MANUAL OF LOGIC. fusibility, weight, value, are predicable of gold, but not of gold only. 3. That which may be predicated of all the individuals of a species, and of that species only, but not always. Thus, vines bear grapes ; man is a laughing animal. 4. That which may be predicated universally, peculiarly, and at all times, of one species only and its individuals. Thus it is the property of every circle, and of circles only, that the lines drawn from the centre to the circumference are all equal. a Of these four classes the first is only an accident of the species, and cannot therefore be strictly termed a property. Every property must be applicable to all the individuals of the species, and must belong to that species necessarily, as flowing from the difFerentia. A property differs from an acci- dent in this, that it can be predicated of its species, and vice versa. They are reciprocally predicable, e. g., man u a being subject to law. A being subject to law is a man. The two propositions are simply convertible. An accident and its species are not, however, reciprocally predicable. We can assert that every statesman is a man, but we cannot say that every man is a statesman, because the being a states- man is only predicable of some men, and consequently not universally found in the members of the species. The second is the generic property. It is characteristic of a Quod convenit soli sed non omni, ut homini esse grcmmaticum. Quod convenit omni sed non soli, ut homini esse bipedem. Quod convenit omni et soli sed non semper, ut homini canescere. Quod convenit omni soli et semper ut homini risibiliias. — Aldrich. On the above examples Mansell remarks (p. 28) : ' The ibtov of Porphyry answers to the fourth kind of property mentioned in the text. The other three are accidents, the first and third separable, the second inseparable, . but still only an accident, as being predicable of more subjects than homo. On the scholastic theory, it is also an accident, as not flowing necessarily from rationale, the differentia.' MANUAL OF LOGIC. 61 a genus, and predicable of the different species under it, but it is not characteristic of a species as such. The third is not sufficiently distinct from the first to require separate notice. The fourth is the specific property, and is that alone which constitutes the proprium of logic. ACCIDENS. Accidens is a predicable predicated in * Quale ' of many things differing in species or in number, as contingently joined to their essence , An accident denotes something contingently joined to an essence, e. g., the being 'equilateral' or 'right-angled' is an accident to a triangle, for such attributes do not neces- sarily belong to a triangle, since every accident must be sepa- rable from the species, otherwise it would be a property. Accidens is divided into two kinds — inseparable and sepa- rable. The inseparable accidents are such as cannot be separated from the individuals of which they are predicated. They are circumstances which have happened in past time to some members of a species, and cannot now be separated from them, e. g., the place of birth, the parents, the past events of life, &c, are inseparable accidents to any individual man. The circumstance or fact of having been born at Mantua, has no conceivable relation to Virgil as one of the species man, but, as an individual, the circumstance is inseparable from him. This class of accidents may be predicated of their subjects at all times. The separable accidents are such as can be separated from the individual, e. g., a man's dress, posture, residence, opi- nions, &c, are separable accidents. This class of accidents can only be predicated of their subjects at certain times. An inseparable accident is predicable only of individuals ; 62 MANUAL OF LOGIC. for all accidents are separable from the genus and species ; but with regard to individuals, they are separable or insepa- rable. The last three heads of predicables, viz., differentia, pro- prium, and accidens, are predicated of things differing as well in number as in species, because they have a relation either to a genus or a species. If they relate to a genus, they can be predicated of all the species which that genus contains ; and if they have reference to a species, they can be predi- cated of all the various individuals under that species. In conducting classification on a great scale, as in natural history, the technical designations furnished by the predicables are found to be too few. Others have therefore been invented chiefly to express the varieties of intermediate genera. Those best known are used in the Linnsean system, and consist of five kinds — 1. Classes, corresponding to summa genera; 2. Orders, corresponding to intermediate genera; 3. Genera, confined to the proximate genera ; 4. Species, confined to the co-ordinate species under each genus ; 5. Varieties, including the species infima, and all divisions depending merely on accidental, or on some of the less important proper qualities. Other systems employ a still greater variety of designations, e. g., divisions, classes, orders, tribes, families, legions, sec- tions, sub-divisions, &c. MANUAL OF LOGIC. 63 SO P < ffl a 1 a no H fc >H O r-l rf> 1— 1 M t> Q p 02 no no M 1 r/7 H W tf ew a 3 H B O 02 ^ q3 « a H o P OS GO s 9 © © "° 9, o o O id CD V o 1 fc n3 o 2 f Separable. •r-S C /13 3 *i a c3 12 o ^ Inseparable. o <1 tT f Specific. v^& ■< OS & 5Q • o o \ Generic. f Infima. Subalterna. a.tf Specific. -a § y, Generic. -»^r - C Subalternum e material or genus. k Summum. 64 MANUAL OF LOGIC. SECTION IV. OF THE CATEGORIES OR PREDICAMENTS.* The five predicables or universals, as has been shown, do not express any actually existing thing; they are merely terms expressive of common notions, and present them as classified under certain distinct heads. They express second, not first notions. In nature we find no actually existing thing corresponding to genus, species, or any of the other predicables. They indicate conceptions^ not realities. Second notions, however, presuppose first notions, and as under the predicables we classify conceptions, so under the categories we classify realities, or distribute into classes all the possible real things about which we can discourse. In short, a perfect list of categories or predicaments would be a classification of whatever can be the subject or predicate of a proposition,* while the predicables are a classification of all the possible affirmations about these things. The usual distribution of the categories, according to the Aristotelian school, is into ten ; and it is supposed that to some one or other of these heads of division' any term ex- pressing a first notion may be referred. The division is as follows, viz. : — c Ovtia . . . substantia . . . substance. Tlotov . . . quantitas . . . quantity. a They are termed categories from the Greek noun substantive xarTjyo^a, and predicaments from the Latin rendering, predicamentum. The categories are said to have been first classified by Archytas of Tarentum ; but of this there is no certain evidence. b In this the categories of Aristotle are defective ; for many things that form the subject and predicate of a proposition are excluded in the enumeration, such as entia rationis (beings of the reason) and second notions. c The Pythagorean, Platonic, and Stoic schools among the Greeks, had each a favourite enumeration of categories. MANUAL OF LOGIC. 65 Uoiov . qualitas . . quality. TLpog ti . . relatio . . , . relation. nov . . . ubi . . . . where. Uore . quando » . . when. Kg/tf^a/ . . . situs . . . . « . posture. ^X SIV . habitus . . . . habit. TLoistv . . actio . . » . action. Ila^s/v . passio ► . suffering. To some one of these heads we may refer every term, according as may best suit our purpose, for the subject under discussion. Substance* (answering to the question, ' Quid estf ) consi- dered without reference to inhering qualities, has been de- fined quod sub se stat, i. e., which supports itself, or which, in the mode of its existence, is independent of everything else. With reference to inhering qualities, it has been defined ens per se subsistens et substans accidentibus, i. e., an entity having independent existence and supporting qualities. The substance is the ens, the self-existing thing ; the accidens is the ens entis, which may be freely rendered the mode, quality, or accident of the self-existing entity. Substance is divided into first and second substances. In- dividual things are first substances; as, Socrates, Buce- phalus, this castle, that tree; second substances are denoted 1 The words substance, entity, being, are each of them less or more ambiguous in their signification. Of substance, in its philosophical sense, we have no direct knowledge ; we only know it indirectly or through attributes, but when in a familiar language we use the word substance, we are supposed to mean by it some really existing object or thing cognizable by the senses. Entity and being are in their strict meaning synonymous, being both immediately con- nected with a verb which simply denotes mere existence. ' Being' is, however, commonly used as a synonym for substance, with this difference, that being is applied equally to mind and matter, while substance rather suggests the idea of matter only. Being and entity should be understood as implying mere abstract existence, and never separate existence, as cognizable by the senses. 66 MANUAL OF LOGIC. by common or general terms, which merely denote creations of the mind ; as, man, animal, body. This category includes whatever constitutes the very being of things, and of which all objects of thought are modifications ; substances are divided into self-existent and dependent, material and imma- terial, &c. Quantity. — The answers to the questions, How great? How many ? How long in time? &c, fall under this category.' It includes all things capable of being measured or numbered. Quantity is divided into continuous and discrete. Continuous quantity is that whose parts are united by some common boundary, such as magnitude, or the modifications of exten- sion, having permanent continuity; and time and motion having successive continuity. Discrete quantity is that whose parts have no continuity, such as number, to which sound and speech are sometimes added. Quality, (answering to the question ' Quale ?') includes the properties which principally distinguish or characterise objects. It is divided into natural or innate powers and properties, as the mental faculties and the capabilities of objects ; acquire- ments, such as learning, virtue ; sensible qualities, such as sounds and colours, and forms or figures, with all their modi- fications. Relation includes all the circumstances about objects which imply a connection with others, in considering which we may observe both the principle of the relations, and the things related, called correlatives, e. g., the consideration of master implies servant, and of pastor, flock, &c. Place (answering to the question Ubi ?) includes all the modifications of space, and the more general relations of objects to space. Time (answering to the question Quando ?) as to-morrow, yesterday, in the year of the building of Rome ; but time im- plied by the question quando, must not be confounded with the time denoted by the question quam diu ; the latter is MANUAL OF LOGIC. 67 continuous time; as, a month, a year, and belongs to the second category. Posture includes chiefly the relations of objects to one an- other as occupying space, such as the relations of the con- stituent parts of objects, the relations of parts to the whole, and the relations of entire objects to one another in their attributes, combinations, &c. Habit expresses what anything has ; as, to be clothed, to wear shoes, has a ring, &c. It should be noted, however, that 'clothes,' 'shoes/ &c, do not of themselves imply habit ; this is only predicable of them when possessed. Action includes all the varieties of causes, or all the ways in which objects may produce changes in others. Passion includes whatever implies the notion of suffering, and all the varieties of effects, or the ways in which objects may undergo changes. Various objections have from time to time been made to the Aristotelic enumeration of the categories, and probably upon satisfactory grounds ; it is questionable, however, whether a more satisfactory classification has yet appeared. The Aristo- telic categories are adopted here, as deduced and simplified by SirW. Hamilton : 'They' (the ten categories) 'are all divisions of being, — ens. Being is divided into ens per se, and ens per accidens. Ens per se corresponds to substance, the first of the Aristotelic categories. Ens per accidens comprises the other nine ; for it either denotes something absolute or something relative. If something absolute, it either originates in the matter of the substance, and is divisible — quantity, Aristotle's second category; or in the form, and is indivisible — quality, Aristotle's third category. If something relative, it constitutes relation, the fourth category ; and to relation the other six may easily be reduced. For the fifth, where, denotes the relation be- tween different objects in space, or the relation between place and the thing placed. The sixth, when, denotes the relation between objects in succession, or the relation between time 68 MANUAL OF LOGIC. and a thing in time. The seventh, posture, is the relation of the parts of a body to each other. The eighth, having, is the relation of the thing having and the thing had, while the ninth and tenth, action and passion, are the reciprocal relations be- tween the agent and the patient. There are on this scheme one supreme category — being; two at the first descent, ens per se, ens per accidens, four at the first and second, substance, quantity, quality, relation, and to the dignity of category these four are, of Aristotle's ten, pre-eminently, if not exclusively, entitled.' Locke has reduced all things to three classes, viz., sub- stances, modes, and relations. Hume classifies all things under the two categories of ideas and impressions. Kant's list amounts to twelve, viz., unity, plurality, totality, affirmation, negation, limitation, independence, dependence, interdependence, actuality, possibility, and necessity. Mr Mill's categories are four in number, viz., 1. Feelings, or states of cousciousness ; 2. Minds which experience these feelings ; 3. Bodies or external objects which excite certain of these feelings, together with powers or properties whereby they excite them ; and, 4. The successions and co-existences, the likenesses and unlikenesses, between feelings and states of consciousness. The author of the ' Outline of the Laws of Thought ' pro- poses the following scheme : — ' Conceivable things,' he says, ' are substance and attribute.' He subdivides attribute into quantity, quality, relation, and relation into that of time, of space, of causation, of composition, of agreement and repug- nance, of polar opposition, of finite to infinite. ' Most of these names,' he remarks, l will be easily under- stood : the relation of polar opposition may not be so. We find that, in different parts of the field of knowledge, pairs of things unite and form a new whole different from either of them.' He gives, as examples, the doctrine of the Mean in morals ; in chemistry, the neutral salts, &c. MANUAL OF LOGIC. 69 A facetious mathematician, of the last age, was of opinion that all the predicaments of the peripatetics might be substi- tuted by these two, viz., data and qucesita* SECTION V. Division literally signifies the separation of the component parts of some really existing whole, as when we divide a tree into its several parts ; as, root, trunk, branches, &c. In a division of this nature, each of the parts is strictly and properly a ' part,' and is really less than the whole ; for it cannot be affirmed of any part separately, that it is a 'tree.' A whole of this description is said to be a real or physical whole. It follows that physical division can only be applied to individuals. As recognised in logic, division is used in a figurative sense, and means the distinct, i. e., the separate enumeration of the several things signified by a common term, c It is therefore on common terms only, as denoting classes, that logical division can operate. A whole of this kind is said to be an ideal or metaphysical whole. If we consider the common term tree as a genus, and proceed to divide it, the word ' division ' will be used in its a It is still an open question whether the categories ought to be referred to metaphysics, logic, or grammar. The weight of opinion is, however, in favour of their being considered a metaphysical distribution. b Boethius is the chief authority on the doctrine of ' division.' His treatise de divisione is founded on a work on the same subject by Andronicus Ehodius, a peripatetic. c Distincta enumeratio plurium quae communi termino significantur. — Aldrich. 70 MANUAL OF LOGIC. figurative sense ; for since there is nothing in nature corres- ponding to the common term 'tree,' it follows that it cannot be divided into really existing parts. The only division of which it is susceptible is the distinct enumeration of the several species contained under it — such as oak, elm, ash, birch, fir, &c. These are called parts, but they are so in a figura- tive, not in a real sense, since each of the parts, as regards comprehension, is greater than the whole divided, for in addition to the common nature (i. e., the genus) predicable of oak, elm, &c, each of them implies a differentia or distinguish- ing characteristic, which is not predicable of the genus ' tree.' This kind of division is distinctively named logical division. It follows, from the nature of logical division, that any term denoting some really existing individual thing cannot be logically divided ; and hence a term of this description is in logic termed indivisible (aro/jbov), but any term denoting a genus admits of logical division. To enumerate, therefore, the various co-ordinate species of which a genus is composed, is to divide such genus. a a Logicians enumerate wholes of various kinds. 1. A Logical or universal whole is a genus. The genus animal may be divided into men, beasts, birds, fishes, and insects. A whole of this description is termed universal, as the term denoting it must be a common or universal name. 2. An essential whole is one to which all its parts are essential ; the parts are said to be constitutive (partes constitutive), and if from an essential whole any of the parts be taken away, the whole is destroyed, as all the parts are essential to its existence. An essen- tial whole is either physical or metaphysical. A physical essential whole is made up of parts that have real existence, e. g., a body consists of matter and form ; a man consists of a human body and a rational soul. A metaphysical essential whole is one whose parts have no real existence. It is the same with the logi- cal whole explained in the text. 3. An integral whole is some actually existing thing, and consists of integrant parts (partes integrantes), and these, according to the nature of the wholes, may be members, parts, or particles, e. g., the human body is an integral whole, consisting of head, arms, legs, &c. ; a book is an integral whole, the parts of which are leaves, back, cover, &c. When an in- tegral whole is made up of particles of the same kind, as a slab of marble, it is called a homogeneous whole ; but when it consists of parts or members, it is MANUAL OP LOGIC. 71 RULES OF LOGICAL DIVISION. 1. The parts, i. e., the constituent species, must together be equal to the genus divided. The following are examples of logical wholes, where the constituent species taken together are equal to the whole divided : — The imponderable bodies are ' light,' ' caloric,' { electricity.' Oratory is either ' deliberative/ ' forensic,' or ' demonstrative.' Theology is either ' biblical,' ' systematical,' or ' historical.' 2. The constituent species, i. e., the dividing members, must exclude one another. This rule is merely a caution against any contravention of the first, and it can be best illustrated by examples, in which the dividing members (membra dividentia) do not exclude one another, e. g., suppose we divide cause into efficient, material, formal, final, and instrumental, the members of the division would not exclude one another, for the * instrumen- tal ' is included in the ' efficient.' Or let the whole to be divided be imaginative writers. Now if we divide these into the species ' poets/ ' dramatists/ and * writers of fiction/ the parts do not exclude one another, i. e., they are not opposed, for some poets are dramatists, and some works of fiction are rythmical. Again, should we divide govern- ment into patriarchal, despotic, monarchial, democratic, and republican, the dividing members would not exclude or be op- posed to one another ; for a patriarchal government may be despotic, and vice versa, and a democracy and a republic can only differ in accidental circumstances. called a heterogeneous, whole. An integral whole may be deprived of a non-essen- tial part, without injuring its existence. — [This note is, in substance, taken from Wallis and Sanderson.'} Any species subalterna may be considered a logical whole, as classes are its contained parts. A species infima is not, however, a logical whole, as its subject parts are individuals, not classes, and individuals are distinguished by accidents, not by differentiae. 72 MANUAL OF LOGIC. The Porphyria!! division of the predicables into genus, species, differentia, proprium, and accidens, is a correct and familiar exemplification of this rule. On the other hand, the operations of the mind, viz., simple apprehension, judgment, and reasoning, would be a cross division, inasmuch as judg- ment is presupposed in simple apprehension as well as reasoning. 3. The division must proceed on one principle.* This rule has particular reference to the point of view in which we are to consider the whole to be divided, e. g., animals may be divided on one principle (fundamentum divisionis) into rational and irrational, on another principle into gressilia, volatilia, natatilia, reptilia, and zoophyta, or, again, into cold-bloodied and warm-blooded. If, however, we were to intermix the members of these several modes of divi- sion, we would be introducing a different principle from that which we set out with, and, consequently, the division would be incorrect. b But the above refers merely to wholes of extension. There are also wholes of comprehension. In the former we separate or enumerate the co-ordinate species ; in the latter we resolve a We must be careful to keep in mind the principle of division with which we set out, e. g., whether we begin dividing books according to their matter, their language, or their size, &c, all these being so many cross divisions. And when anything is capable of being divided in several different ways, we are not to reckon one of these as the true, or real, or right one, without specifying what the object is which we have in Miew ; for one mode of dividing may be the most suitable for one purpose, and another for another, as one of the above modes of dividing books would be the most suitable to a bookbinder ; another in a philosophical, and another in a philological view. — Wkateley, book II. b The principle of division mentioned is the point of view from which we are to regard the conception to be divided ; for we may divide one many times in various points of view. Thus man may be divided into European, Asiatic, African, American, and Australian, or, again, into Christian, Mahometan, and Pagan, or, again, into just and unjust ; and in the first division locality, in the second religion, and in the third behaviour, is the principle of division. — Outline of the Laws of Thought. MANUAL OF LOGIC. 73 the more complex conception into the simple conceptions of which it is composed. The one analyses the extension or denotation, the other the connotation of a term. In a whole of comprehension* we divide, as it were, the ideas or concep- tions ; whereas in a whole of extension we separate the species. The following are examples of wholes of comprehension : — Goodness of memory may be resolved into the conceptions of ' susceptibility,' * retentiveness/ and ' readiness ;' Repen- tance into 'confession,' * contrition/ and 'amendment;' Gratitude into a ' consciousness of favour received,' ' a dispo- sition to acknowledge it on every proper occasion/ and ' a resolution to seize the first opportunity of returning a similar favour to the benefactor.' Boethius enumerates three kinds of division, — 1st, The divi- sion of a genus into its subject species, which is distinctively named logical division, as mentioned above. 2d, The division of a whole into its parts, corresponding to physical division, with this difference, that Boethius includes under this head the individuals contained under an infima species, which must be referred to logical division, if to any ; but the diffi- culty of enumerating the number of individuals contained under it, would render it in almost every case impracticable ; and, 3d, The division of an equivocal term into its various meanings. This species of division is sometimes termed dis- tinction, and is restricted to the division of equivocal terms or names; it amounts to nothing more than an explanation of the various senses in which an equivocal term may be un- derstood. b In many cases a perfect division may be obtained * The parts of a whole of extension are connected by a disjunctive conjunc- tion, and of a whole of comprehension by a copulative conjunction. — Wytteribach . b The test of this is, that the name is predicable of each member, but not the same definition. — Mansell, p. 30. It may be observed, that it is frequently necessary, in examining the argu- ments of another, to mark the different senses in which we may understand a D 74 MANUAL OP LOGIC. by the use of the definite and indefinite nouns. As already stated, a noun is said to be indefinite to which the particle 'noti' is prefixed, and definite when this particle is not pre- fixed. By this manner of division, a whole is divided into two parts, one of which must be immediately opposed to the other, e. g., men may be divided into those who are Europeans and those who are not Europeans ; ani- mals into bipeds, and not bipeds, or into rational, and not rational, or irrational. A logical division of this kind, according to the old logicians, has a Nomen Finitum, the name of an exhaustible kind, on one side, and a Nomen Infinitum, the name of an inexhaustible kind, on the other. This divi- sion into two members, usually termed dichotomy (6/^/oro/x/a), from its simplicity, shows more readily and plainly than any other, that the dividing members are distinct and opposed; for the union of the two members will be equivalent to the whole divided, and secures, therefore, the requisites of good division mentioned in the two first rules. a On the other hand, however, it is comparatively useless, because of one of the dividing mem- word or proposition that we employ, and to distinguish them carefully. For instance, a proposition may in one instance be true, and in another false or doubtful. And many writers take advantage of this ambiguity, confounding the two senses, displaying its truth and certainty, in the sense which is indu- bitable, but which perhaps makes nothing for their argument, and then apply- ing it to their argument in the other sense, in which it is by no means true or certain. — Walker's Commentary, cap. 10. a Cicero mentions only two kinds of division, viz., partition and division, and explains their respective significations thus: ' Sed quid inter se differant planius dicendum est. In partitione quasi membra sunt, ut corporis, caput, humeri, manus, latera, crura, pedes, et cetera ; in divisione, formae sunt, quas Graeci tdsocg vocant ; nostri, si qui haec forte tractant, species appellant. — Top., cap. 6, 7. A rule of division often laid down is, that it should be into its proximate parts, i. e., that the dividing parts should be of the same degree in the predica- mental line, no one of them of a higher species than the others; in other words, that they should be equidistant from some common antecedent genus. MANUAL OF LOGIC. 75 bers, and that generally the larger, we know nothing, except that it wants the leading characteristic of the other ; in other words, a differentia is affirmed of one of the parts into which a whole is thus divided, but denied of the other ; so that we can only have a distinct conception of one of the parts, viz., that which has the differential attribute. All we can know of the other part is, that it is not contained in the class speci- fied by the differentia. Division by dichotomy, or bipartite division, is usually attributed to Peter Ramus. He and his followers were attached to it ; but it had been a favourite with Plato and others long before his time. Both Plato and Ramus used dichotomy by contradiction. Aristotle approved of that by contraries, but rejected that by privative and inde- finite terms. Boethius sanctions the use of contraries, contra- dictories, and also positive and privative terms, but discards relatives. Those who hold logic to be purely a formal science, must of necessity hold division by dichotomy to be the only logical mode, for any other description of division implies a know- ledge of the matter of the whole divided. It may be fairly questioned, however, whether division by dichotomy, as well as other modes, does not imply a knowledge of the matter, although possibly in a more restricted degree. SECTION VI. DEFINITION. Definition (ogi6(j.og) literally signifies the laying down the boundary of a thing ; but in logic it signifies an expression of thought in language which so explains a term as to sepa- rate it from any other, and thus to lay down, as it were, the limit of its signification ; like division, it is used in a figura- tive sense. 76 MANUAL OF LOGIC. Correct definition subserves a two-fold object. It either conveys to the mind of a hearer the exact conception which the term defined represents, or it may correct any indistinct or inaccurate notion he may have previously entertained re- garding it. The first object presupposes that the hearer is altogether ignorant of the meaning of the word or thing defined ; the second implies that a conception is conveyed to his mind more correct than that previously entertained. Definitions are of two kinds, viz., nominal and real. In nominal definition we merely explain the meaning of a term, with the view of guarding against ambiguity in the use of it, or misconception of its exact import. In this case the meaning of the term to be defined must be explained by some equivalent expression, which must be more intelligible,* e. g., The Decalogue is the ten commandments. The Pentateuch is the five books of Moses. A telescope is an instrument for viewing distant objects. In many cases, the nominal and real essence of a thing a Nominal definition, as understood by Aldrich, ' Homo, qui ex liumo (an unfortunate example, by the way) should more properly be termed defini- tion by etymology, for it merely explains the original import of the word. It is questionable, however, whether a definition of this kind should be considered a definition at all, for in the modifications words undergo in meaning, as ap- plied in language, their etymological signification is often completely lost sight of. Definition, by a synonymous term, as ' honesty is probity,' is also com- paratively useless, for the synonym used to define may not convey a more dis- tinct conception than the definitum or thing defined. Neither of these methods is Aristotelic, although they can both be traced back to an early period. - In a rhetorical point of view, however, definition by etymology may be very effective. In Cicero's definition of fortitude, viz., ' virtus pugnans pro aequi- tate,' the remains of the original sense of virtus, manhood, give a beauty and force to the expression, which cannot be preserved when translated into another language. The Greek Apsryj, and the German Tugend, originally denoted strength, afterwards courage, and at last virtue. The happy derivation of vir- tus from vir, gives an energy to the phrase of Cicero, which illustrates the use of etymology in the hands of a skilful writer. MANUAL OF LOGIC. 77 exactly coincide, i> e , the idea conveyed by the term is the same as the nature of the thing* Thus a triangle is 'that which has three sides,' which is both a nominal and real definition. In real definition we explain not only the meaning of the term, but also the nature of the thing signified by it. Real definition is of two kinds, accidental and essential, otherwise called imperfect and perfect. It is common to both that they are used in explaining things, not names. In accidental definition, we describe or enumerate some of the properties or accidents of what is implied by a term. This kind of definition is therefore usually termed descrip- tion. Any definition may be considered accidental, where only the genus and a property occur; for a property must in all cases be regarded as an accident, unless it is deduced from a known differentia. The following are examples of accidental definition.* A ball is a figure that has an aptitude to roll. Seat is the sensation produced by approaching fire. Wan is a risible animal. Animal is a body which can move itself from place to place. Ink is a liquid used for the purposes of writing and printing. Accidental definition is frequently the only method by which we are able to define a thing or term representing it, in consequence of our ignorance of the characteristic quality which constitutes the differentia. In such cases, we often find it necessary to enumerate a number of marks or attributes, the aggregate of which must be considered as the differentia, until we are able to single out some particular attribute suffi- a An accidental definition never includes a differentia. The conceptions embraced in it are tliose of a genus and one or more properties. Porphyry and Boethius reject it ; but it has been adopted by some more recent writers. A definition of this kind is properly description, and not definition. 78 MANUAL OF LOGIC. cient of itself to distinguish its subject from all others. Cases of' this nature are constantly occurring in Botany, Natural History and Mineralogy. In essential definition we lay down the constituting parts of the essence. It is of two kinds, viz., logical, or metaphy- sical, and physical. In logical definition we lay down the ideal parts, i. e., the proximate genus and differentia. This is of all kinds of definition the most perfect. It fol- lows that any term that can be logically defined must be expressive of a species. The following may suffice as examples : — Man is a rational animal. Rhetoric is the art of speaking persuasively. Slavery is compulsory subjection to a master. A parallelogram is a four- sided figure, the opposite sides of which are parallel. Belief is assent produced by apparent credibility. A proposition is a declaratory sentence. In physical definition, we lay down the really existing and distinct parts of an essence, i. e., parts that admit of actual separation. In essential definition this is not the case, for genus and differentia are only distinguished by the under- standing. The following are examples of physical defini- tion : — An animal is a living body, consisting of head, body, legs, &c. A tree is that which consists of root, trunk, branches, leaves, sap, &c. A house is a structure composed of foundation, walls, roof, chimneys, &c. For the sake of clearness, the various kinds of definition already exp!ained may be illustrated by one example : — Nominal. — A proposition is that which is proposed to the mind for its assent or rejection. Accidental. — A proposition is the verbal expression of an act of judgment. MANUAL OF LOGIC. 79 Logical. — A proposition is a declaratory sentence. Physical. — A proposition is that which consists of a sub- ject, predicate, and copula. The following scheme presents the different kinds of defini- tion, as laid down by Aldrich, ' definition ' being used as the summum genus: — 'Nominal, Definition, -j /Accidental, ,Real,-{ /physical, Essential, \ Logical, or VMetaphysical. a The rules of definition are three — 1. The definition must be adequate to the term defined. 15 The conception intended to be conveyed by the definition must be exactly equal to the definitum or term defined. Hence the definition must neither be too extensive nor too narrow. It will be too narrow if it omit any essential attri- bute, and too extensive if it include any as essential attribute which does not belong to it. As in adequate logical division, the whole and the dividing parts should reciprocate ; so in a Aldrich illustrates the various kinds of definition thus : ' Man, nominally, qui ex humo ; accidentally, an unfeathered two-legged animal ; logically, a rational animal; physically, a being consisting of an organised body and a rational soul.' b A definition may be inadequate in two ways — either if it be not appli- cable to the whole thing defined, or if it be applicable to anything else than the thing defined. c There are three cases in which logical definition is inapplicable : 1. Summa genera, which have no higher genus, and consequently, no constitutive differ- ence; 2. Individuals which have no essential difference, and can only be defined by description, i. e., by enumerating the accidents belonging to individuals, whereby the differences between them and any other may be shown ; and, 3 The names of simple ideas, viz., intuitions, which, from their nature, can have no complexity. 80 MANUAL OF LOGIC. adequate definition the definitum and its definition should also reciprocate* i. e., be simply convertible. The adequacy of any definition may be tested in this way. The following are examples of adequate definition : — Wine, a juice extracted from grapes. Conscience, the faculty by which we judge of right and wrong. Pension, an allowance for past services. The following examples err by excess : — An insect is an animal that flies. Man is an intelligent being. In the first example the definition is too extensive, being applicable to birds as well as insects; in the second, the definition applies to all intelligences as well as to man. The definitum and definition are not, therefore, simply convertible, or do not reciprocate. The following examples, on the other hand, err by defect : — Man is a civilised, rational animal. Here the definition is too narrow, for it excludes uncivi- lised man. A religious person is one who holds the peculiar doctrines of Calvin. This definition is also defective, for many persons who must be accounted religious reject some of Calvin's doctrines. 2. The definition must in itself a be clearer than the thing defined. ft It has frequently been objected to metaphysical definition, that it is not clearer, in most cases, than the term defined ; and when the term which is to be defined is very familiar to the hearers, this certainly is the fact. Thus the word man is more familiar to the ear, and is accidentally better known than the term rational animal; but yet the words 'rational animal ' are in their nature more clear and better, known than the word ' man,' inasmuch as they convey less complicated ideas. — ffuyshe, p. 44. MANUAL OF LOGIC. 81 It is necessary that the definition should convey a clearer idea than the definitura, otherwise it would not explain it ; and it is one of the objects of definition to explain a term im- plying a complex conception by other terms implying less complex conceptions, or, at all events, better known. The following examples offend against this rule : — Net-work, anything reticulated or decussated with inter- stices between the points of intersection.* Species is the identity of determinate form, cardinal pro- perties, and organific or constitutive law. b 3. The definition must be included in a just number of proper words. By proper words (voces propria) Aldrich means words sanctioned by common usage, d in contradistinction to meta- phorical and obsolete phraseology. The terms which com- pose the following definitions are metaphorical : — Old age is the evening of life. A warrior is a thunderbolt of war. The following examples are characterised by undue brevity : — * A chariot is a vehicle. A cascade is a waterfall. Money is coin. e a Johnson. b Tappan. c Nam ex Metaphoris oritur ambiguitas, ex prolixitate, confusio — for from metaphorical terms there would rise indistinctness or ambiguity, from undue brevity obscurity, and from too great prolixity confusion. — Aldrich. <7rav yap aaatpig to kcltol psroxpogav Xsyopsvov, t&lv yag ctffcMpeg to [JjY\ eiwfog — for everything is deficient in precision and clearness which is spoken meta- phorically, or in language not sanctioned by common usage. — Artistotle. d %'jpia ovo/xetra, otherwise called established names (xsz/xgya ovo/tara). — Aristotle. e These instances exemplify what is called by some, definition from change of symbol, where both subject and predicate are symbolical conceptions — the latter being given as a substitute for the former on a principle of expedience only. — See Outline of the Laws of Thought, p. 160. D 2 82 MANUAL OF LOGIC. The subjoined examples, on the other hand, are vitiated by- unnecessary prolixity : — Astrology is that curious science, so much in vogue during the middle ages, which instructs mankind in the supposed in- fluences which the stars possess over human circumstances and actions, and by which they rule and direct the world. Money is that useful species of property which, by serving as a common measure, by which all the necessaries, all the conveniences, and all the luxuries of life may be estimated and procured, becomes itself the great essential, and com- prises within itself all that can be thought needful to render life desirable. a Aristotle's view of definition is threefold. 1. The defini- tion of a thing as it is in itself (Xoyog rov n stfri), correspond- ing to the Real Definition of more recent logicians. This kind of definition is first applied to substances which exist per se; and as their existence is assumed, not demonstrated, their defini- tion is said to be unsusceptible of demonstration (avaKodsrtrog), 2. The definition of an attribute. This is also a definition (tov ri sari), with this difference, that the existence of an attribute is not assumed, but demonstrated to exist in the substance, or subject of inhesion, and the demonstration con- sequently proceeds on the assumption of the existence of the subject : in other words, the cause of the attribute is sought in the subject. This is illustrated by defining an eclipse. — Why is the moon eclipsed ? Because the sun's light is inter- cepted by the earth. Consequently, to the question, What is an eclipse of the moon? the answer (i. e., the definition) will be, a If a definition be chargeable with tautology, it is incorrect, though without offending against the two rules. Tautology consists in inserting too much, not in mere words, but in sense. Thus to define a parallelogram, a ' four-sided figure, whose opposite sides are parallel and equal,' would be tautological, because though it is true that such a figure, and such alone, is a parallelogram, the equality of the sides is implied in their being parallel, and may be proved from it. — Whateky, book II., cap. 5. MANUAL OF LOGIC. 83 The interception of the sun's light from the moon by the earth. This demonstration is capable of being reduced to syllogistic 1 " form ; but as it stands, it differs from demonstration, as stated by Aristotle himself, in the arrangement or position of the terms (dsatg), or grammatical variety of form (truing), 3. Nominal definition, or, according to others, imperfect Eeal Definition. Aristotle's explanation of it is, rrjg rov n e&nv avobufyug (fv/jwsgatifAa — the conclusion of the demonstration of what a thing is. As Aristotle objects to nominal defini- tion, on the ground that it furnishes no proof of the actual existence of the things to which it applies, and as in many cases the nominal and real definition of a thing may nearly or altogether coincide, the latter opinion, viz., that of imperfect real definition is here considered to be meant by him. His views on the whole doctrine of definition are, however, ob- scure. SECTION VII. OF THE DISTRIBUTION OF TERMS. The subject (pKOTteifisvov) is distributed in all universal pro- positions, and the predicate in all negative propositions, since in the former the entire conception is included, while in the latter the entire conception is excluded. In considering terms with reference to their distribution, there are two rules which it will be necessary to remember : — 1. All universal propositions (and no particular) distribute the subject. 2. All negative propositions (and no affirmative) distribute the predicate. When we say that a term is distributed, we mean that it is a Omne corpus naturale illuminatum a sole, privatum luce a terrae object u deficit; luna est hujusmodi, ergo luna deficit. — Aquinas. 84 MANUAL OF LOGIC. used in its fullest extent ; that it stands for all its significates, viz., the several things which it signifies or to which it is applicable. 1. Of the Subject. In all universal propositions, whether affirmative or nega- tive, the subject must be distributed; for this is the differentia of a universal proposition viewed as to its quantity. In the ^proposition, All tyrants are miserable, the common term ' tyrants ' includes Dionysius, Phraates, Nero, and every other individual answering to the descrip- tion ; in other words^ it stands for the whole of its signifi- cates. When, again, we say, No islands are surrounded by water, everything of which the common term * island ' can be affirmed is excluded from the application of the predicate 1 surrounded by water ;' in other words, none of the signifi- cates of the term < island ' agrees with the predicate. Since the distribution of the terms of propositions is indi- cated by the universality of the subject or the negative cha- racter of the proposition, it is manifest that in all particular propositions the subject is undistributed* as it stands only for a part of its significates, being restricted to this either by its indefinite character or some qualifying term. In the example, Some islands are fertile, the term ' island/ though applicable in its unrestricted sense to Iceland, and all barren islands, yet, as used in this propo- sition, it does not embrace these among its significates, as it only contains in its extension such islands as may be affirmed to be fertile; and hence it is not distributed. In the ex- ample, a Where we represent, judge of, or reason from a whole conception, it is said in technical language to be distributed; where a part only is treated, we call it undistributed. — Outline of the Laws of Thought, p. 138. MANUAL OF LOGIC. 85 Some critics are not candid judges, the subject * critics ' is also used in a restricted sense, for it ex- cludes from its extension all such critics as are candid judges. It is evident, therefore, that the distribution or non-distribu- tion of a term depends on its quantity, and not on its quality. It follows from the foregoing, that the subject of an inde- finite proposition, in necessary matter, is distributed. In the example, Angels are incorporeal, although there is no sign of universality prefixed to the sub- ject, yet, as it is in necessary matter, we are warranted to affirm the predicate of all angels. The subject of an indefinite proposition, in contingent mat- ter, on the other hand, is undistributed. In the example, Misfortunes are unavoidable, we know from the matter that the subject must be taken in a restricted sense, and that all we can affirm is some misfor- tunes, &c. 2. Of the Predicate. The predicate (xarriyogovpsvov) of an affirmative proposition, with few exceptions, is never distributed. In the following example of a universal affirmative, viz., All metals are fusible, the predicate ' fusible ' is not distributed ; for although it is affirmed of all metals, this does not exhaust its application, inasmuch as it is predicable of many other substances be- sides metals, and, consequently, it cannot be said to be wholly distributed, since the subject of the proposition does not ex- press all the substances capable of being fused. This is still more obvious in the case of a particular affirmative, e. g., Some vapours are luminous. Here the predicate 'luminous' is predicable not only of some vapours, but of an indefinite variety of bodies. 86 MANUAL OF LOGIC. It happens occasionally that the perdicate is of equal extent with the subject, i. e., that the predicate fully distributed may be affirmed of the subject also fully distributed. The judg- ments expressed in propositions of this nature are said to be substitutive ; for since in them the predicate is used to define the subject, the whole of it must be given, otherwise it would be useless for definition. The subject and predicate are therefore exactly co-extensive, for they may change places in the judgment, so that the definitum may in its turn become a definition, e. g., in the example, ' Man is a rational animal,' no individual comes into the class of rational animals which is not also in man; and, conversely, no individual comes under man which is not also under rational animal ; for here both the subject and predicate are generalisations from the very same class of beings — the only difference being that the subject is symbolical, or the sign of a class, while the predicate is notative, that is, noting essential attributes. It is only in definitions that the subject and predicate are co-extensive, and this coincidence occurs wherever the predi- cate is a definition of the subject ; as, Rhetoric is the art of speaking persuasively. Or its logical difference ; as, All men are rational. A proposition is a declaratory sentence. Or a specific property ; as, A triangle is a figure having three angles. A proposition is a sentence signifying something true or false. Or in any case, in short, where the subject and predicate are simply convertible. In these examples the predicate may, in its distributed sense, be affirmed of the subject ; but it is to be observed that this circumstance cannot be inferred from the mere form of the proposition. It follows from the matter, not from the terms of the expression. MANUAL OF LOGIC. 87 The judgment expressed by any proposition in which the subject and predicate are not co-extensive, is said to be attri- butive, as the predicate merely expresses an attribute not simply convertible with the subject, and cannot therefore be used to define the subject, e. g., Metals are fusible, Gold is heavy, are judgments in which this kind of predicate occurs. In negative propositions, whether universal or particular, the predicate must be distributed, otherwise the proposition could not be true, e. g., the proposition, Irrational animals are not morally responsible, would be false if any part of the predicate, ' morally respon- sible,' agreed with the subject, ' irrational animals.' In particular negatives, however, the distribution of the predicate is not so evident, e. g., the proposition, Some critics are not candid, asserts that there is a certain class of critics comprised in the subject, from which every individual of which the predicate can be affirmed is wholly excluded ; in other words, the pre- dicate ' candid,' in its most extensive signification, cannot be affirmed of any individual comprised under the particular class of critics denoted by the subject. Consequently, the pre- dicate is used here in its universal, i. e., its distributed sense, and unless it were so, the proposition would not be true. No signs of universality or particularity are prefixed to the predicate, because in affirmative propositions its non-distribu- tion is indicated by the affirmation, and in negative proposi- tions its distribution is indicated by the negation. ~_ It has been shown above that a term may consist of one word, or several ; but the only terms consisting of one word, which can be used as the subjects or predicates of proposi- tions, are nouns substantive in the nominative case. We may add here that the infinitive of a verb, a certain form of which is only one word, may also be used as a term in a proposition, 88 MANUAL OF LOGIC, being equivalent to a noun -substantive. In English, in ad- dition to the usual form of the infinitive, which may be used as a term in a proposition, there is another, ending in ' ingf synonymous with the ordinary form, e. g., ■ Instructing the ignorant is praiseworthy/ and 'It is praiseworthy to instruct the ignorant,' are equivalent propositions. This kind of infinitive is of the same form and sound as the participle present, but it can always be distinguished from it in this way, viz., when the usual form of the infinitive can be substituted for it without injuring the sense, it is the infi- nitive in l ing;' but when this substitution cannot take place without injuring the sensej then it is the participle present. The infinitive in ' ing ' may be used as a categorem, i. e., as a word having enough of independent meaning in itself to constitute a term, as. Seeing is believing; or it may be used as a syncategorem, i. e., as constituting a term in connection with other words, e. g., Accuracy in observing individual facts is necessary to cor- rect induction. It may be remarked, that the infinitive is often the predi- cate of a proposition ; but this never happens except when another infinitive is the subject, e. g., To imitate, is to admire. To bear, is to conquer our fate. To be loved, is to be happy. Laborare est orare. It may be remarked, that neither the infinitive, which is properly a noun-substantive, nor the participle, which is a noun-adjective, is included under the word ' verb,' for strictly speaking they are verbals, i. e., they have a relation to their verbs in signification, but they differ from them in the mode of signification. This arises from the circumstance that affirmation, which is essential to a verb, is not an attribute either of an infinitive or a participle. MANUAL OF LOGIC. 89 CHAPTER III. SECTION I. JUDGMENT. Having already considered the first head of the logical dis- tribution of the cognitive faculties, viz., Simple Apprehension, and having treated of notions as simple or complex, of terms as singular or common, together with their names and classi- fications, as well as the logical instruments whereby we ac- quire distinctness in the apprehension of the meaning and use of terms, we now proceed to the second head, viz., Judgment. Under this head, we consider the mind not only as possess- ing notions distinctly, but as capable of comparing them to- gether, and of asserting some relation between them, whether of agreement or disagreement. While such assertion remains purely a mental act, it is called a judgment; but when it is expressed in words, it is termed a proposition. OF SIMPLE PROPOSITIONS. A proposition is defined by Aldrich to be ' Gratio indica- tive congrua et perfecta verum vel falsum significans sine ambiguitate,' — an asserting sentence grammatical and perfect, signifying something true or false, and free from ambiguity. This definition is of a mixed nature. It is partly metaphy- sical, and partly accidental. It is metaphysical, in so far as a Xoyog ot,iro /xs^ovi axgui irgoroxsig. c i] <7rgo$ ru) sXarrovi axgui ffgOTuaig. d (fv/xn-zgaGfia. — Aristotle. 134 MANUAL OF LOGIC- The proposition proposed to be either proved or disproved is at first called the question (to fyrov/Mvov), and when the syllogism is formed, this proposition becomes the conclusion. Hence, in the phraseology of logicians, the question and con- clusion mean the same thing. The predicate of the question is called the major term (/x£/<^w!/ ogog), and its subject the minor term (sXarroov ogog), but in relation to the middle term, they are by a common name designated extremes. Any judgment, whether affirmative or negative, when ver- bally expressed, constitutes a proposition ; and as every pro- position must have a subject and predicate, the truth or falsity of the judgment enunciated by it depends on the agreement or disagreement of the terms representing the subject and pre- dicate ; and the nature of syllogistic reasoning is to prove the agreement or disagreement of these terms with some third term with which each of them is alternately compared in the premisses. This third term is by Aristotle called the middle term, not the argument, as usually stated. The three propositions of a syllogism are called its proxi- mate matter; and as they consist of three terms, these terms are called its remote matter. In every correct syllogism, the middle term occurs twice in the premisses, but never in the conclusion. The major term occurs in the major proposition ; and this proposition may be easily discovered by observing, that pre- miss which consists of the middle term, and the predicate of the conclusion. The major proposition is sometimes simply styled the pro- position. The minor term occurs in the minor proposition ; and this proposition may readily be distinguished by observing that premiss which consists of the middle term and the subject of the conclusion. The minor proposition is sometimes called the assumption. MANUAL OF LOGIC. 135 The conclusion is designated variously the collection, in- ference, deduction, &c. The disposition of the terms of a syllogism will be best illustrated by an example. Let the question be, ( Is Chris- tianity worthy of belief?' Whatever is of divine origin is worthy of belief. Christianity is of divine origin. Christianity is worthy of belief. In this syllogism, ' worthy of belief,' i. e., the predi- cate of the conclusion, is the major term ' Christianity ;' its subject is the minor term, and 'of divine origin' is the middle term. The reason why the predicate of the conclusion is called the major term, and its subject the minor, is this, that the predicate of a universal affirmative proposition has gene- rally a greater extension than its subject, and must at least have as great, for a universal affirmative asserts that the entire extension of the subject is contained in the extension of the predicate ; and as a syllogism in which a universal affirmative conclusion can be deduced is deemed the most perfect kind, the extremes came to be invariably distinguished from each other by the names major and minor, on account of what is true of them when occurring in a universal affir- mative conclusion. The middle term in perfect syllogisms has a greater exten- sion than the minor, but not so great as the major; and hence it has received the name of middle. The reason why the major is called the proposition, and the minor the assumption, is, that when a syllogism is in its most perfect form, the major proposition is some generally admitted truth or principle, and therefore not likely to be called in question ; and for this reason it is, by way of emi- nence, sometimes called the proposition; while the minor proposition may be objected to as being an assumed truth, 136 MANUAL OF LOGIC. having particular reference to the question under considera- tion ; and hence the name assumption, e. g., — Whatever acts with uniformity and consistency is the re- sult of intelligence. Nature acts with uniformity and consistency ; therefore, Nature is the result of intelligence. The major proposition in this example is a general truth which no one will call in question ; but the minor, viz., Nature acts with uniformity and consistency, is not a general truth, although accidentally it may be as well known. It is more convenient, but by no means necessary to the accuracy of a syllogism, that the major proposition should be first in order. In material arguments, it often happens that the minor premiss is first, and, still more frequently, that the conclusion begins the sentence. Thus — Habitual cheerfulness is the best promoter of health ; for it checks those secret anxieties and those violent ferments which derange and wear out the constitution ; and whatever has this excellent quality must have a tendency to promote health. In every syllogism the major proposition consists of the major and middle terms ; but whether the middle term is its subject or predicate depends on the figure of the syllogism. In like manner, the minor proposition in every syllogism consists of the minor and the middle terms ; but whether the middle term is its subject or predicate, depends also on the figure of the syllogism. By the figure of a syllogism is meant the legitimate dispo- sition of the middle term in the premisses ; and as the middle term may be either the subject or predicate of the major, or MANUAL OF LOGIC. 137 the subject or predicate of the minor, it may be disposed in four different ways ; and, consequently, there are four figures. In the first figure the middle term is the subject of the major and the predicate of the minor, e. g. — Every philanthropist deserves to be held in remembrance. Howard was a philanthropist. Howard deserves to be held in remembrance. In the second figure the middle term is the predicate of both premisses, e. g. — The fixed stars do not revolve about a centre. The planets revolve about a centre. The planets are not fixed stars. In the third figure the middle term is the subject of both premisses, e. g. — Some acts of friendship are acts which militate against justice. All acts of friendship appear virtuous to the thoughtless. Some things which appear virtuous to the thoughtless militate against justice. In the fourth figure the middle term is the predicate of the major and the subject of the minor, e. g.— Some professors of the healing art are quacks. All quacks practice on the ignorance of the public. Some who practice on the ignorance of the public are pro- fessors of the healing art. 138 MANUAL OF LOGIC. RULES OF SYLLOGISM. All the rules of syllogism are based on the three following canons, a viz., 1. If any two terms agree with one and the same third term, they agree with each other. Let the question or problem be, ' Humility is worthy of constant cultivation.' The predicate, ' worthy of constant cultivation,' agrees with a third thing, viz., ' an ornament of the Christian character ;' but the subject, 'humility,' agrees with the same third ; therefore, the extremes agree with each other. Hence the following syllogism is correct : — Every ornament of the Christian character is worthy of constant cultivation. Humility is an ornament of the Christian character ; therefore, Humility is worthy of constant cultivation. 2. If of two terms one agrees with the same third term, and the other disagrees with it, they disagree with each other. Let the question or problem be, ' Literature is not within the reach of the idle.' The subject, ' literature,' agrees with a third thing, viz., ' an acquisition of real value ;' but the pre- dicate, 'within reach of the idle,' differs from that third.. a The canons and special rules of syllogism given in Murray's Compendium are here adopted. Aldrich gives six canons and twelve rules, many of which are superfluous, from being included in the others. It may be proper to remark, regarding the three canons given, that although clear as principles in mathe matical reasoning, where they apply to equal magnitudes, they lose in some measure their definite meaning, when applied analogically to the agreement or disagreement of terms or conceptions in affirmative or negative propositions ; for the relation of the middle term to the major and minor, as to extension, varies according to the different figures ; and hence the comparison does not proceed on exact equality of quantities. MANUAL OF LOGIC. 139 Therefore, the extremes disagree with each other ; and the argument is thus expressed — Acquisitions of real value are not within reach of the idle. Literature is an acquisition of real value. Literature is not within reach of the idle. 3. Two terms, of which neither agrees with the same third term with which they are compared, may agree or disagree with each other. The agreement or disagreement of any two terms can only be ascertained by comparing each of them alternately with some one third term ; but it may happen that no third term can be found with which to compare them, so as to discover whether both agree with it, or the one agree with it and the other differ from it ; and therefore we cannot prove whether they agree with or differ from each other ; for since no third term has been brought forward with which to compare them, it is matter of doubt whether any such third term can be ad- duced. And hence their agreement or disagreement cannot be established until this doubt is removed. The use of a third term, in syllogistic argument, is indis- pensable ; for no syllogistic argument can exist unless there be a comparison of some two terms with a third, on one or other of the principles contained in the first and second canons. Those two canons may be considered as axioms, since they challenge immediate assent as soon as understood, and are the basis on which the syllogism is founded. They bear some analogy to the mathematical axioms : — Things which are equal to the same are equal to one another, and things of which one is equal and the other not equal to the same, are not equal to one another. The validity of all affirmative conclusions depends on the first of these canons, and the validity of all negative conclu- sions on the second. When the condition mentioned in the third canon is present, there can be no conclusion. 140 MANUAL OF LOGIC. These two canons are closely allied to the Dictum* de omni (■/tara xavrog) and the Dictum de nullo (x,ara (iqdsvog), viz., that whatever is affirmed or denied of a whole class may be affirmed or denied of whatever is comprehended in that class. It is from conforming to these dicta that all syllogisms drawn in the first figure derive their validity ; for whatever can be predicated of a whole subject or class is necessarily a predi- cate of all the subjects, whether particular or singular, con- tained in that subject; and, on the other hand, whatever predicate can be denied of a whole subject or class is neces- sarily denied of all the subjects, whether particular or singular, contained under that subject. The rules of syllogism are of two kinds, viz., general and special. The general rules apply to all syllogisms, in whatever figures they may be drawn. The special rules, again, have reference to particular figures. The general rules are six : — 1. The middle term cannot be taken twice particularly in the premisses, but must be at least once universal, i. e., by being the subject of a universal, or the predicate of a nega- tive proposition. It is plain, that if the middle term be twice particular, it can in either premiss represent only a part of its significates, and may therefore be taken for different parts of the same universal whole, and then there will be in reality two middle terms ; but it is with the same third term, and not with dif- ferent parts of it, that the other terms must be compared. If, then, the middle term is not distributed in one or other of the propositions forming the premisses, the major and minor a The dictum de omni et de nullo applies only to the first figure. The dicta applicable to the other figures are explained by Keckerman and Lambert, and will be noticed in their proper places. MANUAL OF LOGIC. 141 terms will each be compared with only a part of it ; and we cannot know that this may have been the same part. Hence one of the terras may have been compared with one part of the middle term, and the other with another part of it, e. g. — Some arts are useful. Logic is an art. Logic is useful. In this example, the middle term is twice particular; for in the major proposition there is a sign of particularity prefixed to it ; and in the minor it is the predicate of an affirmative proposition. In the major proposition, therefore, the term 'useful' is only compared with a part of the middle term 'arts,' and in the minor proposition the term 'logic' may be compared with another part of the middle term. But since from the form of the expression we cannot assert that both the ex- tremes have been compared with one and the same middle term, we cannot legitimately infer the conclusion, ' logic is useful,' but from such premisses as the following, viz., — All arts are useful. Logic is an art. We can legitimately infer the conclusion — Logic is useful. 2. The extremes cannot be taken more universally in the conclusion than in the premisses. This rule may be more clearly understood by the explana- tion, that a term must not be distributed in the conclusion which was not distributed in the premisses. The object of the rule is to guard against inferring a universal conclusion from particular premisses. When either the major or minor term is employed universally in the conclusion, but particularly in the premisses, this is termed an illicit process of the major or minor term. A term undistributed in the pre- 142 MANUAL OF LOGIC. misses, and the same distributed in the conclusion, cannot be called one and the same term ; and, consequently, to draw an inference from any term employed 'particularly to the same term employed universally is the same as to infer the truth of the universal from the truth of the particular ; for a term dis- tributed bears the same proportion to the same undistributed as a universal does to its particular, e. g. — All innocent things are allowable. Some pleasures are not innocent. Some pleasures are not allowable. In this example the major term 'allowable' is illicitly distri- buted, for it is particular in the major premiss, being the pre- dicate of an affirmative proposition ; but it is universal in the conclusion, being the predicate of a negative proposition. There are consequently two major terms, instead of one, and therefore four terms in the syllogism. The conclusion may be true notwithstanding, but its truth cannot be formally in- ferred from the premisses. In the following example, viz., All beasts of prey are carnivorous. All beasts of prey are animals. All animals are carnivorous, there is an illicit process of the minor term for the predicate of the minor proposition, ' animals ' is used particularly in that proposition, but universally in the conclusion ; consequently, the inference is illegitimate. It is evident, from the two preceding rules, that the num- ber of universal terms in the premisses must be at least one more than in the conclusion ; for by the second rule every term that is universal in the conclusion must be also universal in the premisses; but besides this, by the first rule, the middle term, which never enters the conclusion, must be at least once universal in the premisses. Therefore, there must MANUAL OF LOGIC. 143 at least be one universal term in the premisses more than in the conclusion. It follows, that the number of universal terms in the pre- misses cannot exceed the number in the conclusion by more than two. For there can be but three universal terms in the premisses, as one of them, by the third rule, must be affirma- tive, and to afford three one of the premisses must be nega- tive. But in this case the conclusion must be negative by the fifth rule, and will therefore have its predicate universal. And that the excess may be two, the premisses should be E and A, and the conclusion O, or, if the mood be affirmative, the premisses must be A and A, and the conclusion I, in order to preserve the required excess. It follows, also, that the greatest number of particular terms that can occur in the premisses are three, when both are affirmative and one particular; and then the universal term that occurs in the premisses must be the middle term ; and therefore there are two particular terms in the conclusion. If there are but two particular terms in the premisses, both are affirmative, or one particular ; and so in either case the conclusion has a particular term. The excess is never more than one. 3. From two negative premisses nothing follows. In this case a middle term is employed, from which both extremes differ ; and, consequently, there can be no inference, e. g. — No irrational being is accountable. Man is not an irrational being. Here the disagreement of the extremes with the middle term affords no ground for inferring that they either agree with or differ from each other. They may agree or differ ; but these premisses will neither prove their agreement or disagreement. 4. From two affirmative premisses a negative conclusion cannot follow. 144 MANUAL OF LOGIC. It must be assumed, in reference to this rule, that the pre- misses are not both particular ; for in that case, as shown below, there could be uo inference, and that there are not two middle terms ; for in that case, there could be no legi- timate conclusion, as has been explained above. If, ther&r fore, there be but one middle term, and the extremes agree with it, and consequently with each other, the conclusion must be affirmative, e. g. — Every science that tends to elevate our conceptions of the Deity is worthy of being studied ; Astronomy is a science tending to elevate our conceptions of the Deity ; therefore, Astronomy is worthy of being studied. 5. The conclusion follows the weaker part. In logic a negative proposition is considered inferior to an affirmative, or weaker than it, and a particular weaker than a universal. This rule may be divided into two parts: — Part 1. — If one of the premisses be negative, the conclu- sion, as it follows the weaker part, will be negative also ; for in this case one of the extremes agrees with the middle term, and the other disagrees with it, and by the second canon they consequently disagree with each other, and the conclu- sion is negative. The premisses necessary to prove a negative conclusion are an affirmative and a negative, since the extremes can be shown to differ only by means of a middle term which agrees with the one and differs from the other, e. g. — No mere man is infallible. The Pope is but a mere man. The Pope is not infallible. Part 2. — If one of the premisses be particular, the conclu- sion will be particular, e. g. — All flowers are beautiful. MANUAL OF LOGIC. 145 Some deciduous plants are flowers. Some deciduous plants are beautiful. In this example there are three particular terms in the premisses, viz., the two predicates, and the subject of the particular proposition ; consequently, there is but one uni- versal term in the premisses, viz., the subject of the major proposition ; and hence there can be no universal term in the conclusion, since the premisses must contain, at least, one more universal term than the conclusion. Hence the subject of the conclusion must be particular, and therefore the con- clusion itself. Again, if one of the premisses be negative, let them be A and O, e. g. — Every man is an animal. Some living things are not animals. Some living things are not men. In this example there are two particular terms in the pre- misses, viz., the predicate of the major proposition, and the subject of the minor ; therefore, there are but two universal terms, viz., the subject of the major proposition and the pre- dicate of the minor, and consequently, but one in the conclu- sion, which must be its predicate, as the conclusion is nega- tive. Hence the subject of the conclusion is particular, and therefore the conclusion itself. Again, if the premisses are not A and O, they must be E and I, e. g. — No works of human invention are perfect. Some machines are works of human invention. Some machines are not perfect. In this example there are also two particular terms in the premisses, viz., the subject and predicate of the minor ; there- fore, there are but two universal terms, viz., the subject and o 146 MANUAL OF LOGIC. predicate of the major proposition, and consequently, but one in the conclusion, which must be its predicate. Hence the subject of the conclusion is particular, and therefore the con- clusion itself. 6. From two particular premisses nothing follows. If both propositions be affirmative, there will be no uni- versal term in the premisses, and consequently, the middle term will be twice particular, e. g. — Some sciences are worth knowing. Some arts are worth knowing. Some arts are sciences. In this example the middle term is not distributed in either premiss, and consequently, no legitimate conclusion can be inferred. If, again, one of the premisses be affirmative, and the other negative, there will be but one universal term, viz., the pre- dicate of the negative proposition, and if a conclusion follow, it will be negative, and therefore its predicate universal ; con- sequently, there will be as many universal terms in the con- clusion as in the premisses, e. g. — Some talented men are not good men of business. Some Englishmen are good men of business. Some Englishmen are not talented men. In this example there is an illicit process of the major term ; for while it is used particularly in the premiss, it is employed universally in the conclusion, being the predicate of a negative proposition. Universal premisses do not always warrant a universal conclusion ; but when a universal conclusion can be drawn, it is allowable to deduce a particular, for the truth of the particular is implied in that of the universal. In testing the correctness of a syllogism by the foregoing general rules, we must see — MANUAL OF LOGIC. 147 1. That the middle term has been distributed. 2. That no term has been employed more universally in the conclusion than in the premisses. 3. That both the premisses are not negative. 4. That a negative conclusion is not inferred from affirma- tive premisses. 5. That if one of the premisses be particular, the conclu- sion must be particular ; and that if one of the premisses be negative, the conclusion must be negative. 6. That from two particular premisses no conclusion can be inferred ; and, 7. That the conclusion is not particular where a universal may be inferred. SPECIAL RULES OF SYLLOGISM. First Figure. The special rules of the first figure are two : — 1. The minor must be affirmative. 2. The major must be universal. The special rules of syllogisms are founded on the prin- ciples implied in each figure. In the first figure the argument is from a general to a specific statement ; and hence we infer an attribute to belong, or not to belong to something, because it belongs or does not belong to a class in which that thing is contained. But in order to advance a general statement, the major must be universal, while the specific statement can only be inferred from it by means of an affirmative minor.* * The use of an argument in this figure implies that we possess (or conceive ourselves to possess) all required knowledge about both the subject and the predicate, which are the terms of our reasoning. The major premiss is a meta- physical proposition, ascribing a distinct predicate, whether proprium or acci- dent to a known genus or higher kind ; the minor premiss is a logical proposi- tion, including in this genus a known species or lower kind. The former premiss implies a sufficiently complete act of logical definition; the latter a sufficieLtly complete act of logical division. — Moberly, p. 100. 148 MANUAL OF LOGIC, In syllogisms drawn in the first figure, the middle term, or medium of proof, is less extensive than the major, and more extensive than the minor. The middle term is the subject of the major proposition, and the predicate of the minor, e. g. — All luminous bodies emit particles of light. The sun is a luminous body. The sun emits particles of light. 1. Of the Minor Projyosition. If the minor be negative, the major will be affirmative by the third general rule, and its predicate therefore particular, while the conclusion will be negative by the fifth general rule, and its predicate universal ; but in the first figure the major proposition and the conclusion have the same predi- cate, viz., the major term. The major term would therefore be particular in the major proposition, and universal in the conclusion ; but by the second general rule, a term cannot be employed more universally in the conclusion than in the pre- misses ; for this would be arguing a particulari ad universale. The minor must therefore be affirmative. 2. Of the Major Proposition. Since the minor must be affirmative, the major proposition must be universal ; for if the major proposition is particular, the middle term, which is its subject, will also be particular; but since the minor must be affirmative, the middle term, which is its predicate, will be particular in it also ; the middle term will therefore be taken twice particularly contrary to the first general rule, and any inference drawn will be invalid. The middle term must therefore be distributed in the major premiss, in which by the first figure it is the subject, and universals alone distribute their subject. Any syllogism then, MANUAL OF LOGIC. 149 in the first figure, will be inconclusive in which the minor is negative or the major particular. In the first figure, The major may be A or E. The minor may be A or I. The conclusion may be A, I, E, or O. Second Figure. The special rules of the second figure are two : — 1. One or other of the premisses (and therefore the con- clusion) must be negative. 2. The major must be universal. In the second figure the middle term is the predicate of both premisses, e. g. — No honest reasoner resorts to sophistical arguments. Some sectaries resort to sophistical arguments. Some sectaries are not honest reasoners. In syllogisms drawn in the second figure, the middle term or medium of proof is more extensive than either the major or minor term. The principle a of this figure is to prove a distinction or disagreement between two classes, or between one class and a portion of another, by showing that an attribute possessed by the one is wholly excluded by the other ; for if one term a The distinctive principles of this and the two following figures are founded on the conclusions arrived at by Lambert. Thb second figure is suited to the discovery or proof of distinctions between things, and its principle is called the dictum de diverso. The third figure is suited to the discovery or proof of instances and exceptions. Its principle is termed the dictum de exemplo. The fourth figure is suited to the discovery or exclusion of the different species of a genus. Its principle is designated the dictum de reciproco. The invention of these dicta, though generally attributed to Lambert, properly belongs to Keckerman, who published them about a century earlier. Lambert may, how- ever, claim the invention of the dictum of the fourth, as this figure was rejected by Keckerman. 150 MANUAL OF LOGIC. is contained in, and another excluded from, a third term, they are mutually excluded. For this reason, the leading pro- position of the antecedent must be universal, and one of the premisses negative, e. g. — Every planet describes an orbit. The sun does not describe an orbit. The sun is not a planet. No planet is fixed. Every star is fixed. No star is a planet. Of the Negative Premiss. In the second figure the middle term is the predicate of both premisses ; and hence, if both the premisses are affirma- tive, the middle term will be particular in each, contrary to the first general rule. In the second figure, therefore, a cor- rect affirmative conclusion can in no case be drawn. Of the Major Premiss. It will be seen, from what has been said above, that one of the premisses must be negative, and consequently, the con- clusion ; but the predicate of the conclusion is universal, being the predicate of a negative proposition, and by the second general rule, it must be universal also in the major proposition, where it is the subject. The major premiss must therefore be universal in this figure; and any syllogism drawn in it, in which both the premisses are affirmative, or the major particular, will be illegitimate. . In the second figure, The major may be A or E. The minor may be E, 0, A, or I. The conclusion may be E or O. MANUAL OF LOGIC. 151 Third Figure. The special rules of the third figure are two : — 1. The minor must be affirmative. 2. The conclusion must be particular. In the third figure the middle term is the subject of both premisses, e. g. — All men of wit are desirable companions. Some men of wit are indolent. Some indolent men are desirable companions. The principles of the third figure are two : — 1. If two attributes belong to the same class, or the same part of the same class, they may co-exist in the same class or subject. Hence the subjects will partly agree, the attributes not being incompatible or opposed to each other ; but in this case the conclusion must be particular, e. g. — All men are responsible. All men are mortal. Some mortal beings are responsible. For if ' responsibility ' and ' mortality' are both predicable of the species ' man,' as asserted in the premisses, it must follow that ' some mortal beings are responsible.' 2. If of two attributes one belongs to a certain class, and the other is excluded from the same class, or the same part, the attributes do not universally co-exist in the same subject ; and in this case also, the conclusion must be par- ticular, e. g. — Some men are not virtuous. All men are responsible. Some responsible beings are not virtuous. For since the attribute * virtue ' is excluded from some men, and the attribute ' responsibility ' is predicable of all men, 152 MANUAL OF LOGIC. the attribute ' virtue ' is separable from the attribute ' respon- sibility ;' and hence it follows, as a particular conclusion, that some responsible beings are not virtuous. In syllogisms drawn in this figure, the middle term or medium of proof is less extensive than either the major or minor term. The minor must be affirmative. If the minor is negative, the major will be affirmative, by the third general rule, and then its predicate will be par- ticular ; but in this case the conclusion would be negative, and its predicate, the major term, would be universal in the conclusion, and particular in the major proposition, where it is also the predicate, contrary to the second general rule ; but this has been shown, when explaining the same special rule, in the first figure. The conclusion must he particular. Since the minor proposition must be affirmative, as shown above, the minor term, as its predicate, is particular in it ; and as no term can be used more universally in the conclu- sion than in the premisses, it must be particular in the con- clusion also, where it is the subject; and consequently the conclusion itself must be particular. Hence any syllogism in the third figure will be illegitimate in which the minor is negative or the conclusion universal. In the third figure, The major may be A, E, I, or O. The minor may be A or I. The conclusion may be I or O. Fourth Figure. The special rules of the fourth figure are three : — 1. If the major be affirmative, the minor must be universal. 2. If the minor be affirmative, the conclusion must be par- ticular. MANUAL OF LOGIC. 153 3. In negative moods (i. e., if any proposition be negative) the major must be universal. In the fourth figure the middle term is the predicate of the major proposition, and the subject of the minor, e. g. — All wise statesmen legislate with caution. All who legislate with caution regard the interests of the community. Some who regard the interests of the community are wise statesmen. The peculiar principle of the fourth figure is this : — If the whole or part of a class is contained in another, and that also in a third, then the first class must contain some individuals belonging to the third. If, again, one class universally ex- cludes another, which is in whole or in part contained in a third, the first is in part excluded from the third. But, on the other hand, if one class is universally contained under an- other, from which a third is wholly excluded, the third is wholly excluded from the first. Hence there cannot be a universal affirmative conclusion. Illustration of the rules : — 1. If the major be affirmative, the minor must be uni- versal, e. g. — Worldly honours are transient vanities. All transient vanities are sources of certain disappoint- ment. Some sources of certain disappointment are worldly honours. In this example the major is affirmative, and its predicate, the middle term, therefore particular ; but the middle term is also the subject of the minor ; and if the minor were par- ticular, its subject would be particular ; and in this case the middle term would not be at all distributed in the premisses. The minor must therefore be universal, in order that its sub- ject, the middle term, may be universal. g2 154 MANUAL OF LOGIC. 2. If the minor be affirmative, the conclusion m.ust be particular, e. g. — Some learned men are egotistical. All egotistical men are fond of popularity. Some persons fond of popularity are learned men. In this example the minor is affirmative, and the conclu- sion must therefore be particular; for since the minor is affirmative, its predicate is particular ; but the predicate of the minor proposition is the same as the minor term or sub- ject of the conclusion ; the subject of the conclusion must therefore be particular, and therefore the conclusion itself. 3. In negative moods the major must be universal, e. g. — No fallacious arguments are legitimate means of persuasion. Some legitimate means of persuasion fail in convincing. Some things which fail in convincing are not fallacious arguments. If either of the premisses be negative, the major must be universal, else the major term, which is the subject of the major proposition, would be particular ; but the subject of the major proposition, and the predicate of the conclusion, are the same ; and as the conclusion is negative, its predicate will be universal. The major term must therefore be uni- versal in the major proposition ; otherwise the inference would be a particulari ad universale. It is obvious, therefore, that any syllogism in the fourth figure will be illegitimate — 1. If the major be affirmative, and the minor particular ; 2. If the minor be affirmative, and the conclusion universal ; and, 3. If the conclusion be negative, r.n.l the major particular. In the fourth figure, The major may be A, E, or I. The minor may be A, E, or I. The conclusion may be E, I, or 0. MANUAL OF LOGIC. 155 The fourth figure, introduced here merely to show all the possible ways in which the middle term can be arranged in the premisses, is not of Aristotelic origin. a It is attributed to Galen (hence called the Galenic figure) on the authority of Averrde's; but the words of Averrde's — viz., Et ex hoc planum, quod figura quarta, de qua meminit Galenus, non est syllogismus super quern cadet naturaliter cogitatio — are by no means decisive on the point. Aldrich truly says that this figure is nugatory, as it proves the middle term by itself. This we shall illustrate by the following example and analysis from Hill's notes on the Compendium, viz. — All metaphysical inquiries are involved in some degree of obscurity ; But all things involved in obscurity are liable to error ; therefore, Some things liable to error are metaphysical inquiries. This syllogism predicates the medium ' involved in obscu- rity' of the major term 'metaphysical inquiries;' this is predicated, in the conclusion, of the minor term, ' things liable to error;' and this minor term is predicated in the minor premiss of the medium, ' involved in obscurity ' — that is, the class of ' things involved in obscurity' is represented to comprehend all ' metaphysical inquiries ;' the term ' meta- physical inquiries ' is asserted to comprehend ' some things liable to error,' and l some things liable to error ' are repre- sented to comprehend ' everything that is involved in ob- scurity.' Thus it is implied in a circle, that * things involved in obscurity ' comprehend ' things involved in obscurity,' which is nugatory. a Aristotle acknowledges only three figures, and regards the middle term, in reference to its extension, as compared with the major and minor, rather than with reference to its position in the premisses. 156 MANUAL OF LOGIC. The following table presents at one view the special rules of the figures, with their respective proofs : — Fig. RULES. i PROOFS. 1 Minor premiss affirmative... Else illicit process of the major term. Major universal Else middle not distributed. 1 2 One premiss negative Else middle not distributed. Because of the negative premiss. Else illicit process of the major term. Major universal 3 Minor affirmative Else illicit process of the major term, j Else illicit process of the minor term. Conclusion particular 4 Major premiss not Else illicit process of the major term. Minor premiss not Else middle not distributed. Conclusion not A Else illicit process of the minor term. The following table represents the propositions according to the quantity and essential quality which are admissible in each figure : — Fig. Major Proposition. Minor Proposition. Conclusion. 1 2 3 4 Universal Universal* Any Any except Affirmative Any Affirmative Any except Any. Negative. Particular. Any except A. * In the second figure one premiss is negative. / MANUAL OF LOGIC. 157 The Moods of Syllogism. The mood of a syllogism is defined by Aldrich to be, Legi- tima determinate propositionum secundum quantitatem et qualitatem, i. e., the legitimate determination of the pro- positions with respect to quantity and quality. When, therefore, the three propositions of a syllogism are laid down in their proper order, as to their quantity and quality, the mood of the syllogism is determined. Vicious and illegitimate moods are of course excluded from the class of syllogisms to which the above definition applies. Vicious moods are designated paralogisms. Any three propositions in combination form a mood ; and as there are, in all, four kinds of propositions, and as each of these four kinds may be used as a major premiss, while each of these major premisses admits of four different minors, viz,, A, E, I, or O, there may be formed four times four, or six- teen pairs of premisses ; and to. each of these premisses may be subjoined a fourfold conclusion, viz., A, E, I, or O ; con- sequently, all the permutations that can possibly be formed amount to sixty-four. Of these sixty- four varieties, eleven only are found to be legitimate moods of syllogism. Consequently, fifty-three are excluded as violating some of the general rules, and are there- fore paralogisms. These permutations are of course nothing more than an arithmetical calculation, for the number of combinations that can be formed by any four things, taken three and three toge- ther, is 4 X 4 X 4 = 64. Of these, sixteen, viz., EEA, EEE, EEI, EEO, EOA, EOE, EOI, EOO, OEA, OEE, OEI, OEO, OOA, OOE, OOI, 000, are excluded by the third general rule, because their premisses are negative. Twelve, viz., IIA, HE, III, 110, 10 A, TOE, I0I,I00,0IA, 1 58 MANUAL OF LOGIC. OIE, Oil, OIO, are excluded by the sixth general rule, because their premisses are particular. Twelve, viz., AEA, AEI, AOA, AOI, EAA, EAI, EIA, EII, IEA, IEI, OAA, OAI, are excluded by the fifth gene- ral rule, because one of the premisses is negative, but not the conclusion. Eight, viz., AIA, AIE, AOE, EIE, I A A, IAE, IEE, OAE, are excluded also by the fifth general rule, because they have universal conclusions with a particular premiss. Four, viz., AAE, AAO, AIO, IAO, because they have negative conclusions without any negative premiss. To which must be added IEO, for an illicit process of the major in every figure. a Fifty-three moods (16 + 12+12 + 8 + 4 + 1) are therefore excluded, many of which offend against several rules, although one alone is noted. The following is a list of the eleven legitimate moods, viz., AAA, AAI, AEE, All, AEO, AOO, EAE, EAO, EIO, IAI, OAO. But these moods cannot be used legitimately in each figure, for the first excludes all such as have not a universal major and an affirmative minor. Six of the above moods, therefore, can only be used legitimately in the first figure, viz., AAA, AAI, All, EAE, EAO, EIO. But of these two AAI and EAO, although conclusive, are useless in the first figure, since, instead of a particular, the premisses warrant a universal conclusion ; for the minor term, being universal in the minor proposition, may be uni- versal also in the conclusion. There are therefore only four a IEO has been condemned ever since the days of Apuleius, as far as the second and third figures are concerned. It was sometimes allowed in the first, as the indirect mood Frisesmo, but should not have been retained by Aldrich, who does not recognise the indirect moods. With a direct conclusion, it mani- festly produces an illicit process of the major term. — Mansell, p. 65. MANUAL OF LOGIC. 159 moods used in the first figure, viz., AAA, EAE, All, EIO. The following are examples : — bAr — Every effect is the result of an adequate cause. b A — The world is an effect ; therefore, rA. — The world is the result of an adequate cause. cE— No subject of a highly solemn character is suited to poetry. lA — Religion is a subject of a highly solemn character ; therefore, rEnt. — Religion is not suited to poetry. dA — All comets are irregular planets. rI — Some luminous bodies are comets. I. — Some luminous bodies are irregular planets. fE — No afflictions of nature are disgraceful. rT — Some personal deformities are afflictions of nature. O. — Some personal deformities are not disgraceful. In the second figure no mood can be used legitimately in which the major is not universal and the conclusion negative. The legitimate moods of the second figure are consequently five, viz., AEE, AOO, EAE, EAO, EIO. But of these EAO would be useless, as the premisses warrant a universal conclusion. Hence the moods used in the second figure are only four, viz., EAE, AEE, EIO, AOO, e. g cEs — No ruminant animals are predaceous. A — The lion is predaceous. rE. — The lion is not a ruminant animal. cAm — Every planet describes an orbit. Es — The sun does not describe an orbit. trEs. — The sun is not a planet. fEs — No man of strict veracity sports with truth. tI — Some jocose men sport with truth. nO. — Some jocose men are not of strict veracity. 1 60 MANUAL OF LOGIC. bA — All honest reasoners weigh the arguments of an opponent with caution. rOk — Some sectaries do not weigh the arguments of an opponent with caution ; therefore, O. — Some sectaries are not honest reasoners. In the third figure no moods can be used except those whose minor is affirmative, and whose conclusion is particular. Of these there are six, viz., AAI, All, EAO, EIO, I AT, OAO. None of these is useless, because although the minor be A, yet the minor term is particular in it as its predicate, and must therefore be particular in the conclusion. The follow- ing are examples of all the moods : — dA — All who assist in the progress of true science deserve the respect of mankind. rAp — All who assist in the progress of true science have to contend with difficulties. tI. — Some who have to contend with difficulties deserve the respect of mankind. dIs — Some acts of friendship are acts which militate against justice. Am — All acts of friendship appear virtuous and splendid to the thoughtless. Is. — Some things which appear virtuous and splendid to the thoughtless militate against justice. dA — All moral agents are responsible for their conduct. tIs — Some moral agents are subject to severe temptations. I. — Some subject to severe temptations are responsible for their conduct. fE — No branch of science is altogether perfect. lAp — All branches of science are worthy of diligent culture. tOn. — Some things worthy of diligent culture are not alto- gether perfect. MANUAL OF LOGIC. 161 bOk — Some distinguished poets have not escaped poverty. Ar — All distinguished poets do honour to their country. dO. — Some who do honour to their country have not escaped poverty. fE — No bombastic writers are worthy of imitation. rIs — Some bombastic writers are amusing. On. — Some things amusing are not worthy of imitation. In the fourth figure the legitimate moods are five, viz., AAI, AEE, EAO, EIO, and IAI. The following are ex- amples of all the moods :— br Am — All wise statesmen legislate with caution. An — All who legislate with caution regard the interests of the community. tIp. — Some who regard the interests of the community are wise statesmen. cAm — All the planets are opaque bodies. En — No opaque bodies are capable of transmitting light in any other way than by reflection. Es. — No bodies capable of transmitting light in any other way than by reflection are planets. dIm — Some learned men are deeply involved in prejudice. Ar — All who are deeply involved in prejudice are sus- picious advisers. Is. — Some suspicious advisers are learned men. fEs — No factious man is truly religious. Ap — All truly religious men are charitable. O. — Some charitable men are not factious. frEs — No fallacious argument is a legitimate mode of per- suasion. Is — Some legitimate modes of persuasion fail in convincing. On. — Some things which fail in convincing are not falla- cious arguments. 162 MANUAL OF LOGIC Although eleven moods were stated to be admissible, yet some of them occur in more than one figure ; and since each separate occurrence is reckoned a new mood, from this re- currence of the same symbols in different figures, there are reckoned in all nineteen moods. On examining the vowel symbols used to represent the moods admissible in the different figures, it will be found that of the eleven legitimate moods six occur twice in different figures, viz., AAI in Darapti and Bramantip, AEE in Ca- mestres and Camenes, All in Darii and Datisi, IAI in Disa- rms and Dimaris, EAE in Cesare and Celarent, and EAO in Felapton and Fesapo. The mood EIO occurs in all the figures, viz., in Ferio, Festino, Ferison, and Fresison. Add to these, three moods that only occur once, viz., AEO, AOO, OAO, and we have nineteen moods. For these nineteen moods logicians have formed certain names, which serve to denote the mood and figure ; for it has been shown that the same mood is used in different figures. Hence the vowels which denote the mood would not alone point out the figure, and they have therefore been incorpo- rated in words which are of great use in reduction, as will be hereafter seen. The names are exhibited in the following lines, which mention also the figures to which they respectively belong : — Barbara, Celarent, Darii, Ferioque prioris. Cesare, Camestres, Festino, Baroko secundae. Tertia, Darapti, Disarms, Datisi, Felapton. Bokardo, Ferison habet, Quarta insuper addit. Bramantip, Camenes, Dimaris, Fesapo, Fresison. In addition to these, there are five nameless moods, viz., AAI and EAO in the first figure, AEO and EAO in the second figure, and AEO in the fourth. These are deemed superfluous, being superseded by other moods, having the same premisses with universal conclusions ; for the conclu- sions in the nameless moods are all particular, and may be MANUAL OF LOGIC. 163 considered as deduced by subalternation from the universal conclusions. And since the truth of the universal implies the truth of the particular, the nameless moods are of no practical use in strict argument, for it is needless to infer a particular where a universal conclusion can be deduced. These moods, although useless, are not illegitimate. There are no useless moods in the third figure, for a uni- versal conclusion cannot be drawn in that figure. The mood AAA belongs exclusively to the first figure. It is excluded from the second, because the mood is affirmative ; from the third, because the conclusion is universal, and from the fourth, because in that figure the conclusion is always particular when the minor is affirmative. A universal affirmative conclusion can be deduced only from two universal affirmative premisses in the first figure, in the mood Barbara. Universal negative conclusions may be proved by the first figure in Celarent, by the second figure in Cesar e and Camestres, and by the fourth figure in Camenes. Particular affirmative conclusions may be proved in the first figure by Darii, and the nameless mood, AAI, by the third figure in Darapti, Disamis, and Datisi, by the fourth figure in Bramantip and Dimaris. Particular negative conclusions may be proved by each of the figures, viz., in Ferio of the first, Festino and Baroko of the second, Felapton, Bokardo, and Ferison of the third, Fesapo and Fresison of the fourth, together with the subal- ternates of the four moods by which universal negatives are proved. 164 MANUAL OF LOGIC. SECTION II. REDUCTION OF SYLLOGISMS. The first figure of syllogism is considered perfect? and the other three as imperfect, although the same designations are given to moods under each. The first figure is said to be perfect, for two reasons — 1. It proceeds directly and immediately on the Dictum de omni et de nullo ; and, 2. It arranges the terms in the most natural order, so as to show at once their mutual relations. The first figure asserts in the major proposition, that an attribute expressed by the predicate is found in a whole class without exception, that class being expressed by the subject of the proposition, and states in the minor proposition, that an- other class or part of it, expressed by the subject, is contained within the former class, now the predicate of the minor, and it is therefore inferred that the subordinate class has all the qualities found in the larger class to which it belongs. This may be seen more clearly from an analysis of the following syllogism : — Every effect has a cause. Gravitation is an effect. Gravitation has a cause. This syllogism exemplifies the Dictum de omni. The pre- dicate 'cause,' in the major proposition, is affirmed of every- a In some logical treatises, perfect and imperfect syllogisms are confounded with the direct and indirect. The latter designations are an innovation of the schoolmen. In an indirect syllogism, properly speaking, the minor is the^re- dicate, and the major the subject of the conclusion, and from which the immediate conclusion is not inferred, but its converse. In a direct mood the predicate of the conclusion is the major term. MANUAL OP LOGIC. 165 thing that can be termed an ' effect,' without any exception. Now the singular term ' gravitation,' the subject of the minor proposition, is contained in the common term 'effect,' which latter term is now the predicate of the minor. Hence if the predicate can be affirmed of everything represented by the common term ' effect,' it may also be affirmed of any one thing contained under it. The following syllogism, viz. — No man is infallible, The Pope is a man, The Pope is not infallible, exemplifies the Dictum de nullo. The predicate ' infallible,' in the major proposition, is denied of every individual con- tained under the common term ' man ' without any excep- tion. But the singular term 'Pope,' the subject of the minor proposition, is contained in the common term ' man,' which latter term is now the predicate of the minor. Hence since the predicate ' infallible ' is denied of everything de- noted by the common term ' man,' it may also be denied of any individual contained under it. In the other figures the ' Dictum ' is applied indirectly and partially, and the relation of the terms is not shown by their position. The first figure, therefore, institutes the most ob- vious comparison of the extremes, and furnishes conclusions of all kinds, while the other figures furnish only certain kinds of conclusions. It must be remembered, however, that the principle of the first figure is implied in all the other figures, notwithstanding their peculiarities, and that it is the presence of this principle that warrants their reduction. To reduce a syllogism is to bring an imperfect mood to a perfect, i. e., to reduce a syllogism drawn in any of the last three figures to a corresponding figure of the first, by altering the arrangement of the premisses. By this process the 166 MANQAL OF LOGIC. arrangement of the terms is not only improved, but the com- parison is rendered closer, and the conclusion more obvious, as we then can apply to each, as the case may be, the Dictum de omni et de nullo. Hence reduction is often called demon- stration, because it shows the validity of imperfect moods by bringing them to corresponding moods of the first figure, which furnish either the same conclusions or such as are equi- valent by conversion. The imperfect mood to be reduced is called the reducend, and that to which it is reduced the reduct. Reduction is of two kinds — 1 . Direct or ostensive reduction. 2. Indirect or reductio per impossible. Ostensive reduction consists in bringing the premisses of the reducend to a corresponding mood in the first figure, by transposition or conversion of the premisses, and from the premisses thus changed, deducing either the original conclu- sion or one from which it follows by conversion. In this species of conversion no new terms or propositions are introduced ; those of the reducend being either transposed or converted. The validity of ostensive reduction depends on the perfection of the reduct ; for since the reduct, being a perfect mood of the first figure, must yield a true conclusion, it is inferred that the original conclusion of the reducend is true, because it is found to be the same with the conclusion of the reduct, or implied in it. Indirect reduction, or reductio per impossible, properly so called, consists in the following process : — From one of the premisses of the reducend, and the contradictory of its con- clusion, new premisses are formed agreeably to a correspond- ing mood in the first figure ; and from these a conclusion is drawn, contradicting the other premiss which is omitted. The reduction is called indirect, because it does not positively prove the original conclusion to be true, but merely shows that an absurdity follows the supposition of its being false. MANUAL OF LOGIC. 167 The validity of this process depends on the principle of contradictory opposition, viz., that of contradictory proposi- tions, one is always false, and the other true. If, therefore, the original premisses of the reducend be true, as is always supposed, then a conclusion, which contradicts any of them, must be false ; but as that false conclusion is deduced from the new premisses, one of them must also be false, and that must be the contradictory of the original conclusion. This is the common process by which some imperfect moods are reduced ; but it will be found that these moods admit of direct reduction, by means of conversion by negation or contraposition. Thus, reduction may be confined to one kind, direct or ostensive. In any case, however, all conclusions may be proved by one or other of the two modes, viz., the direct or indirect. The direct mode shows the original conclusion to be true, by arranging the data from which it is deduced in such a way as to show that it results from them necessarily, -so that the mind cannot deny the truth of the conclusion, after admitting the truth of the premisses. In the indirect mode, on the other hand, the conclusion is assumed to be false ; and thus assumption results in some palpable absurdity, showing, as a necessary consequence, that this assumption must have been false ; and hence the conclusion, which was pro forma, assumed to be false, must in reality have been true. This latter mode is probably the more forcible and convincing. In direct reduction, the imperfect moods are reduced to the perfect, by various processes of transposition, conversion, or contraposition. These processes are indicated by the principal consonants, in the technical words which designate the moods. 1. The initial consonant indicates that the mood expressed by the word is reducible to a mood of the first figure, the name of which commences with the same letter, e. g., all moods designated by words commencing with B, viz., Baroko, 168 MANUAL OF LOGIC. Bokardo, Bramantip, are reducible to Barbara ; those with C, viz., Cesare, Camestres, Camenes, are reducible to Cela- rent ; those with D, viz., Darapti, Datisi, Disamis, Dima- ris, are reducible to Darii ; and those with F, viz., Festino, Felapton, Ferison, Fesapo, Fresison, are reducible to Ferio. 2. The letter M indicates, that in the mood expressed by the name in which it occurs, the premisses must be trans- posed, so that the major of the reducend becomes the minor in the reduct, and vice versa, e. g., in reducing Camestres, of the second figure, to Celarent of the first, M shows that the premisses must be transposed, to give them the requisite arrangement. The same process is followed in reducing Bramantip to Barbara, Camenes to Celarent, Disamis and Dimaris to Darii. 3. The letters S and P show generally that in reducing the moods expressed by the names in which they occur, the pro- position designated by the vowel preceding each must be con- verted in the reduct. S denotes simple conversion, and P accidental conversion (conversio per accidens), e. g., in re- ducing Cesare, of the second figure, to Celarent, of the first. S shows that the major proposition E is to be converted simply, so as to bring the predicate or middle term to the place of the subject, as in the first figure. Again, in reducing Felapton, of the third figure, to Ferio of the first, the minor proposition A must be converted per accidens, so as at once to become a particular affirmative, and bring the subject, the middle term, to the place of the predicate, as in the first figure. 4. The letter K indicates that the moods undergo indirect reduction by contradiction or contraposition : by contradiction when the contradictory of the conclusion is substituted for the premiss designated by the vowel after which K is placed ; — by contraposition (or conversion by negation) when the quality of the propositions is changed, so as to bring them to a state in which they may be directly reduced. MANUAL OF LOGIC. 169 It must be remembered that these letters are intended to apply to the vowels which precede, and not to those which follow them. In reducing syllogisms directly, the process is much more simple in some cases than in others, e. g., Cesare and Festino, of the second figure, may be reduced to Celarent and Ferio? by simply converting the major premiss, as may be seen from the annexed examples : — 1. Cesare. No man of honour is addicted to equivocation. All liars are addicted to equivocation. No liars are men of honour. Reduced to Celarent — No man addicted to equivocation is a man of honour. All liars are addicted to equivocation. No liars are men of honour. 2. Festino. No man of strict veracity sports with truth. Some jocose men sport with truth. Some jocose men are not men of strict veracity. Reduced to Ferio — No man sports with truth who is of strict veracity. Some jocose men sport with truth. Some jocose men are not of strict veracity. In like manner, Datisi and Ferison, of the third figure, may be reduced to Ddrii and Ferio, by the simple conversion of the minor. Thus — 1. Datisi. All moral agents are responsible for their conduct. H 1 70 MANUAL OF LOGIC. Some moral agents are subject to severe temptations. Some subject to severe temptations are responsible for their conduct. Reduced to Darii — All moral agents are responsible for their conduct. Some subject to severe temptations are moral agents. Some subject to severe temptations are responsible for their conduct. 2. Ferison. No men addicted to prejudice possess powerful minds. Some men addicted to prejudice are learned. Some learned men do not possess powerful minds. Reduced to Ferio — No men addicted to prejudice possess powerful minds. Some learned men are addicted to prejudice. Some learned men do not possess powerful minds. In reducing Darapti and Felapton, of the third figure, to Darii and Ferio, it is merely necessary to convert the minor per accidens. Thus — 1. Darapti. All who assist in the progress of true science deserve the respect of mankind. All who assist in the progress of true science have to con- tend with difficulties. Some who have to contend with difficulties deserve the respect of mankind. Reduced to Darii — All who assist in the progress of true science deserve the respect of mankind. MANUAL OF LOGIC. 171 Some have to contend with difficulties who assist in the progress of true science. Some have to contend with difficulties who deserve the respect of mankind. 2. Felapton. No branch of science is altogether perfect. All branches of science are worthy of diligent culture. Some things worthy of diligent culture are not altogether perfect. Reduced to Ferio — No branch of science is altogether perfect. Some things worthy of diligent culture are branches of science. Some things worthy of diligent culture are not altogether perfect. In reducing Fresison, of the fourth figure, to Ferio, both the major and minor are converted simply — 1. Fresison. No fallacious arguments are legitimate means of persuasion. Some legitimate means of persuasion fail in convincing. Some things which fail in convincing are not fallacious arguments. Reduced to Ferio — No legitimate means of persuasion are fallacious arguments. Some things which fail in convincing are legitimate means of persuasion. Some things which fail in convincing are not fallacious arguments. In reducing Fesapo, of the fourth figure, to Ferio, the 1 72 MANUAL OF LOGIC. major is converted simply, and the minor per accidens. Thus — 1. Fe&apo. No factious man is truly religious. All truly religious men are charitable. Some charitable men are not factious. Reduced to Ferio — No truly religious man is factious. Some charitable men are truly religious. Some charitable men are not factious. In reducing Dimaris and Camenes, of the fourth figure, to Darii and Celarent, the premisses are transposed, and the conclusion converted simply. Thus — 1. Dimaris. Some learned men are egotistical. All egotistical men are fond of popularity. Some fond of popularity are learned men. Reduced to Darii — All egotistical men are fond of popularity. Some learned men are egotistical. Some learned men are fond of popularity. 2. Camenes, All useful studies are worthy of encouragement. Nothing worthy of encouragement is injurious to the morals. Nothing injurious to the morals is a useful study. Reduced to Celarent — Nothing worthy of encouragement is injurious to the morals. All useful studies are worthy of encouragement. No useful study is injurious to the morals. In reducing Ca?nestres, of the second figure, to Celarent, the premisses are transposed, and the minor and conclusion converted simply. Thus — MANUAL OV LOGIC. ] 73 Camestres. Every man of sense is anxious to gain useful information. No idle man is anxious to gain useful information. No idle man is a man of sense. Reduced to Celarent — No person who is anxious to gain useful information is an idle man. Every man of sense is anxious to gain useful information. No man of sense is an idle man. In reducing Disamis, of the third figure, to Darii, the pre- misses are transposed, and the major and conclusion converted simply. Thus — Disamis. Some poets prefer sound to sense. All poets dislike to be severely criticised. Some who dislike to be severely criticised prefer sound to sense . Reduced to Darii — All poets dislike to be severely criticised. Some who prefer sound to sense are poets. Some who prefer sound to sense dislike to be severely criticised. In reducing Bramantip, of the fourth figure, to Barbara, the premisses are transposed, and the conclusion converted per accidens. Thus — Bramantip. a All blasphemous writers injure the public morals. a The reason why in this mood the conclusion may be accidentally converted is, that the major term has been distributed in the major premiss, and therefore is distributable in the conclusion, although, owing to the figure, it cannot be dis- tributed, for a term should not be distributed in the conclusion, if it has not been distributed in its premiss ; and it should be remembered also, that a term ought not to be undistributed in the conclusion, if it has been undistributed in its premiss. 174 MANUAL OF LOGIC. All who injure the public morals deserve punishment. Some who deserve punishment are blasphemous writers. Reduced to Barbara — All who injure the public morals deserve punishment. All blasphemous writers injure the public morals. All blasphemous writers deserve punishment. The following table presents summarily the various pro- cesses by which imperfect Moods are reduced to perfect : — REDUCEKDS. REDTJCTS. PROCESSES. Cesare Celarent Major premiss converted simply. Camestres Celarent Premisses transposed. Minor and con- clusion converted simply. Festino Ferio Major converted simply. Darapti Darii Minor converted per accidens. Disamis Premisses transposed. Major and con- clusion converted simply. Datisi Darii Minor converted simply. Felapton Ferio Minor converted per accidens. Ferison Ferio Minor converted simply. Bramantip Barbara Premisses transposed. Conclusion con- verted per accidens. Camenes Premisses transposed. Conclusion con- verted simply. Darii Premisses transposed. Conclusion con- verted simply. Ferio Major converted simply. Minor per accidens. Ferio Major and Minor converted simply. MANUAL OF LOGIC. 175 Examples of all the Moods in the three last figures (except Baroko and Bokardo) converted to the corresponding figures of the first : — SECOND FIGURE. FIRST FIGURE. u /No planet is fixed convert simply \ g /No fixed body is a planet. | -j Every star is fixed as it is F *H Everv star is fixed. P v No star is a planet as it is ' £> * No star is a planet. 3 ( r transpose the £ Every star is fixed 3 premisses, and | \ No planet is fixed f simply convert C the minor No planet is a star convert simply §{ No fixed body is a planet. Every star is fixed. No star is a planet. {No planet is a sun convert simply Some luminous bodies are") a$ a ^ suns i Some luminous bodies are") as it is not planets $ /■No sun is a planet. .o j Some luminous bodies are S -j suns. •*< I Some luminous bodies are V not planets. THIRD FIGURE. FIRST FIGURE. .„ /All flowers are beautiful.... as it is | J All flowers are deciduous... { C ° c ™Zly | I Some deciduous things are) ag u & ^ \ beautiful ) r All flowers are beautiful. Some deciduous things are flowers. Some deciduous things are beautiful. « (Some flowers are deciduous ^Sv convert ) | I All flowers are beautiful.... £ ^mljor ' ^ l s ridS^!.. t ^ g !.r}--^^ All flowers are beautiful. Some deciduous things are flowers. Some deciduous things are beautiful. '.Sj C All flowers are beautiful as it is ■*| < Some flowers are q (.Some plants are sautiful as it is ~% -s r All flowers are plants convert simply > e < Some plants ar beautiful., as it is 3 Q C Some plants ar beautiful, are flowers, plants are beautiful. No star is dark as it is All stars are distant { C °Za'rly ^ Some things distant are not! „„ -, • dark $ premisses > § < Every star is a fixed body. -» ( not fixed bodies. SECTION III. Reductio per impossible, or ad Absurdum. This species of reduction, as already partially explained, consists in the hypothetical falsehood of that which is under discussion; and in the tracing of such a concession to its legitimate consequences, with the view of proving that what was hypothetically conceded as false, involves some palpable impossibility or absurdity. This kind of reduction is usually confined to the moods Baroko of the second, and Bokardo of the third figure. It is equally applicable, however, to any of the three last figures, as will be shown by examples. But let us, in the first place, take Baroko and Bokardo. In reference to Baroko and Bokardo, it is necessary to re- mark that the contradictory of the conclusion must be substi- tuted for the particular negative premiss, while the universal premiss retains its original place. In other moods reducible in this way, the contradictory of the conclusion must be sub- stituted for the major or minor premiss, as the requirements of a syllogism in the first figure may render such substitu- tion necessary. MANUAL OF LOGIC. 177 1. Baroko. bA — All truly wise men live virtuously. rOk — Some philosophers do not live virtuously ; therefore, O. — Some philosophers are not truly wise men. If instead of the minor (a particular negative) we substi- tute the contradictory of the conclusion, viz., All philosophers are truly wise men, the middle term will be universally affirmed of the major in the major proposition, while in the new minor proposition it will be affirmed that the whole minor term is contained in the major, and by the Dictum de omni the conclusion will follow that the middle term is affirmed of the whole minor. By thus substituting the contradictory of the conclusion, in place of the minor (a particular negative), the syllogism will stand thus — Barbara. bAr — All truly wise men live virtuously. bA — All philosophers are truly wise men ; therefore, rA. — All philosophers live virtuously. The conclusion of the reduct is the contradictory of the original minor premiss of the reducend, and must be false, since the premisses of the reducend were supposed to be true ; and therefore one of the premisses of the reduct, from which the conclusion has been legitimately deduced, must also be false. But as the major proposition is one of the original premisses granted to be true, the falsity must be in the minor, viz., the contradictory of the original conclusion, which proves the original conclusion to be true. 2. Bokardo. bO — Some kinds of money have not intrinsic value. kAr — All kinds of money have adventitious value. dO Some things having adventitious value have not in- trinsic value. h2 178 MANUAL OF LOGIC. If in place of the negative premiss (the major), we substi- tute the contradictory of the conclusion, viz. — All things having adventitious value have intrinsic value. We shall have the following syllogism in Barbara, viz. — All things having adventitious value have intrinsic value. All kinds of money have adventitious value. All kinds of money have intrinsic value. This new conclusion must be false, because it contradicts the major premiss of the reducend; therefore the substituted major premiss, from which the conclusion of the reduct is drawn, must be false, and consequently its contradictory (the conclusion of the reducend) must be true. But although the moods Baroko and Bokardo are usually reduced, by reductio per impossible, to Barbara, they may also be ostensively reduced by contraposition or negation — the first to Ferio, and the second to DariL Let the follow- ing syllogism be in Baroko : — Every true patriot is a friend to religion. Some great statesmen are not friends to religion. Some great statesmen are not true patriots. In order to reduce this syllogism to Ferio, we first convert the major premiss by negation, and then render the minor premiss affirmative, by combining the negative particle with the predicate. Thus — He-who-is-not-a-friend-to-religion is not a true patriot. Some great statesmen are not-friends-to-religion. Some great statesmen are not true patriots. In like manner, Bokardo may be reduced to Darii. Let the following syllogism be in Bokardo : — Some systems of unjust exaction have not been followed by immediate punishment. MANUAL OF LOGIC. 179 All systems of unjust exaction incur guilt. Some things which incur guilt have not been followed by immediate punishment. In reducing this example to Darii, we first transpose the premisses, and next convert the major by contraposition. Thus- All systems of unjust exaction incur guilt. Some things which have not been followed by immediate punishment are systems of unjust exaction ; therefore, Some things which have not been followed by immediate punishment incur guilt. It has been stated above, that the moods in the three last figures may be reduced to the first by the reductio per im- possible, as well as Baroko and Bokardo. To assist the learner in the way in which this may be done, the following example is annexed : — Let the mood to be reduced be in Disamis, of the third figure. This mood is represented by the vowel symbols, IAI. If this conclusion I is false, its contradictory E, must be true ; for of contradictories one must be false, and the other true. Now, this assumed contradictory E contradicts the major premiss I. If we substitute this contradictory for I, the new premisses will be EA, from which we can legitimately deduce the conclusion E, and the new mood will be Celarent of the first figure. The falsity involved in this assumed contradic- tory will be best illustrated by examples of the reducend and reduct : — dI — Some infidels publish their opinions. sA — All infidels are opposed to true religion. mIs. — Some beings opposed to true religion publish their opinions. 180 MANUAL OF LOGIC. This syllogism, when reduced per impossible, is as follows : — cE — No beings opposed to true religion publish their opinions. lA — All infidels are opposed to true religion. kEnt. — No infidels publish their opinions. In this reduction the conclusion of the reducend was assumed to be false, and its contradictory assumed to be true, and from the contradictory assumed to be true, united to the minor premiss of the reducend, a new conclusion was drawn ; but this conclusion is obviously false, because it contradicts the major premiss of the reducend, which was assumed to be true. Hence it must follow, that the contra- dictory of the reducend (which was assumed true) is in reality false ; and hence the conclusion of the reducend must itself be true. It has been observed, that in reducing the moods Baroko and Bokardo per impossible, the assumed or new conclusion directly contradicts an original premiss of the reducend. In the other moods, however, which may be reduced in this way, the assumed or new conclusion will not in every instance directly contradict an original premiss of the redu- cend. The contradicted premiss may be one deducible from the original proposition, or its simple or accidental converse ; for by the laws of conversion, if a proposition is true, the particular contained under it is true, and so also is its simple or accidental converse ; and the contradiction of any of these will prove that the original conclusion cannot be false, equally as well as if the original premiss were itself contradicted. OF COMPOUND PROPOSITIONS. Compound propositions* have been variously classified, but, a The curious in compound propositions are referred to Dr Kirwan's Logic, vol. I., where they will find the subject as amply and satisfactorily treated as anywhere. MANUAL OF LO^IC. 181 generally speaking, with questionable success. This has chiefly arisen from an uudue multiplication of names, founded on distinctions comparatively non-essential. Many of them are now very properly disappearing from logical treatises, and all intended here is a mere enumeration. 1. Cojmlative Propositions. A copulative 11 proposition is one which has its subjects or predicates joined by copulative or negative particles. A proposition of this kind may have several subjects, and but one predicate ; as, Caesar and Pompey were great generals. Neither gold nor silver will purchase immortality. Or several predicates, and but one subject ; as, Caesar was a great and a fortunate general. Or several subjects and several predicates ; as, Cato, Varro, Cicero, and Seneca cultivated logic, physics, metaphysics, and ethics. When the connecting particle is and, the proposition is a copulative affirmative ; but when the particle is not, neither, &c, the proposition is a copulative negative. A copulative affirmative is false, if any of the parts is false ; for the truth of such a proposition depends on the truth of all its parts. The proposition, The earth and moon revolve round the sun, would be false if the predicate, i revolve round the sun,' did not apply to both. On the other hand, a copulative negative is false, if either of the parts is true ; as, Virtue and riches are not necessary to salvation. a The number of simple propositions into which a copulative may be re- solved is determined by multiplying the number of subjects into that of the pre- dicates. — Thynne. 182 MANUAL OF LOGIC. 2. Disjunctive Propositions. A disjunctive proposition is one in which the whole sub- ject is said to be contained in two or more predicates, con- nected by a disjunctive particle, e. g. — All wars are either just or unjust. Every animal is either rational or irrational. The parts of a disjunctive proposition are always affirmative in quality, and the proposition is true, if any of its parts is true, e. g. — The true religion is either the Mahometan, or Jewish, or Christian. But if it can be shown that none of the parts is true, the pro- position is false ; as, The true religion is either the Mahometan or Jewish. The truth of a disjunctive proposition depends on the necessary opposition of the parts ; for since a division is made in every disjunctive proposition, it must be subject to the rules of logical division. The predicates are the parts into which the whole subject is divided; and it is therefore neces- sary that the predicates taken together should contain no more and no less than the whole subject. Thus — The teeth are either incisors, canine, bicuspid, or molar. 3. Conditional Propositions. A conditional* proposition is one in which the assertion is made under a condition. a In the scheme of division and subdivisions of propositions laid down (p. 104), the usual method was followed of dividing hypothetical propositions into condi- tional and disjunctive ; the matter not appearing of such importance as to ren- der any alteration in the ordinary scheme necessary. But as it is not intended to treat either of hypothetical propositions or syllogisms separately, but to employ both as synonymous with the conditional, it may be necessary to state that a division of hypothetical propositions into conditional and disjunctive, is illogical, for hypothetical and conditional propositions are identical in sense, MANUAL OF LOGIC. 183 The part, or branch of the proposition in which the condi- tion occurs, is called the antecedent, and the part or branch which follows from it the consequent. The connection be- tween them is called the consequence. The antecedent and consequent cannot always be distin- guished by their order. The antecedent is that which must have the conditional particle prefixed, and may be distin- guished in this way, although it should follow the consequent in the verbal arrangement of a sentence. In a conditional proposition, there is no absolute assertion made as to the truth of either the antecedent or consequent. The conditions are, that if the antecedent is true, the conse- quent must be true ; in other words, that if the antecedent is granted, the consequent may be inferred. Hence if there be a vis consequently in the inference, the proposition will be true, though one or both of the parts be false, e. g. — If there be no providence, there will be no future state. In this proposition both antecedent and consequent are false; yet the proposition, as a whole, is true, for the consequent follows from the antecedent. But, on the other hand, both of the parts may be true, and the proposition itself false, if there be no vis consequentice, e. g. — If Cicero was a Roman, he was a patriot. and differ only to the extent of being names appropriated from different lan- guages ; so that in the division referred to, the name of a genus is confounded with that of a species. It may be mentioned, also, that this division has not even tbe sanction of authority; for Boethius, the chief authority on this point, employs indifferently the terms hypotheticus, conditionalis, non simplex, for the genus, and as opposed to categoricus or simplex. — [See Ed. Rev., vol. lvii., p. 219.] Mr Mansel is of opinion, tbat ' with reference to modern usage, it will be better to contract the Greek word than to extend the Latin one ;' and therefore uses the term hypothetical as synonymous with conditional. It may be necessary to inform the learner also, that hypothetical, in the present accepta- tion of the term, are not treated of by Aristotle. They were first sketched by Theophrastus, and afterwards more fully developed by Eudemus and the Stoics. — [See Mansel, App. p. 57.] 184 MANUAL OF LOGIC. Here both of the parts are true ; yet as the latter does not follow from the former, the proposition, as a whole, is false. The rules of conditional propositions are three — 1. If the antecedent is granted, the consequent may be inferred. 2. If the consequent is denied, the antecedent may be denied. 3. Nothing can be inferred either from taking away the antecedent, or granting the consequent. This arises from the circumstance, that the same consequent may follow from another antecedent, although not from that from which it is sought to be inferred in some particular instance. 4. Adversative Propositions. An adversative proposition is one in which the parts are joined by an adversative particle ; as, but, yet, &c, e. g. — Travellers may change their climate, but not their dispo- sitions. Hannibal was a great general, yet finally unfortunate. The only difference between a copulative and an adversa- tive proposition is, that the adversative particle implies some degree of contrariety ; for if we say, Anacharsis was a Scythian and a philosopher, the proposition is a copulative one ; but if we say, Anacharsis was a Scythian, yet a philosopher, the proposition is adversative, as it indicates that the terms ' Scythian ' and ' philosopher ' are not generally predicates of the same subject. Adversative propositions are sometimes called discretives. MANUAL OF LOGIC. 185 5. Relative Propositions. A relative proposition is one whose parts are connected by a particle expressing relation ; as, Books are valuable, in so far as they are useful. 6. Causal Propositions. A causal proposition is one whose parts are connected by a particle asserting that one of them is the cause of the other; as, Caesar defeated Pompey, because his army was better dis- ciplined. Or indicating that one of them is not the cause of the other ; as, All events are necessary, because they were decreed by fate. A causal proposition is contradicted by denying the causa- tion. 7. Comparative Propositions. A comparative proposition is one which expresses the agreement or disagreement of a predicate and subject with each other in a greater or less degree ; as, The Greeks were more polished than the Romans. The Christian religion is preferable to the Mahometan. 8. Exclusive Propositions. An exclusive proposition is one which asserts that the pre- dicate so agrees with the subject as to agree with it only; a as, Victoria alone is Queen of England. The Platonists were the only school of philosophers who maintained the immortality of the soul. a There is a difference between the words alone and only, for ' only ' im- plies that there is no other of the same kind, while ' alone ' imports being un- accompanied with any other. 186 MANUAL OF LOGIC, Exclusive propositions are false, if the predicate does not agree with the subject, or if it agrees with more subjects than one. 9. Exceptive Propositions. An exceptive a proposition is one which expresses the agreement or disagreement of the subject with the predicate, except in some part of it ; as, All except the wise men are mad. All but the pious are foolish. The falsehood of an exceptive proposition is shown in the same way as in an exclusive. 10. Inceptive and Desitive Propositions. Inceptive and desitive b propositions are those in which something is said to begin or end ; as, After the death of the Gracchi, Rome ceased to be free. SECTION IV. CONDITIONAL SYLLOGISMS. A syllogism is said to be conditional when either its major or minor premiss is expressed under a condition, or both the major and minor. a An exclusive proposition may be changed into a synonymous exceptive, and in the change the subject of the exclusive becomes the excepted part of the exceptive. If the exclusive be affirmative, the exceptive will be negative, and vice versa, for an affirmative exclusive asserts that the predicate agrees with the subject alone, which is the same thing as to say, that tbe predicate disagrees with all except that subject; and this is a negative exceptive. Thus the exclusive — ' Men are the only animals that reason' — when expressed in the form of an exceptive, will be, ' No animals but men reason.' — Walker, p. 80. b An inceptive becomes desitive by using the desitive verb for the incep- tive, and instead of the state after, the change declaring the state before, and similarly the desitive may become inceptive. — Walker, p. 80. MANUAL OF LOGIC. 187 Conditional syllogisms are consequently of three kinds : — 1. When one of the premisses is conditional, and the con- clusion absolute. In this case the major must be the condi- tional proposition. 2. When one of the premisses is conditional and the con- clusion conditional. In this case the minor must be the con- ditional proposition. 3. When both major and minor propositions are conditional. In this case the conclusion must also be conditional. When the major proposition is alone conditional, the con- clusion is absolute, for this reason, that in the minor the part which asserts or denies the condition is put absolutely, and thus prevents the condition from entering the conclusion. In conditional syllogisms of this kind, legitimate conclusions may be obtained in two ways : — 1. From the position of the antecedent to the position of the consequent, e. g. — If the Christian miracles are credible, the Christian doc- trines are true ; But the Christian miracles are credible ; therefore, The Christian doctrines are true. In this example we proceed from the position of the ante- cedent to the position of the consequent. An argument of this kind is said to be constructive, or as it is technically /termed in the modus jwnens. 2. From the remotion of the antecedent to the remotion of the consequent, e. g. — If Atheists are in the right, then the world exists without a cause ; But the world does not exist without a cause ; therefore, Atheists are not in the right. In this example we proceed from the remotion of the con- sequent to the remotion of the antecedent. An argument of 188 MANUAL OF LOGIC this kind is said to be destructive, or, as it is technically termed, in the modus tollens. The conclusiveness of each of these processes of reasoning is obvious. In the former example it is asserted in the major, that the consequent follows from the antecedent, ,and conse- quently, if the antecedent be true, the consequent must be true. In the latter example, the consequent is denied, or, in other words, is not true ; and hence the antecedent from which it follows cannot be true. In examples like the foregoing, where the major alone is conditional, we must consider the minor as the true proposi- tion, for it is absolutely posited ; and the conclusion, there- fore, depends for its truth on the truth of the minor. It may be remarked, that the removal of the antecedent or consequent does not merely signify the denial of it ; but the contradiction* of it, for the mere denial of it by a contrary proposition, will not make a true syllogism, e. g. — If every creature is reasonable, every brute is reasonable ; But no brute is reasonable ; therefore, No creature is reasonable. But if we put the minor in this form, viz., Every brute is not reasonable, then it will follow legitimately in the conclusion, that Every creature is not reasonable. It may be remarked, also, that when the antecedent and consequent are negative, they are removed by an affirmative, as — If there be no God, then the world does not exhibit crea- tive wisdom; a If the absolute premiss assert the falsehood of the consequent, we must take care to make the conclusion the contradictory, not the contrary of the antecedent. For we can only infer that the antecedent is false, but are not thence warranted to assert the truth of its contrary. — Walker's Commentary. MANUAL OF LOGIC. 189 But the world does exhibit creative wisdom ; therefore, There is a God. But while, in conditional syllogisms of this description, there are two legitimate modes of reasoning, there are also two ille- gitimate modes, — 1. When we proceed from the remotion of the antecedent to the remotion of the consequent. In illustration, let us take the following example : — If Mahometanism be true, idolatry is sinful ; But Mahometanism is not true ; therefore, Idolatry is not sinful. It is clear that in this example we cannot proceed from the remotion of the antecedent to the remotion of the consequent, for the sinfulness of idolatry is not affected by the truth or non-truth of Mahometanism. 2. When we proceed from the position of the consequent to the position of the antecedent. In illustration, let us take the following example : — If states have great standing armies, they are powerful. But this state is powerful ; therefore, This state has great standing armies. It is obvious that in this example we cannot proceed from the position of the consequent to the position of the antece- dent for great standing armies do not necessarily prove the internal power of a state. When the subject of the antecedent and consequent is the same, a conditional syllogism may be changed into a categori- cal one, e. g. — If Caesar be a king, he must be honoured ; But Caesar is a king ; therefore, He must be honoured : 190 MANUAL OF LOGIC. and this syllogism may be changed into a categorical, thus, Every king must be honoured ; But Caesar is a king ; therefore, He must be honoured. It has been stated above that when the major alone is con- ditional, the conclusion is absolute or categorical ; but w hen the minor is conditional, the conclusion is conditional, e. g. — The worshippers of images are idolaters. If the Romanists worship a crucifix, they are worshippers of an image ; therefore, If the Romanists worship a crucifix, they are idolaters. Syllogisms in which both the major and minor propositions are conditional, are best suited to a conditional or hypothetical sorites. DISJUNCTIVE SYLLOGISMS. A disjunctive syllogism is one whose major premiss is dis- junctive, and affirmative in quality. The parts of a disjunctive syllogism are assumed to contain all the possible assertions that can be made regarding the subject. 1. The major premiss must consist of at least two members. In this case the minor either asserts the one and the conclu- sion denies the other, or the minor denies the one and the conclusion asserts the other. In a disjunctive syllogism, therefore, we either draw a con- clusion from the position of one part to the remotion of the other, or from the remotion of one part to the position of the other, e. g. — The objects in nature either had a commencement, or they are self-existent ; But they had a commencement ; therefore, They are not self-existent. MANUAL OF LOGIC. 191 In this example we draw a conclusion from the position of one part to the remotion of the other. Again, The objects in nature are either self-existent, or were created by a self- existent being ; But they are not self-existent ; therefore, They were created by a self-existent being. In this example we draw a conclusion from the remotion of the one part to the position of the other. 2. When the major consists of more than two members, either the minor denies some one of them, and the conclusion asserts the truth of the rest, or the minor asserts the truth of some one of them, and the conclusion denies the rest, e. g. — All virtues are either faculties, passions, or habits ; But the virtues are neither faculties nor passions ; there- fore, The virtues are habits. In this example the minor denies two of the suppositions, and the conclusion asserts the truth of the third. Again, The sciences arose either from intuition, inspiration, or ex- perience ; But they arose from experience ; therefore, The sciences did not arise from intuition or inspiration. In this example the minor asserts or posits the truth of one of the 'suppositions, and the conclusion denies the other two. Disjunctives may be resolved into conditionals, by altering the form of the major premiss, i. e., changing the disjunctive particles into conditional, e. g. — The objects in nature are either eternal, or the results of chance, or the eiFects of intelligent agency ; 192 MANUAL OF LOGIC. But they are neither eternal, nor the results of chance ; therefore, They are the effects of intelligent agency. This example, reduced to the conditional form, is as fol- lows : — If the objects in nature are neither eternal, nor the results of chance, they are the effects of intelligent agency ; But they are neither eternal nor the results of chance ; therefore, They are the effects of intelligent agency. Here the same minor and conclusion equally apply. SECTION" V. OF THE DILEMMA. The dilemma a is a conditional syllogism, with a disjunctive antecedent or consequent. It partakes both of the conditional and disjunctive argument. In the conditional premiss of a dilemma, either the antece- dent or consequent may be disjunctive. A dilemma may prove either an affirmative or negative conclusion. When an affirmative is proved, the dilemma is said to be in the modus ponens ; when a negative is proved, it is said to be in the modus tollens ; when the conclusion is in the modus ponens, the argument is said to be constructive ; and a The word dilemma means ' double proposition ;' so that the whole argu- ment takes its name from the one mixed judgment in it. When this is more than double, as in, ' If a prisoner is legally discharged, either the magistrate must refuse to commit, or the grand jury ignore the will, or the common jury acquit, or the crown exercise the prerogative of pardon,' the argument has been called a trilemma, tetralemma, or polylemma, according to the number of mem- bers the judgment may have. — Outlines of the Laws of Thought, p. 286. MANUAL OF LOGIC. 193 when in the modus tollens, destructive. A dilemma is said to be simple when it concludes categorically, and complex when its conclusion is disjunctive. A dilemma is an argument by which we endeavour to prove the absurdity or falsehood of some assertion. With this view, a conditional proposition is assumed, the antece- dent of which is the assertion to be disproved, while the con- sequent is a disjunctive proposition, enumerating all the possible suppositions upon which the assertion contained in the antecedent can be true. Should all the suppositions con- tained in the consequent be rejected, it must follow that the antecedent must also be rejected. If, therefore, a proposition of which the antecedent is conditional, and the consequent disjunctive, be the major of a syllogism, and if the minor deny all the suppositions enumerated in the consequent, it will follow necessarily that the conclusion must deny the antecedent. In the strictest form of the dilemma, it is supposed that some one of the antecedents must be true, or some one of the consequents false ; but without determining which of them is so. The name dilemma also refers to the circumstance, that the major, in stating the argument, presents two suppositions or cases from each or both of which the same conclusion may be drawn. Certain kinds of dilemmas require, as will be, seen from the following examples, that the denial of each branch of the consequent must be proved in the minor by a prosyllogism, e. g — If there are two independent first principles, the one good and the other evil, either the one is more powerful than the other, or they are equal in power. a But the one is not more powerful than the other ; (for if it it were, it would entirely prevent the other from having any a Arthur's Essay on ' Evils and their Causes.' I 194 MANUAL OF LOGIC. share in the production or government of the universe : and therefore everything would be either absolutely good or abso- lutely evil.) Neither are they equal in power; (for if they were, but had opposite wills, they would counterbalance each other, and therefore produce nothing.) Therefore, there are not two independent first principles, the one good and the other evil. In this dilemma, the antecedent is the assertion to be dis- proved by remotion. All the suppositions enumerated in the disjunctive part of the major, on which the antecedent could be tenable, are removed in the minor by means of proofs pro- syllogisticalrv attached ; and, as a necessary consequence, the conclusion rejects the antecedent. This dilemma may be reduced to the two following condi- tional syllogisms : — 1. If there are two independent first principles, the one more powerful than the other, everything would either be absolutely good or absolutely evil. But the present is not the case of everything being either absolutely good cr absolutely evil. Therefore, there cannot be two independent first principles, the one more powerful than the other. 2. If there are two independent first principles, equal in power but of opposite wills, they must counterbalance each other, and produce nothing. But the present is not the case of nothing being produced. Therefore, there are not two independent first principles equal in power, but of opposite wills. I The following example is of a simpler character : — If perfect virtue exists, it exists either among civilised or among uncivilised communities. But perfect virtue cannot exist among civilised commu- nities ; (for civilisation produces only a spurious kind of MANUAL OF LOGIC. 195 virtue, inclining rather to expediency than rectitude.) Neither can it exist among uncivilised communities ; (for the actions of savages are regulated by narrow selfishness, which is in- compatible with perfect virtue.) Therefore, perfect virtue does not exist. The simple constructive dilemma has a major premiss, con- taining several antecedents, with one common consequent, and a minor which grants these antecedents disjunctively, i. e., grants some one of them, e. g. — If the heavenly inhabitants have either no desires, or have these fully gratified, they are perfectly happy. But they either have no desires, or have them fully gratified. Therefore, they are perfectly happy. If a Christian be living, he is the Lord's servant ; and if he be dead, he is the Lord's servant. But he must be always either living or dead. Therefore, he is always the Lord's servant. In a constructive dilemma, some one of the antecedents is assumed to be true ; and in a destructive, some one of the consequents is assumed to be false, but which is left unde- termined. The complex constructive dilemma has a major premiss, containing several antecedents, each with a different conse- quent, and a minor which grants the antecedents disjunc- tively ; while the conclusion infers the consequents disjunc- tively, i. e., determines one of them to be true, e. g. — If the evangelists speak truth, Christianity is of God ; and if they do not speak truth, the existence of Christianity is unaccountable. But the evangelists either do or do not speak truth. Therefore, Christianity is either of God, or its existence is unaccountable. 196 MANUAL OF LOGIC. The destructive* dilemma has a major, containing several antecedents, each with a different consequent, and a minor denying the consequents disjunctively ; while the conclusion also disjunctively denies the antecedents, e. g. — If men were wise, they would avoid speaking irreverently of sacred things, even in jest ; and if they were good, they would avoid doing so in earnest. But many do not avoid this, either in jest or earnest. Therefore, many are either not wise or not good. If a witness be an honest one, he will not bear false testi- mony designedly ; and if he be a competent one, he will not do so undesignedly. But a witness who speaks false, does so either designedly or undesignedly. Therefore, he is either not honest or not competent. The facility with which a destructive dilemma may be reduced to two conditional syllogisms, may be seen from the following example, viz., — If this man were prudent, he would behave well for his own sake ; and if he were benevolent, he would behave well for the good of others. But he does not behave well, either for his own sake or the good of others. Therefore, he is neither prudent nor benevolent. 1. If this man were prudent, he would behave well for his a Whateley and others seem to be of opinion, that a destructive dilemma, properly so called, should, like the complex constructive, have a disjunctive minor premiss; and this they term the only true form of the destructive dilemma. In point of fact, however, the simple destructive is a still more com- mon form, and any arguments adduced against it will equally apply to the simple constructive. MANUAL OF LOGIC* 197 But he does not behave well for his own sake. Therefore, he is not prudent. 2. If this man were benevolent, he would behave well for the good of others. But he does not behave well for the good of others. Therefore, he is not benevolent. A dilemma may become invalid in one or other of three ways. 1. When the members of the division in the disjunctive part of the major are not adequate to the whole divided; in other words, when they do not enumerate all the possible suppositions, e. g. — If a writer is to be accounted original, it must either be in virtue of innate ideas, or of thoughts taken from other authors. But a writer cannot be accounted original in virtue of in- nate ideas ; (for if ideas are innate, they are common to men in general;) neither can he be accounted original, if his thoughts are taken from other authors ; (for in this case he is a plagiarist.) Therefore, in no case can a writer be accounted original. In this example, it is evident that in the disjunctive part of the major an alternative is omitted, viz., that a writer may have ideas which are peculiarly the product of his own in- tellect, and which consequently are neither innate nor taken from other writers. If Abraham were justified, it must have been either by faith or by works. Now he was not justified by faith (according to James,) nor by works (according to Paul.) Therefore Abraham was not justified. 198 MANUAL OF LOGIC. In this example the alternative — by faith and works conjointly is omitted. 8 2. If the prosyllogistic proof is insufficient to prove the minor, e. g. — If the soul be annihilated, it must be by something which is in existence, or something which is not. b But that which is in existence can never produce what is physically contrary to itself; and that which has no existence, cannot act. Therefore, the soul cannot be annihilated. That the proof of the minor fails will be readily seen by reducing the argument to two conditional syllogisms ; thus — 1. If the soul can be annihilated by something which exists, that something must produce what is physically contrary to itself. But no existence can produce what is physically contrary to itself. Therefore, the soul cannot be annihilated by anything which exists. 2. If the soul can be annihilated by something which does not exist, that something must act. But that which does not exist cannot act. Therefore, the soul cannot be annihilated by that which does not exist. Two objections may be made to the part of the minor, which asserts that what is in existence cannot produce any- thing physically contrary to itself. 1. The asserted impos- a Considering logic as a formal science, the supplying of an omitted alterna- tive is a material, not a logical merit. b Drew's Essay on the Immortality of the Soul. MANUAL OF LOGIC. 199 sibility is merely an assumption ; and, 2. If the Omnipotent can create out of nothing, a greater exertion of power is not required to annihilate what has been so created. But to take a simpler example, viz. — If a man study metaphysics, he must either follow implicitly some existing works on the subject, or he must trace the workings of his own mind. But if he follows implicitly some existing works on the subject, he must take his knowledge from authority ; and if he traces the workings of his own mind, he will involve him- self in inextricable confusion. Therefore, he must either take his knowledgefrom auth o- rity, or involve himself in inextricable confusion. i In this argument the second alternative does not hold true ; for a man may trace the workings of his own mind without involving himself in inextricable confusion. 3. A dilemma ought to be incapable of being retorted. The retortibility of a dilemma is rather a mark by which we may conclude it to be fallacious, than any distinct circum- stance of invalidity. The following example is, in substance, taken from one of Cicero's letters to a provincial dignitary who had upbraided him for negligence in his correspondence. If your letters have ceased, you have either become lazy, or you do not value my friendship, or you have forgotten me. But your letters have ceased. Therefore, you have either become lazy, or you do not value my friendship, or you have forgotten me. This dilemma is vitiated by an illogical distribution of the major premiss for the supposition, ' or your attention is other- wise engrossed/ is omitted. Instead of pointing out the logical inaccuracy, Cicero retorts the dilemma, as they were both equally dilatory in their correspondence. 200 MANUAL OF LOGIC. There is a well-known ancient example of a retortible dilemma mentioned by Anlus Gellius, and generally quoted by logicians, which may be added: — 'Euathlus, a rich young man, desirous of learning the art of pleading, applied to Pro- tagoras, a celebrated sophist, to instruct him, promising a great sum of money as his reward, one-half of which was paid down, the other half he bound himself to pay as soon as he should plead a cause before the judges and gain it. Prota- goras found him a very apt scholar ; but after he had made good progress, he was in no haste to plead causes. The master, conceiving that he intended, by these means, to shift off his second payment, took, as he thought, a sure method of getting the better of his delay. He sued Euathlus before the judges ; and, having opened his cause at the bar, he pleaded to this purpose : — " O most foolish young man, do you not see that, in any event, I must gain my point ? for, if the judges give sentence for me, you must pay by their sentence ; if against me, the condition of our agreement is fulfilled, and you have no plea left for your delay, after having pleaded and gained a cause." To which Euathlus answered, " O most wise master, I might have avoided the force of your argu- ment by not pleading my own cause. But, giving up this advantage, do you not see that, whatever sentence the judges pass, I am safe ? If they give sentence for me, I am acquitted by their sentence ; if against me, the condition of our agree- ment is not fulfilled by my pleading a cause and losing it.'" The dilemma, as used by Protagoras, maybe thus stated : — Either the cause will go on my side, or on yours. If the cause goes on my side, you must pay me according to the sentence of the judge ; if the cause goes on your side, you must pay me according to your bargain. Therefore, whether the cause goes for me or against me, you must pay me the reward. Euathlus retorted the dilemma thus : — - MANUAL OF LOGIC. 201 Either I shall gain the cause, or lose it. If I gain the cause, then nothing will be due to you, ac- cording to the sentence of the judge ; but if I lose the cause, nothing will be due to you, according to my bargain. Therefore, whether I gain or lose the cause, I will not pay you, for nothing will be due to you. a SECTION VI. OF THE ENTHYMEME. b A very prevalent error, regarding the nature of the entby- meme, is, that it is a syllogism with one premiss suppressed, a This story is by the Greek authors generally told of the Rhetorician Corax (crow) and his pupil Tisias. The puzzled judges, in lieu of a decision in the case, angrily pronounced of plaintiff and defendent — Kaxov 7tooa7iog xolkov ojov (plaguy egg of a plaguy crow I) Hence the proverb. — Sir W. Hamilton Reid's Works, p. 704. The dilemma of Bias, viz. — Si uxorem ducas formosam, habebis communem, se deformem, psenam : ergo Nulla est ducenda — like many other examples, may be shown to be false, from not enumerating all the possible suppositions ; for as Aldrich observes, i est qucedam media pulchritudo, — (there is a certain inter- mediate degree of beauty,) or it may be shown to be retortible ; thus :— Si formosam duxero, non habebo psenam : si deformem, non habebo com- munem. b The usual view of the enthymeme, though of a remote date, is not Aristotelic. The Stagirite, as mentioned in the text, distinguishes the enthymeme from the pure syllogism by considering it as a reasoning of a peculiar matter, a reasoning proceeding on signs or likelihoods, 6vKkoyi