Econlib

The Library

Other Sites

Front Page arrow Titles (by Subject) arrow Introduction - The Collected Works of John Stuart Mill, Volume VII - A System of Logic Ratiocinative and Inductive

Return to Title Page for The Collected Works of John Stuart Mill, Volume VII - A System of Logic Ratiocinative and Inductive

Search this Title:

Introduction - John Stuart Mill, The Collected Works of John Stuart Mill, Volume VII - A System of Logic Ratiocinative and Inductive [1843]

Edition used:

The Collected Works of John Stuart Mill, Volume VII - A System of Logic Ratiocinative and Inductive, Being a Connected View of the Principles of Evidence and the Methods of Scientific Investigation (Books I-III), ed. John M. Robson, Introduction by R.F. McRae (Toronto: University of Toronto Press, London: Routledge and Kegan Paul, 1974).

Part of: Collected Works of John Stuart Mill, in 33 vols.

About Liberty Fund:

Liberty Fund, Inc. is a private, educational foundation established to encourage the study of the ideal of a society of free and responsible individuals.


Introduction

§ 1. [A definition at the commencement of a subject must be provisional] There is as great a diversity among authors in the modes which they have adopted of defining logic, as in their treatment of the details of it. This is what might naturally be expected on any subject on which writers have availed themselves of the same language as a means of delivering different ideas. Ethics and jurisprudence are liable to the remark in common with logic. Almost every bwriterb having taken a different view of some of the particulars which these branches of knowledge are usually understood to include; each has so framed his definition as to indicate beforehand his own peculiar tenets, and sometimes to beg the question in their favour.

This diversity is not so much an evil to be complained of, as an inevitable and in some degree a proper result of the imperfect state of those sciences. cIt is not to be expected that there should be agreement about the definition of anythingc , until there is agreement about the thing itself. To defined, is to select from among all the properties of a thing,d those which shall be understood to be designated and declared by its name; and the properties must be e well known to us before we can be competent to determine which of them are fittest to be chosen for this purpose. Accordingly, in the case of so complex an aggregation of particulars as are comprehended in anything which can be called a science, the definition we set out with is seldom that which a more extensive knowledge of the subject shows to be the most appropriate. Until we know the particulars themselves, we cannot fix upon the most correct and compact mode of circumscribing them by a general description. It was not funtilf after an extensive and accurate acquaintance with the details of chemical phenomena, that it was found possible to frame a rational definition of chemistry; and the definition of the science of life and organization is still a matter of dispute. So long as the sciences are imperfect, the definitions must partake of their gimperfectiong ; and if the former are progressive, the latter ought to be so too. As much, therefore, as is to be expected from a definition placed at the commencement of a subject, is that it should define the scope of our inquiries: and the definition which I am about to offer of the science of logic, pretends to nothing more, than to be a statement of the question which I have put to myself, and which this book is an attempt to resolve. The reader is at liberty to object to it as a definition of logic; but it is at all events a correct definition of the subject of these volumes.

§ 2. [Is logic the art and science of reasoning?] Logic has often been called the Art of Reasoning. A writer* who has done more than any other a person to restore this study to the rank from which it had fallen in the estimation of the cultivated bclassb in our own country, has adopted the above definition with an amendment; he has defined Logic to be the Science, as well as the Art, of reasoning; meaning by the former term, the analysis of the mental process which takes place whenever we reason, and by the latter, the rules, grounded on that analysis, for conducting the process correctly. There can be no doubt as to the propriety of the emendation. A right understanding of the mental process itself, of the conditions it depends on, and the steps of which it consists, is the only basis on which a system of rules, fitted for the direction of the process, can possibly be founded. Art necessarily presupposes knowledge; art, in any but its infant state, presupposes scientific knowledge: and if every art does not bear the name of ca sciencec , it is only because several sciences are often necessary to form the groundwork of a single art. dSo complicated are the conditions which govern our practical agencyd , that to enable one thing to be done, it is often requisite to know the nature and properties of many things.

Logic, then, comprises the science of reasoning, as well as an art, founded on that science. But the word Reasoning, again, like most other scientific terms in popular use, abounds in ambiguities. In one of its acceptations, it means syllogizing; or the mode of inference which may be called (with sufficient accuracy for the present purpose) concluding from generals to particulars. In another of its senses, to reason is simply to infer any assertion, from assertions already admitted: and in this sense induction is as much entitled to be called reasoning as the demonstrations of geometry.

