Of Reasoning.

Of Reasoning.Διωρισμένων δε τούτων λέγωμεν ἤδη, διά τίνων, καὶ πότε, καὶ πῶς γίνεται πᾶς συλλογισμός ὕστερον δὲ λεκτέον περὶ ἀποδείξεως. Πρότερον γὰρ περὶ συλλογισμοῦ λεκτέον, ἥ περὶ ἀποδείξεως, διὰ τὸ καθόλου μᾶλλον εἰναὶ τὸν συλλογισμόν. Ἡ μέν γὰρ ἀπόδειξις, συλλογισμός τις; ὁ συλλογισμός δὲ ού πᾶς, ἀπόδειξις.—Arist.,Analyt. Prior., l. i., cap. 4.Chapter I.Of Inference, Or Reasoning, In General.§ 1. In the preceding Book, we have been occupied not with the nature of Proof, but with the nature of Assertion: the import conveyed by a Proposition, whether that Proposition be true or false; not the means by which to discriminate true from false Propositions. The proper subject, however, of Logic is Proof. Before we could understand what Proof is, it was necessary to understand what that is to which proof is applicable; what that is which can be a subject of belief or disbelief, of affirmation or denial; what, in short, the different kinds of Propositions assert.This preliminary inquiry we have prosecuted to a definite result. Assertion, in the first place, relates either to the meaning of words, or to some property of the things which words signify. Assertions respecting the meaning of words, among which definitions are the most important, hold a place, and an indispensable one, in philosophy; but as the meaning of words is essentially arbitrary, this class of assertions are not susceptible of truth or falsity, nor therefore of proof or disproof. Assertions respecting Things, or what may be called Real Propositions, in contradistinction to verbal ones, are of various sorts. We have analyzed the import of each sort, and have ascertained the nature of the things they relate to, and the nature of what they severally assert respecting those things. We found that whatever be the form of the proposition, and whatever its nominal subject or predicate, the real subject of every proposition is some one or more facts or phenomena of consciousness, or some one or more of the hidden causes or powers to which we ascribe those facts; and that what is predicated or asserted, either in the affirmative or negative, of those phenomena or those powers, is always either Existence, Order in Place, Order in Time, Causation, or Resemblance. This, then, is the theory of the Import of Propositions, reduced to its ultimate elements: but there is another and a less abstruse expression for it, which, though stopping short in an earlier stage of the analysis, is sufficiently scientific for many of the purposes for which such a general expression is required. This expression recognizes the commonly received distinction between Subject and Attribute, and gives the following as the analysis of the meaning of propositions:—Every Proposition[pg 122]asserts, that some given subject does or does not possess some attribute; or that some attribute is or is not (either in all or in some portion of the subjects in which it is met with) conjoined with some other attribute.We shall now for the present take our leave of this portion of our inquiry, and proceed to the peculiar problem of the Science of Logic, namely, how the assertions, of which we have analyzed the import, are proved or disproved; such of them, at least, as, not being amenable to direct consciousness or intuition, are appropriate subjects of proof.We say of a fact or statement, that it is proved, when we believe its truth by reason of some other fact or statement from which it is said tofollow. Most of the propositions, whether affirmative or negative, universal, particular, or singular, which we believe, are not believed on their own evidence, but on the ground of something previously assented to, from which they are said to beinferred. To infer a proposition from a previous proposition or propositions; to give credence to it, or claim credence for it, as a conclusion from something else; is toreason, in the most extensive sense of the term. There is a narrower sense, in which the name reasoning is confined to the form of inference which is termed ratiocination, and of which the syllogism is the general type. The reasons for not conforming to this restricted use of the term were stated in an earlier stage of our inquiry, and additional motives will be suggested by the considerations on which we are now about to enter.§ 2. In proceeding to take into consideration the cases in which inferences can legitimately be drawn, we shall first mention some cases in which the inference is apparent, not real; and which require notice chiefly that they may not be confounded with cases of inference properly so called. This occurs when the proposition ostensibly inferred from another, appears on analysis to be merely a repetition of the same, or part of the same, assertion, which was contained in the first. All the cases mentioned in books of Logic as examples of equipollency or equivalence of propositions, are of this nature. Thus, if we were to argue, No man is incapable of reason, for every man is rational; or, All men are mortal, for no man is exempt from death; it would be plain that we were not proving the proposition, but only appealing to another mode of wording it, which may or may not be more readily comprehensible by the hearer, or better adapted to suggest the real proof, but which contains in itself no shadow of proof.Another case is where, from a universal proposition, we affect to infer another which differs from it only in being particular: as All A is B, therefore Some A is B: No A is B, therefore Some A is not B. This, too, is not to conclude one proposition from another, but to repeat a second time something which had been asserted at first; with the difference, that we do not here repeat the whole of the previous assertion, but only an indefinite part of it.A third case is where, the antecedent having affirmed a predicate of a given subject, the consequent affirms of the same subject something already connoted by the former predicate: as, Socrates is a man, therefore Socrates is a living creature; where all that is connoted by living creature was affirmed of Socrates when he was asserted to be a man. If the propositions are negative, we must invert their order, thus: Socrates is not a living creature, therefore he is not a man; for if we deny the less, the greater, which includes it, is already denied by implication. These, therefore, are not really[pg 123]cases of inference; and yet the trivial examples by which, in manuals of Logic, the rules of the syllogism are illustrated, are often of this ill-chosen kind; formal demonstrations of conclusions to which whoever understands the terms used in the statement of the data, has already, and consciously, assented.47The most complex case of this sort of apparent inference is what is called the Conversion of propositions; which consists in turning the predicate into a subject, and the subject into a predicate, and framing out of the same terms thus reversed, another proposition, which must be true if the former is true. Thus, from the particular affirmative proposition, Some A is B, we may infer that Some B is A. From the universal negative, No A is B, we may conclude that No B is A. From the universal affirmative proposition, All A is B, it can not be inferred that all B is A; though all water is liquid, it is not implied that all liquid is water; but it is implied that some liquid is so; and hence the proposition, All A is B, is legitimately convertible into Some B is A. This process, which converts a universal proposition into a particular, is termed conversionper accidens. From the proposition, Some A is not B, we can not even infer that some B is not A; though some men are not Englishmen, it does not follow that some Englishmen are not men. The only mode usually recognized of converting a particular negative proposition, is in the form, Some A is not B, therefore something which is not B is A; and this is termed conversion by contraposition. In this case, however, the predicate and subject are not merely reversed, but one of them is changed. Instead of [A] and [B], the terms of the new proposition are [a thing which is not B], and [A]. The original proposition, Some Ais notB, is first changed into a proposition equipollent with it, Some Ais“a thing which is not B;”and the proposition, being now no longer a particular negative, but a particular affirmative, admits of conversion in the first mode, or as it is called,simpleconversion.48In all these cases there is not really any inference; there is in the conclusion no new truth, nothing but what was already asserted in the premises, and obvious to whoever apprehends them. The fact asserted in the conclusion is either the very same fact, or part of the fact, asserted in the original proposition. This follows from our previous analysis of the Import of Propositions. When we say, for example, that some lawful sovereigns are tyrants, what is the meaning of the assertion? That the attributes connoted by the term“lawful sovereign,”and the attributes connoted by the term“tyrant,”sometimes co-exist in the same individual. Now this is also precisely what we mean, when we say that some tyrants are lawful sovereigns; which, therefore, is not a second proposition inferred from the first, any more than the English translation of Euclid’s Elements is a collection of theorems different from and consequences of, those contained in the Greek original. Again, if we assert that no great general is a rash man, we mean that the attributes connoted by“great general,”and those connoted by“rash,”never co-exist in the same subject; which is also the exact meaning which would be expressed by saying, that no rash man is a[pg 124]great general. When we say that all quadrupeds are warm-blooded, we assert, not only that the attributes connoted by“quadruped”and those connoted by“warm-blooded”sometimes co-exist, but that the former never exist without the latter: now the proposition, Some warm-blooded creatures are quadrupeds, expresses the first half of this meaning, dropping the latter half; and therefore has been already affirmed in the antecedent proposition, All quadrupeds are warm-blooded. But thatallwarm-blooded creatures are quadrupeds, or, in other words, that the attributes connoted by“warm-blooded”never exist without those connoted by“quadruped,”has not been asserted, and can not be inferred. In order to re-assert, in an inverted form, the whole of what was affirmed in the proposition, All quadrupeds are warm-blooded, we must convert it by contraposition, thus, Nothing which is not warm-blooded is a quadruped. This proposition, and the one from which it is derived, are exactly equivalent, and either of them may be substituted for the other; for, to say that when the attributes of a quadruped are present, those of a warm-blooded creature are present, is to say that when the latter are absent the former are absent.In a manual for young students, it would be proper to dwell at greater length on the conversion and equipollency of propositions. For though that can not be called reasoning or inference which is a mere re-assertion in different words of what had been asserted before, there is no more important intellectual habit, nor any the cultivation of which falls more strictly within the province of the art of logic, than that of discerning rapidly and surely the identity of an assertion when disguised under diversity of language. That important chapter in logical treatises which relates to the Opposition of Propositions, and the excellent technical language which logic provides for distinguishing the different kinds or modes of opposition, are of use chiefly for this purpose. Such considerations as these, that contrary propositions may both be false, but can not both be true; that subcontrary propositions may both be true, but can not both be false; that of two contradictory propositions one must be true and the other false; that of two subalternate propositions the truth of the universal proves the truth of the particular, and the falsity of the particular proves the falsity of the universal, but notvicè versa;49are apt to appear, at first sight, very technical and mysterious, but when explained, seem almost too obvious to require so formal a statement, since the same amount of explanation which is necessary to make the principles intelligible, would enable the truths which they convey to be apprehended in any particular case which can occur. In this respect, however, these axioms of logic are on a level with those of mathematics. That things which are equal to the same thing are equal to one another, is as obvious in any particular case as it is in the general statement: and if no such general maxim had ever been laid down, the demonstrations in Euclid would never have halted for any difficulty in stepping across the gap which this axiom at present serves to bridge over. Yet no[pg 125]one has ever censured writers on geometry, for placing a list of these elementary generalizations at the head of their treatises, as a first exercise to the learner of the faculty which will be required in him at every step, that of apprehending ageneraltruth. And the student of logic, in the discussion even of such truths as we have cited above, acquires habits of circumspect interpretation of words, and of exactly measuring the length and breadth of his assertions, which are among the most indispensable conditions of any considerable mental attainment, and which it is one of the primary objects of logical discipline to cultivate.§ 3. Having noticed, in order to exclude from the province of Reasoning or Inference properly so called, the cases in which the progression from one truth to another is only apparent, the logical consequent being a mere repetition of the logical antecedent; we now pass to those which are cases of inference in the proper acceptation of the term, those in which we set out from known truths, to arrive at others really distinct from them.Reasoning, in the extended sense in which I use the term, and in which it is synonymous with Inference, is popularly said to be of two kinds: reasoning from particulars to generals, and reasoning from generals to particulars; the former being called Induction, the latter Ratiocination or Syllogism. It will presently be shown that there is a third species of reasoning, which falls under neither of these descriptions, and which, nevertheless, is not only valid, but is the foundation of both the others.It is necessary to observe, that the expressions, reasoning from particulars to generals, and reasoning from generals to particulars, are recommended by brevity rather than by precision, and do not adequately mark, without the aid of a commentary, the distinction between Induction (in the sense now adverted to) and Ratiocination. The meaning intended by these expressions is, that Induction is inferring a proposition from propositionsless generalthan itself, and Ratiocination is inferring a proposition from propositionsequallyormoregeneral. When, from the observation of a number of individual instances, we ascend to a general proposition, or when, by combining a number of general propositions, we conclude from them another proposition still more general, the process, which is substantially the same in both instances, is called Induction. When from a general proposition, not alone (for from a single proposition nothing can be concluded which is not involved in the terms), but by combining it with other propositions, we infer a proposition of the same degree of generality with itself, or a less general proposition, or a proposition merely individual, the process is Ratiocination. When, in short, the conclusion is more general than the largest of the premises, the argument is commonly called Induction; when less general, or equally general, it is Ratiocination.As all experience begins with individual cases, and proceeds from them to generals, it might seem most conformable to the natural order of thought that Induction should be treated of before we touch upon Ratiocination. It will, however, be advantageous, in a science which aims at tracing our acquired knowledge to its sources, that the inquirer should commence with the latter rather than with the earlier stages of the process of constructing our knowledge; and should trace derivative truths backward to the truths from which they are deduced, and on which they depend for their evidence, before attempting to point out the original spring from which both ultimately take their rise. The advantages of this order of proceeding in the present instance will manifest themselves as we advance, in a manner superseding the necessity of any further justification or explanation.[pg 126]Of Induction, therefore, we shall say no more at present, than that it at least is, without doubt, a process of real inference. The conclusion in an induction embraces more than is contained in the premises. The principle or law collected from particular instances, the general proposition in which we embody the result of our experience, covers a much larger extent of ground than the individual experiments which form its basis. A principle ascertained by experience, is more than a mere summing up of what has been specifically observed in the individual cases which have been examined; it is a generalization grounded on those cases, and expressive of our belief, that what we there found true is true in an indefinite number of cases which we have not examined, and are never likely to examine. The nature and grounds of this inference, and the conditions necessary to make it legitimate, will be the subject of discussion in the Third Book: but that such inference really takes place is not susceptible of question. In every induction we proceed from truths which we knew, to truths which we did not know; from facts certified by observation, to facts which we have not observed, and even to facts not capable of being now observed; future facts, for example; but which we do not hesitate to believe on the sole evidence of the induction itself.Induction, then, is a real process of Reasoning or Inference. Whether, and in what sense, as much can be said of the Syllogism, remains to be determined by the examination into which we are about to enter.Chapter II.Of Ratiocination, Or Syllogism.§ 1. The analysis of the Syllogism has been so accurately and fully performed in the common manuals of Logic, that in the present work, which is not designed as a manual, it is sufficient to recapitulate,memoriæ causâ, the leading results of that analysis, as a foundation for the remarks to be afterward made on the functions of the Syllogism, and the place which it holds in science.To a legitimate syllogism it is essential that there should be three, and no more than three, propositions, namely, the conclusion, or proposition to be proved, and two other propositions which together prove it, and which are called the premises. It is essential that there should be three, and no more than three, terms, namely, the subject and predicate of the conclusion, and another called the middle term, which must be found in both premises, since it is by means of it that the other two terms are to be connected together. The predicate of the conclusion is called the major term of the syllogism; the subject of the conclusion is called the minor term. As there can be but three terms, the major and minor terms must each be found in one, and only one, of the premises, together with the middle term which is in them both. The premise which contains the middle term and the major term is called the major premise; that which contains the middle term and the minor term is called the minor premise.Syllogisms are divided by some logicians into threefigures, by others into four, according to the position of the middle term, which may either be the subject in both premises, the predicate in both, or the subject in one and the predicate in the other. The most common case is that in which[pg 127]the middle term is the subject of the major premise and the predicate of the minor. This is reckoned as the first figure. When the middle term is the predicate in both premises, the syllogism belongs to the second figure; when it is the subject in both, to the third. In the fourth figure the middle term is the subject of the minor premise and the predicate of the major. Those writers who reckon no more than three figures, include this case in the first.Each figure is divided intomoods, according to what are called thequantityandqualityof the propositions, that is, according as they are universal or particular, affirmative or negative. The following are examples of all the legitimate moods, that is, all those in which the conclusion correctly follows from the premises. A is the minor term, C the major, B the middle term.First Figure.All B is CNo B is CAll B is CNo B is CAll A is BAll A is BSome A is BSome A is BthereforethereforethereforethereforeAll A is CNo A is CSome A is CSome A is not CSecond Figure.No C is BAll C is BNo C is BAll C is BAll A is BNo A is BSome A is BSome A is not BthereforethereforethereforethereforeNo A is CNo A is CSome A is not CSome A is not CThird Figure.All B is CNo B is CSome B is CAll B is CSome B is not CNo B is CAll B is AAll B is AAll B is ASome B is AAll B is ASome B is AthereforethereforethereforethereforethereforethereforeSome A is CSome A is not CSome A is CSome A is CSome A is not CSome A is not CFourth Figure.All C is BAll C is BSome C is BNo C is BNo C is BAll B is ANo B is AAll B is AAll B is ASome B is AthereforethereforethereforethereforethereforeSome A is CSome A is not CSome A is CSome A is not CSome A is not CIn these exemplars, or blank forms for making syllogisms, no place is assigned tosingularpropositions; not, of course, because such propositions are not used in ratiocination, but because, their predicate being affirmed or denied of the whole of the subject, they are ranked, for the purposes of the syllogism, with universal propositions. Thus, these two syllogisms—All men are mortal,All men are mortal,All kings are men,Socrates is a man,thereforethereforeAll kings are mortal,Socrates is mortal,are arguments precisely similar, and are both ranked in the first mood of the first figure.50[pg 128]The reasons why syllogisms in any of the above forms are legitimate, that is, why, if the premises are true, the conclusion must inevitably be so, and why this is not the case in any other possible mood (that is, in any other combination of universal and particular, affirmative and negative propositions), any person taking interest in these inquiries may be presumed to have either learned from the common-school books of the syllogistic logic, or to be capable of discovering for himself. The reader may, however, be referred, for every needful explanation, to Archbishop Whately’sElements of Logic, where he will find stated with philosophical precision, and explained with remarkable perspicuity, the whole of the common doctrine of the syllogism.All valid ratiocination; all reasoning by which, from general propositions[pg 129]previously admitted, other propositions equally or less general are inferred; may be exhibited in some of the above forms. The whole of Euclid, for example, might be thrown without difficulty into a series of syllogisms, regular in mood and figure.Though a syllogism framed according to any of these formulæ is a valid argument, all correct ratiocination admits of being stated in syllogisms of the first figure alone. The rules for throwing an argument in any of the other figures into the first figure, are called rules for thereductionof syllogisms. It is done by theconversionof one or other, or both, of the premises. Thus an argument in the first mood of the second figure, as—No C is BAll A is BthereforeNo A is C,may be reduced as follows. The proposition, No C is B, being a universal negative, admits of simple conversion, and may be changed into No B is C, which, as we showed, is the very same assertion in other words—the same fact differently expressed. This transformation having been effected, the argument assumes the following form:No B is CAll A is BthereforeNo A is C,which is a good syllogism in the second mood of the first figure. Again, an argument in the first mood of the third figure must resemble the following:All B is CAll B is AthereforeSome A is C,where the minor premise, All B is A, conformably to what was laid down in the last chapter respecting universal affirmatives, does not admit of simple conversion, but may be convertedper accidens, thus, Some A is B; which, though it does not express the whole of what is asserted in the proposition All B is A, expresses, as was formerly shown, part of it, and must therefore be true if the whole is true. We have, then, as the result of the reduction, the following syllogism in the third mood of the first figure:All B is CSome A is B,from which it obviously follows, thatSome A is C.In the same manner, or in a manner on which after these examples it is not necessary to enlarge, every mood of the second, third, and fourth figures may be reduced to some one of the four moods of the first. In other words, every conclusion which can be proved in any of the last three figures, may be proved in the first figure from the same premises, with a slight alteration in the mere manner of expressing them. Every valid ratiocination, therefore, may be stated in the first figure, that is, in one of the following forms:[pg 130]Every B is CNo B is CAll A is B,All A is B,Some A is B,Some A is B,thereforethereforeAll A is C.No A is C.Some A is C.Some A is not C.Or, if more significant symbols are preferred:To prove an affirmative, the argument must admit of being stated in this form:All animals are mortal;All men/Some men/Socrates are animals;thereforeAll men/Some men/Socrates are mortal.To prove a negative, the argument must be capable of being expressed in this form:No one who is capable of self-control is necessarily vicious;No one who is capable of self-control is necessarily vicious;All negroes/Some negroes/Mr. A’s negro are capable of self-control;thereforeNo negroes are/Some negroes are not/Mr. A’s negro is not necessarily vicious.Though all ratiocination admits of being thrown into one or the other of these forms, and sometimes gains considerably by the transformation, both in clearness and in the obviousness of its consequence; there are, no doubt, cases in which the argument falls more naturally into one of the other three figures, and in which its conclusiveness is more apparent at the first glance in those figures, than when reduced to the first. Thus, if the proposition were that pagans may be virtuous, and the evidence to prove it were the example of Aristides; a syllogism in the third figure,Aristides was virtuous,Aristides was a pagan,thereforeSome pagan was virtuous,would be a more natural mode of stating the argument, and would carry conviction more instantly home, than the same ratiocination strained into the first figure, thus—Aristides was virtuous,Some pagan was Aristides,thereforeSome pagan was virtuous.A German philosopher, Lambert, whoseNeues Organon(published in the year 1764) contains among other things one of the most elaborate and complete expositions which had ever been made of the syllogistic doctrine, has expressly examined what sort of arguments fall most naturally and suitably into each of the four figures; and his investigation is characterized by[pg 131]great ingenuity and clearness of thought.51The argument, however, is one and the same, in whichever figure it is expressed; since, as we have already seen, the premises of a syllogism in the second, third, or fourth figure, and those of the syllogism in the first figure to which it may be reduced, are the same premises in every thing except language, or, at least, as much of them as contributes to the proof of the conclusion is the same. We are therefore at liberty, in conformity with the general opinion of logicians, to consider the two elementary forms of the first figure as the universal types of all correct ratiocination; the one, when the conclusion to be proved is affirmative, the other, when it is negative; even though certain arguments may have a tendency to clothe themselves in the forms of the second, third, and fourth figures; which, however, can not possibly happen with the only class of arguments which are of first-rate scientific importance, those in which the conclusion is a universal affirmative, such conclusions being susceptible of proof in the first figure alone.52[pg 132]§ 2. On examining, then, these two general formulæ, we find that in both of them, one premise, the major, is a universal proposition; and according[pg 133]as this is affirmative or negative, the conclusion is so too. All ratiocination, therefore, starts from ageneralproposition, principle, or assumption: a proposition in which a predicate is affirmed or denied of an entire class; that is, in which some attribute, or the negation of some attribute, is asserted of an indefinite number of objects distinguished by a common characteristic, and designated, in consequence, by a common name.The other premise is always affirmative, and asserts that something (which may be either an individual, a class, or part of a class) belongs to, or is included in, the class respecting which something was affirmed or denied in the major premise. It follows that the attribute affirmed or denied of the entire class may (if that affirmation or denial was correct) be affirmed or denied of the object or objects alleged to be included in the class: and this is precisely the assertion made in the conclusion.Whether or not the foregoing is an adequate account of the constituent parts of the syllogism, will be presently considered; but as far as it goes it is a true account. It has accordingly been generalized, and erected into a logical maxim, on which all ratiocination is said to be founded, insomuch that to reason, and to apply the maxim, are supposed to be one and the same thing. The maxim is, That whatever can be affirmed (or denied) of a class, may be affirmed (or denied) of every thing included in the class. This axiom, supposed to be the basis of the syllogistic theory, is termed by logicians thedictum de omni et nullo.This maxim, however, when considered as a principle of reasoning, appears suited to a system of metaphysics once indeed generally received, but which for the last two centuries has been considered as finally abandoned, though there have not been wanting in our own day attempts at its revival. So long as what are termed Universals were regarded as a peculiar kind of substances, having an objective existence distinct from the individual objects classed under them, thedictum de omniconveyed an important meaning; because it expressed the intercommunity of nature, which it was necessary on that theory that we should suppose to exist between those general substances and the particular substances which were subordinated to them. That every thing predicable of the universal was predicable of the various individuals contained under it, was then no identical proposition, but a statement of what was conceived as a fundamental law of the universe. The assertion that the entire nature and properties of thesubstantia secundaformed part of the nature and properties of each of the individual substances called by the same name; that the properties of Man, for example, were properties of all men; was a proposition of real significance when man did notmeanall men, but something inherent in men, and vastly superior to them in dignity. Now, however, when it is known that a class, a universal, a genus or species, is not an entityper se, but neither more nor less than the individual substances themselves which are placed in the class, and that there is nothing real in the matter except those objects, a common name given to them, and common attributes indicated by the name; what, I should be glad to know, do we learn by being told, that whatever can be affirmed of a class, may be affirmed of every object contained in the class? The classisnothing but the objects contained in it: and thedictum de omnimerely amounts to the identical proposition, that whatever is true of certain objects, is true of each of those objects. If all ratiocination were no more than the application of this maxim to particular cases, the syllogism would indeed be, what it has so often been declared to[pg 134]be, solemn trifling. Thedictum de omniis on a par with another truth, which in its time was also reckoned of great importance,“Whatever is, is.”To give any real meaning to thedictum de omni, we must consider it not as an axiom, but as a definition; we must look upon it as intended to explain, in a circuitous and paraphrastic manner, the meaning of the wordclass.An error which seemed finally refuted and dislodged from thought, often needs only put on a new suit of phrases, to be welcomed back to its old quarters, and allowed to repose unquestioned for another cycle of ages. Modern philosophers have not been sparing in their contempt for the scholastic dogma that genera and species are a peculiar kind of substances, which general substances being the only permanent things, while the individual substances comprehended under them are in a perpetual flux, knowledge, which necessarily imports stability, can only have relation to those general substances or universals, and not to the facts or particulars included under them. Yet, though nominally rejected, this very doctrine, whether disguised under the Abstract Ideas of Locke (whose speculations, however, it has less vitiated than those of perhaps any other writer who has been infected with it), under the ultra-nominalism of Hobbes and Condillac, or the ontology of the later German schools, has never ceased to poison philosophy. Once accustomed to consider scientific investigation as essentially consisting in the study of universals, men did not drop this habit of thought when they ceased to regard universals as possessing an independent existence: and even those who went the length of considering them as mere names, could not free themselves from the notion that the investigation of truth consisted entirely or partly in some kind of conjuration or juggle with those names. When a philosopher adopted fully the Nominalist view of the signification of general language, retaining along with it thedictum de omnias the foundation of all reasoning, two such premises fairly put together were likely, if he was a consistent thinker, to land him in rather startling conclusions. Accordingly it has been seriously held, by writers of deserved celebrity, that the process of arriving at new truths by reasoning consists in the mere substitution of one set of arbitrary signs for another; a doctrine which they suppose to derive irresistible confirmation from the example of algebra. If there were any process in sorcery or necromancy more preternatural than this, I should be much surprised. The culminating point of this philosophy is the noted aphorism of Condillac, that a science is nothing, or scarcely any thing, butune langue bien faite; in other words, that the one sufficient rule for discovering the nature and properties of objects is to name them properly: as if the reverse were not the truth, that it is impossible to name them properly except in proportion as we are already acquainted with their nature and properties. Can it be necessary to say, that none, not even the most trivial knowledge with respect to Things, ever was or could be originally got at by any conceivable manipulation of mere names, as such; and that what can be learned from names, is only what somebody who used the names knew before? Philosophical analysis confirms the indication of common sense, that the function of names is but that of enabling us torememberand tocommunicateour thoughts. That they also strengthen, even to an incalculable extent, the power of thought itself, is most true: but they do this by no intrinsic and peculiar virtue; they do it by the power inherent in an artificial memory, an instrument of which few have adequately considered the immense potency. As an artificial memory, language truly is, what it has so often[pg 135]been called, an instrument of thought; but it is one thing to be the instrument, and another to be the exclusive subject upon which the instrument is exercised. We think, indeed, to a considerable extent, by means of names, but what we think of, are the things called by those names; and there can not be a greater error than to imagine that thought can be carried on with nothing in our mind but names, or that we can make the names think for us.§ 3. Those who considered thedictum de omnias the foundation of the syllogism, looked upon arguments in a manner corresponding to the erroneous view which Hobbes took of propositions. Because there are some propositions which are merely verbal, Hobbes, in order apparently that his definition might be rigorously universal, defined a proposition as if no propositions declared any thing except the meaning of words. If Hobbes was right; if no further account than this could be given of the import of propositions; no theory could be given but the commonly received one, of the combination of propositions in a syllogism. If the minor premise asserted nothing more than that something belongs to a class, and if the major premise asserted nothing of that class except that it is included in another class, the conclusion would only be that what was included in the lower class is included in the higher, and the result, therefore, nothing except that the classification is consistent with itself. But we have seen that it is no sufficient account of the meaning of a proposition, to say that it refers something to, or excludes something from, a class. Every proposition which conveys real information asserts a matter of fact, dependent on the laws of nature, and not on classification. It asserts that a given object does or does not possess a given attribute; or it asserts that two attributes, or sets of attributes, do or do not (constantly or occasionally) co-exist. Since such is the purport of all propositions which convey any real knowledge, and since ratiocination is a mode of acquiring real knowledge, any theory of ratiocination which does not recognize this import of propositions, can not, we may be sure, be the true one.Applying this view of propositions to the two premises of a syllogism, we obtain the following results. The major premise, which, as already remarked, is always universal, asserts, that all things which have a certain attribute (or attributes) have or have not along with it, a certain other attribute (or attributes). The minor premise asserts that the thing or set of things which are the subject of that premise, have the first-mentioned attribute; and the conclusion is, that they have (or that they have not), the second. Thus in our former example,All men are mortal,Socrates is a man,thereforeSocrates is mortal,the subject and predicate of the major premise are connotative terms, denoting objects and connoting attributes. The assertion in the major premise is, that along with one of the two sets of attributes, we always find the other: that the attributes connoted by“man”never exist unless conjoined with the attribute called mortality. The assertion in the minor premise is that the individual named Socrates possesses the former attributes; and it is concluded that he possesses also the attribute mortality. Or, if both the premises are general propositions, as[pg 136]All men are mortal,All kings are men,thereforeAll kings are mortal,the minor premise asserts that the attributes denoted by kingship only exist in conjunction with those signified by the word man. The major asserts as before, that the last-mentioned attributes are never found without the attribute of mortality. The conclusion is, that wherever the attributes of kingship are found, that of mortality is found also.If the major premise were negative, as, No men are omnipotent, it would assert, not that the attributes connoted by“man”never exist without, but that they never exist with, those connoted by“omnipotent:”from which, together with the minor premise, it is concluded, that the same incompatibility exists between the attribute omnipotence and those constituting a king. In a similar manner we might analyze any other example of the syllogism.If we generalize this process, and look out for the principle or law involved in every such inference, and presupposed in every syllogism, the propositions of which are any thing more than merely verbal; we find, not the unmeaningdictum de omni et nullo, but a fundamental principle, or rather two principles, strikingly resembling the axioms of mathematics. The first, which is the principle of affirmative syllogisms, is, that things which co-exist with the same thing, co-exist with one another: or (still more precisely) a thing which co-exists with another thing, which other co-exists with a third thing, also co-exists with that third thing. The second is the principle of negative syllogisms, and is to this effect: that a thing which co-exists with another thing, with which other a third thing does not co-exist, is not co-existent with that third thing. These axioms manifestly relate to facts, and not to conventions; and one or other of them is the ground of the legitimacy of every argument in which facts and not conventions are the matter treated of.53[pg 137]§ 4. It remains to translate this exposition of the syllogism from the one into the other of the two languages in which we formerly remarked54that all propositions, and of course therefore all combinations of propositions, might be expressed. We observed that a proposition might be considered in two different lights; as a portion of our knowledge of nature, or as a memorandum for our guidance. Under the former, or speculative aspect, an affirmative general proposition is an assertion of a speculative truth, viz., that whatever has a certain attribute has a certain other attribute. Under the other aspect, it is to be regarded not as a part of our knowledge, but as an aid for our practical exigencies, by enabling us, when we see or learn that an object possesses one of the two attributes, to infer that it possesses the other; thus employing the first attribute as a mark or evidence of the second. Thus regarded, every syllogism comes within the following general formula:Attribute A is a mark of attribute B,The given object has the mark A,thereforeThe given object has the attribute B.Referred to this type, the arguments which we have lately cited as specimens of the syllogism, will express themselves in the following manner:The attributes of man are a mark of the attribute mortality,Socrates has the attributes of man,thereforeSocrates has the attribute mortality.[pg 138]And again,The attributes of man are a mark of the attribute mortality,The attributes of a king are a mark of the attributes of man,thereforeThe attributes of a king are a mark of the attribute mortality.And, lastly,The attributes of man are a mark of the absence of the attribute omnipotence,The attributes of a king are a mark of the attributes of man,thereforeThe attributes of a king are a mark of the absence of the attribute signified by the word omnipotent (or, are evidence of the absence of that attribute).To correspond with this alteration in the form of the syllogisms, the axioms on which the syllogistic process is founded must undergo a corresponding transformation. In this altered phraseology, both those axioms may be brought under one general expression; namely, that whatever has any mark, has that which it is a mark of. Or, when the minor premise as well as the major is universal, we may state it thus: Whatever is a mark of any mark, is a mark of that which this last is a mark of. To trace the identity of these axioms with those previously laid down, may be left to the intelligent reader. We shall find, as we proceed, the great convenience of the phraseology into which we have last thrown them, and which is better adapted than any I am acquainted with, to express with precision and force what is aimed at, and actually accomplished, in every case of the ascertainment of a truth by ratiocination.55[pg 139]

