Liable to mislead.—It must be confessed, however, that it is a species of reasoning likely to mislead in many cases. Its chief value lies not in proving a position, but in rebutting objections; it is good, not for assault, but defence. As thus used it is a powerful weapon in the hands of a skilful master. Such it was in Butler's hands.
§ IV.—Use of Hypotheses and Theories in Reasoning.
Theory, what.—The terms hypothesis and theory are often used interchangeably and loosely. Confusion is the result. It is difficult to define them accurately.
Theory(from the Greek, Τεωρια; Latin, theoria; French, théorie; Italian, teoria; from Τεωρεω, to perceive, see, contemplate) denotes properly any philosophical explanation of phenomena, any connected arrangement and statement of facts according to their bearing on some real or imaginary law. The facts, the phenomena, once known, proved, rest on independent evidence. Theory takes survey of them as such, with special reference to the law which governs and connects them, whether that law be also known or merely conjectured.
Hypothesis, what.—Hypothesis(υπο-τιθημι) denotes a gratuitous supposition or conjecture, inthe absenceof all positive knowledge as to what the law is that governs and connects the observed phenomena, or as to the cause which will account for them.
Theory may or may not be Hypothesis.—Hypothesis is, inits nature, conjectural, and therefore uncertain; has its degrees of probability—no certainty. The moment the thing supposed is proved true, or verified, if it ever is, it ceases to be hypothesis. Theory, however, is not necessarily a matter of uncertainty. After the law or the cause is ascertained, fully known, and no longer a hypothesis at all, there may be still a theory about it; a survey of the facts and phenomena, as they stand affected by that law, or as accounted for by that cause. The motion of the planets in elliptical orbits, was originally matter of conjecture, of hypothesis. It is still matter of theory.
Probability of Hypothesis.—The probability of a hypothesis is in proportion to the number of facts or phenomena, in the given case, which it will satisfactorily explain, in other words, account for. Of several hypotheses, that is the most probable which will account for the greatest number of the given phenomena—those which, if the hypothesis be true, ought to fall under it as their law. If it accounts for all the phenomena in the case, it is generally regarded as having established its claim to certainty. So Whewell maintains. This, however, is not exactly the case. The hypothesis can be verified only by showing that the facts or phenomena in the case cannot possibly be accounted for on anyothersupposition, or result from anyothercause; not simply that they can be accounted for, or can result from this. This is well stated by Mill in his System of Philosophy. The hypothesis of the undulating movement of a subtle and all-pervading ether will account for many of the known phenomena of light; but it has never been shown, and in the nature of the case never can be, probably, that nootherhypothesis possible or supposable will also account for them.
Use of Hypotheses.—As to theuseof hypotheses in science, Reid's remarks are altogether too sweeping, and quite incorrect. It is not true that hypotheses lead to no valuable result in philosophy. Almost all discoveries were at first hypotheses, suppositions, lucky guesses, if you please to callthem so. The Copernican theory that the earth revolves on its axis was a mere hypothesis at the outset. Kepler's theory of the elliptical orbits of the planets was such; he made and abandoned nineteen false ones before he hit the right. This discovery led to another—that planets describe equal areas in equal times. Newton never framed hypotheses, if we may believe him. But his own grand discovery of the law of gravity as the central force of the system, depends for one of its steps of evidence on his previous discovery that the force of attraction varies as the inverse square of the distance, and this was suggested by him at first as a mere hypothesis; he was able to verify it only by calling in the aid of Kepler's discovery of equal areas in equal times, which latter, as already stated, was itself the result of hypothesis. Had it not been for one hypothesis of Newton, verified by the results of another hypothesis of Kepler Newton could never have made his own discovery.
A hypothesis, it must be remembered, is any supposition, with or without evidence, made in order to deduce from it conclusions agreeable to known facts. If we succeed in doing this, we verify our hypothesis (unless, indeed, it can be shown that some other hypothesis will equally well suit these facts), and our hypothesis, when verified, ceases to be longer a hypothesis, takes its place as known truth, and in turn serves to explain those facts which would, on the supposition of its truth, follow from it as a cause. It is simply a short-hand process of arriving at conclusions in science. Suppose the problem to be the one already named—to prove that the central force of the solar system is one and the same withgravity. Now it may not be easy, or even possible in some cases, to establish the first step or premiss in such a chain of reasoning. The inductions leading to it may not be forthcoming. Hypothesis steps in and supplies the deficiency, by substituting in place of the induction a supposition. Assuming that distant bodies attract each other with a power inversely as the square of the distance, it proceeds on that supposition, and arrives at the desired conclusion.
In what Cases admissible.—Now this method is always allowable, and strictly scientific, whenever it is possible to verify our hypothesis,i. e., in every case in which it is possible to show that no law but the one assumed can lead to these same results; that nootherhypothesis can accord with the facts.
In the case supposed, it would not be possible to prove that the same movements might not follow from some other law than the one supposed. It is not certain, therefore, that the moving force of the solar system is identical with gravitation,merely becausethe latter would, if extended so far, produce the same results. In many other cases itispracticable; indeed,in all cases where the inquiry is not to ascertain the cause, but, the cause being already known, to ascertain the law of its action.
Even in cases where the inquiry is not of this nature, hypothesis is of use in the suggestion of future investigations, and, as such, is frequently indispensable.
View of Mr. Mill.—Nearly every thing which is now theory, was once hypothesis, says Mill. "The process of tracing regularity in any complicated, and, at first sight, confused set of appearances, is necessarily tentative: we begin by making any supposition, even a false one, to see what consequences will follow from it; and by observing how these differ from the real phenomena we learn what corrections to make in our assumption. The simplest supposition which accords with any of the most obvious facts, is the best to begin with, because its consequences are the most easily traced. This rude hypothesis is then rudely corrected, and the operation repeated, until the deductive results are at last made to tally with the phenomena. Let any one watch the manner in which he himself unravels any complicated mass of evidence; let him observe how, for instance, he elicits the true history of any occurrence fromthe involved statements of one or of many witnesses. He will find that he does not take all the items of evidence into his mind at once, and attempt to weave them together; the human faculties are not equal to such an undertaking; he extemporizes, from a few of the particulars, a first rude theory of the mode in which the facts took place, and then looks at the other statements, one by one, to try whether they can be reconciled with the provisional theory, or what corrections or additions it requires to make it square with them. In this way, which, as M. Comte remarks, has some resemblance to the methods of approximation of mathematicians, we arrive by means of hypothesis at conclusions not hypothetical."
§ V.—Different Forms of Reasoning.
It remains to treat briefly of thedifferent formsof reasoning, as founded in the laws of thought.
How far these Forms fall within the Province of Psychology.—As there are different kinds or modes of reasoning, according to the difference of the subject-matter or material about which our reasoning is employed, so there are certain general forms into which all reasoning may be cast, and which, according to the laws of thought, it naturally assumes. To treat specifically of these forms, their nature, use, and value, is the business oflogic; but, in so far as they depend upon the laws of thought, and are merely modes of mental activity as exercised in reasoning, they are to be considered, in connection with other phenomena of the mind, by the psychologist. Briefly to describe these forms, and then to consider their value, is all that I now propose. I begin with the proposition, as the starting point in every process of reasoning.
I.Analysis of the Proposition.
What constitutes a Proposition.—All reasoning dealswith propositions, which are judgments expressed. Every proposition involves two distinct conceptions, and expresses the relation between them; affirms the agreement or disagreement of the one with the other. As when I say, Snow is white, the conception of snow is before my mind, and also of whiteness; I perceive that the latter element enters into my notion of snow, and constitutes one of the qualities of the substance so called; I affirm the relation of the two, accordingly, and this gives the proposition enunciated. Every proposition then consists of these several parts, a word or words expressing some conception, a word or words expressing some other conception, a word or words expressing the relation of the two. The words which designate these two conceptions are called thetermsof the proposition, and, according to the above analysis, there are, in every proposition, always two terms. That term or conception of which something is affirmed, is called thesubject, that which is affirmed of the same, thepredicate, and the word which expresses the relation of the two, thecopula. In the above proposition, snow is the subject, white, the predicate, and is, the copula.
Quality and Quantity.—Propositions are distinguished as toqualityandquantity. The former has reference to the affirmative or negative character of the proposition, the latter to its comprehensiveness. Every proposition is either affirmative or negative, which is called its quality. As to quantity, every proposition is eitheruniversal, affirming something of the whole of the subject—as, All men are mortal; or elseparticular, affirming something of only a part of the subject—as, Some tyrants are miserable.
Four kinds of categorical Propositions.—We have, then, four kinds of categorical propositions, viz., universal affirmative, universal negative, particular affirmative, particular negative. That is, with the same subject and predicate, it is always possible to state four distinct propositions; as, every A is B, no A is B, some A is B, some A is not B.For the sake of convenience, logicians designate these different kinds of propositions severally by the letters A, E, I, O. Propositions that thus differ in quantity and quality are said to be opposed to each other. Of these, the two universals, A and E, are called contraries; the two particulars, I and O, sub-contraries; the universal affirmative, and the particular affirmative, A and I, also the universal negative and the particular negative, E and O, are respectively subalterns; while the universal affirmative and the particular negative, A and O, as also the universal negative and particular affirmative, E and I, are contradictories.
Rules of Opposition.—The following rules will be found universally applicable to propositions as opposed to each other. If the universal is true, so is the particular. If the particular is false, so is the universal. Contraries are never both true, but may be both false. Sub-contraries are never both false, but may be both true. Contradictories are never both true, or both false, but always one is true, the other false. The truth of these maxims will be evident on applying them to any proposition and its opposites, as for example, to the affirmation, Every man is mortal.
Categorical and hypothetical Propositions.—Propositions may be further distinguished as categorical or hypothetical; the one asserting or denying directly, as,e. g., The earth is round; the other conditionally,—as, If the earth is round, it is not oblong.
Pure, and Modal.—The proposition, moreover, may be either pure or modal, the former asserting or denying without qualification,—as, Man is liable to err; the latter qualifying the statement,—as, Man is extremely or unquestionably liable to err.
II.Analysis of the Syllogism.
Proposition the Link, Syllogism the Chain.—All reasoning admits of being reduced to the form of a syllogism. Having discussed the proposition which forms the material orgroundwork of every connected chain of argument, we are prepared now to examine the syllogism, or chain itself, into which the several propositions, as so many links, are wrought.
Syllogism defined.—A syllogism is an argument so expressed that the conclusiveness of it is manifest from the mere form of expression. When, for example, I affirm that all A is B, that all B is C, and that, consequently, all A is C, it is impossible that any one who is able to reason at all, and who comprehends the force of these several propositions taken singly, should fail to perceive that the conclusion follows inevitably from the premises. That which is affirmed, may or may not betrue, but it isconclusive. If the premises are true, so is the conclusion; but whether they are true or not, the argument, as such, is conclusive; nay, even if they are false, the conclusion may possibly be true. For example, Every tyrant is a good man; Washington was a tyrant; therefore, Washington was a good man, Both the premises are false, but the argument, as regards the form, is valid, and the conclusion is not only correctly drawn, but is, moreover, a true proposition. In a word, the syllogism concerns itself not at all with the truth or falsity of the thing stated, but only with the form of stating, and that form must be such, that the premises being conceded, the conclusion shall be obvious and inevitable. All valid reasoning admits of such statement.
Composition of a Syllogism.—Every syllogism contains three propositions, of which two state the grounds or reasons, and are called the premises, the other states the inference from those positions, and is called the conclusion. These three propositions contain three, and only three, distinct terms, of which one is common to both premises, and is called themiddleterm; the others are the extremes, one of which is the subject of the conclusion, and is called theminorterm; the other the predicate of the conclusion, and is called themajorterm, from the fact that it denotes the class to which the subject or minor term belongs. In thesyllogism,—Every man is mortal; Socrates is a man; therefore, Socrates is mortal,—the three terms are, man, mortal, and Socrates: of these, Socrates, or the subject of the conclusion, is the minor; mortal, or the predicate of the conclusion, is the major; and man, with which both the others are compared, is the middle term.
Major and minor Premiss.—The premiss which contains themajorterm, and compares it with the middle, is called themajor premiss; that which, in like manner, compares theminorterm with the middle, is called theminor premiss. In the syllogism already given, 'Every man is mortal' is the major premiss; 'Socrates is a man' is the minor premiss.
The Order variable.—The order of the terms in the respective propositions, and even the order of the propositions themselves, is not invariable, but depends on circumstances. In the above proposition, it is immaterial whether I say, Every man is mortal, or, Mortal is every man; it is immaterial whether I state first the major or the minor premiss; nay, it is allowable even to state the conclusion first, and then the grounds and reasons for the same.
III.Laws of Syllogism.
The following rules or maxims will be found applicable to all cases, and may be regarded as laws of the syllogism.
Middle Term unequivocal.—The middle term must not be equivocal.—This rule is violated in the following syllogism. Nothing is heavier than lead; feathers are heavier than nothing; therefore, feathers are heavier than lead. The middle term, nothing, is here used in different senses in the two premises.
Middle Term to be distributed.—Essentially the same thing occurs when the middle term is not, at least once, in the premises, used in its most complete and comprehensive sense, or, as the logicians express it,distributed. As, for example, when I say, White is a color, the term color is not here distributed, for it properly includes many thingsbesides white. If now I introduce into another proposition the same term in a similar manner, as Black is a color, I evidently include under the term, as now used, some part of the class of things denoted by the general word color, which was not included under the same term as first used. The color which is affirmed to agree with black, is not the same color which is affirmed to agree with white. The term, in fact, denotes one thing in the one proposition, and another in the other. A syllogism thus constructed, is invalid. Hence the rule, that themiddle term must be distributed, or taken in its completeness, to include the whole class which it properly denotes,at least once in the premises. This is done either by making it thesubject of an affirmative, or thepredicate of a negative proposition; as, All men are mortal, or, No vice is useful. Here the term man in the one case, and the term useful in the other, are each distributed or taken in their completeness. There is no individual to whom the term man can properly be applied, who is not included in the expression, all men, nor is there any useful thing which is not here denied of vice.
What distributed in the Conclusion.—On the same principle,no term must be distributed in the conclusion which was not distributed in one of the premises. This rule is violated in the following syllogism, All birds are bipeds; no man is a bird; therefore, no man is a biped. Here the term biped, in the major premiss, is not taken in its completeness, since many creatures besides birds are bipeds. Birds are only one sort of bipeds. In the conclusion, however, the term biped, being the predicate of a negative proposition, is distributed, the whole class of bipeds is spoken of, and man is excluded from the whole class. The syllogism is, of course, invalid.
Law of negative Premiss.—It is further a law of the syllogism, thatfrom negative premises nothing can be inferred. Also, thatif one premiss is negative, the conclusion will be negative.
Law of particular Premiss.—From two particular premises nothing follows, but if one premiss is particular, the conclusion will be so.
These rules are too obvious, and too easily verified, to require illustration.
IV.Different Kinds of Syllogism.
Syllogisms differ.—We have mentioned as yet only those properties of the syllogism which universally belong to it. There are differences, however, which require to be noticed, and which constitute a distinction of some importance, presenting, in fact, two distinct kinds of syllogism.
Two Modes of procedure.—There are manifestly two entirely distinct modes of procedure in reasoning. We may infer from the whole to the parts, or from the parts to the whole. The former is called deductive, the latter inductive reasoning. The one is precisely the reverse of the other in method of procedure. Each is a perfectly valid method of reasoning, and each is, in itself, a distinct and valid kind of syllogism. Each requires the other. The deductive is wholly dependent on the inductive for its major premiss, which is only the conclusion of a previous induction, while, on the other hand, the induction is valuable chiefly as preparing the way for subsequent deduction. Each has equal claims with the other to be regarded as a distinct and independent form of syllogism. They have not, however, been so treated by logicians, but, on the contrary, the inductive method has been regarded, almost universally, as a mere appendage of the deductive, an imperfect form of one or another of the several figures of the syllogism deductive. Of this we shall have occasion to speak more fully in the historical sketch.
The two Modes compared.—The precise relation of the two modes will best appear by the comparison of the following syllogisms. The inductive syllogism runs thus:x, y, z, are A;x, y, z, constitute B; therefore, B is A.
The deductive runs thus: B is A;x, y, z, constitute B; therefore,x, y, z, are A.
The latter, it will be seen at a glance, is the precise counterpart of the other, beginning where the former ends, and exactly reversing the several steps in their order.
The Law of each.—The general law or rule which governs the former, is, What belongs (or does not belong) to all the constituent parts, belongs (or does not belong) to the constituted whole. The law of the latter is, What belongs (or not) to the containing whole, belongs (or not) to all the contained parts.
Application of the inductive Method.—Applying the inductive method to a particular case, we reason thus: Magnetsx, y, z, etc., including so many as I have observed, attract iron. But it is fair to presume that what I have observed as true ofx, y, z, is equally true ofe, f, g, and all other magnets; in other words,x, y, z, do represent, and may fairly be taken as constituting the whole class of magnets; consequently, I conclude that all magnets attract iron. Thus stated, the truth which was at first observed and affirmed only of particular instances, becomes a general proposition, and may, in turn, become the premiss of a process of deduction. Thus, from the general proposition, obtained as now explained by the inductive mode, that all horned animals ruminate, I may proceed, by the deductive mode, to infer that this is true of deer or goats, or any particular species or individual whose habits I have not as yet observed.
V.Different Forms of Syllogism.
The Form of Statement not invariable.—As there are different kinds of syllogism, so also there are different forms in which any kind of syllogism may be stated. These forms are not essential, pertaining to the nature of the syllogism itself, but accidental, pertaining merely to the order of announcing the several propositions. It has already beenremarked, in speaking of the general structure of the syllogism, that the order of propositions is not essential. Either premiss may precede, either follow. Nay, we may statefirst the conclusion, andthen the reasons,or grounds. This latter method, as Hamilton has shown in hisNew Analytic of Logical forms, is perfectly valid, though usually neglected by writers on logic. It is not only valid, but the more natural of the two methods. When asked if Socrates is mortal, it is more natural to say, He is mortal, for he is a man, and all men are mortal, than to say, All men are mortal, he is a man, and therefore, he is mortal. In fact, most of our reasoning takes the first of these forms. The two are designated by Hamilton, respectively, as theanalyticandsyntheticsyllogism.
Order of Premises may vary.—As to the order of the premises, which shall precede the other, this, too, is quite unessential and accidental. The earlier method, practised by Greek, Arabian, Jewish and Latin schools, was to state first the minor premiss, precisely the reverse of our modern custom.
Order of Terms not essential.—The order of theterms, in the several propositions, is also accidental rather than essential. There are several possible and allowable arrangements of these terms with reference to the order of precedence and succession, giving rise to what are calledfiguresof the syllogism. These arrangements and figures have usually been reckoned as four; three only are admitted by Hamilton, the fourth being abolished. The first figure occurs when the middle term is the subject of one premiss and the predicate of the other. The second figure gives the middle term the place of predicate in both premises. The third makes it the subject of both.
A further Variation.—There is still another form of statement, in which the terms compared are not, as above, severally subject and predicate, but, in the same proposition, are both subject, or both predicate, as when we say, A and B are equal; B and C are equal; therefore, A and C areequal. This is a valid synthetic syllogism, though not recognized by logicians previously to theNew Analyticof Hamilton. It is termed by him the unfigured syllogism.
Hypothetical reasoning not syllogistic.—It has been customary to treat ofhypotheticalreasoning, in its two forms of conditional and disjunctive, as forms or kinds of syllogism. As when we say, if A is B, C is D; but A is B, therefore C is D; or, disjunctively, either A is B, or C is D; but A is not B, therefore C is D. These, however, are not properly syllogisms. The inference is not mediate, through comparison with a common or middle term, butimmediate, whereas the syllogism is, in all its forms, a process of mediate inference.
Summary of Distinctions.—To sum up the distinctions now pointed out. All inference is either immediate, as in the case of hypothetical reasoning, whether conjunctive or disjunctive, or else mediate, as in the syllogism. The latter may be inductive or deductive; and, as to form, analytic or synthetic, figured or unfigured.
VI.Laws of Thought on which the Syllogism depends.
Statement.—There are certain universal laws of thought on which all reasoning, and, of course, all syllogisms, depend. These laws, according to Hamilton, are the principles ofidentity, ofcontradiction, and ofexcluded middle; from which primary laws results a fourth, that ofreason and consequent.
Law of Identity, what.—The principle ofidentitycompels us to recognize the equivalence of a whole and its several parts taken together, as applied to any conception and its distinctive characters. As, for example, the sameness or equivalence of the notion man with the aggregate of qualities or characters that constitute that notion.
Law of Contradiction, what.—The law of contradiction is the principle that what is contradictory is unthinkable:as, for example, that A has, and yet has not, a given quality, B.
Law of excluded Middle.—The principle ofexcluded middleis this, that of two contradictory notions, we must think one or the other to be true; as, that A either has or has not the quality B.
Law of Reason and Consequent.—From these primary principles results the law ofreason and consequent. All logical inference is based on that law of our nature, that one notion shall always depend on another. This inference is of two kinds, from the whole to the parts, or from the parts to the whole, respectively called deductive and inductive, as already explained.
Certain Points not included in the preceding Synopsis.—I have presented, as was proposed, in brief outline, a synopsis of the forms of reasoning. For a full treatment of these forms, and the laws which govern them, the treatises on logic must be consulted.
Some things usually considered essential to logical forms, as themodalityof propositions and syllogisms, and theconversionof the other figures of the syllogism into the first, I have not included in the above outline, for the reason that the former does not properly fall within the province of logic, which has to do only with theformand not with thematterof a proposition or an argument, while, as to the latter, it is only an accidental, and not an essential circumstance, what may be the figure of a syllogism, and it is, therefore, of no importance to reduce the second and third figures to the first.
VII.Use and Value of the Syllogism.
Having considered the various forms which the syllogism may assume, as also the laws or canons which govern it, we proceed to inquire, finally, as to itsuseandvaluein reasoning.
All mediate reasoning syllogistic.—It must beconceded, I think, that allmediatereasoning, all inference, which is not immediate and direct, but which, in order to reach its conclusion, compares one thing with another, is essentially syllogistic. The greater part of our reasoning processes are of this sort. When fully and explicitly stated, such reasoning resolves itself into some form of syllogism. It is not, as sometimes stated,amode of reasoning, butthemode which all reasoning, except such as is direct and immediate, tends to assume. Not always, indeed, is this reasoning fully drawn out and explicitly stated, but all valid reasoning admits of being thus stated; nay, it is not, as to form at least, complete until it is so expressed.
Not always syllogistically expressed.—In ordinary conversation, and even in public address, we omit many intermediate steps in the trains and processes of our arguments, for the reason that their statement is not essential to our being understood, the hearer's mind supplying, for itself, the connecting links as we proceed; just as in speaking or writing, we make many abbreviations, drop out some letters and syllables here and there, in our hasty utterance, and yet all such short-hand processes imply and are based upon the full form; and it would be as correct and as reasonable to say that the fully written or fully spoken word is merelyamode of speaking and writing, which, when the grammarian and rhetorician come into contact with common people, they lay aside for the ordinary forms of speech, as to say that syllogism is merelyamode of reasoning, which the logician lays aside when he comes out of his study, and reasons with other men.
Chief Value of the Syllogism.—The chief use of the syllogism, I apprehend, however, to be, not in presenting a train of argument for the purpose of convincing and persuading others; for the laws of thought do not require us in such a case to state every thing that is even essential to the argument, but only so much as shall clearly indicate our meaning, and enable the hearer or reader to follow us; butrather in testing the soundness or detecting the unsoundness of an argument, whether our own, or that of an opponent. For this purpose, an acquaintance with the forms and laws of syllogism may be of great service to the writer and to the orator.
Objection to the Syllogism.—But it is objected to the syllogism that it is of no value in the discovery and establishment of truth, inasmuch as, by the very laws of the syllogism, there can be nothing more in the conclusion than was assumed in the premises. There is, and can be, in this way, no progress from the known to the unknown. The very construction of the syllogism, it is said, involves apetitio principii. When I say, All men are mortal; Socrates is a man; therefore, Socrates is mortal; the major premiss, it is said, affirms the very thing to be proved; that Socrates is mortal is virtually affirmed in the proposition thatallmen are so. Either, then, the syllogism proves nothing which was not known before, or else the general proposition, with which it sets out, is unwarranted, as asserting more than we know to be true, and, in that case, the conclusion is equally unreliable; in either case nothing is gained by the process; the syllogism is worthless.
Lies equally against all reasoning.—This objection, if valid against the syllogism, is valid against and overthrows not the syllogism merely, but all reasoning of whatever kind, and in whatever form. It is an objection which really applies, not to the form which an argument may happen to assume, but to the essential nature of reasoning itself. As was shown in discussing the nature of the reasoning process, all reasoning is, in its nature, essentially analytic. It is the evolution of a truth that lies involved in some already admitted truth. It simply develops, draws out, what was therein contained. Its starting-point must always be some admitted position, its conclusions must always be some inevitable necessary consequence of that admission. The mortality of Socrates is, indeed, involved and contained inthe general proposition which affirms the mortality of all men, and so, also, is every inferred truth contained in that from which it is inferred.
Conclusion not affirmed in the Premiss.—But whilecontained, it is notaffirmed, in the premiss. To say that all men are mortal, is not to say that Socrates is so, but only to say what implies that. The conclusion which draws out and affirms what was involved, but not affirmed, in the premiss, is an advance in the order of thought, a step of progress, and not merely an idle repetition, and the syllogism, as a whole, moves the mind onward from the starting-point to a position not otherwise explicitly and positively reached. It is a movement onward, and not merely a rotation of the wheel about its own axis.
The Form accidental.—In so far as the objection ofpetitio principiirelates, not to thenatureof reasoning, but only to itsform, this is entirely a matter of accident, and does not pertain to the syllogism as such. As was shown in treating of the different forms of syllogism, the order of the propositions is not essential. We may, if we like, state the conclusion first, and then the reasons, as, All A is C, for all A is B, and all B is C; or we may state the same thing in a different form, as, A and B are equal; B and C are equal; therefore, A and C are equal. Both are syllogisms, the formeranalytic, the latterunfigured, but to neither does the objection ofpetitio principiiapply so far as regards the mere form of statement. Nor does it apply to that form of syllogism in which the major premiss is a singular proposition, as,e. g., Cæsar was fortunate; Cæsar was a tyrant; therefore, a tyrant may be fortunate. Here the subject of the conclusion is not formally contained in that of the major premiss, as Socrates is contained in the expression, all men, a part of the whole.
Objection inapplicable to the inductive Syllogism.—Nor does the objection apply again to theinductivesyllogism, in which the conclusion is more comprehensive than the premiss.The objection applies, in fact, only to the deductive syllogism, and to that only in its synthetic form, and to that only as figured, and as presenting, in its major premiss, other than a singular proposition.
Major Premiss, whence derived.—But whence, it may still be asked, comes the general proposition which every deductive syllogism contains, whether analytic or synthetic, the propositione. g., that all men are mortal? Whether this be stated before or after the conclusion is a mere matter of form; but what is our authority for stating such a proposition at all? How do we know that which is here affirmed?
I reply, it is a truth reached by previous induction. Every deduction implies previous induction. I observe the mortality of individuals,x,y,z. I find no exceptions. My observation extends to a great number of cases, insomuch that I am authorized to take those cases as fairly representing the whole class to which they belong. I conclude, therefore, that what I have observed of the many is true of the whole. So comes the general proposition, All men are mortal.
Authority for this Belief.—But what reason have I to believe that what is true of the many is true of the whole, and how do I know this? I reply, I do not know it by observation, nor by demonstration; my belief of it rests upon, and resolves itself into, that general law or constitution of the mind according to which I am led to expect, under like circumstances, like results, in other words, that nature acts uniformly. This is my warrant, and my only warrant, for the inference, that what I have observed in many cases is true in others that I have not observed.
A Difficulty suggested.—But in what manner, now, shall this mere belief of mine, for it is nothing more, come to take its place as a general proposition, as positive categorical affirmation in the syllogism whose major premiss reads, All men are mortal?
A law of the mind may be a sufficient explanation of my belief; but the science of syllogisms cannot take cognizance of laws of the mind, as such, and has nothing to do with beliefs, but is concerned only with theformsin which an argument shall be presented. Those forms must be conclusive. How shall I convert, then, my conjecture, my plausible belief, in the present case, into that general positive affirmation which alone will answer the demands of the syllogism?
The Process explained.—The process is this: The precise result of my observation stands thus—x,y,z, are mortal. But I know thatx,y,z, are so numerous as fairly to represent the class to which they belong. On the strength of this position, the inductive syllogism takes its stand, and overlooking the fact that there are some cases which have not fallen under my observation,positively affirmswhat I onlybelieveandpresumeto be true, and the argument then reads,x,y,z, are mortal. Butx,y,z, are all men, therefore, all men are mortal.
The general proposition thus reached by induction becomes, in turn, the major premiss of the deductive syllogism, which concludes, from the mortality of all men, that of Socrates in particular.
Position of Mill.—An able and ingenious writer, Mr. Mill, in his treatise on logic, takes the ground that we have no need to embody the result of our observations in the form of a general proposition, from which again to descend to the particular conclusion, but that, dispensing with the general proposition altogether, and with the syllogism of every kind and form, we may, and virtually do, reason directly from one particular instance to another, as,e. g.,x,y,z, are mortal; therefore,f,g,h, are so. "If from our experience of John, Thomas, etc., who were once living, but are now dead, we are entitled to conclude that all human beings are mortal, we might surely, without any logical inconsequence, have concluded at once, from those instances, that the Duke of Wellington is mortal. The mortality ofJohn, Thomas, and company, is, after all, the whole evidence we have of the mortality of the Duke of Wellington. Not one iota is added to the proof by interpolating a general proposition." Our earliest inferences, he contends, are precisely of this sort. The child burning his fingers, reasons thus: "That fire burnt me, therefore this will." He does not generalize, "All fire burns; this is fire; therefore, this will burn." The only use of a general proposition, Mill contends, is simply to furnish collateral security for the correctness of our inference.
Remarks upon this View.—This view sweeps away at once, and forever, all mediate reasoning, and shuts us up to the narrow limits of such inference alone as proceeds from a given instance directly to a conclusion therefrom. No doubt we do sometimes reason thus. But it is a reasoning, the conclusiveness of which is not, and cannot be made, apparent by any form of statement. If called in question, we can only say, I think so, or, I believe so. The mortality of John does not prove the mortality of Thomas. It may not even render it probable; it is only when I have observed such and so many cases as to leave no reasonable doubt that the property in questionis a law of the class as such, andnot a mere accident of the individual, that I am really warranted in the belief that any individual, not as yet observed, will come under the same law, because belonging to the same class. To reason in this way is to generalize; whatever process stops short of this, stops so far short of any and all conclusive evidence of the truth of what it affirms.
VIII.Historical Sketch of the Science of Logic.
Indian Logic earlier than that of Aristotle.—It is of the Greek logic, that of Aristotle, that we usually speak when we have occasion to refer to this science. It is usually attributed to Aristotle, indeed, as his peculiar glory, that he should at once have originated, and brought to perfection, a science which, for more than two thousand years,has received few alterations, found few minds capable of suggesting improvements. Recent labors of Orientalists have, however, brought to light the fact that in India, long before the palmy days of Grecian philosophy, logic was pursued with vigor as a study and science. The Nyàya of Gotama holds, in the Indian systems of philosophy, much the same place that the Organon of Aristotle holds with us. The two, however, are quite independent of each other. Aristotle was no disciple of Gotama.
Aristotle's Logic not perfect.—Nor, on the other hand, was the logic of Aristotle by any means perfect, as it is often represented. Its imperfections are many, and have been, for the most part, faithfully copied by his disciples.
Aristotle the first Greek Logician.—Previous to Aristotle there had been nothing worthy the name of science in this department of philosophy. The Sophists had made some attempts at logic, but of no great value. Plato had not devoted much attention to it. Aristotle himself says, in the close of his Organon, that he had worked without models or predecessors to guide him.
Subsequent Writers.—The work of Aristotle is in six parts, the first four treating of logic pure, the remaining two of its application. The school of Aristotle carried the cultivation and study of logic to a high degree. Theophrastus and Eudemus labored assiduously as commentators on their master, but made no change in the essential principles of the system. The Stoics, however, gave logic more attention and honor, more time and care, than did any other of the rival schools of philosophy. They sought to enlarge its boundaries and make it an instrument for the discovery of truth. It held the first place in their system, ethics and physics ranking after it.
St. Hilaire is wrong in saying that with Epicurus logic was of little consideration, that sensation was the source and criterion of thought with that school. The Epicureanlogic was a peculiar system, differing from the Aristotelian, and very little known in the subsequent centuries.
In Alexandria the logic of Aristotle was in great honor, and had numerous commentators in the first centuries of the Christian era.
Introduced into Rome.—For a time the original works of Aristotle were lost. They lay buried in an obscure retreat whither they had been carried for safe preservation, and no one knew what they were. Sylla, capturing the city, brought them to Rome, where they were discovered to be the works of the great master, and Cicero gives them, with some labor and learning, to the public. But the Roman mind never mastered the logic of Aristotle. In all Roman philosophy, says St. Hilaire, there is scarcely a logician worthy of the name.
For several centuries, if not in Rome, yet in Alexandria and Athens, in Greece and in Egypt, the logic of Aristotle continued to be assiduously cultivated.
Logic in the Middle Ages.—It was in the middle ages, however, that logic received its chief cultivation and its highest honors. Aristotle was for some six centuries almost the only teacher of the human mind, and the Organon was the foundation of his knowledge. Nor during the irruption of the northern hordes, and the revolutions of society, and empire, and human manners, which followed, did the philosophy and logic of Aristotle pass out of sight or out of mind. It seemed impossible for any revolution of empire or of time to shake its foundations or break its sceptre over the human mind. In the seventh century, Isidore of Seville, and Bede the Venerable, gave it their labors and renown. In the eighth, Alcuin introduced it into the court of Charlemagne. In the twelfth, Abelard, and the controversy between the Realists and Nominalists, gave this science still more importance.
Logic in the Arabian Schools.—Meanwhile, the Mohammedans had been in advance of the Christians in the study of this science. The Arabs had inherited the learningof antiquity, and had carried the cultivation of the peripatetic philosophy to a high degree of perfection more than a century before it had received the homage of the West. From Arabia it passed, with the march of conquest, into Spain, and some of the ablest commentators Europe has produced, on the works of Aristotle, have been the Moors of Spain.
Continuance of Aristotle's Dominion.—The Crusades tended only to enlarge the sphere of this influence. Such men as Albert the Great, and Thomas Aquinas, became, in the thirteenth century, expounders of Aristotle. Not till the sixteenth century did this long dominion over the human mind show symptoms of decadence.
The Reformers.—Luther, among the Protestant reformers, sought to banish logic from the schools; but it was retained, and in the Protestant universities was still professed.
Attacks upon Aristotle.—It now became the fashion, however, in certain quarters, especially among the mystics in the Catholic communion, to decry Aristotle, and each original genius took this way to show his independence. Ramus is noted among these. Bacon followed in this track, and did little more than repeat the invectives of his predecessors. He attempted to set aside the syllogism, and put in its place induction.
Induction, however, in some form, is as old as the syllogism. From Plato and Aristotle downward, a thousand philosophers had availed themselves of this method of reasoning and had also stated and defended it.
The Moderns.—From Bacon and Descartes till our day logic has been in process of decadence. Locke condemns it. Reid and the Scotch school ridicule its pretensions. Kant and Hegel, on the other hand, give it a due place in their systems—the latter especially; while in France, it has admirers in St. Hilaire, Cousin, and others of like genius; and in Edinburgh, the great Hamilton devoted to it the powers of his unrivalled intellect.
Logic of Hamilton.—As no writer, since the days of Aristotle, has done more to complete and perfect the science of reasoning, than Sir William Hamilton, it seems due that even so brief a sketch of the history of logic as the present, should indicate, at least, the more important changes which his system introduces. Whatever may be thought of some of his views and proposed reforms in this ancient science and sanctuary of past learning, it is not too much to say, that no writer on logic can henceforth present a claim to be considered, who has not, at least, thoroughly mastered and carefully weighed these views and proposed changes, even if he do not adopt them. They are, moreover, for the most part, changes so obviously demanded in order to the completeness of the science, and so thorough-going withal, that they are destined, it would seem, to be sooner or later adopted, and if adopted, to work a radical change in the whole structure of this ancient and time-honored science.
I shall attempt nothing more, in this connection, than, in the briefest manner, to enumerate some of the more important of these improvements.
Assigns Induction its true Place.—Hamilton is the first, so far as I know, to elevate to its true place the inductive method of reasoning, making it coördinate with the deductive, and assigning its true character and value as a form of syllogism.
Recognizes the analytic Syllogism.—He is the first to bring to notice the claims of theanalyticsyllogism to a distinctive place and recognition in logic; a form of reasoning, which, however natural and necessary, and in use almost universal, had been strangely overlooked by logicians from Aristotle down.
Rejects Modality.—He strenuously and consistently rejects the modality of the proposition and the syllogism, on the ground that logic is not concerned with the character of the matter, whether it be true or false, necessary or contingent, but only with the form of statement, and consequently,all distinctions founded on the truth or falsity, the necessity or contingence of the matter, are utterly irrelevant to the science—a principle admitted by others, but not previously carried out to its true results.
Doctrine of Figure.—He shows that the figure of the syllogism is a matter accidental, rather than essential, that it may be even entirelyunfigured; abolishes the fourth figure as superfluous; and sets aside, as quite useless and unnecessary, the old laborious processes of reducing and connecting the several figures to the first.
Rejects hypothetical Syllogism.—He throws out of the syllogism entirely, the so-calledhypotheticalforms, both conjunctive and disjunctive, as reducible toimmediateinference, and not, therefore, to be included under syllogistic reasoning, which is always mediate.
The single Canon.—He reduces the several laws and canons of the figured syllogism to a single comprehensive canon.
Quantification of the Predicate.—But the most important discovery made by Hamilton in this science, is the quantification of the predicate. The predicate is always a given quantity in relation to the subject, and that quantity should be stated. This, logicians have always overlooked, quantifying only the subject, as, All men, Some men, etc., but never the predicate. Fully quantified, the proposition reads, All man issomeanimal, no animal, etc.,i. e., some sort or species of animal. This doubles the number of possible propositions, giving eight in place of four, and gives a corresponding increase in the number of words. These eight propositions are shown to be, not only possible, but admissible and valid. They are thus enumerated and named:
Reference.—For a more full and exact account of Hamilton's system, the reader is referred to the article on logic in the volume ofDiscussions on Philosophy and Literature, by Sir W. Hamilton; also, to "An Essay on the New Analytic of Logical Forms," by Thomas Spencer Baynes, L. L. B. On the history of logic in general, seeDictionnaire des Sciences Philosophiques—ArticleLogique, by Barthèleme St. Hilaire, Professor of Philosophy to the College of France, member of the Institute, etc., etc.; also, Blakey'sHistory of Logic. TheMemoirof St. Hilaire, on the logic of Aristotle, is one of the best works of modern times on the subject of which it treats.