Writers on logic have generally preferred the former acceptation of the term: the latter, and more extensive signification is that in which I mean to use it. I do this by virtue of the right I claim for every author, to give whatever provisional definition he pleases of his own subject. But sufficient reasons will, I believe, unfold themselves as we advance, why this should be not only the provisional but the final definition. It involves, at all events, no arbitrary change in the meaning of the word; for, with the general usage of the English language, the wider signification, I believe, accords better than the more restricted one.

§ 3. [Or is logic the art and science of the pursuit of truth?] But Reasoning, even in the widest sense of which the word is susceptible, does not seem to acomprehenda all that is included, either in the best, or even in the most current, conception of the scope and province of our science. The employment of the word Logic to denote the theory of Argumentation, is derived from the Aristotelian, or, as they are commonly termed, the scholastic, logicians. Yet even with them, in their systematic treatises, Argumentation was the subject only of the third part: the two former treated of Terms, and of Propositions; under one or other of which heads were balsob included Definition and Division. cBy some, indeed, these previous topics were professedlyc introduced only on account of their connexion with reasoning, and as a preparation for the doctrine and rules of the syllogism. Yet they were treated with greater minuteness, and dwelt on at greater length, than was required for that purpose alone. More recent writers on logic have generally understood the term as it was employed by the able dauthord of the Port Royal Logic;[*] viz. as equivalent to the Art of Thinking. Nor is this acceptation confined to ebooks, and scientific inquiriese . Even in fordinaryf conversation, the ideas g connected with the word Logic include at least precision of language, and accuracy of classification: and we perhaps oftener hear persons speak of a logical arrangement, or hofh expressions logically defined, than of conclusions logically deduced from premises. iAgain,i a man is often called a great logician, or a man of powerful logic, not for the accuracy of his deductions, but for the extent of his command over premises; because the general propositions required for explaining a difficulty or refuting a sophism, copiously and promptly occur to himj: because, in short, his knowledge, besides being ample, is well under his command for argumentative usej . Whether, therefore, we conform to the practice of those who have made the subject their particular study, or to that of popular writers and common discourse, the province of logic will include several operations of the intellect not usually considered to fall within the meaning of the terms Reasoning and Argumentation.

These various operations might be brought within the compass of the science, and the additional advantage be obtained of a very simple definition, if, by an extension of the term, sanctioned by high authorities, we were to define logic as the science which treats of the operations of the human understanding in the pursuit of truth. For to this ultimate end, naming, classification, definition, and all k other operations over which logic has ever claimed jurisdiction, are essentially subsidiary. They may all be regarded as contrivances for enabling a person to know the truths which are needful to him, and to know them at the precise moment at which they are needful. Other purposes, indeed, are also served by these operations; for instance, that of imparting our knowledge to others. But, viewed with regard to this purpose, they have never been considered as within the province of the logician. The sole object of Logic is the guidance of one’s own thoughts: the communication of those thoughts to others falls under the consideration of Rhetoric, in the large sense in which that art was conceived by the ancients; or of the still more extensive art of Education. Logic takes cognizance of lourl intellectual operations, only as they conduce to our own knowledge, and to our command over that knowledge for our own uses. If there were but one rational being in the universe, that being might be a perfect logician; and the science and art of logic would be the same for that one person as for the whole human race.

§ 4. [Logic is concerned with inferences, not with intuitive truths] But, if the definition which we formerly examined included too little, that which is now suggested has the opposite fault of including too much.

Truths are known to us in two ways: some are known directly, and of themselves; some through the medium of other truths. The former are the subject of Intuition, or Consciousness;* the latter, of Inference. The truths known by intuition are the original premises from which all others are inferred. Our assent to the conclusion being grounded on the truth of the premises, we never could arrive at any knowledge by reasoning, unless something could be known antecedently to all reasoning.

Examples of truths known to us by immediate consciousness, are our own bodily sensations and mental feelings. I know directly, and of my own knowledge, that I was avexeda yesterday, or that I am hungry to-day. Examples of truths which we know only by way of inference, are occurrences which took place while we were absent, the events recorded in history, or the theorems of mathematics. The two former we infer from the testimony adduced, or from the traces of those past occurrences which still bexist;b the latter, from the premises laid down in books of geometry, under the title of definitions and axioms. Whatever we are capable of knowing must belong to the one class or to the other; must be in the number of the primitive data, or of the conclusions which can be drawn cfrom thesec .

With the original data, or ultimate premises of our knowledge; with their number or nature, the mode in which they are obtained, or the tests by which they may be distinguished; logic, in a direct way at least, has, in the sense in which I conceive the science, nothing to do. These questions are partly not a subject of science at all, partly that of a very different science.

