"It must be granted, that in every syllogism, considered as an argument to prove the conclusion, there is a petitio principii. When we say—
'All men are mortal.
Socrates is a man;
THEREFORE
Socrates is mortal'—
it is unanswerably urged by the adversaries of the syllogistic theory, that the proposition, Socrates is mortal, is presupposed in the more general assumption, All men are mortal; that we cannot be assured of the mortality of all men, unless we were previously certain of the mortality of every individual man; that if it be still doubtful whether Socrates, or any other individual you choose to name, be mortal or not, the same degree of uncertainty must hang over the assertion, All men are mortal; that the general principle, instead of being given as evidence of the particular case, cannot itself be taken for true without exception, until every shadow of doubt which could affect any case comprised with it, is dispelled by evidence aliundè, and then what remains for the syllogism to prove? that, in short, no reasoning from generals to particulars can, as such, prove any thing; since from a general principle you cannot infer any particulars, but those which the principle itself assumes as foreknown.
"This doctrine is irrefragable; and if logicians, though unable to dispute it, have usually exhibited a strong disposition to explain it away, this was not because they could discover any flaw in the argument itself, but because the contrary opinion seemed to rest upon arguments equally indisputable. In the syllogism last referred to, for example, or in any of those which we previously constructed, is it not evident that the conclusion may, to the person to whom the syllogism is presented, be actually and bona fide a new truth? Is it not matter of daily experience that truth previously undreamt of, facts which have not been, and cannot be, directly observed, are arrived at by way of general reasoning? We believe that the Duke of Wellington is mortal. We do not know this by direct observation, since he is not yet dead. If we were asked how, this being the case, we know the Duke to be mortal, we should probably answer, because all men are so. Here, therefore, we arrive at the knowledge of a truth not (as yet) susceptible of observation, by a reasoning which admits of being exhibited in the following syllogism—
'All men are mortal.
The Duke of Wellington is a man;
THEREFORE
The Duke of Wellington is mortal.'
"And since a large portion of our knowledge is thus acquired, logicians have persisted in representing the syllogism as a process of inference or proof; although none of them has cleared up the difficulty which arises from the inconsistency between that assertion and the principle, that if there be any thing in the conclusion which was not already asserted in the premisses, the argument is vicious. For it is impossible to attach any serious scientific value to such a mere salvo, as the distinction drawn between being involved by implication in the premisses, and being directly asserted in them. When Archbishop Whately, for example, says that the object of reasoning is 'merely to expand and unfold the assertions wrapt up, as it were, and implied in those with which we set out, and to bring a person to perceive and acknowledge the full force of that which he has admitted,' he does not, I think, meet the real difficulty requiring to be explained; namely, how it happens that a science like geometry can be all 'wrapt up' in a few definitions and axioms. Nor does this defence of the syllogism differ much from what its assailants urge against it as an accusation, when they charge it with being of no use except to those who seek to press the consequence of an admission into which a man has been entrapped, without having considered and understood its full force. When you admitted the major premiss, you asserted the conclusion, 'but,' says Archbishop Whately, 'you asserted it by implication merely; this, however, can here only mean that you asserted it unconsciously—that you did not know you were asserting it; but if so, the difficulty revives in this shape. Ought you not to have known? Were you warranted in asserting the general proposition without having satisfied yourself of the truth of every thing which it fairly includes? And if not, what, then, is the syllogistic art but a contrivance for catching you in a trap, and holding you fast in it?'
"From this difficulty there appears to be but one issue. The proposition, that the Duke of Wellington is mortal, is evidently an inference, it is got at as a conclusion from something else; but do we, in reality, conclude it from the proposition—All men are mortal? I answer, No.
"The error committed is, I conceive, that of overlooking the distinction between the two parts of the process of philosophizing—the inferring part and the registering part; and ascribing to the latter the functions of the former. The mistake is that of referring a man to his own notes for the origin of his knowledge. If a man is asked a question, and is at the moment unable to answer it, he may refresh his memory by turning to a memorandum which he carries about with him. But if he were asked how the fact came to his knowledge, he would scarcely answer, because it was set down in his note-book.
"Assuming that the proposition, The Duke of Wellington is mortal, is immediately an inference from the proposition, All men are mortal, whence do we derive our knowledge of that general truth? No supernatural aid being supposed, the answer must be, from observation. Now, all which men can observe are individual cases. From these all general truths must be drawn, and into these they may be again resolved; for a general truth is but an aggregate of particular truths—a comprehensive expression, by which an indefinite number of individual facts are affirmed or denied at once. But a general proposition is not merely a compendious form for recording and preserving in the memory a number of particular facts, all of which have been observed. Generalization is not a process of mere naming, it is also a process of inference. From instances which we have observed, we feel warranted in concluding, that what we found true in those instances holds in all similar ones—past, present, and future, however numerous they may be. We, then, by that valuable contrivance of language, which enables us to speak of many as if they were one, record all that we have observed, together with all that we infer from our observations, in one concise expression; and have thus only one proposition, instead of an endless number, to remember or to communicate. The results of many observations and inferences, and instructions for making innumerable inferences in unforeseen cases, are compressed into one short sentence.
"When, therefore, we conclude, from the death of John and Thomas, and every other person we ever heard of in whose case the experiment had been fairly tried, that the Duke of Wellington is mortal like the rest, we may, indeed, pass through the generalization, All men are mortal, as an intermediate stage; but it is not in the latter half of the process—the descent from all men to the Duke of Wellington—that the inference resides. The inference is finished when we have asserted that all men are mortal. What remains to be performed afterwards is merely deciphering our own notes.
"Archbishop Whately has contended, that syllogizing, or reasoning from generals to particulars, is not, agreeably to the vulgar idea, a peculiar mode of reasoning, but the philosophical analysis of the mode in which all men reason, and must do so if they reason at all. With the deference due to so high an authority, I cannot help thinking that the vulgar notion is, in this case, the more correct. If, from our experience of John, Thomas, &c. who once were 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 Wellington is mortal. The mortality of John, Thomas, and Company, is, after all, the whole evidence we have for the mortality of the Duke of Wellington. Not one iota is added to the proof by interpolating a general proposition. Since the individual cases are all the evidence we can possess; evidence which no logical form into which we choose to throw it can make greater than it is; and since that evidence is either sufficient in itself, or, if insufficient for one purpose, cannot be sufficient for the other; I am unable to see why we should be forbidden to take the shortest cut from these sufficient premisses to the conclusion, and constrained to travel the 'high priori road' by the arbitrary fiat of logicians. I cannot perceive why it should be impossible to journey from one place to another, unless 'we march up a hill