more interesting and more difficult. From the circumstances which they have stated, it would seem that the intention of the author was to extend to all the other branches of knowledge, inferences similar to those which he has here endeavoured to establish with respect to mathematical calculations; and much regret is expressed by his friends, that he had not lived to accomplish a design of such incalculable importance to human happiness. I believe I may safely venture to assert, that it was fortunate for his reputation he proceeded no farther; as the sequel must, from the nature of the subject, have afforded, to every competent judge, an experimental and palpable proof of the vagueness and fallaciousness of those views by which the undertaking was suggested. In his posthumous volume, the mathematical precision and perspicuity of his details appear to a superficial reader to reflect some part of their own light on the general reasonings with which they are blended; while, to better judges, these reasonings come recommended with many advantages and with much additional authority, from their coincidence with the doctrines of the Leibnitzian school.

It would probably have been not a little mortifying to this most ingenious and respectable philosopher, to have discovered, that, in attempting to generalize a very celebrated theory of Leibnitz, he had stumbled upon an obsolete conceit, started in this island upwards of a century before. "When a man reasoneth (says Hobbes) he does 'nothing else but conceive a sum total, from addition of 'parcels; or conceive a remainder from subtraction of one "sum from another; which (if it be done by words) is "conceiving of the consequence of the names of all the "parts, to the name of the whole; or from the names of "the whole and one part, to the name of the other part."These operations are not incident to numbers only, but

"to all manner of things that can be added together, and "taken one out of another.-In sum, in what matter soever "there is place for addition and subtraction, there also is "place for reason; and where these have no place, there 66 reason has nothing at all to do.

for

"Out of all which we may define what that is which is "meant by the word reason, when we reckon it amongst "the faculties of the mind. For reason, in this sense, is "nothing but reckoning (that is, adding and subtracting) "of the consequences of general names agreed upon, "the marking and signifying of our thoughts;-I say "marking them, when we reckon by ourselves; and sig"nifying, when we demonstrate, or approve our reckonings to other men."*

66

Agreeably to this definition, Hobbes has given to the first part of his elements of philosophy, the title of COMPUTATIO, sive LOGICA; evidently employing these two words as precisely synonymous. From this tract I shall quote a short paragraph, not certainly on account of its intrinsic value, but in consequence of the interest which it derives from its coincidence with the speculations of some of our contemporaries. I transcribe it from the Latin edition, as the antiquated English of the author is apt to puzzle readers not familiarized to the peculiarities of his philosophical diction.

"Per ratiocinationem autem intelligo computationem. "Computare vero est plurium rerum simul additarum "summam colligere, vel und re ab aliâ detractâ, cognos"cere residuum. Ratiocinari igitur idem est quod addere "et subtrahere, vel si quis adjungat his multiplicare et "dividere, non abnuam, cum multiplicatio idem sit quod "æqualium additio, divisio quod æqualium quoties fieri

*Leviathan, Chap. v.

potest subtractio. Recidit itaque ratiocinatio omnis ad "duas operationes animi, additionem et subtractionem.”* How wonderfully does this jargon agree with the assertion of Condillac, that all equations are propositions, and all propositions equations!

These speculations, however, of Condillac and of Hobbes relate to reasoning in general; and it is with mathematical reasoning alone, that we are immediately concerned at present. That the peculiar evidence with which this is accompanied is not resolvable into the perception of identity, has, I flatter myself, been sufficiently proved in the beginning of this article; and the plausible extension by Condillac of the very same theory to our reasonings in all the different branches of moral science, affords a strong additional presumption in favour of our conclusion.

From this long digression, into which I have been ininsensibly led by the errours of some illustrious foreigners concerning the nature of mathematical demonstration, I now return to a further examination of the distinction between sciences which rest ultimately on facts, and those in which definitions or hypotheses are the sole principles of our reasonings.

III.

Continuation of the Subject.-Evidence of the Mechanical Philosophy, not to be confounded with that which is properly called Demonstrative or Mathematical.Opposite Errour of some late Writers.

NEXT to geometry and arithmetic, in point of evidence and certainty, is that branch of general physics which is

*The Logica of Hobbes has been lately translated into French, under the title of Calcul ou Logique, by M. Destutt-Tracy. It is annexed to the third volume of his Elemens d'Ideologie, where it is honoured with the highest eulogies by the ingenious translator. "L'ouvrage en masse (he observes in one passage) mérite d'être regardé comme un produit precieux des méditations de Bacon et de Descartes sur le systême d'Aristote, et comme le germe des progrès ultérieures de la science." (Disc. Prel. p. 117.)

now called mechanical philosophy;-a science in which the progress of discovery has been astonishingly rapid, during the course of the last century; and which, in the systematical concatenation and filiation of its elementary principles, exhibits every day more and more of that logical simplicity and elegance which we admire in the works of the Greek mathematicians. It may, I think, be fairly questioned, whether, in this department of knowledge, the affectation of mathematical method has not been already carried to an excess; the essential distinction between mechanical and mathematical truths being, in many of the physical systems which have lately appeared on the con. tinent, studiously kept out of the reader's view, by exhibiting both, as nearly as possible, in the same form. A variety of circumstances, indeed, conspire to identify in the imagination, and, of consequence, to assimilate in the mode of their statement, these two very different classes of propositions; but as this assimilation (beside its obvious tendency to involve experimental facts in metaphysical mystery) is apt occasionally to lead to very erroneous logical conclusions, it becomes the more necessary, in proportion as it arises from a natural bias, to point out the causes in which it has originated, and the limitations with which it ought to be understood.

The following slight remarks will sufficiently explain my general ideas on this important article of logic.

1. As the study of the mechanical philosophy is, in a great measure, inaccessible to those who have not received a regular mathematical education, it commonly happens, that a taste for it is, in the first instance, grafted on a previous attachment to the researches of pure or abstract mathematics. Hence a natural and insensible transference to physical pursuits, of mathematical habits of thinking; and hence an almost unavoidable propensity to give to the for

mer science, that systematical connection in all its various conclusions, which, from the nature of its first principles, is essential to the latter, but which can never belong to any science which has its foundations laid in facts collected from experience and observation.

2. Another circumstance, which has co-operated powerfully with the former in producing the same effect, is that proneness to simplification which has misled the mind, more or less, in all its researches; and which, in natural philosophy, is peculiarly encouraged by those beautiful analogies which are observable among different physical phenomena;-analogies, at the same time, which, however pleasing to the fancy, cannot always be resolved by our reason into one general law. In a remarkable analogy, for example, which presents itself between the equality of action and re-action in the collision of bodies, and what obtains in their mutual attractions, the coincidence is so perfect, as to enable us to comprehend all the various facts in the same theorem; and it is difficult to resist the temptation which it seems to offer to our ingenuity, of attempting to trace it, in both cases, to some common principle. Such trials of theoretical skill I would not be understood to censure indiscriminately; but, in the present instance, I am fully persuaded, that it is at once more unexceptionable in point of sound logic, and more satisfactory to the learner to establish the fact, in particular cases, by an appeal to experiment; and to state the law of action and re-action in the collision of bodies, as well as that which regulates the mutual tendencies of bodies towards each other, merely as general rules which have been obtained by induction, and which are found to hold invariably as far as our knowledge of nature extends.*

It is observed by Mr. Robison, in his Elements of Mechanical Philosophy, that 'Sir Isaac Newton, in the general scholium on the laws of motion, seems to consider the equality of action and re-action, as an axiom deduced from the relations of ideas. But this (says Mr.