Whatever is known to us by consciousness, is known beyond possibility of question. What one sees or feels, whether bodily or mentally, one cannot but be sure that one sees or feels. No science is required for the purpose of establishing such truths; no rules of art can render our knowledge of them more certain than it is in itself. There is no logic for this portion of our knowledge.

But we may fancy that we see or feel what we in reality infer. d A truth, or supposed truth, which is really the result of a very rapid inference, may seem to be apprehended intuitively. It has long been agreed by ethinkerse of the most opposite schools, that this mistake is actually made in so familiar an instance as that of the eyesight. There is nothing fof which we appear to ourselves to be more directly consciousf , than the distance of an object from us. Yet it has long been ascertained, that what is perceived by the eye, is at most nothing more than a variously coloured surface; that when we fancy we see distance, all we really see is certain variations of apparent size, and gdegrees ofg faintness of colour; h that our estimate of the object’s distance from us is the result ipartly of a rapid inference from the muscular sensations accompanying the adjustment of the focal distance of the eye to objects unequally remote from us, and partlyi of a comparison (made with so much rapidity that we are unconscious of making it) between the size and colour of the object as they appear at the time, and the size and colour of the same or of similar objects as they appeared when close at hand, or when their degree of remoteness was known by other evidence. The perception of distance by the eye, which seems so like intuition, is thus, in reality, an inference grounded on experience; an inference, too, which we learn to make; and which we make with more and more correctness as our experience increases; though in familiar cases it takes place so rapidly as to appear exactly on a par with those perceptions of sight which are really intuitive, our perceptions of colour.*

Of the science, therefore, which expounds the operations of the human understanding in the pursuit of truth, one essential part is the inquiry: What are the ofactso which are the objects of intuition or consciousness, and what are those which we merely infer? But this inquiry has never been considered a portion of logic. Its place is in another and a perfectly distinct department of science, pto which the name metaphysics more particularly belongs:p that portion of mental philosophy which attempts to determine what part of the furniture of the mind belongs to it originally, and what part is constructed qout of materials furnished to itq from without. To this science appertain the great and much debated questions of the existence of matter; rthe existence of spirit, and of a distinction between it and matter;r the reality of time and space, as things without the mind, and distinguishable from the objects which are said to exist in them. For in the present state of the discussion on these topics, it is salmosts universally allowed that the existence of matter or of spirit, of space or of time, is in its nature unsusceptible of being proved; and that tif anything is known of them, it must bet by immediate intuition. To the same science belong the inquiries into the nature of Conception, Perception, Memory, and Belief; all of which are operations of the understanding in the pursuit of truth; but with which, as phenomena of the mind, or with the possibility which may or may not exist of analysing any of them into simpler phenomena, the logician as such has no concern. To this science must also be referred the following, and all analogous questions: To what extent our intellectual faculties and our emotions are innate—to what extent the result of association: Whether God, and duty, are realities, the existence of which is manifest to us à priori by the constitution of our rational faculty; or whether our ideas of them are acquired notions, the origin of which we are able to trace and explain; and the reality of the objects themselves a question not of consciousness or intuition, but of evidence and reasoning.

The province of logic must be restricted to that portion of our knowledge which consists of inferences from truths previously known; whether those antecedent data be general propositions, or particular observations and perceptions. Logic is not the science of Belief, but the science of Proof, or Evidence. uIn so faru as belief professes to be founded on proof, the office of logic is to supply a test for ascertaining whether or not the belief is well grounded. With the claims which any proposition has to belief on vthe evidence of consciousnessv , that is, without evidence in the proper sense of the word, logic has nothing to do.

§ 5. [Relation of logic to the other sciences] aBy far the greatest portion of our knowledge, whether of general truths or of particular facts, beinga avowedly matter of inference, nearly the whole, not only of science, but of human conduct, is amenable to the authority of logic. To draw inferences has been said to be the great business of life. Every one has daily, hourly, and momentary need of ascertaining facts which he has not directly observed; not from any general purpose of adding to his stock of knowledge, but because the facts themselves are of importance to his interests or to his occupations. The business of the magistrate, of the military commander, of the navigator, of the physician, of the agriculturist, is merely to judge of evidence, and to act accordingly. They all have to ascertain certain facts, in order that they may afterwards apply certain rules, either devised by themselves, or prescribed for their guidance by others; and as they do this well or ill, so they discharge well or ill the duties of their several callings. It is the only occupation in which the mind never ceases to be engaged; and is the subject, not of logic, but of knowledge in general.