Of Reasoning.Διωρισμένων δε τούτων λέγωμεν ἤδη, διά τίνων, καὶ πότε, καὶ πῶς γίνεται πᾶς συλλογισμός ὕστερον δὲ λεκτέον περὶ ἀποδείξεως. Πρότερον γὰρ περὶ συλλογισμοῦ λεκτέον, ἥ περὶ ἀποδείξεως, διὰ τὸ καθόλου μᾶλλον εἰναὶ τὸν συλλογισμόν. Ἡ μέν γὰρ ἀπόδειξις, συλλογισμός τις; ὁ συλλογισμός δὲ ού πᾶς, ἀπόδειξις.—Arist.,Analyt. Prior., l. i., cap. 4.Chapter I.Of Inference, Or Reasoning, In General.§ 1. In the preceding Book, we have been occupied not with the nature of Proof, but with the nature of Assertion: the import conveyed by a Proposition, whether that Proposition be true or false; not the means by which to discriminate true from false Propositions. The proper subject, however, of Logic is Proof. Before we could understand what Proof is, it was necessary to understand what that is to which proof is applicable; what that is which can be a subject of belief or disbelief, of affirmation or denial; what, in short, the different kinds of Propositions assert.This preliminary inquiry we have prosecuted to a definite result. Assertion, in the first place, relates either to the meaning of words, or to some property of the things which words signify. Assertions respecting the meaning of words, among which definitions are the most important, hold a place, and an indispensable one, in philosophy; but as the meaning of words is essentially arbitrary, this class of assertions are not susceptible of truth or falsity, nor therefore of proof or disproof. Assertions respecting Things, or what may be called Real Propositions, in contradistinction to verbal ones, are of various sorts. We have analyzed the import of each sort, and have ascertained the nature of the things they relate to, and the nature of what they severally assert respecting those things. We found that whatever be the form of the proposition, and whatever its nominal subject or predicate, the real subject of every proposition is some one or more facts or phenomena of consciousness, or some one or more of the hidden causes or powers to which we ascribe those facts; and that what is predicated or asserted, either in the affirmative or negative, of those phenomena or those powers, is always either Existence, Order in Place, Order in Time, Causation, or Resemblance. This, then, is the theory of the Import of Propositions, reduced to its ultimate elements: but there is another and a less abstruse expression for it, which, though stopping short in an earlier stage of the analysis, is sufficiently scientific for many of the purposes for which such a general expression is required. This expression recognizes the commonly received distinction between Subject and Attribute, and gives the following as the analysis of the meaning of propositions:—Every Proposition[pg 122]asserts, that some given subject does or does not possess some attribute; or that some attribute is or is not (either in all or in some portion of the subjects in which it is met with) conjoined with some other attribute.We shall now for the present take our leave of this portion of our inquiry, and proceed to the peculiar problem of the Science of Logic, namely, how the assertions, of which we have analyzed the import, are proved or disproved; such of them, at least, as, not being amenable to direct consciousness or intuition, are appropriate subjects of proof.We say of a fact or statement, that it is proved, when we believe its truth by reason of some other fact or statement from which it is said tofollow. Most of the propositions, whether affirmative or negative, universal, particular, or singular, which we believe, are not believed on their own evidence, but on the ground of something previously assented to, from which they are said to beinferred. To infer a proposition from a previous proposition or propositions; to give credence to it, or claim credence for it, as a conclusion from something else; is toreason, in the most extensive sense of the term. There is a narrower sense, in which the name reasoning is confined to the form of inference which is termed ratiocination, and of which the syllogism is the general type. The reasons for not conforming to this restricted use of the term were stated in an earlier stage of our inquiry, and additional motives will be suggested by the considerations on which we are now about to enter.§ 2. In proceeding to take into consideration the cases in which inferences can legitimately be drawn, we shall first mention some cases in which the inference is apparent, not real; and which require notice chiefly that they may not be confounded with cases of inference properly so called. This occurs when the proposition ostensibly inferred from another, appears on analysis to be merely a repetition of the same, or part of the same, assertion, which was contained in the first. All the cases mentioned in books of Logic as examples of equipollency or equivalence of propositions, are of this nature. Thus, if we were to argue, No man is incapable of reason, for every man is rational; or, All men are mortal, for no man is exempt from death; it would be plain that we were not proving the proposition, but only appealing to another mode of wording it, which may or may not be more readily comprehensible by the hearer, or better adapted to suggest the real proof, but which contains in itself no shadow of proof.Another case is where, from a universal proposition, we affect to infer another which differs from it only in being particular: as All A is B, therefore Some A is B: No A is B, therefore Some A is not B. This, too, is not to conclude one proposition from another, but to repeat a second time something which had been asserted at first; with the difference, that we do not here repeat the whole of the previous assertion, but only an indefinite part of it.A third case is where, the antecedent having affirmed a predicate of a given subject, the consequent affirms of the same subject something already connoted by the former predicate: as, Socrates is a man, therefore Socrates is a living creature; where all that is connoted by living creature was affirmed of Socrates when he was asserted to be a man. If the propositions are negative, we must invert their order, thus: Socrates is not a living creature, therefore he is not a man; for if we deny the less, the greater, which includes it, is already denied by implication. These, therefore, are not really[pg 123]cases of inference; and yet the trivial examples by which, in manuals of Logic, the rules of the syllogism are illustrated, are often of this ill-chosen kind; formal demonstrations of conclusions to which whoever understands the terms used in the statement of the data, has already, and consciously, assented.47The most complex case of this sort of apparent inference is what is called the Conversion of propositions; which consists in turning the predicate into a subject, and the subject into a predicate, and framing out of the same terms thus reversed, another proposition, which must be true if the former is true. Thus, from the particular affirmative proposition, Some A is B, we may infer that Some B is A. From the universal negative, No A is B, we may conclude that No B is A. From the universal affirmative proposition, All A is B, it can not be inferred that all B is A; though all water is liquid, it is not implied that all liquid is water; but it is implied that some liquid is so; and hence the proposition, All A is B, is legitimately convertible into Some B is A. This process, which converts a universal proposition into a particular, is termed conversionper accidens. From the proposition, Some A is not B, we can not even infer that some B is not A; though some men are not Englishmen, it does not follow that some Englishmen are not men. The only mode usually recognized of converting a particular negative proposition, is in the form, Some A is not B, therefore something which is not B is A; and this is termed conversion by contraposition. In this case, however, the predicate and subject are not merely reversed, but one of them is changed. Instead of [A] and [B], the terms of the new proposition are [a thing which is not B], and [A]. The original proposition, Some Ais notB, is first changed into a proposition equipollent with it, Some Ais“a thing which is not B;”and the proposition, being now no longer a particular negative, but a particular affirmative, admits of conversion in the first mode, or as it is called,simpleconversion.48In all these cases there is not really any inference; there is in the conclusion no new truth, nothing but what was already asserted in the premises, and obvious to whoever apprehends them. The fact asserted in the conclusion is either the very same fact, or part of the fact, asserted in the original proposition. This follows from our previous analysis of the Import of Propositions. When we say, for example, that some lawful sovereigns are tyrants, what is the meaning of the assertion? That the attributes connoted by the term“lawful sovereign,”and the attributes connoted by the term“tyrant,”sometimes co-exist in the same individual. Now this is also precisely what we mean, when we say that some tyrants are lawful sovereigns; which, therefore, is not a second proposition inferred from the first, any more than the English translation of Euclid’s Elements is a collection of theorems different from and consequences of, those contained in the Greek original. Again, if we assert that no great general is a rash man, we mean that the attributes connoted by“great general,”and those connoted by“rash,”never co-exist in the same subject; which is also the exact meaning which would be expressed by saying, that no rash man is a[pg 124]great general. When we say that all quadrupeds are warm-blooded, we assert, not only that the attributes connoted by“quadruped”and those connoted by“warm-blooded”sometimes co-exist, but that the former never exist without the latter: now the proposition, Some warm-blooded creatures are quadrupeds, expresses the first half of this meaning, dropping the latter half; and therefore has been already affirmed in the antecedent proposition, All quadrupeds are warm-blooded. But thatallwarm-blooded creatures are quadrupeds, or, in other words, that the attributes connoted by“warm-blooded”never exist without those connoted by“quadruped,”has not been asserted, and can not be inferred. In order to re-assert, in an inverted form, the whole of what was affirmed in the proposition, All quadrupeds are warm-blooded, we must convert it by contraposition, thus, Nothing which is not warm-blooded is a quadruped. This proposition, and the one from which it is derived, are exactly equivalent, and either of them may be substituted for the other; for, to say that when the attributes of a quadruped are present, those of a warm-blooded creature are present, is to say that when the latter are absent the former are absent.In a manual for young students, it would be proper to dwell at greater length on the conversion and equipollency of propositions. For though that can not be called reasoning or inference which is a mere re-assertion in different words of what had been asserted before, there is no more important intellectual habit, nor any the cultivation of which falls more strictly within the province of the art of logic, than that of discerning rapidly and surely the identity of an assertion when disguised under diversity of language. That important chapter in logical treatises which relates to the Opposition of Propositions, and the excellent technical language which logic provides for distinguishing the different kinds or modes of opposition, are of use chiefly for this purpose. Such considerations as these, that contrary propositions may both be false, but can not both be true; that subcontrary propositions may both be true, but can not both be false; that of two contradictory propositions one must be true and the other false; that of two subalternate propositions the truth of the universal proves the truth of the particular, and the falsity of the particular proves the falsity of the universal, but notvicè versa;49are apt to appear, at first sight, very technical and mysterious, but when explained, seem almost too obvious to require so formal a statement, since the same amount of explanation which is necessary to make the principles intelligible, would enable the truths which they convey to be apprehended in any particular case which can occur. In this respect, however, these axioms of logic are on a level with those of mathematics. That things which are equal to the same thing are equal to one another, is as obvious in any particular case as it is in the general statement: and if no such general maxim had ever been laid down, the demonstrations in Euclid would never have halted for any difficulty in stepping across the gap which this axiom at present serves to bridge over. Yet no[pg 125]one has ever censured writers on geometry, for placing a list of these elementary generalizations at the head of their treatises, as a first exercise to the learner of the faculty which will be required in him at every step, that of apprehending ageneraltruth. And the student of logic, in the discussion even of such truths as we have cited above, acquires habits of circumspect interpretation of words, and of exactly measuring the length and breadth of his assertions, which are among the most indispensable conditions of any considerable mental attainment, and which it is one of the primary objects of logical discipline to cultivate.§ 3. Having noticed, in order to exclude from the province of Reasoning or Inference properly so called, the cases in which the progression from one truth to another is only apparent, the logical consequent being a mere repetition of the logical antecedent; we now pass to those which are cases of inference in the proper acceptation of the term, those in which we set out from known truths, to arrive at others really distinct from them.Reasoning, in the extended sense in which I use the term, and in which it is synonymous with Inference, is popularly said to be of two kinds: reasoning from particulars to generals, and reasoning from generals to particulars; the former being called Induction, the latter Ratiocination or Syllogism. It will presently be shown that there is a third species of reasoning, which falls under neither of these descriptions, and which, nevertheless, is not only valid, but is the foundation of both the others.It is necessary to observe, that the expressions, reasoning from particulars to generals, and reasoning from generals to particulars, are recommended by brevity rather than by precision, and do not adequately mark, without the aid of a commentary, the distinction between Induction (in the sense now adverted to) and Ratiocination. The meaning intended by these expressions is, that Induction is inferring a proposition from propositionsless generalthan itself, and Ratiocination is inferring a proposition from propositionsequallyormoregeneral. When, from the observation of a number of individual instances, we ascend to a general proposition, or when, by combining a number of general propositions, we conclude from them another proposition still more general, the process, which is substantially the same in both instances, is called Induction. When from a general proposition, not alone (for from a single proposition nothing can be concluded which is not involved in the terms), but by combining it with other propositions, we infer a proposition of the same degree of generality with itself, or a less general proposition, or a proposition merely individual, the process is Ratiocination. When, in short, the conclusion is more general than the largest of the premises, the argument is commonly called Induction; when less general, or equally general, it is Ratiocination.As all experience begins with individual cases, and proceeds from them to generals, it might seem most conformable to the natural order of thought that Induction should be treated of before we touch upon Ratiocination. It will, however, be advantageous, in a science which aims at tracing our acquired knowledge to its sources, that the inquirer should commence with the latter rather than with the earlier stages of the process of constructing our knowledge; and should trace derivative truths backward to the truths from which they are deduced, and on which they depend for their evidence, before attempting to point out the original spring from which both ultimately take their rise. The advantages of this order of proceeding in the present instance will manifest themselves as we advance, in a manner superseding the necessity of any further justification or explanation.[pg 126]Of Induction, therefore, we shall say no more at present, than that it at least is, without doubt, a process of real inference. The conclusion in an induction embraces more than is contained in the premises. The principle or law collected from particular instances, the general proposition in which we embody the result of our experience, covers a much larger extent of ground than the individual experiments which form its basis. A principle ascertained by experience, is more than a mere summing up of what has been specifically observed in the individual cases which have been examined; it is a generalization grounded on those cases, and expressive of our belief, that what we there found true is true in an indefinite number of cases which we have not examined, and are never likely to examine. The nature and grounds of this inference, and the conditions necessary to make it legitimate, will be the subject of discussion in the Third Book: but that such inference really takes place is not susceptible of question. In every induction we proceed from truths which we knew, to truths which we did not know; from facts certified by observation, to facts which we have not observed, and even to facts not capable of being now observed; future facts, for example; but which we do not hesitate to believe on the sole evidence of the induction itself.Induction, then, is a real process of Reasoning or Inference. Whether, and in what sense, as much can be said of the Syllogism, remains to be determined by the examination into which we are about to enter.Chapter II.Of Ratiocination, Or Syllogism.§ 1. The analysis of the Syllogism has been so accurately and fully performed in the common manuals of Logic, that in the present work, which is not designed as a manual, it is sufficient to recapitulate,memoriæ causâ, the leading results of that analysis, as a foundation for the remarks to be afterward made on the functions of the Syllogism, and the place which it holds in science.To a legitimate syllogism it is essential that there should be three, and no more than three, propositions, namely, the conclusion, or proposition to be proved, and two other propositions which together prove it, and which are called the premises. It is essential that there should be three, and no more than three, terms, namely, the subject and predicate of the conclusion, and another called the middle term, which must be found in both premises, since it is by means of it that the other two terms are to be connected together. The predicate of the conclusion is called the major term of the syllogism; the subject of the conclusion is called the minor term. As there can be but three terms, the major and minor terms must each be found in one, and only one, of the premises, together with the middle term which is in them both. The premise which contains the middle term and the major term is called the major premise; that which contains the middle term and the minor term is called the minor premise.Syllogisms are divided by some logicians into threefigures, by others into four, according to the position of the middle term, which may either be the subject in both premises, the predicate in both, or the subject in one and the predicate in the other. The most common case is that in which[pg 127]the middle term is the subject of the major premise and the predicate of the minor. This is reckoned as the first figure. When the middle term is the predicate in both premises, the syllogism belongs to the second figure; when it is the subject in both, to the third. In the fourth figure the middle term is the subject of the minor premise and the predicate of the major. Those writers who reckon no more than three figures, include this case in the first.Each figure is divided intomoods, according to what are called thequantityandqualityof the propositions, that is, according as they are universal or particular, affirmative or negative. The following are examples of all the legitimate moods, that is, all those in which the conclusion correctly follows from the premises. A is the minor term, C the major, B the middle term.First Figure.All B is CNo B is CAll B is CNo B is CAll A is BAll A is BSome A is BSome A is BthereforethereforethereforethereforeAll A is CNo A is CSome A is CSome A is not CSecond Figure.No C is BAll C is BNo C is BAll C is BAll A is BNo A is BSome A is BSome A is not BthereforethereforethereforethereforeNo A is CNo A is CSome A is not CSome A is not CThird Figure.All B is CNo B is CSome B is CAll B is CSome B is not CNo B is CAll B is AAll B is AAll B is ASome B is AAll B is ASome B is AthereforethereforethereforethereforethereforethereforeSome A is CSome A is not CSome A is CSome A is CSome A is not CSome A is not CFourth Figure.All C is BAll C is BSome C is BNo C is BNo C is BAll B is ANo B is AAll B is AAll B is ASome B is AthereforethereforethereforethereforethereforeSome A is CSome A is not CSome A is CSome A is not CSome A is not CIn these exemplars, or blank forms for making syllogisms, no place is assigned tosingularpropositions; not, of course, because such propositions are not used in ratiocination, but because, their predicate being affirmed or denied of the whole of the subject, they are ranked, for the purposes of the syllogism, with universal propositions. Thus, these two syllogisms—All men are mortal,All men are mortal,All kings are men,Socrates is a man,thereforethereforeAll kings are mortal,Socrates is mortal,are arguments precisely similar, and are both ranked in the first mood of the first figure.50[pg 128]The reasons why syllogisms in any of the above forms are legitimate, that is, why, if the premises are true, the conclusion must inevitably be so, and why this is not the case in any other possible mood (that is, in any other combination of universal and particular, affirmative and negative propositions), any person taking interest in these inquiries may be presumed to have either learned from the common-school books of the syllogistic logic, or to be capable of discovering for himself. The reader may, however, be referred, for every needful explanation, to Archbishop Whately’sElements of Logic, where he will find stated with philosophical precision, and explained with remarkable perspicuity, the whole of the common doctrine of the syllogism.All valid ratiocination; all reasoning by which, from general propositions[pg 129]previously admitted, other propositions equally or less general are inferred; may be exhibited in some of the above forms. The whole of Euclid, for example, might be thrown without difficulty into a series of syllogisms, regular in mood and figure.Though a syllogism framed according to any of these formulæ is a valid argument, all correct ratiocination admits of being stated in syllogisms of the first figure alone. The rules for throwing an argument in any of the other figures into the first figure, are called rules for thereductionof syllogisms. It is done by theconversionof one or other, or both, of the premises. Thus an argument in the first mood of the second figure, as—No C is BAll A is BthereforeNo A is C,may be reduced as follows. The proposition, No C is B, being a universal negative, admits of simple conversion, and may be changed into No B is C, which, as we showed, is the very same assertion in other words—the same fact differently expressed. This transformation having been effected, the argument assumes the following form:No B is CAll A is BthereforeNo A is C,which is a good syllogism in the second mood of the first figure. Again, an argument in the first mood of the third figure must resemble the following:All B is CAll B is AthereforeSome A is C,where the minor premise, All B is A, conformably to what was laid down in the last chapter respecting universal affirmatives, does not admit of simple conversion, but may be convertedper accidens, thus, Some A is B; which, though it does not express the whole of what is asserted in the proposition All B is A, expresses, as was formerly shown, part of it, and must therefore be true if the whole is true. We have, then, as the result of the reduction, the following syllogism in the third mood of the first figure:All B is CSome A is B,from which it obviously follows, thatSome A is C.In the same manner, or in a manner on which after these examples it is not necessary to enlarge, every mood of the second, third, and fourth figures may be reduced to some one of the four moods of the first. In other words, every conclusion which can be proved in any of the last three figures, may be proved in the first figure from the same premises, with a slight alteration in the mere manner of expressing them. Every valid ratiocination, therefore, may be stated in the first figure, that is, in one of the following forms:[pg 130]Every B is CNo B is CAll A is B,All A is B,Some A is B,Some A is B,thereforethereforeAll A is C.No A is C.Some A is C.Some A is not C.Or, if more significant symbols are preferred:To prove an affirmative, the argument must admit of being stated in this form:All animals are mortal;All men/Some men/Socrates are animals;thereforeAll men/Some men/Socrates are mortal.To prove a negative, the argument must be capable of being expressed in this form:No one who is capable of self-control is necessarily vicious;No one who is capable of self-control is necessarily vicious;All negroes/Some negroes/Mr. A’s negro are capable of self-control;thereforeNo negroes are/Some negroes are not/Mr. A’s negro is not necessarily vicious.Though all ratiocination admits of being thrown into one or the other of these forms, and sometimes gains considerably by the transformation, both in clearness and in the obviousness of its consequence; there are, no doubt, cases in which the argument falls more naturally into one of the other three figures, and in which its conclusiveness is more apparent at the first glance in those figures, than when reduced to the first. Thus, if the proposition were that pagans may be virtuous, and the evidence to prove it were the example of Aristides; a syllogism in the third figure,Aristides was virtuous,Aristides was a pagan,thereforeSome pagan was virtuous,would be a more natural mode of stating the argument, and would carry conviction more instantly home, than the same ratiocination strained into the first figure, thus—Aristides was virtuous,Some pagan was Aristides,thereforeSome pagan was virtuous.A German philosopher, Lambert, whoseNeues Organon(published in the year 1764) contains among other things one of the most elaborate and complete expositions which had ever been made of the syllogistic doctrine, has expressly examined what sort of arguments fall most naturally and suitably into each of the four figures; and his investigation is characterized by[pg 131]great ingenuity and clearness of thought.51The argument, however, is one and the same, in whichever figure it is expressed; since, as we have already seen, the premises of a syllogism in the second, third, or fourth figure, and those of the syllogism in the first figure to which it may be reduced, are the same premises in every thing except language, or, at least, as much of them as contributes to the proof of the conclusion is the same. We are therefore at liberty, in conformity with the general opinion of logicians, to consider the two elementary forms of the first figure as the universal types of all correct ratiocination; the one, when the conclusion to be proved is affirmative, the other, when it is negative; even though certain arguments may have a tendency to clothe themselves in the forms of the second, third, and fourth figures; which, however, can not possibly happen with the only class of arguments which are of first-rate scientific importance, those in which the conclusion is a universal affirmative, such conclusions being susceptible of proof in the first figure alone.52[pg 132]§ 2. On examining, then, these two general formulæ, we find that in both of them, one premise, the major, is a universal proposition; and according[pg 133]as this is affirmative or negative, the conclusion is so too. All ratiocination, therefore, starts from ageneralproposition, principle, or assumption: a proposition in which a predicate is affirmed or denied of an entire class; that is, in which some attribute, or the negation of some attribute, is asserted of an indefinite number of objects distinguished by a common characteristic, and designated, in consequence, by a common name.The other premise is always affirmative, and asserts that something (which may be either an individual, a class, or part of a class) belongs to, or is included in, the class respecting which something was affirmed or denied in the major premise. It follows that the attribute affirmed or denied of the entire class may (if that affirmation or denial was correct) be affirmed or denied of the object or objects alleged to be included in the class: and this is precisely the assertion made in the conclusion.Whether or not the foregoing is an adequate account of the constituent parts of the syllogism, will be presently considered; but as far as it goes it is a true account. It has accordingly been generalized, and erected into a logical maxim, on which all ratiocination is said to be founded, insomuch that to reason, and to apply the maxim, are supposed to be one and the same thing. The maxim is, That whatever can be affirmed (or denied) of a class, may be affirmed (or denied) of every thing included in the class. This axiom, supposed to be the basis of the syllogistic theory, is termed by logicians thedictum de omni et nullo.This maxim, however, when considered as a principle of reasoning, appears suited to a system of metaphysics once indeed generally received, but which for the last two centuries has been considered as finally abandoned, though there have not been wanting in our own day attempts at its revival. So long as what are termed Universals were regarded as a peculiar kind of substances, having an objective existence distinct from the individual objects classed under them, thedictum de omniconveyed an important meaning; because it expressed the intercommunity of nature, which it was necessary on that theory that we should suppose to exist between those general substances and the particular substances which were subordinated to them. That every thing predicable of the universal was predicable of the various individuals contained under it, was then no identical proposition, but a statement of what was conceived as a fundamental law of the universe. The assertion that the entire nature and properties of thesubstantia secundaformed part of the nature and properties of each of the individual substances called by the same name; that the properties of Man, for example, were properties of all men; was a proposition of real significance when man did notmeanall men, but something inherent in men, and vastly superior to them in dignity. Now, however, when it is known that a class, a universal, a genus or species, is not an entityper se, but neither more nor less than the individual substances themselves which are placed in the class, and that there is nothing real in the matter except those objects, a common name given to them, and common attributes indicated by the name; what, I should be glad to know, do we learn by being told, that whatever can be affirmed of a class, may be affirmed of every object contained in the class? The classisnothing but the objects contained in it: and thedictum de omnimerely amounts to the identical proposition, that whatever is true of certain objects, is true of each of those objects. If all ratiocination were no more than the application of this maxim to particular cases, the syllogism would indeed be, what it has so often been declared to[pg 134]be, solemn trifling. Thedictum de omniis on a par with another truth, which in its time was also reckoned of great importance,“Whatever is, is.”To give any real meaning to thedictum de omni, we must consider it not as an axiom, but as a definition; we must look upon it as intended to explain, in a circuitous and paraphrastic manner, the meaning of the wordclass.An error which seemed finally refuted and dislodged from thought, often needs only put on a new suit of phrases, to be welcomed back to its old quarters, and allowed to repose unquestioned for another cycle of ages. Modern philosophers have not been sparing in their contempt for the scholastic dogma that genera and species are a peculiar kind of substances, which general substances being the only permanent things, while the individual substances comprehended under them are in a perpetual flux, knowledge, which necessarily imports stability, can only have relation to those general substances or universals, and not to the facts or particulars included under them. Yet, though nominally rejected, this very doctrine, whether disguised under the Abstract Ideas of Locke (whose speculations, however, it has less vitiated than those of perhaps any other writer who has been infected with it), under the ultra-nominalism of Hobbes and Condillac, or the ontology of the later German schools, has never ceased to poison philosophy. Once accustomed to consider scientific investigation as essentially consisting in the study of universals, men did not drop this habit of thought when they ceased to regard universals as possessing an independent existence: and even those who went the length of considering them as mere names, could not free themselves from the notion that the investigation of truth consisted entirely or partly in some kind of conjuration or juggle with those names. When a philosopher adopted fully the Nominalist view of the signification of general language, retaining along with it thedictum de omnias the foundation of all reasoning, two such premises fairly put together were likely, if he was a consistent thinker, to land him in rather startling conclusions. Accordingly it has been seriously held, by writers of deserved celebrity, that the process of arriving at new truths by reasoning consists in the mere substitution of one set of arbitrary signs for another; a doctrine which they suppose to derive irresistible confirmation from the example of algebra. If there were any process in sorcery or necromancy more preternatural than this, I should be much surprised. The culminating point of this philosophy is the noted aphorism of Condillac, that a science is nothing, or scarcely any thing, butune langue bien faite; in other words, that the one sufficient rule for discovering the nature and properties of objects is to name them properly: as if the reverse were not the truth, that it is impossible to name them properly except in proportion as we are already acquainted with their nature and properties. Can it be necessary to say, that none, not even the most trivial knowledge with respect to Things, ever was or could be originally got at by any conceivable manipulation of mere names, as such; and that what can be learned from names, is only what somebody who used the names knew before? Philosophical analysis confirms the indication of common sense, that the function of names is but that of enabling us torememberand tocommunicateour thoughts. That they also strengthen, even to an incalculable extent, the power of thought itself, is most true: but they do this by no intrinsic and peculiar virtue; they do it by the power inherent in an artificial memory, an instrument of which few have adequately considered the immense potency. As an artificial memory, language truly is, what it has so often[pg 135]been called, an instrument of thought; but it is one thing to be the instrument, and another to be the exclusive subject upon which the instrument is exercised. We think, indeed, to a considerable extent, by means of names, but what we think of, are the things called by those names; and there can not be a greater error than to imagine that thought can be carried on with nothing in our mind but names, or that we can make the names think for us.§ 3. Those who considered thedictum de omnias the foundation of the syllogism, looked upon arguments in a manner corresponding to the erroneous view which Hobbes took of propositions. Because there are some propositions which are merely verbal, Hobbes, in order apparently that his definition might be rigorously universal, defined a proposition as if no propositions declared any thing except the meaning of words. If Hobbes was right; if no further account than this could be given of the import of propositions; no theory could be given but the commonly received one, of the combination of propositions in a syllogism. If the minor premise asserted nothing more than that something belongs to a class, and if the major premise asserted nothing of that class except that it is included in another class, the conclusion would only be that what was included in the lower class is included in the higher, and the result, therefore, nothing except that the classification is consistent with itself. But we have seen that it is no sufficient account of the meaning of a proposition, to say that it refers something to, or excludes something from, a class. Every proposition which conveys real information asserts a matter of fact, dependent on the laws of nature, and not on classification. It asserts that a given object does or does not possess a given attribute; or it asserts that two attributes, or sets of attributes, do or do not (constantly or occasionally) co-exist. Since such is the purport of all propositions which convey any real knowledge, and since ratiocination is a mode of acquiring real knowledge, any theory of ratiocination which does not recognize this import of propositions, can not, we may be sure, be the true one.Applying this view of propositions to the two premises of a syllogism, we obtain the following results. The major premise, which, as already remarked, is always universal, asserts, that all things which have a certain attribute (or attributes) have or have not along with it, a certain other attribute (or attributes). The minor premise asserts that the thing or set of things which are the subject of that premise, have the first-mentioned attribute; and the conclusion is, that they have (or that they have not), the second. Thus in our former example,All men are mortal,Socrates is a man,thereforeSocrates is mortal,the subject and predicate of the major premise are connotative terms, denoting objects and connoting attributes. The assertion in the major premise is, that along with one of the two sets of attributes, we always find the other: that the attributes connoted by“man”never exist unless conjoined with the attribute called mortality. The assertion in the minor premise is that the individual named Socrates possesses the former attributes; and it is concluded that he possesses also the attribute mortality. Or, if both the premises are general propositions, as[pg 136]All men are mortal,All kings are men,thereforeAll kings are mortal,the minor premise asserts that the attributes denoted by kingship only exist in conjunction with those signified by the word man. The major asserts as before, that the last-mentioned attributes are never found without the attribute of mortality. The conclusion is, that wherever the attributes of kingship are found, that of mortality is found also.If the major premise were negative, as, No men are omnipotent, it would assert, not that the attributes connoted by“man”never exist without, but that they never exist with, those connoted by“omnipotent:”from which, together with the minor premise, it is concluded, that the same incompatibility exists between the attribute omnipotence and those constituting a king. In a similar manner we might analyze any other example of the syllogism.If we generalize this process, and look out for the principle or law involved in every such inference, and presupposed in every syllogism, the propositions of which are any thing more than merely verbal; we find, not the unmeaningdictum de omni et nullo, but a fundamental principle, or rather two principles, strikingly resembling the axioms of mathematics. The first, which is the principle of affirmative syllogisms, is, that things which co-exist with the same thing, co-exist with one another: or (still more precisely) a thing which co-exists with another thing, which other co-exists with a third thing, also co-exists with that third thing. The second is the principle of negative syllogisms, and is to this effect: that a thing which co-exists with another thing, with which other a third thing does not co-exist, is not co-existent with that third thing. These axioms manifestly relate to facts, and not to conventions; and one or other of them is the ground of the legitimacy of every argument in which facts and not conventions are the matter treated of.53[pg 137]§ 4. It remains to translate this exposition of the syllogism from the one into the other of the two languages in which we formerly remarked54that all propositions, and of course therefore all combinations of propositions, might be expressed. We observed that a proposition might be considered in two different lights; as a portion of our knowledge of nature, or as a memorandum for our guidance. Under the former, or speculative aspect, an affirmative general proposition is an assertion of a speculative truth, viz., that whatever has a certain attribute has a certain other attribute. Under the other aspect, it is to be regarded not as a part of our knowledge, but as an aid for our practical exigencies, by enabling us, when we see or learn that an object possesses one of the two attributes, to infer that it possesses the other; thus employing the first attribute as a mark or evidence of the second. Thus regarded, every syllogism comes within the following general formula:Attribute A is a mark of attribute B,The given object has the mark A,thereforeThe given object has the attribute B.Referred to this type, the arguments which we have lately cited as specimens of the syllogism, will express themselves in the following manner:The attributes of man are a mark of the attribute mortality,Socrates has the attributes of man,thereforeSocrates has the attribute mortality.[pg 138]And again,The attributes of man are a mark of the attribute mortality,The attributes of a king are a mark of the attributes of man,thereforeThe attributes of a king are a mark of the attribute mortality.And, lastly,The attributes of man are a mark of the absence of the attribute omnipotence,The attributes of a king are a mark of the attributes of man,thereforeThe attributes of a king are a mark of the absence of the attribute signified by the word omnipotent (or, are evidence of the absence of that attribute).To correspond with this alteration in the form of the syllogisms, the axioms on which the syllogistic process is founded must undergo a corresponding transformation. In this altered phraseology, both those axioms may be brought under one general expression; namely, that whatever has any mark, has that which it is a mark of. Or, when the minor premise as well as the major is universal, we may state it thus: Whatever is a mark of any mark, is a mark of that which this last is a mark of. To trace the identity of these axioms with those previously laid down, may be left to the intelligent reader. We shall find, as we proceed, the great convenience of the phraseology into which we have last thrown them, and which is better adapted than any I am acquainted with, to express with precision and force what is aimed at, and actually accomplished, in every case of the ascertainment of a truth by ratiocination.55[pg 139]