bLogic, however, is not the same thing with knowledge, though the field of logic is coextensive with the field of knowledge. Logic is the common judge and arbiter of all particular investigations. It does not undertake to find evidence, but to determine whether it has been found. Logic neither observes, nor invents, nor discovers; but judges. It is no part of the business of logic to inform the surgeon what appearances are found to accompanyb a violent death. This he must learn from his own experience and observation, or from that of others, his predecessors in his peculiar cpursuitc . But logic sits in judgment on the sufficiency of that observation and experience to justify his rules, and on the sufficiency of his rules to justify his conduct. It does not give him proofs, but teaches him what makes them proofs, and how he is to judge of them. dIt does not teach that any particular fact proves any other, but pointsd out to what conditions all facts must conform, in order that they may prove other facts. To decide whether any given fact fulfils these conditions, or whether facts can be found which fulfil them in eae given case, belongs exclusively to the particular art or science, or to our knowledge of the particular subject.

It is in this sense that logic is, what fit was so expressively called by the schoolmen and by Baconf , ars artium;[*] the science of science itself. All science consists of data and conclusions from those data, of proofs and what they prove: now logic points out what relations must subsist between data and whatever can be concluded from them, between proof and everything which it can prove. If there be any such indispensable relations, and if these can be precisely determined, every particular branch of science, as well as every individual in the guidance of his conduct, is bound to conform to those relations, under the penalty of making false inferences—of drawing conclusions which are not grounded in the realities of things. Whatever has at any time been concluded justly, whatever knowledge has been acquired otherwise than by immediate intuition, depended on the observance of the laws which it is the province of logic to investigate. If the conclusions are just, and the knowledge greal, those laws, whether known or not, haveg been observed.

a§ 6.a [The utility of logic, how shown] We need not, therefore, seek any farther for a solution of the question, so often agitated, respecting the utility of logic. If a science of logic exists, or is capable of existing, it must be useful. If there be rules to which every mind bconsciously or unconsciouslyb conforms in every instance in which it cinfersc rightly, there seems little necessity for discussing whether a person is more likely to observe those rules, when he knows the rules, than when he is unacquainted with them.

A science may undoubtedly be brought to a certain, not inconsiderable, stage of advancement, without the application of any other logic to it than what all persons, who are said to have a sound understanding, acquire empirically in the course of their studies. dMankindd judged of evidence, and often e correctly, before logic was a science, or they never could have made it one. And they executed great mechanical works before they understood the laws of mechanics. But there are limits both to what mechanicians can do without principles of mechanics, and to what thinkers can do without principles of logic. fA few individuals , gby extraordinary genius, or by the accidental acquisition of a good set of intellectual habits, may work without principles in the same way , hor nearly the same way,h in which they would have worked if they had been in possession of principles. Butg the bulk of mankind require either to understand the theory of what they are doing, or to have rules laid down for them by those who have understood the theory. Inf the progress of science from its easiest to its more difficult problems, ieach great step in advance has usuallyi had either as its precursor, or as its accompaniment and necessary condition, a corresponding improvement in the notions and principles of logic received among the most advanced thinkers. And if several of the more difficult sciences are still in so defective a state; if not only so little is proved, but disputation has not terminated even about the little which seemed to be so; the reason perhaps is, that men’s logical notions have not yet acquired the degree of extension, or of accuracy, requisite for the estimation of the evidence proper to those particular departments of knowledge.

a§ 7.a [Definition of logic stated and illustrated] Logic, then, is the science of the operations of the understanding which are subservient to the estimation of evidence: both the process itself of badvancingb from known truths to unknown, and all cother intellectual operations in so far asc auxiliary to this. It includes, therefore, the operation of Naming; for language is an instrument of thought, as well as a means of communicating our thoughts. It includes, also, Definition, and Classification. For, the use of these operations (putting all other minds than one’s own out of consideration) is to serve not only for keeping our evidences and the conclusions from them permanent and readily accessible in the memory, but for so marshalling the facts which we may at any time be engaged in investigating, as to enable us to perceive more clearly what evidence there is, and to judge with fewer chances of error whether it be sufficient. dThese, therefore, are operations specially instrumental to the estimation of evidence, and, as such, are within the province of Logic. There are other more elementary processes, concerned in all thinking, such as Conception, Memory, and the like; but of these it is not necessary that Logic should take any peculiar cognizance, since they have no special connexion with the problem of Evidence, further than that, like all other problems addressed to the understanding, it presupposes them.d