Διωρισμένων δε τούτων λέγωμεν ἤδη, διά τίνων, καὶ πότε, καὶ πῶς γίνεται πᾶς συλλογισμός ὕστερον δὲ λεκτέον περὶ ἀποδείξεως. Πρότερον γὰρ περὶ συλλογισμοῦ λεκτέον, ἥ περὶ ἀποδείξεως, διὰ τὸ καθόλου μᾶλλον εἰναὶ τὸν συλλογισμόν. Ἡ μέν γὰρ ἀπόδειξις, συλλογισμός τις; ὁ συλλογισμός δὲ ού πᾶς, ἀπόδειξις.—Arist.,Analyt. Prior., l. i., cap. 4.

Chapter I.Of Inference, Or Reasoning, In General.§ 1. In the preceding Book, we have been occupied not with the nature of Proof, but with the nature of Assertion: the import conveyed by a Proposition, whether that Proposition be true or false; not the means by which to discriminate true from false Propositions. The proper subject, however, of Logic is Proof. Before we could understand what Proof is, it was necessary to understand what that is to which proof is applicable; what that is which can be a subject of belief or disbelief, of affirmation or denial; what, in short, the different kinds of Propositions assert.This preliminary inquiry we have prosecuted to a definite result. Assertion, in the first place, relates either to the meaning of words, or to some property of the things which words signify. Assertions respecting the meaning of words, among which definitions are the most important, hold a place, and an indispensable one, in philosophy; but as the meaning of words is essentially arbitrary, this class of assertions are not susceptible of truth or falsity, nor therefore of proof or disproof. Assertions respecting Things, or what may be called Real Propositions, in contradistinction to verbal ones, are of various sorts. We have analyzed the import of each sort, and have ascertained the nature of the things they relate to, and the nature of what they severally assert respecting those things. We found that whatever be the form of the proposition, and whatever its nominal subject or predicate, the real subject of every proposition is some one or more facts or phenomena of consciousness, or some one or more of the hidden causes or powers to which we ascribe those facts; and that what is predicated or asserted, either in the affirmative or negative, of those phenomena or those powers, is always either Existence, Order in Place, Order in Time, Causation, or Resemblance. This, then, is the theory of the Import of Propositions, reduced to its ultimate elements: but there is another and a less abstruse expression for it, which, though stopping short in an earlier stage of the analysis, is sufficiently scientific for many of the purposes for which such a general expression is required. This expression recognizes the commonly received distinction between Subject and Attribute, and gives the following as the analysis of the meaning of propositions:—Every Proposition[pg 122]asserts, that some given subject does or does not possess some attribute; or that some attribute is or is not (either in all or in some portion of the subjects in which it is met with) conjoined with some other attribute.We shall now for the present take our leave of this portion of our inquiry, and proceed to the peculiar problem of the Science of Logic, namely, how the assertions, of which we have analyzed the import, are proved or disproved; such of them, at least, as, not being amenable to direct consciousness or intuition, are appropriate subjects of proof.We say of a fact or statement, that it is proved, when we believe its truth by reason of some other fact or statement from which it is said tofollow. Most of the propositions, whether affirmative or negative, universal, particular, or singular, which we believe, are not believed on their own evidence, but on the ground of something previously assented to, from which they are said to beinferred. To infer a proposition from a previous proposition or propositions; to give credence to it, or claim credence for it, as a conclusion from something else; is toreason, in the most extensive sense of the term. There is a narrower sense, in which the name reasoning is confined to the form of inference which is termed ratiocination, and of which the syllogism is the general type. The reasons for not conforming to this restricted use of the term were stated in an earlier stage of our inquiry, and additional motives will be suggested by the considerations on which we are now about to enter.§ 2. In proceeding to take into consideration the cases in which inferences can legitimately be drawn, we shall first mention some cases in which the inference is apparent, not real; and which require notice chiefly that they may not be confounded with cases of inference properly so called. This occurs when the proposition ostensibly inferred from another, appears on analysis to be merely a repetition of the same, or part of the same, assertion, which was contained in the first. All the cases mentioned in books of Logic as examples of equipollency or equivalence of propositions, are of this nature. Thus, if we were to argue, No man is incapable of reason, for every man is rational; or, All men are mortal, for no man is exempt from death; it would be plain that we were not proving the proposition, but only appealing to another mode of wording it, which may or may not be more readily comprehensible by the hearer, or better adapted to suggest the real proof, but which contains in itself no shadow of proof.Another case is where, from a universal proposition, we affect to infer another which differs from it only in being particular: as All A is B, therefore Some A is B: No A is B, therefore Some A is not B. This, too, is not to conclude one proposition from another, but to repeat a second time something which had been asserted at first; with the difference, that we do not here repeat the whole of the previous assertion, but only an indefinite part of it.A third case is where, the antecedent having affirmed a predicate of a given subject, the consequent affirms of the same subject something already connoted by the former predicate: as, Socrates is a man, therefore Socrates is a living creature; where all that is connoted by living creature was affirmed of Socrates when he was asserted to be a man. If the propositions are negative, we must invert their order, thus: Socrates is not a living creature, therefore he is not a man; for if we deny the less, the greater, which includes it, is already denied by implication. These, therefore, are not really[pg 123]cases of inference; and yet the trivial examples by which, in manuals of Logic, the rules of the syllogism are illustrated, are often of this ill-chosen kind; formal demonstrations of conclusions to which whoever understands the terms used in the statement of the data, has already, and consciously, assented.47The most complex case of this sort of apparent inference is what is called the Conversion of propositions; which consists in turning the predicate into a subject, and the subject into a predicate, and framing out of the same terms thus reversed, another proposition, which must be true if the former is true. Thus, from the particular affirmative proposition, Some A is B, we may infer that Some B is A. From the universal negative, No A is B, we may conclude that No B is A. From the universal affirmative proposition, All A is B, it can not be inferred that all B is A; though all water is liquid, it is not implied that all liquid is water; but it is implied that some liquid is so; and hence the proposition, All A is B, is legitimately convertible into Some B is A. This process, which converts a universal proposition into a particular, is termed conversionper accidens. From the proposition, Some A is not B, we can not even infer that some B is not A; though some men are not Englishmen, it does not follow that some Englishmen are not men. The only mode usually recognized of converting a particular negative proposition, is in the form, Some A is not B, therefore something which is not B is A; and this is termed conversion by contraposition. In this case, however, the predicate and subject are not merely reversed, but one of them is changed. Instead of [A] and [B], the terms of the new proposition are [a thing which is not B], and [A]. The original proposition, Some Ais notB, is first changed into a proposition equipollent with it, Some Ais“a thing which is not B;”and the proposition, being now no longer a particular negative, but a particular affirmative, admits of conversion in the first mode, or as it is called,simpleconversion.48In all these cases there is not really any inference; there is in the conclusion no new truth, nothing but what was already asserted in the premises, and obvious to whoever apprehends them. The fact asserted in the conclusion is either the very same fact, or part of the fact, asserted in the original proposition. This follows from our previous analysis of the Import of Propositions. When we say, for example, that some lawful sovereigns are tyrants, what is the meaning of the assertion? That the attributes connoted by the term“lawful sovereign,”and the attributes connoted by the term“tyrant,”sometimes co-exist in the same individual. Now this is also precisely what we mean, when we say that some tyrants are lawful sovereigns; which, therefore, is not a second proposition inferred from the first, any more than the English translation of Euclid’s Elements is a collection of theorems different from and consequences of, those contained in the Greek original. Again, if we assert that no great general is a rash man, we mean that the attributes connoted by“great general,”and those connoted by“rash,”never co-exist in the same subject; which is also the exact meaning which would be expressed by saying, that no rash man is a[pg 124]great general. When we say that all quadrupeds are warm-blooded, we assert, not only that the attributes connoted by“quadruped”and those connoted by“warm-blooded”sometimes co-exist, but that the former never exist without the latter: now the proposition, Some warm-blooded creatures are quadrupeds, expresses the first half of this meaning, dropping the latter half; and therefore has been already affirmed in the antecedent proposition, All quadrupeds are warm-blooded. But thatallwarm-blooded creatures are quadrupeds, or, in other words, that the attributes connoted by“warm-blooded”never exist without those connoted by“quadruped,”has not been asserted, and can not be inferred. In order to re-assert, in an inverted form, the whole of what was affirmed in the proposition, All quadrupeds are warm-blooded, we must convert it by contraposition, thus, Nothing which is not warm-blooded is a quadruped. This proposition, and the one from which it is derived, are exactly equivalent, and either of them may be substituted for the other; for, to say that when the attributes of a quadruped are present, those of a warm-blooded creature are present, is to say that when the latter are absent the former are absent.In a manual for young students, it would be proper to dwell at greater length on the conversion and equipollency of propositions. For though that can not be called reasoning or inference which is a mere re-assertion in different words of what had been asserted before, there is no more important intellectual habit, nor any the cultivation of which falls more strictly within the province of the art of logic, than that of discerning rapidly and surely the identity of an assertion when disguised under diversity of language. That important chapter in logical treatises which relates to the Opposition of Propositions, and the excellent technical language which logic provides for distinguishing the different kinds or modes of opposition, are of use chiefly for this purpose. Such considerations as these, that contrary propositions may both be false, but can not both be true; that subcontrary propositions may both be true, but can not both be false; that of two contradictory propositions one must be true and the other false; that of two subalternate propositions the truth of the universal proves the truth of the particular, and the falsity of the particular proves the falsity of the universal, but notvicè versa;49are apt to appear, at first sight, very technical and mysterious, but when explained, seem almost too obvious to require so formal a statement, since the same amount of explanation which is necessary to make the principles intelligible, would enable the truths which they convey to be apprehended in any particular case which can occur. In this respect, however, these axioms of logic are on a level with those of mathematics. That things which are equal to the same thing are equal to one another, is as obvious in any particular case as it is in the general statement: and if no such general maxim had ever been laid down, the demonstrations in Euclid would never have halted for any difficulty in stepping across the gap which this axiom at present serves to bridge over. Yet no[pg 125]one has ever censured writers on geometry, for placing a list of these elementary generalizations at the head of their treatises, as a first exercise to the learner of the faculty which will be required in him at every step, that of apprehending ageneraltruth. And the student of logic, in the discussion even of such truths as we have cited above, acquires habits of circumspect interpretation of words, and of exactly measuring the length and breadth of his assertions, which are among the most indispensable conditions of any considerable mental attainment, and which it is one of the primary objects of logical discipline to cultivate.§ 3. Having noticed, in order to exclude from the province of Reasoning or Inference properly so called, the cases in which the progression from one truth to another is only apparent, the logical consequent being a mere repetition of the logical antecedent; we now pass to those which are cases of inference in the proper acceptation of the term, those in which we set out from known truths, to arrive at others really distinct from them.Reasoning, in the extended sense in which I use the term, and in which it is synonymous with Inference, is popularly said to be of two kinds: reasoning from particulars to generals, and reasoning from generals to particulars; the former being called Induction, the latter Ratiocination or Syllogism. It will presently be shown that there is a third species of reasoning, which falls under neither of these descriptions, and which, nevertheless, is not only valid, but is the foundation of both the others.It is necessary to observe, that the expressions, reasoning from particulars to generals, and reasoning from generals to particulars, are recommended by brevity rather than by precision, and do not adequately mark, without the aid of a commentary, the distinction between Induction (in the sense now adverted to) and Ratiocination. The meaning intended by these expressions is, that Induction is inferring a proposition from propositionsless generalthan itself, and Ratiocination is inferring a proposition from propositionsequallyormoregeneral. When, from the observation of a number of individual instances, we ascend to a general proposition, or when, by combining a number of general propositions, we conclude from them another proposition still more general, the process, which is substantially the same in both instances, is called Induction. When from a general proposition, not alone (for from a single proposition nothing can be concluded which is not involved in the terms), but by combining it with other propositions, we infer a proposition of the same degree of generality with itself, or a less general proposition, or a proposition merely individual, the process is Ratiocination. When, in short, the conclusion is more general than the largest of the premises, the argument is commonly called Induction; when less general, or equally general, it is Ratiocination.As all experience begins with individual cases, and proceeds from them to generals, it might seem most conformable to the natural order of thought that Induction should be treated of before we touch upon Ratiocination. It will, however, be advantageous, in a science which aims at tracing our acquired knowledge to its sources, that the inquirer should commence with the latter rather than with the earlier stages of the process of constructing our knowledge; and should trace derivative truths backward to the truths from which they are deduced, and on which they depend for their evidence, before attempting to point out the original spring from which both ultimately take their rise. The advantages of this order of proceeding in the present instance will manifest themselves as we advance, in a manner superseding the necessity of any further justification or explanation.[pg 126]Of Induction, therefore, we shall say no more at present, than that it at least is, without doubt, a process of real inference. The conclusion in an induction embraces more than is contained in the premises. The principle or law collected from particular instances, the general proposition in which we embody the result of our experience, covers a much larger extent of ground than the individual experiments which form its basis. A principle ascertained by experience, is more than a mere summing up of what has been specifically observed in the individual cases which have been examined; it is a generalization grounded on those cases, and expressive of our belief, that what we there found true is true in an indefinite number of cases which we have not examined, and are never likely to examine. The nature and grounds of this inference, and the conditions necessary to make it legitimate, will be the subject of discussion in the Third Book: but that such inference really takes place is not susceptible of question. In every induction we proceed from truths which we knew, to truths which we did not know; from facts certified by observation, to facts which we have not observed, and even to facts not capable of being now observed; future facts, for example; but which we do not hesitate to believe on the sole evidence of the induction itself.Induction, then, is a real process of Reasoning or Inference. Whether, and in what sense, as much can be said of the Syllogism, remains to be determined by the examination into which we are about to enter.

§ 1. In the preceding Book, we have been occupied not with the nature of Proof, but with the nature of Assertion: the import conveyed by a Proposition, whether that Proposition be true or false; not the means by which to discriminate true from false Propositions. The proper subject, however, of Logic is Proof. Before we could understand what Proof is, it was necessary to understand what that is to which proof is applicable; what that is which can be a subject of belief or disbelief, of affirmation or denial; what, in short, the different kinds of Propositions assert.

This preliminary inquiry we have prosecuted to a definite result. Assertion, in the first place, relates either to the meaning of words, or to some property of the things which words signify. Assertions respecting the meaning of words, among which definitions are the most important, hold a place, and an indispensable one, in philosophy; but as the meaning of words is essentially arbitrary, this class of assertions are not susceptible of truth or falsity, nor therefore of proof or disproof. Assertions respecting Things, or what may be called Real Propositions, in contradistinction to verbal ones, are of various sorts. We have analyzed the import of each sort, and have ascertained the nature of the things they relate to, and the nature of what they severally assert respecting those things. We found that whatever be the form of the proposition, and whatever its nominal subject or predicate, the real subject of every proposition is some one or more facts or phenomena of consciousness, or some one or more of the hidden causes or powers to which we ascribe those facts; and that what is predicated or asserted, either in the affirmative or negative, of those phenomena or those powers, is always either Existence, Order in Place, Order in Time, Causation, or Resemblance. This, then, is the theory of the Import of Propositions, reduced to its ultimate elements: but there is another and a less abstruse expression for it, which, though stopping short in an earlier stage of the analysis, is sufficiently scientific for many of the purposes for which such a general expression is required. This expression recognizes the commonly received distinction between Subject and Attribute, and gives the following as the analysis of the meaning of propositions:—Every Proposition[pg 122]asserts, that some given subject does or does not possess some attribute; or that some attribute is or is not (either in all or in some portion of the subjects in which it is met with) conjoined with some other attribute.