Our object, ethene , will be, to attempt a correct analysis of the intellectual process called Reasoning or Inference, and of such other mental operations as are intended to facilitate this: as well as, on the foundation of this analysis, and pari passu with it, to bring together or frame a set of rules or canons for testing the sufficiency of any given evidence to prove any given proposition.

With respect to the first part of this undertaking, I do not attempt to decompose the mental operations in question into their ultimate elements. It is enough if the analysis as far as it goes is correct, and if it goes far enough for the practical purposes of logic considered as an art. The separation of a complicated phenomenon into its component parts is not like a connected and interdependent chain of proof. If one link of an argument breaks, the whole drops to the ground; but one step towards an analysis holds good and has an independent value, though we should never be able to make a second. The results fwhich have been obtained byf analytical chemistry are not the less valuable, though it should be discovered that all which we now call simple substances are really compounds. All other things are at any rate compounded of those elements: whether the elements themselves admit of decomposition, is an important inquiry, but does not affect the certainty of the science up to that point.

g I shall, accordingly, attempt to analyse the process of inference, and the processes subordinate to inference, so far only as may be requisite for ascertaining the difference between a correct and an incorrect performance of those processes. The reason for thus limiting our design, is evident. It has been said by objectors to logic, that we do not learn to use our muscles by studying their anatomy.[*] The fact is not quite fairly stated; for if the action of any of our muscles were vitiated by local weakness, or other physical defect, a knowledge of their anatomy might be very necessary for effecting a cure. But we should be justly liable to the criticism involved in this objection, were we, in a treatise on logic, to carry the analysis of the reasoning process beyond the point at which any inaccuracy which may have crept into it must become visible. In learning bodily exercises (to carry on the same illustration) we do, and must, analyse the bodily motions so far as is necessary for distinguishing those which ought to be performed from those which ought not. To a similar extent, and no further, it is necessary that the logician should analysis the mental processes with which Logic is concerned. hLogic has no interest in carrying the analysis beyond the point at which it becomes apparent whether the operations have in any individual case been rightly or wrongly performed: in the same manner as the science of music teaches us to discriminate between musical notes, and to know the combinations of which they are susceptible, but not what number of vibrations in a second correspond to each; which, though useful to be known, is useful for totally different purposes. The extension of Logic as a Science is determined by its necessities as an Art: whatever it does not need for its practical ends, it leaves to the larger science which may be said to correspond, not to any particular art, but to art in general; the science which deals with the constitution of the human faculties; and to which, in the part of our mental nature which concerns Logic, as well as in all other parts, it belongs to decideh what are ultimate facts, and what are resolvable into other facts. And I believe it will be found that imost ofi the conclusions arrived at in this work have no necessary connexion with any particular views respecting the ulterior analysis. Logic is common ground on which the partisans of Hartley and of Reid, of Locke and of Kant, may meet and join hands. Particular and detached opinions of all these jthinkersj will no doubt occasionally be controverted, since all of them were logicians as well as metaphysicians; but the field on which their kprincipalk battles have been fought, lies beyond the boundaries of our sciencel .

It cannot, indeed, be pretended that logical principles can be altogether irrelevant to those more abstruse discussions; nor is it possible but that the view we are led to take of the problem which logic proposes, must have a tendency favourable to the adoption of some one opinion, on these controverted subjects, rather than another. m For metaphysics, in endeavouring to solve its own peculiar problem, must employ means, the validity of which falls under the cognizance of logic. It proceeds, no doubt, as far as possible, merely by a closer and more attentive interrogation of our consciousness, or more properly speaking, of our memory; and so far is not amenable to logic. But wherever this method is insufficient to attain the end of its inquiries, it must proceed, like other sciences, by means of evidence. Now, the moment this science begins to draw inferences from evidence, logic becomes the sovereign judge whether its inferences are well grounded, or what other inferences would be so.

nThis, however, constitutes no nearer or other relation between logic and metaphysics, than that which exists between logic andoevery other scienceo . Andn I can conscientiously affirm, that no one proposition laid down in this work has been adopted for the sake of establishing, or with any reference to its fitness for being employed in establishing, preconceived opinions in any department of knowledge or of inquiry on which the speculative world is still undecided.*

lf0223-07_figure_003

The opening folio of Book I, Chapter i, of the Press-copy Manuscript British Museum

[a]MS a

[b-b]MS, 43, 46 philosopher

[c-c]MS, 43, 46 There cannot be agreement about the definition of a thing] 51, 56 as 72 . . . of a thing

[d-d]MS, 43, 46, 51, 56 a thing, is to select from among the whole of its properties