We shall now for the present take our leave of this portion of our inquiry, and proceed to the peculiar problem of the Science of Logic, namely, how the assertions, of which we have analyzed the import, are proved or disproved; such of them, at least, as, not being amenable to direct consciousness or intuition, are appropriate subjects of proof.

We say of a fact or statement, that it is proved, when we believe its truth by reason of some other fact or statement from which it is said tofollow. Most of the propositions, whether affirmative or negative, universal, particular, or singular, which we believe, are not believed on their own evidence, but on the ground of something previously assented to, from which they are said to beinferred. To infer a proposition from a previous proposition or propositions; to give credence to it, or claim credence for it, as a conclusion from something else; is toreason, in the most extensive sense of the term. There is a narrower sense, in which the name reasoning is confined to the form of inference which is termed ratiocination, and of which the syllogism is the general type. The reasons for not conforming to this restricted use of the term were stated in an earlier stage of our inquiry, and additional motives will be suggested by the considerations on which we are now about to enter.

§ 2. In proceeding to take into consideration the cases in which inferences can legitimately be drawn, we shall first mention some cases in which the inference is apparent, not real; and which require notice chiefly that they may not be confounded with cases of inference properly so called. This occurs when the proposition ostensibly inferred from another, appears on analysis to be merely a repetition of the same, or part of the same, assertion, which was contained in the first. All the cases mentioned in books of Logic as examples of equipollency or equivalence of propositions, are of this nature. Thus, if we were to argue, No man is incapable of reason, for every man is rational; or, All men are mortal, for no man is exempt from death; it would be plain that we were not proving the proposition, but only appealing to another mode of wording it, which may or may not be more readily comprehensible by the hearer, or better adapted to suggest the real proof, but which contains in itself no shadow of proof.

Another case is where, from a universal proposition, we affect to infer another which differs from it only in being particular: as All A is B, therefore Some A is B: No A is B, therefore Some A is not B. This, too, is not to conclude one proposition from another, but to repeat a second time something which had been asserted at first; with the difference, that we do not here repeat the whole of the previous assertion, but only an indefinite part of it.

A third case is where, the antecedent having affirmed a predicate of a given subject, the consequent affirms of the same subject something already connoted by the former predicate: as, Socrates is a man, therefore Socrates is a living creature; where all that is connoted by living creature was affirmed of Socrates when he was asserted to be a man. If the propositions are negative, we must invert their order, thus: Socrates is not a living creature, therefore he is not a man; for if we deny the less, the greater, which includes it, is already denied by implication. These, therefore, are not really[pg 123]cases of inference; and yet the trivial examples by which, in manuals of Logic, the rules of the syllogism are illustrated, are often of this ill-chosen kind; formal demonstrations of conclusions to which whoever understands the terms used in the statement of the data, has already, and consciously, assented.47

The most complex case of this sort of apparent inference is what is called the Conversion of propositions; which consists in turning the predicate into a subject, and the subject into a predicate, and framing out of the same terms thus reversed, another proposition, which must be true if the former is true. Thus, from the particular affirmative proposition, Some A is B, we may infer that Some B is A. From the universal negative, No A is B, we may conclude that No B is A. From the universal affirmative proposition, All A is B, it can not be inferred that all B is A; though all water is liquid, it is not implied that all liquid is water; but it is implied that some liquid is so; and hence the proposition, All A is B, is legitimately convertible into Some B is A. This process, which converts a universal proposition into a particular, is termed conversionper accidens. From the proposition, Some A is not B, we can not even infer that some B is not A; though some men are not Englishmen, it does not follow that some Englishmen are not men. The only mode usually recognized of converting a particular negative proposition, is in the form, Some A is not B, therefore something which is not B is A; and this is termed conversion by contraposition. In this case, however, the predicate and subject are not merely reversed, but one of them is changed. Instead of [A] and [B], the terms of the new proposition are [a thing which is not B], and [A]. The original proposition, Some Ais notB, is first changed into a proposition equipollent with it, Some Ais“a thing which is not B;”and the proposition, being now no longer a particular negative, but a particular affirmative, admits of conversion in the first mode, or as it is called,simpleconversion.48

In all these cases there is not really any inference; there is in the conclusion no new truth, nothing but what was already asserted in the premises, and obvious to whoever apprehends them. The fact asserted in the conclusion is either the very same fact, or part of the fact, asserted in the original proposition. This follows from our previous analysis of the Import of Propositions. When we say, for example, that some lawful sovereigns are tyrants, what is the meaning of the assertion? That the attributes connoted by the term“lawful sovereign,”and the attributes connoted by the term“tyrant,”sometimes co-exist in the same individual. Now this is also precisely what we mean, when we say that some tyrants are lawful sovereigns; which, therefore, is not a second proposition inferred from the first, any more than the English translation of Euclid’s Elements is a collection of theorems different from and consequences of, those contained in the Greek original. Again, if we assert that no great general is a rash man, we mean that the attributes connoted by“great general,”and those connoted by“rash,”never co-exist in the same subject; which is also the exact meaning which would be expressed by saying, that no rash man is a[pg 124]great general. When we say that all quadrupeds are warm-blooded, we assert, not only that the attributes connoted by“quadruped”and those connoted by“warm-blooded”sometimes co-exist, but that the former never exist without the latter: now the proposition, Some warm-blooded creatures are quadrupeds, expresses the first half of this meaning, dropping the latter half; and therefore has been already affirmed in the antecedent proposition, All quadrupeds are warm-blooded. But thatallwarm-blooded creatures are quadrupeds, or, in other words, that the attributes connoted by“warm-blooded”never exist without those connoted by“quadruped,”has not been asserted, and can not be inferred. In order to re-assert, in an inverted form, the whole of what was affirmed in the proposition, All quadrupeds are warm-blooded, we must convert it by contraposition, thus, Nothing which is not warm-blooded is a quadruped. This proposition, and the one from which it is derived, are exactly equivalent, and either of them may be substituted for the other; for, to say that when the attributes of a quadruped are present, those of a warm-blooded creature are present, is to say that when the latter are absent the former are absent.

In a manual for young students, it would be proper to dwell at greater length on the conversion and equipollency of propositions. For though that can not be called reasoning or inference which is a mere re-assertion in different words of what had been asserted before, there is no more important intellectual habit, nor any the cultivation of which falls more strictly within the province of the art of logic, than that of discerning rapidly and surely the identity of an assertion when disguised under diversity of language. That important chapter in logical treatises which relates to the Opposition of Propositions, and the excellent technical language which logic provides for distinguishing the different kinds or modes of opposition, are of use chiefly for this purpose. Such considerations as these, that contrary propositions may both be false, but can not both be true; that subcontrary propositions may both be true, but can not both be false; that of two contradictory propositions one must be true and the other false; that of two subalternate propositions the truth of the universal proves the truth of the particular, and the falsity of the particular proves the falsity of the universal, but notvicè versa;49are apt to appear, at first sight, very technical and mysterious, but when explained, seem almost too obvious to require so formal a statement, since the same amount of explanation which is necessary to make the principles intelligible, would enable the truths which they convey to be apprehended in any particular case which can occur. In this respect, however, these axioms of logic are on a level with those of mathematics. That things which are equal to the same thing are equal to one another, is as obvious in any particular case as it is in the general statement: and if no such general maxim had ever been laid down, the demonstrations in Euclid would never have halted for any difficulty in stepping across the gap which this axiom at present serves to bridge over. Yet no[pg 125]one has ever censured writers on geometry, for placing a list of these elementary generalizations at the head of their treatises, as a first exercise to the learner of the faculty which will be required in him at every step, that of apprehending ageneraltruth. And the student of logic, in the discussion even of such truths as we have cited above, acquires habits of circumspect interpretation of words, and of exactly measuring the length and breadth of his assertions, which are among the most indispensable conditions of any considerable mental attainment, and which it is one of the primary objects of logical discipline to cultivate.

§ 3. Having noticed, in order to exclude from the province of Reasoning or Inference properly so called, the cases in which the progression from one truth to another is only apparent, the logical consequent being a mere repetition of the logical antecedent; we now pass to those which are cases of inference in the proper acceptation of the term, those in which we set out from known truths, to arrive at others really distinct from them.

Reasoning, in the extended sense in which I use the term, and in which it is synonymous with Inference, is popularly said to be of two kinds: reasoning from particulars to generals, and reasoning from generals to particulars; the former being called Induction, the latter Ratiocination or Syllogism. It will presently be shown that there is a third species of reasoning, which falls under neither of these descriptions, and which, nevertheless, is not only valid, but is the foundation of both the others.

It is necessary to observe, that the expressions, reasoning from particulars to generals, and reasoning from generals to particulars, are recommended by brevity rather than by precision, and do not adequately mark, without the aid of a commentary, the distinction between Induction (in the sense now adverted to) and Ratiocination. The meaning intended by these expressions is, that Induction is inferring a proposition from propositionsless generalthan itself, and Ratiocination is inferring a proposition from propositionsequallyormoregeneral. When, from the observation of a number of individual instances, we ascend to a general proposition, or when, by combining a number of general propositions, we conclude from them another proposition still more general, the process, which is substantially the same in both instances, is called Induction. When from a general proposition, not alone (for from a single proposition nothing can be concluded which is not involved in the terms), but by combining it with other propositions, we infer a proposition of the same degree of generality with itself, or a less general proposition, or a proposition merely individual, the process is Ratiocination. When, in short, the conclusion is more general than the largest of the premises, the argument is commonly called Induction; when less general, or equally general, it is Ratiocination.

As all experience begins with individual cases, and proceeds from them to generals, it might seem most conformable to the natural order of thought that Induction should be treated of before we touch upon Ratiocination. It will, however, be advantageous, in a science which aims at tracing our acquired knowledge to its sources, that the inquirer should commence with the latter rather than with the earlier stages of the process of constructing our knowledge; and should trace derivative truths backward to the truths from which they are deduced, and on which they depend for their evidence, before attempting to point out the original spring from which both ultimately take their rise. The advantages of this order of proceeding in the present instance will manifest themselves as we advance, in a manner superseding the necessity of any further justification or explanation.

Of Induction, therefore, we shall say no more at present, than that it at least is, without doubt, a process of real inference. The conclusion in an induction embraces more than is contained in the premises. The principle or law collected from particular instances, the general proposition in which we embody the result of our experience, covers a much larger extent of ground than the individual experiments which form its basis. A principle ascertained by experience, is more than a mere summing up of what has been specifically observed in the individual cases which have been examined; it is a generalization grounded on those cases, and expressive of our belief, that what we there found true is true in an indefinite number of cases which we have not examined, and are never likely to examine. The nature and grounds of this inference, and the conditions necessary to make it legitimate, will be the subject of discussion in the Third Book: but that such inference really takes place is not susceptible of question. In every induction we proceed from truths which we knew, to truths which we did not know; from facts certified by observation, to facts which we have not observed, and even to facts not capable of being now observed; future facts, for example; but which we do not hesitate to believe on the sole evidence of the induction itself.

Induction, then, is a real process of Reasoning or Inference. Whether, and in what sense, as much can be said of the Syllogism, remains to be determined by the examination into which we are about to enter.