[e]MS, 43, 46 very

[f-f]MS, 43, 46, 51 till

[g-g]MS, 43, 46, 51, 56, 62 imperfections

[* ]Archbishop Whately [Elements of Logic, p. 1].

[a]MS, 43, 46, 51, 56 living

[b-b]MS, 43, 46 classes

[c-c]MS, 43, 46, 51, 56 the science on which it rests

[d-d]MS, 43, 46, 51, 56 Such is the complication of human affairs

[a-a]MS, 43, 46 include

[b-b]MS, 43, 46 , moreover,

[c-c]MS, 43, 46, 51 Professedly, indeed, these previous topics were

[d-d]MS, 43 authors

[[*] ]Arnauld, Antoine, and Pierre Nicole. La Logique ou l’Art de penser: contenant outre des règles communes, plusieurs observations nouvelles, propres à former le jugement. Amsterdam: Wolfgank, 1775.

[e-e]MS, 43, 46 philosophers, and works of science] 51, 56, 62 as 72 . . . scientific inquirers

[f-f]+51, 56, 62, 65, 68, 72

[g]MS, 43, 46 usually

[h-h]+51, 56, 62, 65, 68, 72

[i-i]MS, 43, 46 Moreover

[j-j]MS, 43, 46 ; as in the case of Chillingworth, or Samuel Johnson

[k]MS, 43, 46 the

[l-l]43, 46 all

[* ][62] I use these terms indiscriminately, because, for the purpose in view, there is no need for making any distinction between them. But metaphysicians usually restrict the name Intuition to the direct knowledge we are supposed to have of things external to our minds, and Consciousness to our knowledge of our own mental phenomena.

[a-a]MS grieved

[b-b]MS subsist:

[c-c]MS, 43, 46 therefrom

[d]MS, 43, 46, 51, 56 Newton saw the truth of many propositions of geometry without reading the demonstrations, but not, we may be sure, without their flashing through his mind.

[e-e]MS, 43, 46 philosophers

[f-f]MS, 43, 46 which . . . conscious of

[g-g]MS, 43, 46 more or less

[h]MS, 43, 46, 51, 56 and

[i-i]+62, 65, 68, 72

[* ]This jimportantj theory has kof latek been called in question by a writer of deserved reputation, Mr. Samuel Bailey [A Review of Berkeley’s Theory of Vision. London: Ridgway, 1842]; but I do not conceive that the grounds on which it has been ladmitted as an established doctrinel for a century past, have been at all shaken by that gentleman’s objections. I have elsewhere said what appeared to me necessary in reply to his arguments. (Westminster Review [XXXVIII] for October 1842 [pp. 318-36]m; reprinted in Dissertations and Discussions [London: Parker, 1859], Vol. II [pp. 84-114])m .n

[o-o]MS, 43, 46 truths

[p-p]MS, 43, 46 which may be called the higher or transcendental metaphysics. For such is the title which has been given to

[q-q]MS, 43, 46 by itself out of materials furnished

[r-r]MS, 43, 46 of the existence of spirit, and the distinction between it and matter; of

[s-s]+51, 56, 62, 65, 68, 72

[t-t]MS, 43, 46 whatever is known of them, is known

[u-u]MS, 43, 46 So far forth

[v-v]MS, 43, 46 its own intrinsic evidence

[a-a]MS, 43, 46 As the far greatest . . . facts is

[b-b]MS, 43, 46 [no paragraph] Our definition of logic, therefore, will be in danger of including the whole field of knowledge, unless we qualify it by some further limitation, showing distinctly where the domain of the other arts and sciences and of common prudence ends, and that of logic begins.

The distinction is, that the science or knowledge of the particular subject-matter furnishes the evidence, while logic furnishes the principles and rules of the estimation of evidence. Logic does not pretend to teach the surgeon what are the symptoms which indicate

[c-c]MS, 43, 46 science

[d-d]MS, 43, 46 Logic alone can never show that the fact A proves the fact B; but it can point

[e-e]MS, 43, 46 any

[f-f]MS, 43, 46, 51, 56, 62, 65, 68 Bacon so expressively called it

[[*] ]See Francis Bacon, De Augmentis Scientiarum. In Works. Ed. J. Spedding, et al. London: Longman, 1857-74, Vol. I, p. 616.

[g-g]MS, 43, 46 sound, those laws have actually

[a-a]MS [no section division]

[b-b]+51, 56, 62, 65, 68, 72

[c-c]MS, 43, 46 judges

[d-d]MS, 43, 46 Men

[e]MS, 43, 46 very

[f-f]MS, 43, 46 And the limits, in the two cases, are of the same kind. The extent of what man can do without understanding the theory of what he is doing, is in all cases much the same: he can do whatever is very easy; what requires only time, and patient industry. But in

[g-g]51 may, by extraordinary genius, anticipate the results of science; but

[h-h]+62, 65, 68, 72

[i-i]MS, 43, 46 every great step in advance has

[a-a]MS §6.

[b-b]MS, 43, 46, 51, 56 proceeding

[c-c]MS, 43, 46 intellectual operations

[d-d]MS, 43, 46 The analysis of the instruments we employ in the investigation of truth, is part of the analysis of the investigation itself; since no art is complete, unless another art, that of constructing the tools and fitting them for the purposes of the art, is embodied in it.

[e-e]MS, 43, 46 therefore

[f-f]MS, 43, 46, 51, 56 of

[g]MS [no paragraph]

[[*] ]See, e.g., Thomas Carlyle, “Characteristics,” Edinburgh Review, LIV (Dec., 1831), p. 355.

[h-h]MS, 43, 46 Any ulterior and minuter analysis must be left to transcendental metaphysics; which in this, as in other parts of our mental nature, decides] 51, 56, 62 as MS . . . to metaphysics . . . as MS [cf. 15n]

[i-i]+56, 62, 65, 68, 72

[j-j]MS, 43, 46 philosophers

[k-k]MS, 43, 46 great

[l]MS, 43, 46 ; and the views which will be here promulgated, may, I believe, be held in conjunction with the principal conclusions of any one of their systems of philosophy

[m]MS, 43, 46 Logic, although differing from the higher metaphysics like the other half of a great whole, (the one being the science of the appreciation of evidence, the other having for its main object to determine what are the propositions for the establishment of which evidence is not required,) yet when viewed under another of its aspects, stands in the same relation to this, its sister science, as it does to all the other sciences.

[n-n]MS, 43, 46 This influence, however, of logic over the questions which have divided philosophers in the higher regions of metaphysics, is indirect and remote; and

[o-o]51, 56, 62, 65 all the other sciences

[* ][65] pThe view taken in the text, of the definition and purpose of Logic, stands in marked opposition to that of the school of philosophy which, in this country, is represented by the writings of Sir William Hamilton and of his numerous pupils. Logic, as this school conceives it, is “the Science of the Formal Laws of Thought” [William Hamilton, Lectures on Metaphysics and Logic. 4 vols. Edinburgh: Blackwood, 1859-60, Vol. III, p. 25]; a definition framed for the express purpose of excluding, as irrelevant to Logic, whatever relates to Belief and Disbelief, or to the pursuit of truth as such, and restricting the science to that very limited portion of its total province, which has reference to the conditions, not of Truth, but of Consistency. What I have thought it useful to say in opposition to this limitation of the field of Logic, has been said at some length in a separate work,qfirstq published in 1865, and entitled An Examination of Sir William Hamilton’s Philosophy, and of the Principal Philosophical Questions discussed in his Writings. For the purposes of the present Treatise, I am content that the justification of the larger extension which I give to the domain of the science, should rest on the sequel of the Treatise itself. Some remarks on the relation which the Logic of Consistency bears to the Logic of Truth, and on the place which that particular part occupies in the whole to which it belongs, will be found in the present volume (Book II, Chap. iii, § 9).p

[* ]This jimportantj theory has kof latek been called in question by a writer of deserved reputation, Mr. Samuel Bailey [A Review of Berkeley’s Theory of Vision. London: Ridgway, 1842]; but I do not conceive that the grounds on which it has been ladmitted as an established doctrinel for a century past, have been at all shaken by that gentleman’s objections. I have elsewhere said what appeared to me necessary in reply to his arguments. (Westminster Review [XXXVIII] for October 1842 [pp. 318-36]m; reprinted in Dissertations and Discussions [London: Parker, 1859], Vol. II [pp. 84-114])m .n