Chapter II.Of Ratiocination, Or Syllogism.§ 1. The analysis of the Syllogism has been so accurately and fully performed in the common manuals of Logic, that in the present work, which is not designed as a manual, it is sufficient to recapitulate,memoriæ causâ, the leading results of that analysis, as a foundation for the remarks to be afterward made on the functions of the Syllogism, and the place which it holds in science.To a legitimate syllogism it is essential that there should be three, and no more than three, propositions, namely, the conclusion, or proposition to be proved, and two other propositions which together prove it, and which are called the premises. It is essential that there should be three, and no more than three, terms, namely, the subject and predicate of the conclusion, and another called the middle term, which must be found in both premises, since it is by means of it that the other two terms are to be connected together. The predicate of the conclusion is called the major term of the syllogism; the subject of the conclusion is called the minor term. As there can be but three terms, the major and minor terms must each be found in one, and only one, of the premises, together with the middle term which is in them both. The premise which contains the middle term and the major term is called the major premise; that which contains the middle term and the minor term is called the minor premise.Syllogisms are divided by some logicians into threefigures, by others into four, according to the position of the middle term, which may either be the subject in both premises, the predicate in both, or the subject in one and the predicate in the other. The most common case is that in which[pg 127]the middle term is the subject of the major premise and the predicate of the minor. This is reckoned as the first figure. When the middle term is the predicate in both premises, the syllogism belongs to the second figure; when it is the subject in both, to the third. In the fourth figure the middle term is the subject of the minor premise and the predicate of the major. Those writers who reckon no more than three figures, include this case in the first.Each figure is divided intomoods, according to what are called thequantityandqualityof the propositions, that is, according as they are universal or particular, affirmative or negative. The following are examples of all the legitimate moods, that is, all those in which the conclusion correctly follows from the premises. A is the minor term, C the major, B the middle term.First Figure.All B is CNo B is CAll B is CNo B is CAll A is BAll A is BSome A is BSome A is BthereforethereforethereforethereforeAll A is CNo A is CSome A is CSome A is not CSecond Figure.No C is BAll C is BNo C is BAll C is BAll A is BNo A is BSome A is BSome A is not BthereforethereforethereforethereforeNo A is CNo A is CSome A is not CSome A is not CThird Figure.All B is CNo B is CSome B is CAll B is CSome B is not CNo B is CAll B is AAll B is AAll B is ASome B is AAll B is ASome B is AthereforethereforethereforethereforethereforethereforeSome A is CSome A is not CSome A is CSome A is CSome A is not CSome A is not CFourth Figure.All C is BAll C is BSome C is BNo C is BNo C is BAll B is ANo B is AAll B is AAll B is ASome B is AthereforethereforethereforethereforethereforeSome A is CSome A is not CSome A is CSome A is not CSome A is not CIn these exemplars, or blank forms for making syllogisms, no place is assigned tosingularpropositions; not, of course, because such propositions are not used in ratiocination, but because, their predicate being affirmed or denied of the whole of the subject, they are ranked, for the purposes of the syllogism, with universal propositions. Thus, these two syllogisms—All men are mortal,All men are mortal,All kings are men,Socrates is a man,thereforethereforeAll kings are mortal,Socrates is mortal,are arguments precisely similar, and are both ranked in the first mood of the first figure.50[pg 128]The reasons why syllogisms in any of the above forms are legitimate, that is, why, if the premises are true, the conclusion must inevitably be so, and why this is not the case in any other possible mood (that is, in any other combination of universal and particular, affirmative and negative propositions), any person taking interest in these inquiries may be presumed to have either learned from the common-school books of the syllogistic logic, or to be capable of discovering for himself. The reader may, however, be referred, for every needful explanation, to Archbishop Whately’sElements of Logic, where he will find stated with philosophical precision, and explained with remarkable perspicuity, the whole of the common doctrine of the syllogism.All valid ratiocination; all reasoning by which, from general propositions[pg 129]previously admitted, other propositions equally or less general are inferred; may be exhibited in some of the above forms. The whole of Euclid, for example, might be thrown without difficulty into a series of syllogisms, regular in mood and figure.Though a syllogism framed according to any of these formulæ is a valid argument, all correct ratiocination admits of being stated in syllogisms of the first figure alone. The rules for throwing an argument in any of the other figures into the first figure, are called rules for thereductionof syllogisms. It is done by theconversionof one or other, or both, of the premises. Thus an argument in the first mood of the second figure, as—No C is BAll A is BthereforeNo A is C,may be reduced as follows. The proposition, No C is B, being a universal negative, admits of simple conversion, and may be changed into No B is C, which, as we showed, is the very same assertion in other words—the same fact differently expressed. This transformation having been effected, the argument assumes the following form:No B is CAll A is BthereforeNo A is C,which is a good syllogism in the second mood of the first figure. Again, an argument in the first mood of the third figure must resemble the following:All B is CAll B is AthereforeSome A is C,where the minor premise, All B is A, conformably to what was laid down in the last chapter respecting universal affirmatives, does not admit of simple conversion, but may be convertedper accidens, thus, Some A is B; which, though it does not express the whole of what is asserted in the proposition All B is A, expresses, as was formerly shown, part of it, and must therefore be true if the whole is true. We have, then, as the result of the reduction, the following syllogism in the third mood of the first figure:All B is CSome A is B,from which it obviously follows, thatSome A is C.In the same manner, or in a manner on which after these examples it is not necessary to enlarge, every mood of the second, third, and fourth figures may be reduced to some one of the four moods of the first. In other words, every conclusion which can be proved in any of the last three figures, may be proved in the first figure from the same premises, with a slight alteration in the mere manner of expressing them. Every valid ratiocination, therefore, may be stated in the first figure, that is, in one of the following forms:[pg 130]Every B is CNo B is CAll A is B,All A is B,Some A is B,Some A is B,thereforethereforeAll A is C.No A is C.Some A is C.Some A is not C.Or, if more significant symbols are preferred:To prove an affirmative, the argument must admit of being stated in this form:All animals are mortal;All men/Some men/Socrates are animals;thereforeAll men/Some men/Socrates are mortal.To prove a negative, the argument must be capable of being expressed in this form:No one who is capable of self-control is necessarily vicious;No one who is capable of self-control is necessarily vicious;All negroes/Some negroes/Mr. A’s negro are capable of self-control;thereforeNo negroes are/Some negroes are not/Mr. A’s negro is not necessarily vicious.Though all ratiocination admits of being thrown into one or the other of these forms, and sometimes gains considerably by the transformation, both in clearness and in the obviousness of its consequence; there are, no doubt, cases in which the argument falls more naturally into one of the other three figures, and in which its conclusiveness is more apparent at the first glance in those figures, than when reduced to the first. Thus, if the proposition were that pagans may be virtuous, and the evidence to prove it were the example of Aristides; a syllogism in the third figure,Aristides was virtuous,Aristides was a pagan,thereforeSome pagan was virtuous,would be a more natural mode of stating the argument, and would carry conviction more instantly home, than the same ratiocination strained into the first figure, thus—Aristides was virtuous,Some pagan was Aristides,thereforeSome pagan was virtuous.A German philosopher, Lambert, whoseNeues Organon(published in the year 1764) contains among other things one of the most elaborate and complete expositions which had ever been made of the syllogistic doctrine, has expressly examined what sort of arguments fall most naturally and suitably into each of the four figures; and his investigation is characterized by[pg 131]great ingenuity and clearness of thought.51The argument, however, is one and the same, in whichever figure it is expressed; since, as we have already seen, the premises of a syllogism in the second, third, or fourth figure, and those of the syllogism in the first figure to which it may be reduced, are the same premises in every thing except language, or, at least, as much of them as contributes to the proof of the conclusion is the same. We are therefore at liberty, in conformity with the general opinion of logicians, to consider the two elementary forms of the first figure as the universal types of all correct ratiocination; the one, when the conclusion to be proved is affirmative, the other, when it is negative; even though certain arguments may have a tendency to clothe themselves in the forms of the second, third, and fourth figures; which, however, can not possibly happen with the only class of arguments which are of first-rate scientific importance, those in which the conclusion is a universal affirmative, such conclusions being susceptible of proof in the first figure alone.52[pg 132]§ 2. On examining, then, these two general formulæ, we find that in both of them, one premise, the major, is a universal proposition; and according[pg 133]as this is affirmative or negative, the conclusion is so too. All ratiocination, therefore, starts from ageneralproposition, principle, or assumption: a proposition in which a predicate is affirmed or denied of an entire class; that is, in which some attribute, or the negation of some attribute, is asserted of an indefinite number of objects distinguished by a common characteristic, and designated, in consequence, by a common name.The other premise is always affirmative, and asserts that something (which may be either an individual, a class, or part of a class) belongs to, or is included in, the class respecting which something was affirmed or denied in the major premise. It follows that the attribute affirmed or denied of the entire class may (if that affirmation or denial was correct) be affirmed or denied of the object or objects alleged to be included in the class: and this is precisely the assertion made in the conclusion.Whether or not the foregoing is an adequate account of the constituent parts of the syllogism, will be presently considered; but as far as it goes it is a true account. It has accordingly been generalized, and erected into a logical maxim, on which all ratiocination is said to be founded, insomuch that to reason, and to apply the maxim, are supposed to be one and the same thing. The maxim is, That whatever can be affirmed (or denied) of a class, may be affirmed (or denied) of every thing included in the class. This axiom, supposed to be the basis of the syllogistic theory, is termed by logicians thedictum de omni et nullo.This maxim, however, when considered as a principle of reasoning, appears suited to a system of metaphysics once indeed generally received, but which for the last two centuries has been considered as finally abandoned, though there have not been wanting in our own day attempts at its revival. So long as what are termed Universals were regarded as a peculiar kind of substances, having an objective existence distinct from the individual objects classed under them, thedictum de omniconveyed an important meaning; because it expressed the intercommunity of nature, which it was necessary on that theory that we should suppose to exist between those general substances and the particular substances which were subordinated to them. That every thing predicable of the universal was predicable of the various individuals contained under it, was then no identical proposition, but a statement of what was conceived as a fundamental law of the universe. The assertion that the entire nature and properties of thesubstantia secundaformed part of the nature and properties of each of the individual substances called by the same name; that the properties of Man, for example, were properties of all men; was a proposition of real significance when man did notmeanall men, but something inherent in men, and vastly superior to them in dignity. Now, however, when it is known that a class, a universal, a genus or species, is not an entityper se, but neither more nor less than the individual substances themselves which are placed in the class, and that there is nothing real in the matter except those objects, a common name given to them, and common attributes indicated by the name; what, I should be glad to know, do we learn by being told, that whatever can be affirmed of a class, may be affirmed of every object contained in the class? The classisnothing but the objects contained in it: and thedictum de omnimerely amounts to the identical proposition, that whatever is true of certain objects, is true of each of those objects. If all ratiocination were no more than the application of this maxim to particular cases, the syllogism would indeed be, what it has so often been declared to[pg 134]be, solemn trifling. Thedictum de omniis on a par with another truth, which in its time was also reckoned of great importance,“Whatever is, is.”To give any real meaning to thedictum de omni, we must consider it not as an axiom, but as a definition; we must look upon it as intended to explain, in a circuitous and paraphrastic manner, the meaning of the wordclass.An error which seemed finally refuted and dislodged from thought, often needs only put on a new suit of phrases, to be welcomed back to its old quarters, and allowed to repose unquestioned for another cycle of ages. Modern philosophers have not been sparing in their contempt for the scholastic dogma that genera and species are a peculiar kind of substances, which general substances being the only permanent things, while the individual substances comprehended under them are in a perpetual flux, knowledge, which necessarily imports stability, can only have relation to those general substances or universals, and not to the facts or particulars included under them. Yet, though nominally rejected, this very doctrine, whether disguised under the Abstract Ideas of Locke (whose speculations, however, it has less vitiated than those of perhaps any other writer who has been infected with it), under the ultra-nominalism of Hobbes and Condillac, or the ontology of the later German schools, has never ceased to poison philosophy. Once accustomed to consider scientific investigation as essentially consisting in the study of universals, men did not drop this habit of thought when they ceased to regard universals as possessing an independent existence: and even those who went the length of considering them as mere names, could not free themselves from the notion that the investigation of truth consisted entirely or partly in some kind of conjuration or juggle with those names. When a philosopher adopted fully the Nominalist view of the signification of general language, retaining along with it thedictum de omnias the foundation of all reasoning, two such premises fairly put together were likely, if he was a consistent thinker, to land him in rather startling conclusions. Accordingly it has been seriously held, by writers of deserved celebrity, that the process of arriving at new truths by reasoning consists in the mere substitution of one set of arbitrary signs for another; a doctrine which they suppose to derive irresistible confirmation from the example of algebra. If there were any process in sorcery or necromancy more preternatural than this, I should be much surprised. The culminating point of this philosophy is the noted aphorism of Condillac, that a science is nothing, or scarcely any thing, butune langue bien faite; in other words, that the one sufficient rule for discovering the nature and properties of objects is to name them properly: as if the reverse were not the truth, that it is impossible to name them properly except in proportion as we are already acquainted with their nature and properties. Can it be necessary to say, that none, not even the most trivial knowledge with respect to Things, ever was or could be originally got at by any conceivable manipulation of mere names, as such; and that what can be learned from names, is only what somebody who used the names knew before? Philosophical analysis confirms the indication of common sense, that the function of names is but that of enabling us torememberand tocommunicateour thoughts. That they also strengthen, even to an incalculable extent, the power of thought itself, is most true: but they do this by no intrinsic and peculiar virtue; they do it by the power inherent in an artificial memory, an instrument of which few have adequately considered the immense potency. As an artificial memory, language truly is, what it has so often[pg 135]been called, an instrument of thought; but it is one thing to be the instrument, and another to be the exclusive subject upon which the instrument is exercised. We think, indeed, to a considerable extent, by means of names, but what we think of, are the things called by those names; and there can not be a greater error than to imagine that thought can be carried on with nothing in our mind but names, or that we can make the names think for us.§ 3. Those who considered thedictum de omnias the foundation of the syllogism, looked upon arguments in a manner corresponding to the erroneous view which Hobbes took of propositions. Because there are some propositions which are merely verbal, Hobbes, in order apparently that his definition might be rigorously universal, defined a proposition as if no propositions declared any thing except the meaning of words. If Hobbes was right; if no further account than this could be given of the import of propositions; no theory could be given but the commonly received one, of the combination of propositions in a syllogism. If the minor premise asserted nothing more than that something belongs to a class, and if the major premise asserted nothing of that class except that it is included in another class, the conclusion would only be that what was included in the lower class is included in the higher, and the result, therefore, nothing except that the classification is consistent with itself. But we have seen that it is no sufficient account of the meaning of a proposition, to say that it refers something to, or excludes something from, a class. Every proposition which conveys real information asserts a matter of fact, dependent on the laws of nature, and not on classification. It asserts that a given object does or does not possess a given attribute; or it asserts that two attributes, or sets of attributes, do or do not (constantly or occasionally) co-exist. Since such is the purport of all propositions which convey any real knowledge, and since ratiocination is a mode of acquiring real knowledge, any theory of ratiocination which does not recognize this import of propositions, can not, we may be sure, be the true one.Applying this view of propositions to the two premises of a syllogism, we obtain the following results. The major premise, which, as already remarked, is always universal, asserts, that all things which have a certain attribute (or attributes) have or have not along with it, a certain other attribute (or attributes). The minor premise asserts that the thing or set of things which are the subject of that premise, have the first-mentioned attribute; and the conclusion is, that they have (or that they have not), the second. Thus in our former example,All men are mortal,Socrates is a man,thereforeSocrates is mortal,the subject and predicate of the major premise are connotative terms, denoting objects and connoting attributes. The assertion in the major premise is, that along with one of the two sets of attributes, we always find the other: that the attributes connoted by“man”never exist unless conjoined with the attribute called mortality. The assertion in the minor premise is that the individual named Socrates possesses the former attributes; and it is concluded that he possesses also the attribute mortality. Or, if both the premises are general propositions, as[pg 136]All men are mortal,All kings are men,thereforeAll kings are mortal,the minor premise asserts that the attributes denoted by kingship only exist in conjunction with those signified by the word man. The major asserts as before, that the last-mentioned attributes are never found without the attribute of mortality. The conclusion is, that wherever the attributes of kingship are found, that of mortality is found also.If the major premise were negative, as, No men are omnipotent, it would assert, not that the attributes connoted by“man”never exist without, but that they never exist with, those connoted by“omnipotent:”from which, together with the minor premise, it is concluded, that the same incompatibility exists between the attribute omnipotence and those constituting a king. In a similar manner we might analyze any other example of the syllogism.If we generalize this process, and look out for the principle or law involved in every such inference, and presupposed in every syllogism, the propositions of which are any thing more than merely verbal; we find, not the unmeaningdictum de omni et nullo, but a fundamental principle, or rather two principles, strikingly resembling the axioms of mathematics. The first, which is the principle of affirmative syllogisms, is, that things which co-exist with the same thing, co-exist with one another: or (still more precisely) a thing which co-exists with another thing, which other co-exists with a third thing, also co-exists with that third thing. The second is the principle of negative syllogisms, and is to this effect: that a thing which co-exists with another thing, with which other a third thing does not co-exist, is not co-existent with that third thing. These axioms manifestly relate to facts, and not to conventions; and one or other of them is the ground of the legitimacy of every argument in which facts and not conventions are the matter treated of.53[pg 137]§ 4. It remains to translate this exposition of the syllogism from the one into the other of the two languages in which we formerly remarked54that all propositions, and of course therefore all combinations of propositions, might be expressed. We observed that a proposition might be considered in two different lights; as a portion of our knowledge of nature, or as a memorandum for our guidance. Under the former, or speculative aspect, an affirmative general proposition is an assertion of a speculative truth, viz., that whatever has a certain attribute has a certain other attribute. Under the other aspect, it is to be regarded not as a part of our knowledge, but as an aid for our practical exigencies, by enabling us, when we see or learn that an object possesses one of the two attributes, to infer that it possesses the other; thus employing the first attribute as a mark or evidence of the second. Thus regarded, every syllogism comes within the following general formula:Attribute A is a mark of attribute B,The given object has the mark A,thereforeThe given object has the attribute B.Referred to this type, the arguments which we have lately cited as specimens of the syllogism, will express themselves in the following manner:The attributes of man are a mark of the attribute mortality,Socrates has the attributes of man,thereforeSocrates has the attribute mortality.[pg 138]And again,The attributes of man are a mark of the attribute mortality,The attributes of a king are a mark of the attributes of man,thereforeThe attributes of a king are a mark of the attribute mortality.And, lastly,The attributes of man are a mark of the absence of the attribute omnipotence,The attributes of a king are a mark of the attributes of man,thereforeThe attributes of a king are a mark of the absence of the attribute signified by the word omnipotent (or, are evidence of the absence of that attribute).To correspond with this alteration in the form of the syllogisms, the axioms on which the syllogistic process is founded must undergo a corresponding transformation. In this altered phraseology, both those axioms may be brought under one general expression; namely, that whatever has any mark, has that which it is a mark of. Or, when the minor premise as well as the major is universal, we may state it thus: Whatever is a mark of any mark, is a mark of that which this last is a mark of. To trace the identity of these axioms with those previously laid down, may be left to the intelligent reader. We shall find, as we proceed, the great convenience of the phraseology into which we have last thrown them, and which is better adapted than any I am acquainted with, to express with precision and force what is aimed at, and actually accomplished, in every case of the ascertainment of a truth by ratiocination.55

§ 1. The analysis of the Syllogism has been so accurately and fully performed in the common manuals of Logic, that in the present work, which is not designed as a manual, it is sufficient to recapitulate,memoriæ causâ, the leading results of that analysis, as a foundation for the remarks to be afterward made on the functions of the Syllogism, and the place which it holds in science.

To a legitimate syllogism it is essential that there should be three, and no more than three, propositions, namely, the conclusion, or proposition to be proved, and two other propositions which together prove it, and which are called the premises. It is essential that there should be three, and no more than three, terms, namely, the subject and predicate of the conclusion, and another called the middle term, which must be found in both premises, since it is by means of it that the other two terms are to be connected together. The predicate of the conclusion is called the major term of the syllogism; the subject of the conclusion is called the minor term. As there can be but three terms, the major and minor terms must each be found in one, and only one, of the premises, together with the middle term which is in them both. The premise which contains the middle term and the major term is called the major premise; that which contains the middle term and the minor term is called the minor premise.

Syllogisms are divided by some logicians into threefigures, by others into four, according to the position of the middle term, which may either be the subject in both premises, the predicate in both, or the subject in one and the predicate in the other. The most common case is that in which[pg 127]the middle term is the subject of the major premise and the predicate of the minor. This is reckoned as the first figure. When the middle term is the predicate in both premises, the syllogism belongs to the second figure; when it is the subject in both, to the third. In the fourth figure the middle term is the subject of the minor premise and the predicate of the major. Those writers who reckon no more than three figures, include this case in the first.

Each figure is divided intomoods, according to what are called thequantityandqualityof the propositions, that is, according as they are universal or particular, affirmative or negative. The following are examples of all the legitimate moods, that is, all those in which the conclusion correctly follows from the premises. A is the minor term, C the major, B the middle term.

First Figure.

Second Figure.

Third Figure.

Fourth Figure.

In these exemplars, or blank forms for making syllogisms, no place is assigned tosingularpropositions; not, of course, because such propositions are not used in ratiocination, but because, their predicate being affirmed or denied of the whole of the subject, they are ranked, for the purposes of the syllogism, with universal propositions. Thus, these two syllogisms—