[* ][65] pThe view taken in the text, of the definition and purpose of Logic, stands in marked opposition to that of the school of philosophy which, in this country, is represented by the writings of Sir William Hamilton and of his numerous pupils. Logic, as this school conceives it, is “the Science of the Formal Laws of Thought” [William Hamilton, Lectures on Metaphysics and Logic. 4 vols. Edinburgh: Blackwood, 1859-60, Vol. III, p. 25]; a definition framed for the express purpose of excluding, as irrelevant to Logic, whatever relates to Belief and Disbelief, or to the pursuit of truth as such, and restricting the science to that very limited portion of its total province, which has reference to the conditions, not of Truth, but of Consistency. What I have thought it useful to say in opposition to this limitation of the field of Logic, has been said at some length in a separate work,qfirstq published in 1865, and entitled An Examination of Sir William Hamilton’s Philosophy, and of the Principal Philosophical Questions discussed in his Writings. For the purposes of the present Treatise, I am content that the justification of the larger extension which I give to the domain of the science, should rest on the sequel of the Treatise itself. Some remarks on the relation which the Logic of Consistency bears to the Logic of Truth, and on the place which that particular part occupies in the whole to which it belongs, will be found in the present volume (Book II, Chap. iii, § 9).p

[pThe view taken in the text, of the definition and purpose of Logic, stands in marked opposition to that of the school of philosophy which, in this country, is represented by the writings of Sir William Hamilton and of his numerous pupils. Logic, as this school conceives it, is “the Science of the Formal Laws of Thought” [William Hamilton, Lectures on Metaphysics and Logic. 4 vols. Edinburgh: Blackwood, 1859-60, Vol. III, p. 25]; a definition framed for the express purpose of excluding, as irrelevant to Logic, whatever relates to Belief and Disbelief, or to the pursuit of truth as such, and restricting the science to that very limited portion of its total province, which has reference to the conditions, not of Truth, but of Consistency. What I have thought it useful to say in opposition to this limitation of the field of Logic, has been said at some length in a separate work,]56 *It is perhaps requisite that something should here be said of a definition of Logic, different from any of those which have been discussed in the text, and belonging essentially to the school of philosophy of which Sir William Hamilton is in this country the most eminent representative. Logic, as conceived by these philosophers, is “the Science of the Formal Laws of Thought.” If it be objected to this definition that the laws of thought, as of every other operation of the mind, are the subject not of Logic, but of Psychology, it might be answered, that Logic as a Science, is, and cannot but be, a portion of Psychology; consisting of the scientific analysis of those mental operations which it is the purpose of Logic, so far as it is an Art, to enable us to perform correctly. But (as I have already pointed out) Logic has no interest in carrying this analysis beyond the point at which it becomes apparent whether the operations have in any individual case been rightly or wrongly performed: in the same manner as the science of music teaches us to discriminate between musical notes, and to know the combinations of which they are susceptible, but not what number of vibrations in a second corresponds to each, which, though useful to be known, is useful for totally different purposes. The extension of Logic as a Science is determined by its necessity as an Art: whatever it does not need for its practical ends, it leaves to the larger science, which corresponds not to any particular art, but to art in general; the science which deals with the constitution of the human faculties.The definition, therefore, of Logic as “the science of the formal laws of thought” requires, as it seems to me, in order to be tenable, limitation in one direction, as well as extension in another. It requires, on the one hand, that the meaning of the word Thought should be limited to Reasoning, and to the intellectual operations auxiliary to Reasoning, in so far as they are auxiliary; and that the “laws of thought” should be understood to mean the immediate, not the ultimate, laws; a sufficient, but not a complete, analysis of the operations. But again, on the other hand, this sufficient analysis must be extended to all the processes which the mind goes through when it proves a proposition, or judges correctly of proof. Thus corrected, the definition would accord with that which we ultimately arrived at in the text. This, however, is not what the authors of the definition intend by it. By the expression “formal laws,” they mean, among other things, to intimate that the province of Logic is not coextensive with Proof, but extends only to one species of proof, namely, that in which the conclusion follows from the mere form of the expression: or (to say the same thing in other words) when what is asserted explicitly in the conclusion, has been already, by implication, asserted in the premises. Now I am aware of no good reason for confining the name of Logic to the theory and rules of the interpretation of old generalizations, and refusing it to those of the formation of new. Both processes equally admit of, and equally require, a strictly scientific theory. Whether Logic shall be said to be the theory of both, or only of one, is a question of naming. But most questions of naming have questions of fact lying underneath them; and the question lying under this, is the fundamental identity of the theories of Induction and of Deduction; operations which cannot, in my opinion, be rightly understood, except as parts of one and the same process. The grounds of this opinion cannot be entered on in this early stage of our inquiry, but will be found fully set forth in the second Book.] 62 as 56 . . . faculties. [paragraph] Any definition, therefore, which treats Logic as the science of the laws of thought, requires . . . as 56 [cf. 13h-h] [This footnote was replaced in 65 by the footnote printed above.]

[qfirstq]+68, 72