are arguments precisely similar, and are both ranked in the first mood of the first figure.50

The reasons why syllogisms in any of the above forms are legitimate, that is, why, if the premises are true, the conclusion must inevitably be so, and why this is not the case in any other possible mood (that is, in any other combination of universal and particular, affirmative and negative propositions), any person taking interest in these inquiries may be presumed to have either learned from the common-school books of the syllogistic logic, or to be capable of discovering for himself. The reader may, however, be referred, for every needful explanation, to Archbishop Whately’sElements of Logic, where he will find stated with philosophical precision, and explained with remarkable perspicuity, the whole of the common doctrine of the syllogism.

All valid ratiocination; all reasoning by which, from general propositions[pg 129]previously admitted, other propositions equally or less general are inferred; may be exhibited in some of the above forms. The whole of Euclid, for example, might be thrown without difficulty into a series of syllogisms, regular in mood and figure.

Though a syllogism framed according to any of these formulæ is a valid argument, all correct ratiocination admits of being stated in syllogisms of the first figure alone. The rules for throwing an argument in any of the other figures into the first figure, are called rules for thereductionof syllogisms. It is done by theconversionof one or other, or both, of the premises. Thus an argument in the first mood of the second figure, as—

No C is BAll A is BthereforeNo A is C,

may be reduced as follows. The proposition, No C is B, being a universal negative, admits of simple conversion, and may be changed into No B is C, which, as we showed, is the very same assertion in other words—the same fact differently expressed. This transformation having been effected, the argument assumes the following form:

No B is CAll A is BthereforeNo A is C,

which is a good syllogism in the second mood of the first figure. Again, an argument in the first mood of the third figure must resemble the following:

All B is CAll B is AthereforeSome A is C,

where the minor premise, All B is A, conformably to what was laid down in the last chapter respecting universal affirmatives, does not admit of simple conversion, but may be convertedper accidens, thus, Some A is B; which, though it does not express the whole of what is asserted in the proposition All B is A, expresses, as was formerly shown, part of it, and must therefore be true if the whole is true. We have, then, as the result of the reduction, the following syllogism in the third mood of the first figure:

All B is CSome A is B,

from which it obviously follows, that

Some A is C.

In the same manner, or in a manner on which after these examples it is not necessary to enlarge, every mood of the second, third, and fourth figures may be reduced to some one of the four moods of the first. In other words, every conclusion which can be proved in any of the last three figures, may be proved in the first figure from the same premises, with a slight alteration in the mere manner of expressing them. Every valid ratiocination, therefore, may be stated in the first figure, that is, in one of the following forms:

Or, if more significant symbols are preferred:

To prove an affirmative, the argument must admit of being stated in this form:

All animals are mortal;All men/Some men/Socrates are animals;thereforeAll men/Some men/Socrates are mortal.

To prove a negative, the argument must be capable of being expressed in this form:

No one who is capable of self-control is necessarily vicious;

No one who is capable of self-control is necessarily vicious;All negroes/Some negroes/Mr. A’s negro are capable of self-control;thereforeNo negroes are/Some negroes are not/Mr. A’s negro is not necessarily vicious.

Though all ratiocination admits of being thrown into one or the other of these forms, and sometimes gains considerably by the transformation, both in clearness and in the obviousness of its consequence; there are, no doubt, cases in which the argument falls more naturally into one of the other three figures, and in which its conclusiveness is more apparent at the first glance in those figures, than when reduced to the first. Thus, if the proposition were that pagans may be virtuous, and the evidence to prove it were the example of Aristides; a syllogism in the third figure,

Aristides was virtuous,Aristides was a pagan,thereforeSome pagan was virtuous,

would be a more natural mode of stating the argument, and would carry conviction more instantly home, than the same ratiocination strained into the first figure, thus—

Aristides was virtuous,Some pagan was Aristides,thereforeSome pagan was virtuous.

A German philosopher, Lambert, whoseNeues Organon(published in the year 1764) contains among other things one of the most elaborate and complete expositions which had ever been made of the syllogistic doctrine, has expressly examined what sort of arguments fall most naturally and suitably into each of the four figures; and his investigation is characterized by[pg 131]great ingenuity and clearness of thought.51The argument, however, is one and the same, in whichever figure it is expressed; since, as we have already seen, the premises of a syllogism in the second, third, or fourth figure, and those of the syllogism in the first figure to which it may be reduced, are the same premises in every thing except language, or, at least, as much of them as contributes to the proof of the conclusion is the same. We are therefore at liberty, in conformity with the general opinion of logicians, to consider the two elementary forms of the first figure as the universal types of all correct ratiocination; the one, when the conclusion to be proved is affirmative, the other, when it is negative; even though certain arguments may have a tendency to clothe themselves in the forms of the second, third, and fourth figures; which, however, can not possibly happen with the only class of arguments which are of first-rate scientific importance, those in which the conclusion is a universal affirmative, such conclusions being susceptible of proof in the first figure alone.52

§ 2. On examining, then, these two general formulæ, we find that in both of them, one premise, the major, is a universal proposition; and according[pg 133]as this is affirmative or negative, the conclusion is so too. All ratiocination, therefore, starts from ageneralproposition, principle, or assumption: a proposition in which a predicate is affirmed or denied of an entire class; that is, in which some attribute, or the negation of some attribute, is asserted of an indefinite number of objects distinguished by a common characteristic, and designated, in consequence, by a common name.

The other premise is always affirmative, and asserts that something (which may be either an individual, a class, or part of a class) belongs to, or is included in, the class respecting which something was affirmed or denied in the major premise. It follows that the attribute affirmed or denied of the entire class may (if that affirmation or denial was correct) be affirmed or denied of the object or objects alleged to be included in the class: and this is precisely the assertion made in the conclusion.

Whether or not the foregoing is an adequate account of the constituent parts of the syllogism, will be presently considered; but as far as it goes it is a true account. It has accordingly been generalized, and erected into a logical maxim, on which all ratiocination is said to be founded, insomuch that to reason, and to apply the maxim, are supposed to be one and the same thing. The maxim is, That whatever can be affirmed (or denied) of a class, may be affirmed (or denied) of every thing included in the class. This axiom, supposed to be the basis of the syllogistic theory, is termed by logicians thedictum de omni et nullo.

This maxim, however, when considered as a principle of reasoning, appears suited to a system of metaphysics once indeed generally received, but which for the last two centuries has been considered as finally abandoned, though there have not been wanting in our own day attempts at its revival. So long as what are termed Universals were regarded as a peculiar kind of substances, having an objective existence distinct from the individual objects classed under them, thedictum de omniconveyed an important meaning; because it expressed the intercommunity of nature, which it was necessary on that theory that we should suppose to exist between those general substances and the particular substances which were subordinated to them. That every thing predicable of the universal was predicable of the various individuals contained under it, was then no identical proposition, but a statement of what was conceived as a fundamental law of the universe. The assertion that the entire nature and properties of thesubstantia secundaformed part of the nature and properties of each of the individual substances called by the same name; that the properties of Man, for example, were properties of all men; was a proposition of real significance when man did notmeanall men, but something inherent in men, and vastly superior to them in dignity. Now, however, when it is known that a class, a universal, a genus or species, is not an entityper se, but neither more nor less than the individual substances themselves which are placed in the class, and that there is nothing real in the matter except those objects, a common name given to them, and common attributes indicated by the name; what, I should be glad to know, do we learn by being told, that whatever can be affirmed of a class, may be affirmed of every object contained in the class? The classisnothing but the objects contained in it: and thedictum de omnimerely amounts to the identical proposition, that whatever is true of certain objects, is true of each of those objects. If all ratiocination were no more than the application of this maxim to particular cases, the syllogism would indeed be, what it has so often been declared to[pg 134]be, solemn trifling. Thedictum de omniis on a par with another truth, which in its time was also reckoned of great importance,“Whatever is, is.”To give any real meaning to thedictum de omni, we must consider it not as an axiom, but as a definition; we must look upon it as intended to explain, in a circuitous and paraphrastic manner, the meaning of the wordclass.

An error which seemed finally refuted and dislodged from thought, often needs only put on a new suit of phrases, to be welcomed back to its old quarters, and allowed to repose unquestioned for another cycle of ages. Modern philosophers have not been sparing in their contempt for the scholastic dogma that genera and species are a peculiar kind of substances, which general substances being the only permanent things, while the individual substances comprehended under them are in a perpetual flux, knowledge, which necessarily imports stability, can only have relation to those general substances or universals, and not to the facts or particulars included under them. Yet, though nominally rejected, this very doctrine, whether disguised under the Abstract Ideas of Locke (whose speculations, however, it has less vitiated than those of perhaps any other writer who has been infected with it), under the ultra-nominalism of Hobbes and Condillac, or the ontology of the later German schools, has never ceased to poison philosophy. Once accustomed to consider scientific investigation as essentially consisting in the study of universals, men did not drop this habit of thought when they ceased to regard universals as possessing an independent existence: and even those who went the length of considering them as mere names, could not free themselves from the notion that the investigation of truth consisted entirely or partly in some kind of conjuration or juggle with those names. When a philosopher adopted fully the Nominalist view of the signification of general language, retaining along with it thedictum de omnias the foundation of all reasoning, two such premises fairly put together were likely, if he was a consistent thinker, to land him in rather startling conclusions. Accordingly it has been seriously held, by writers of deserved celebrity, that the process of arriving at new truths by reasoning consists in the mere substitution of one set of arbitrary signs for another; a doctrine which they suppose to derive irresistible confirmation from the example of algebra. If there were any process in sorcery or necromancy more preternatural than this, I should be much surprised. The culminating point of this philosophy is the noted aphorism of Condillac, that a science is nothing, or scarcely any thing, butune langue bien faite; in other words, that the one sufficient rule for discovering the nature and properties of objects is to name them properly: as if the reverse were not the truth, that it is impossible to name them properly except in proportion as we are already acquainted with their nature and properties. Can it be necessary to say, that none, not even the most trivial knowledge with respect to Things, ever was or could be originally got at by any conceivable manipulation of mere names, as such; and that what can be learned from names, is only what somebody who used the names knew before? Philosophical analysis confirms the indication of common sense, that the function of names is but that of enabling us torememberand tocommunicateour thoughts. That they also strengthen, even to an incalculable extent, the power of thought itself, is most true: but they do this by no intrinsic and peculiar virtue; they do it by the power inherent in an artificial memory, an instrument of which few have adequately considered the immense potency. As an artificial memory, language truly is, what it has so often[pg 135]been called, an instrument of thought; but it is one thing to be the instrument, and another to be the exclusive subject upon which the instrument is exercised. We think, indeed, to a considerable extent, by means of names, but what we think of, are the things called by those names; and there can not be a greater error than to imagine that thought can be carried on with nothing in our mind but names, or that we can make the names think for us.

§ 3. Those who considered thedictum de omnias the foundation of the syllogism, looked upon arguments in a manner corresponding to the erroneous view which Hobbes took of propositions. Because there are some propositions which are merely verbal, Hobbes, in order apparently that his definition might be rigorously universal, defined a proposition as if no propositions declared any thing except the meaning of words. If Hobbes was right; if no further account than this could be given of the import of propositions; no theory could be given but the commonly received one, of the combination of propositions in a syllogism. If the minor premise asserted nothing more than that something belongs to a class, and if the major premise asserted nothing of that class except that it is included in another class, the conclusion would only be that what was included in the lower class is included in the higher, and the result, therefore, nothing except that the classification is consistent with itself. But we have seen that it is no sufficient account of the meaning of a proposition, to say that it refers something to, or excludes something from, a class. Every proposition which conveys real information asserts a matter of fact, dependent on the laws of nature, and not on classification. It asserts that a given object does or does not possess a given attribute; or it asserts that two attributes, or sets of attributes, do or do not (constantly or occasionally) co-exist. Since such is the purport of all propositions which convey any real knowledge, and since ratiocination is a mode of acquiring real knowledge, any theory of ratiocination which does not recognize this import of propositions, can not, we may be sure, be the true one.

Applying this view of propositions to the two premises of a syllogism, we obtain the following results. The major premise, which, as already remarked, is always universal, asserts, that all things which have a certain attribute (or attributes) have or have not along with it, a certain other attribute (or attributes). The minor premise asserts that the thing or set of things which are the subject of that premise, have the first-mentioned attribute; and the conclusion is, that they have (or that they have not), the second. Thus in our former example,

All men are mortal,Socrates is a man,thereforeSocrates is mortal,

the subject and predicate of the major premise are connotative terms, denoting objects and connoting attributes. The assertion in the major premise is, that along with one of the two sets of attributes, we always find the other: that the attributes connoted by“man”never exist unless conjoined with the attribute called mortality. The assertion in the minor premise is that the individual named Socrates possesses the former attributes; and it is concluded that he possesses also the attribute mortality. Or, if both the premises are general propositions, as

All men are mortal,All kings are men,thereforeAll kings are mortal,

the minor premise asserts that the attributes denoted by kingship only exist in conjunction with those signified by the word man. The major asserts as before, that the last-mentioned attributes are never found without the attribute of mortality. The conclusion is, that wherever the attributes of kingship are found, that of mortality is found also.

If the major premise were negative, as, No men are omnipotent, it would assert, not that the attributes connoted by“man”never exist without, but that they never exist with, those connoted by“omnipotent:”from which, together with the minor premise, it is concluded, that the same incompatibility exists between the attribute omnipotence and those constituting a king. In a similar manner we might analyze any other example of the syllogism.

If we generalize this process, and look out for the principle or law involved in every such inference, and presupposed in every syllogism, the propositions of which are any thing more than merely verbal; we find, not the unmeaningdictum de omni et nullo, but a fundamental principle, or rather two principles, strikingly resembling the axioms of mathematics. The first, which is the principle of affirmative syllogisms, is, that things which co-exist with the same thing, co-exist with one another: or (still more precisely) a thing which co-exists with another thing, which other co-exists with a third thing, also co-exists with that third thing. The second is the principle of negative syllogisms, and is to this effect: that a thing which co-exists with another thing, with which other a third thing does not co-exist, is not co-existent with that third thing. These axioms manifestly relate to facts, and not to conventions; and one or other of them is the ground of the legitimacy of every argument in which facts and not conventions are the matter treated of.53

§ 4. It remains to translate this exposition of the syllogism from the one into the other of the two languages in which we formerly remarked54that all propositions, and of course therefore all combinations of propositions, might be expressed. We observed that a proposition might be considered in two different lights; as a portion of our knowledge of nature, or as a memorandum for our guidance. Under the former, or speculative aspect, an affirmative general proposition is an assertion of a speculative truth, viz., that whatever has a certain attribute has a certain other attribute. Under the other aspect, it is to be regarded not as a part of our knowledge, but as an aid for our practical exigencies, by enabling us, when we see or learn that an object possesses one of the two attributes, to infer that it possesses the other; thus employing the first attribute as a mark or evidence of the second. Thus regarded, every syllogism comes within the following general formula:

Attribute A is a mark of attribute B,The given object has the mark A,thereforeThe given object has the attribute B.

Referred to this type, the arguments which we have lately cited as specimens of the syllogism, will express themselves in the following manner:

The attributes of man are a mark of the attribute mortality,Socrates has the attributes of man,thereforeSocrates has the attribute mortality.

And again,

The attributes of man are a mark of the attribute mortality,The attributes of a king are a mark of the attributes of man,thereforeThe attributes of a king are a mark of the attribute mortality.

And, lastly,

The attributes of man are a mark of the absence of the attribute omnipotence,The attributes of a king are a mark of the attributes of man,thereforeThe attributes of a king are a mark of the absence of the attribute signified by the word omnipotent (or, are evidence of the absence of that attribute).

To correspond with this alteration in the form of the syllogisms, the axioms on which the syllogistic process is founded must undergo a corresponding transformation. In this altered phraseology, both those axioms may be brought under one general expression; namely, that whatever has any mark, has that which it is a mark of. Or, when the minor premise as well as the major is universal, we may state it thus: Whatever is a mark of any mark, is a mark of that which this last is a mark of. To trace the identity of these axioms with those previously laid down, may be left to the intelligent reader. We shall find, as we proceed, the great convenience of the phraseology into which we have last thrown them, and which is better adapted than any I am acquainted with, to express with precision and force what is aimed at, and actually accomplished, in every case of the ascertainment of a truth by ratiocination.55

Back to IndexNext