71 ^-i th - Southern Branch of the University of California Los Angeles Form I Tl c,ob. This book is DUE on the last date stamped below 7 '-^ 1924 r, r ; *\f r^ r. OCT 7 1925 AUG 121950 Form I. 9-5///-7,'23 LOGIC OR THE ANALYTIC OF EXPLICIT REASONING BY GEORGE H. SMITH AUTHOR OK "ELEMENTS OF RIGHT AND OF THE LAW," "A CRITICAL HISTORY OF MODERN ENGLISH JURISPRUDENCE," "THEORY OF THE STATE," AND OTHER WORKS i3331 'QtNAM'S S G. P. PUTNAM'S SONS NEW YORK AND LONDON fnucfcerbocfcer prees 1901 COPYRIGHT, 1901 BY GEORGE H. SMITH Che Ytnicherbocfcer press, flew v PREFACE IT is well known to those conversant with the current literature of Logic that recent logical theories diverge widely from the old Logic of Aristotle and the Schoolmen, and no less widely from each other. From this it hap- pens that, under the common name of Logic, we have many doctrines essentially different from each other ; and the student who desires to enter upon the study of the subject is thus confronted with the preliminary problem of determining under what name the true Logic is to be found. Nor in this case can he expect much help from his instructors; who, like the rest of the logicians, are hopelessly at a loss. Whether he shall study Logic whatever may be his wishes and his determination must therefore be a matter for chance to determine. And, even should he be so lucky as to light on a place where something like Logic is taught, it will probably be taught in so muti- lated a form and so mingled with extraneous, and even inconsistent matter, that it will be IV PREFACE impossible for him to understand it or to ap- preciate its utility. Hence, if the plain truth is to be told, Logic, in the true sense of the term, is no longer taught or learned anywhere; but has become a lost art. But while the logicians of the day are thus at variance among themselves, there is un- fortunately one point in which they agree with each other, and also with Whately and others of the older logicians. This consists in the opinion that Logic is a purely formal science, and as such concerned only with the forms, and not with the matter or content of language or of thought; or, in other words, that it does not deal with what is thought or expressed, but with the forms of the thought or expression only. From this it must follow if the view be accepted that Logic, except merely as an improving mental exercise, can be of no practical utility; and this indeed is commonly asserted and always implied in the Logics of the day; which, though essentially different in other respects, agree in this. And from this again it must follow as on this view was irresistibly argued by Locke, Stewart, Reid, and others that the subject is unworthy of the serious attention of rational men ; which, on the premises assumed, has indeed come to be the verdict of the common sense of man- kind. Thus the student is discouraged from PREFACE V the study of the subject not only by the con- fusion reigning over it and the almost insur- mountable initial difficulty of recognizing the true Logic among so many pretenders, but by the conviction impressed upon him by an irresistible argument and by the practically unanimous teachings of logicians, that Logic cannot be put to any practical use. The view taken of Logic in this work is dif- ferent. It is what I conceive to be the ancient and orthodox view, that Logic has to deal with the matter as with the forms of thought and its expression ; that it embraces in its scope every- thing that touches the right use of words, as instruments of reasoning, or, in other words, the whole subject of explicit reasoning or ratio- cination ; that it is the science fundamental to all others and essential to all who, in the search after truth, would pass beyond the mere evi- dence of their senses; that, in its educational aspect, it is not only an essential part, but the very foundation of rational education ; and finally that, in use, it is indispensable to the rectitude of thought and of life. Hence, of all branches of learning, I believe it to be of the largest practical utility to man, and that all the learning of the day cannot compen- sate for its loss; and also that its decadence in modern times has been one of the great calamities of mankind. All this I attempt to vi PREFA CE establish and to illustrate practically in the following pages; to which I must refer for the complete proofs; but perhaps something towards this end may be effected in advance by explaining briefly how the work came to be written. In the investigation of Jurisprudence, Poli- tics, and Morality generally to which my studies have been principally devoted two important facts were forced on my attention, that seem to establish my present thesis: (i) The first of these was that the prevailing errors in the theory of Politics, Sociology, and Morality, and the Moral Sciences, or Science of Human Nature, generally, have their sources, almost always, in merely logical fal- lacies, and may be readily refuted by the ap- plication of familiar logical principles; all of which will be practically illustrated in treating of the fallacies. Here, then, I think, we have a practical proof of the indispensable utility of Logic, and the consequent refutation of the error that it deals only with the forms of thought or expression. For it is known to all logicians that the most serious and pernicious of the recognized fallacies are those that relate to the matter expressed in language, and are therefore called the material fallacies; which by logicians generally are admitted into Logic, but, as it were, on sufferance only. PREFACE vii (2) The second fact I learned was that, though it is impracticable to refute such errors otherwise than by the application of logical principles, yet owing to the logical decadence of the age, and the general disuse of Logic, this mode of refutation is unavailable. Hence under existing conditions, there is no practical means of stemming the tide of moral and politi- cal heresy with which, with increasing violence, mankind is being afflicted; and from this it follows, as a necessary inference, that the first step towards reform of doctrine, or life, in any direction, must be a revival of the study and use of Logic. My work therefore is the result of a profound realization of this practical neces- sity, and of the imperative demand thus result- ing. Nor however interesting the theory of Logic may have been to me have I ever lost sight of what I conceive to be the most import- ant aspect of the subject, namely, its supreme practical utility. Generally, the object of the work is to vindi- cate, as against modern innovations, the old or traditional Logic. This constitutes a perfectly definite body of doctrine, rivalling in accuracy and in demonstrative force the Geometry of Euclid. Nor are there wanting treatises in which its theory and application are, on the whole, well explained, as, e. g., notably Whately's work; which, notwithstanding some Vlil PREFACE manifest defects, still remains, not only the best, but the only elementary exposition of Logic, in the English language, that can be recommended to the student. But there are many reasons why a mere reproduction of the older works would be inadequate for our present occasions, to some of which I will briefly ad- vert. The first of these relates to the error, already considered, that prevailed with many of the old logicians, as with the new, that Logic is concerned only with the forms, and not with the matter of thought, or its expression. For, though this defect was supplied by the old logicians, at the expense of their consistency, by their admirable exposition of the doctrines of Definition and of Classification and Division and of the Term generally, and of the Material or so-called Non-logical Fallacies, yet their theory of Logic remained incomplete, and Logic was thus mutilated of some of its most vital parts. Again, the searching investigation to which the old Logic has been subjected by modern logicians, though its general effect has been to vindicate its substantial truth and to re-estab- lish it on a broader and firmer basis, has yet resulted in several additions to logical doctrine, to which it is essential that the attention of the student should be directed. Hence, while one PREFACE ix of the principal objects of this work is to vindi- cate the truth and the supreme utility of Logic as anciently conceived, it is also contemplated to supply the radical defect I have alluded to, and, at the same time, to incorporate with the old Logic the approved results of modern re- search ; some of which are of great importance. It remains to add a few words as to the method and style with which the subject of the work is treated. Logic is admittedly a demonstrative or apodictic doctrine, and should therefore be treated by the method appropriate to subjects of that nature. This consists in the accurate formulation of our premises, and in reasoning rigorously from them, as in geome- try. But this method demands the use of a style altogether different from that in com- mon use; which may be called the popular or rhetorical. For it is the peculiar characteristic of the logical style that it must be accurate or aphoristic, i. e., that it must express the exact truth without any admixture of error. For the same truth holds good in ratiocination, as in nature generally, that hybrids are unprolific; and hence the slightest admixture of error in our premises will render them altogether use- less for logical inference. Our method will therefore demand the exact analysis of the terms we use and the formal statement of our propositions; which to the general reader is X PREFACE distasteful. For while the logical style ad- mits, and even requires, great brevity of ex- pression, so that, in general, volumes of ordinary disquisition may, by means of it, be compressed into a brief space, yet it demands a degree of attention and independent thought that only a few highly trained or exceptionally gifted minds are willing to give, or perhaps without great exertion are capable of giving. But this is nevertheless essential to the fruitful study of Logic, as of apodictic science gener- ally. There is no royal road to Logic any more than to Geometry. The best type of this style is found in the Mathematics, and especially in the writings of Euclid and the geometers, whose style and method I have sought to emulate, with what success remains to be judged. I trust, how- ever, I may, without vanity, say of the result, with Hobbes, that while " there is nothing I distrust more than my elocution, nevertheless I am confident, excepting the mischances of the press, it is not obscure." GEORGE H. SMITH. Los ANGELES, February 26, 1900. CONTENTS INTRODUCTION OF THE FUNCTION OF LOGIC i BOOK I THE ANALYTIC OF RIGHT REASONING CHAPTER I RUDIMENTARY NOTIONS .... 23 CHAPTER II DOCTRINE OF THE TERM I OF THE NATURE OF THE TERM II OF THE SEVERAL KINDS OF TERMS III OF THE ANALYSIS OF TERMS CHAPTER III DOCTRINE OF THE PROPOSITION . I RUDIMENTS OF THE DOCTRINE . II SEVERAL THEORIES OF PREDICATION III OF THE PREDICABLES IV OF THE RELATIONS BETWEEN TERMS 33 33 40 44 5 1 55 61 64 xi Xll CONTENTS CHAPTER IV PAGE DOCTRINE OF THE SYLLOGISM ... 74 I RUDIMENTS OF THE DOCTRINE ... 74 II THE PRINCIPLE OF SUBSTITUTION . . 77 III OF MATHEMATICAL REASONING ... 85 CHAPTER V SUMMARY OF THE TRADITIONAL LOGIC . 91 I OF THE TRADITIONAL LOGIC GENERALLY . 91 II THE TRADITIONAL DOCTRINE OF THE PROP- OSITION ...... 92 III THE TRADITIONAL DOCTRINE OF THE SYL- LOGISM > ... 104 BOOK II APPLIED LOGIC PART I OF THE METHOD OF LOGIC CHAPTER VI OF THE LOGICAL PROCESSES . . . 123 CHAPTER VII THE RULES OF LOGIC 137 I OF THE RULES OF LOGIC GENERALLY . 137 II RULES OF JUDGMENT .... 142 III RULES OF INFERENCE .... 145 CONTENTS Xlll PART II DOCTRINE OF THE FALLACIES CHAPTER VIII PAGE DEFINITION AND CLASSIFICATION OF FAL- LACIES ....... 149 CHAPTER IX FALLACY OF NON-SIGNIFICANCE, OR NON- SENSE 157 CHAPTER X FALLACY OF FALSE DEFINITION . . . 168 CHAPTER XI ILLICIT ASSUMPTION OF PREMISES (Petitio Principii] . . . . . 175 CHAPTER XII MISTAKING THE ISSUE AND IRRELEVANT CONCLUSION (Ignoratio Elenchi} . .188 CHAPTER XIII ILLICIT CONVERSIONS ..... 198 CHAPTER XIV ILLICIT SUBSTITUTIONS OF TERMS . . 200 CHAPTER XV EQUIVOCATION 203 CHAPTER XVI THE TRADITIONAL DOCTRINE OF FALLACIES. 210 I ARISTOTLE'S CLASSIFICATION OF FALLACIES . 210 II FALLACIES in Dictione (EQUIVOCATION). . 214 III OF THE FALLACIES extra Dictionem . .219 LOGIC, OR THE ANALYTIC OF EXPLICIT REASONING INTRODUCTION OF THE FUNCTION OF LOGIC i. THE THEORY OF KNOWLEDGE, A DE- PARTMENT OF THE THEORY OF OPINION. The problem of the origin and nature of knowledge has occupied the attention of the philosophers for something over twenty-five centuries without much progress toward solu- tion. This perhaps results from the fact that the problem itself is but part of a larger prob- lem" that should be first considered; for know- ledge is but a species of opinion, which may be either true or false. Hence the inquiry as to the origin and nature of opinion must be the first in order of investigation. Nor until this investigation has been made will we be pre- pared to determine the specific characteristics 2 LOGIC by which true knowledge is differentiated from opinion in general. 2. KNOWLEDGE BUT VERIFIED OPINION. Men generally confound this distinction, and regard all their settled opinions or beliefs as knowledge. This is not merely false, but ab- surd ; for not only do the opinions of men differ, but the opinions of the same man are often inconsistent and contradictory ; and some, it is clear, must be false. And this is apparent also from the nature and generation of our opinions. For, in general, these come to us not from any conscious process, but naturally and spontaneously and from many sources, as, e. g., from testimony, from author- ity, from inaccurate observation or careless reasoning, and even largely from mere pre- judice or bias. Hence, familiar to us as our opinions are, their origin in general is as un- known to us as were anciently the sources of the Nile; nor have we any just notion of the grounds on which they rest, or of the nature and justice of their demands on our belief. Hence, until some means of verifying our opinions be found and applied, we can have no assurance of their rectitude. The first step in Science or Philosophy must, therefore, be to distinguish between verified and unverified opinions. The former constitutes true know- ledge or science ; the latter though it is in INTRODUCTION' 3 fact the stuff out of which most of the current philosophy is woven has no just pretension to the name. 3. THE SOURCES OF OPINION DISTIN- GUISHED. With regard to the source of our opinions, we must distinguish between those derived from our own experience and those de- rived from the experience of others; of which those derived from the common experience of mankind are the most extensive and important. The last have come to us by means of lan- guage, which may therefore be said to be their source; nor could they otherwise have been transmitted to us. The former constitute comparatively speaking but a small and in- significant part of the sources of the mass of our opinions. For the greater part of what we know, or think we know, is not original with us, but has come to us from others by or from language. The distinction, therefore, is, not between opinions derived from experience and opinions not so derived, for it may be said all opinions that are true, or rather that we know to be true, are derived ultimately from experience, 1 but in the manner of their deri- vation ; the one class being those opinions de- rived by us, each from his own experience, the other, those derived not directly from our own, 1 The distinction made in the text is of fundamental import- ance. The necessity of a constant resort to experience as the 4 LOGIC but from the experience of others from or through language. 4, OF LANGUAGE AS A RECORD OF HUMAN THOUGHT. Of the two classes of opinions, the latter is infinitely the more ex- tensive in scope and important in character; for all that men have seen or thought or felt has been expressed, and is thus preserved to us in language; which thus constitutes, as it were, the record of the results of all human experience and reason. Here, therefore, is to be found the principal source of our opinions, verified and unverified that is to say, not only of our opinions generally, but of our knowledge or science. But, regarding lan- guage as a record and source of opinion, we must distinguish between the forms in which opinion is embodied in it. These forms may be described, with sufficient accuracy for our purposes, as consisting in terms, propositions, and syllogisms. But of these the syllogism in its end and effect is but the reduction of two ultimate source of our knowledge cannot be too strongly in- sisted upon. But to construe this proposition as referring to each man's individual experience is to fall into an error of the kind called by Bacon " Idols of the Den" ; and thus to fall under the reproach of Heraclitus " that men search for know- ledge in lesser worlds, and not in the greater or common world," i. e., the great world of the common notions of man- kind, derived from the universal experience and embodied in the common language. (Nov, Org., bk. i., aph. xliii.) IN TROD UC TION 5 propositions to one, and, in this connection, is of interest to us merely as exhibiting one of the modes in which opinion is.formed. It will be sufficient, therefore, to distinguish the term and the proposition as the two forms in which opinions, or the elements of opinions, are em- bodied. But the proposition is itself of two kinds, differing essentially in nature. In the one if not an inference it is simply the state- ment of a relation intuitively perceived to exist between two terms or names, that is to say, between the notions or concepts denoted by them, as, e. g., where we say, " Bodies are affected by gravity," or " Two islands cannot be contiguous," or " Fishes live in the sea," or " Man is rational"; in the other, it is a statement of a relation between terms, not in- tuitively perceived or logically inferred but assumed to be true from testimony or other- wise, as, e. g., where we say, '' Brutus was one of the murderers of Caesar," or " Hannibal was conquered by the Romans." The former - in accordance with the definitions used throughout this work will be called a judg- ment ; the latter, an assumption. In the former case the truth of the proposition is involved in the meanings of the terms, i. e., in the nature of the concepts or notions denoted by them ; and this is true also of all inferences, or propo- sitions inferred from judgments. So that with 6 LOGIC relation to all such propositions, whether in- tuitively perceived or inferred, the original sources of opinion are the notions or concepts in which they are involved. We may therefore distinguish, as the two sources of opinion af- forded us by language, (i) the notions or con- cepts expressed in terms, and (2) assumptions, or assumed propositions. With the truth of the latter, or the evidence on which they rest for credence, Logic is not concerned; nor is it concerned with them in any way, except as premises from which to argue ; or to reject them as such, if they can be shown by logical processes to be false. But where such propositions are justified by experi- ence, and come thus to be generally received, the result universally, or almost universally, is the generation of a new notion, i. e., the notion of the relation perceived between its terms; which is either expressed in a new term or added to the content or meaning of an exist- ing term; and this, indeed, to the extent it is attainable, is the end of science, and, in a per- fect language, were such attainable, would be the general result. Thus the general pro- gress of human thought consists largely in the conversion of propositions into terms or names denoting the relations expressed in them ; and hence, generally, in terms are contained many propositions, as, e. g., in " gravity," ' justice," INTRODUCTION / etc. in the former of which is contained a large part of Physical Science, and in the latter nearly the whole theory of the State. In this way the stock of the common notions of mankind is continuously accumulated, until it may be said that the great part of all that has been achieved in thought by men is expressed or implied in terms or names. Here,' therefore, are to be found the principal sources of opinion ; and, compared with these, opinions embodied in propositions that cannot be, or have not been, reduced to single notions are limited in ex- tent, and of secondary importance. And this is especially true with regard to the Moral Sciences; under which name I include all the various branches of the science of human nature; for in these sciences it is impossible to conceive of any rudimentary notion or thought that has not, in the long history of man, been conceived by the human mind and embodied in terms. With reference, therefore, to all that has been achieved in science or in popular thought, the sources of all our opin- ions, verified and unverified, that is to say, of all our knowledge or supposed knowledge, are to be sought in language, and, prin- cipally, in the notions expressed in terms or or names ' ; and consequently, with reference to 1 If the reader will thoroughly apprehend this proposition, he will find in it the key, not only to Logic, but to all Phil- 8 LOGIC knowledge or supposed knowledge of this kind, our method must consist in the study of lan- guage. 5. RECEIVED OPINION DISTINGUISHED FROMTRUE KNOWLEDGE. Our opinions, how- ever, are derived from this source in two ways, which must be distinguished : namely, by tradi- tion, by which our opinions are delivered to us ready made in the form of propositions, and by reasoning upon the notions embodied in terms. For the thought contained in lan- guage is embodied in two ways, namely, explicitly, in the form of propositions, and implicitly, in terms;, and of propositions, as we have seen, many are but explicit state- ments of what is implied in the notions osophy. The elements of knowledge, so far as already achieved, we repeat, are the notions or concepts incarnate in terms ; and these must always constitute the principal source of our knowledge ; for, in comparison with the knowledge thus expressed or implied, the original contributions of the most gifted of men to the common stock must be inconsider- able. Nor can any such contribution to the knowledge of mankind be regarded as completely achieved until embodied in definite terms ; and hence the formation of such terms, or, what is the same, of the notions embodied in them, must be regarded as the end of scientific discovery. There is, there- fore, nothing paradoxical in the assertion of Condillac that " Science is but language well made." Hence, to repeat what has been said, it is to the common stock of notions thus gradu- ally accumulated by mankind and permanently secured by ex- pression in terms, that we must resort as the principal source of all knowledge or science. See Appendix A. INTRODUCTION 9 expressed in terms, as, e. g., in the prop- osition, " All bodies are affected by grav- ity," etc. With reference to these, though they may be true, their mere reception cannot be said to constitute knowledge; but in the proper sense of the terms we can know them only when we have reasoned them out for our- selves from the primary notions in which they are involved; as, e. g., in the Mathematics, where we cannot be said to have mastered a theorem until we are able to work it out from the premises by the exertion of our own powers unassisted by memory. With reference to all that has been achieved in thought, therefore, our method in the pursuit of knowledge must begin with the apprehension of the notions already formed by men and embodied in terms; and this involves the testing of those notions for ourselves by comparing them with the realities to which they are supposed to corre- spond. $ 6. THE PHYSICAL AND MATHEMATICAL, DISTINGUISHED FROM THE MORAL SCIENCES. -These observations apply equally to the Physical and Mathematical as to the Moral Sci- ences ; but there are differences, partly essential and partly accidental, between the two classes of sciences, which must be adverted to ' : (i) In the Physical Sciences and in the 1 See Appendix B. IO LOGIC Mathematics, technical terms expressing ac- curately the concepts or notions involved are exclusively used, but in the Moral Sciences it is otherwise; for there the notions developed by the experience and reasoning of mankind which must always constitute the principal source of our knowledge are in general loosely and inaccurately expressed, and the same vocal sign, or vocable, is commonly used to denote many different notions more or less nearly re- lated ; nor, with reference to these, does the term in general express the notion accurately. Hence the necessity of definition, which is at once the fundamental and the most difficult of the logical processes. But in the Physical Sciences the notion is always accurately defined by the thing itself; and so in the Mathematics, though highly abstract, our notions are always clearly defined. Thus in these sciences the logical processes are so simple that it is impos- sible to err, unless by inadvertence, and all errors are quickly corrected ; and hence a tech- nical knowledge of Logic is but little needed.' But in the Moral Sciences it is different, for here the difficulty of defining our terms is 1 Hence, from disuse of the more difficult of the logical processes, a man in the former case, may be a competent naturalist without being much of a reasoning creature ; and in the latter, a great mathematician and yet a child in the practical affairs of life, individual and social. IN TROD UC TION 1 1 great, and often insuperable, and hence, in the prosecution of these sciences, Logic must always be an indispensable instrument. (2) To a certain extent this difference be- tween the two classes of sciences is an essential one, and cannot be altogether removed. But to a large degree the Moral Sciences are sus- ceptible of apodictic treatment, and by such treatment may be indefinitely assimilated in nature to what are commonly called though not exclusively entitled to the name the Exact Sciences; for a large part of the Moral Sciences, including nearly all the fundamental principles upon which they rest, are purely apodictic. For, though it is commonly sup- posed there is an essential difference between Mathematical and what is called Moral Reason- ing, this is not true; all ratiocination (not fal- lacious) is essentially of the same character and equally conclusive. 1 (3) Hence it may be observed as a corollary, 1 This is much insisted upon by Locke : " Confident I am," he says, "that if men would, in the same method, and with the same indifferency, search after moral, as they do after mathematical truths, they would find them to have a stronger connection, one with another, and a more necessary conse- quence from our clear and distinct ideas, and to come nearer a perfect demonstration than is commonly supposed " (Essay, bk. iv., chap, iii., 20). "By what steps we are to proceed . . . is to be learned in the school of the mathematicians, who, from very plain and easy beginnings, by gentle degrees, 12 LOGIC the principal task before us, with reference to the Moral Sciences, is to reduce them as far as possible to apodictic or scientific form. This, under present conditions, will still leave an im- mense field of investigation in which we must resort directly to experience, and especially to experience as embodied in history and statis- tics; but until all that is susceptible of being so reduced is reduced to scientific form, no progress can be made in dealing with matters depending upon experience. (4) With regard to the Physical Sciences another difference is to be noted, namely, between what has been achieved and the dis- covery of new facts; with reference to which the instrument of discovery is mainly experi- ment and observation, or, as it is commonly called, the Inductive Method. In this respect these differ from the Moral Sciences, where, though the same method must always be used, its function is confined chiefly to the process of definition. 1 and a continued chain of reasonings, proceed to the discovery and demonstration of truths that appear at first sight beyond human capacity " {Id., bk. iv., chap, xii., 7, 8). " This gave me confidence to advance the conjecture which I suggest, Chap, iii., viz., that Morality is capable of demonstration as well as Mathematics." 1 The nature of Logic, and of the relation of the Inductive Method to Logic, is thus precisely expressed by Bacon : " The syllogism consists of propositions, propositions of INTRODUC TION 1 3 7. OF THE MODES IN WHICH OPINION is GENERATED. With reference to results achieved and embodied in language, and to our opinions generally, the process by which our notions or concepts are derived is the re- verse of what is commonly supposed. In the discovery of new facts, or the formation of new concepts, we commence with the conception of the concrete, and, the concept being formed, we find the name. But this, in the develop- ment of thought at which we have arrived, can occur only in the Physical Sciences. For, as we have observed, it is hardly probable that in the Moral Sciences any rudimentary thought can ever occur that has not already occurred to some one and been expressed in language. Hence, with regard to all matters dealt with in the Moral Sciences (as also in the Physi- cal Sciences with regard to results already achieved), the order of our cognitions is, first, to learn the words, /. e., the word-signs or words, words are the signs of notions. If, therefore, the notions (which form the basis of the whole) be confused and carelessly abstracted from things, there is no solidity in the superstructure. Our only hope then is in genuine induction " (Nov. Org., bk. i., aph. xiv). The subject is more fully developed in aph. lix., and beauti- fully illustrated in aph. xcv. See also his doctrine of Idols, aph. xxxviii. et seq. It may be observed here, in passing, that no student of Philosophy, and still less of Logic, can afford to neglect the first book of the Novum Organum or the De A ugmentis. 14 LOGIC vocables, and afterwards, the concepts or notions expressed in them.' 8. OUR SUPPOSED KNOWLEDGE OFTEN NONSENSE. And as the latter function out- side the Exact Sciences is in general very lamely performed, the result is that the greater portion of our supposed knowledge in abstract matters consists of words without definite notions attached to them, and is therefore merely nonsense. For when we reason with undefined or ill-defined terms we are dealing with mere delusions or dreams like Ixion embracing clouds and begetting monsters. Thus, e. g. , when we assert, with Bentham and Austin, that General Utility is the ultimate test or principle by which the just and the un- just and right and wrong generally are to be determined, we are in fact talking nonsense; for it cannot be determined from this expres- sion whether we have in view the welfare of a mere majority, or two thirds, or three fourths, or other proportion of mankind, and hence from this premise all sorts of extravagant opinions are deduced. Hence the mass of us 1 The logicians, from and including Hamilton, have en- tirely overlooked this distinction, and have thus substituted for the old logical doctrine of Simple Apprehension, the psy- chological doctrine of Conception, a doctrine necessary to be understood, but which is concerned rather with the original formation of language than with its use as an instrument of reasoning. INTRODUCTION 15 generally, and all of us in many matters, like Moliere's hero, who was surprised to find that he had been talking prose all his life, have all our lives been talking nonsense. 1 And this is true not only of opinions commonly regarded as nonsensical, but of all opinions involving either undefined notions or notions to which there are no corresponding realities. 9. THE CRITICAL SPIRIT ESSENTIAL TO WISDOM. Our wisdom is therefore to be measured, not by the extent of our learning, or by knowledge of detached facts, or by vivac- ity of thought or expression, or by the confi- dence of our belief, but chiefly by the capacity to judge our supposed knowledge, and to de- tect its falsity or non-significance. In this way Socrates modestly explained the oracle of the Delphic god, that he was " the wisest of man- kind." For, he said, he alone had discovered that all men were ignorant, including himself; but others mistook their ignorance for know- ledge. 2 We conclude, therefore, as we began, that what we regard as our knowledge consists mainly of unverified opinions or beliefs, and that however firmly these may be established, 1 See Appendix C. 2 As explained by Grote (cited infra, 16, App. H), the thesis of Socrates was that " the natural state of the human mind " is "not simply ignorance, but ignorance mistaking itself for knowledge." l6 LOGIC or however passionately they may be asserted and believed, they do not necessarily, or even generally, constitute true knowledge. Hence, until we are enabled to distinguish the true from the false, we can have no assurance of their rectitude or truth. 10. LOGIC THE ULTIMATE TEST OR CRI- TERION OF TRUTH. We must, therefore, seek some tests or criterions if any there be by which the truth or falsity of our beliefs may be determined ; and of such two only can be conceived ; namely, Experience and Reason- ing, or Logic. Of these the former is more or less efficiently used by men in general ; and in concrete matters and in the ordinary familiar affairs of life, its operation is moderately satis- factory. For thus, by actual contact with the hard facts of our experience, our opinions or beliefs are, to a large extent effectually, and often painfully, modified and corrected. But the function of experience is simply to furnish Reason with materials on which to work; and of Reasoning, or Logic, as Hobbes says: " So far are the mass of men from using it, that they do not even know what it is." 1 " The most part of men, though they have the use of rea- soning a little way, as in numbering to some degree, yet it serves them to little use in common life ; in which they gov- ern themselves, some better, some worse, according to their differences of experience, quickness of memory, and inclina- tion to several ends ; but especially according to good or evil IN TROD UC TION 1 7 ii. THE DECADENCE OF THE AGE IN LOGIC AND THE MORAL SCIENCES. And this is true not only of the common people, but of the educated, and even of the philosophers and the professors; who in the last century, owing to the disuse of Logic, have in fact lost the very idea of it; so that in our schools and universities, under the name of Logic, any- thing but Logic itself is taught, and it has thus become a lost art. 1 Yet, obviously, in all abstract matters, and especially in Morality, Politics, and all the different branches of the Science of Human Nature, experience, while useful to us, can go but a little way, and therefore Logic must be an indispensable in- strument. Hence it is to the disuse of Logic that the existing incoherent and chaotic state of the Moral Sciences is to be attributed." It may therefore be confidently hoped that by the renewed use of Logic a revival of these sciences is to be anticipated, vying in extent with that of the concrete sciences in modern times, and fortune, and the errors of one another. For as for 'science,' or certain rules of their actions, they are so far from it that they know not what it is" (Lev., chap. v.). 1 " We live in an age," says De Morgan, " in which formal logic has long been banished from education ; entirely we may say from the education of the habits." The proposition is even truer of the present day ; for in De Morgan's time there still survived some of the old style of logicians. * See Appendix D. 1 8 LOGIC far surpassing them in practical utility to the human race. 1 12. OF AUTHORITY AND PREJUDICE. I would not, however, in thus explaining and commenting upon the general dominance of authority and prejudice over men, be under- stood as altogether condemning it. Under existing conditions, and perhaps under all con- ditions, the opinions of the masses of mankind, in Politics and other matters of common con- cern, must be determined mainly by custom and authority. Hence the distinction made by the old philosophers between their esoteric and ex- oteric doctrines; the latter consisting of those that could be taught to the masses, the former, of those that required the peculiar training of the philosopher to comprehend a profound distinction that has been lost in modern times. But though it may not be possible, or perhaps even desirable, to make all men philosophers, yet it is possible to make the masses of them logical in the matters with which they are con- 1 The argument of Demosthenes in the first Philippic may be readily applied to the proposition asserted in the text : " First I say, you must not despond, Athenians, under your present circumstances, wretched as they are ; for that which is worst in them as regards the past is best for the future. What do I mean? That your affairs are amiss, men of Athens, because you do nothing that is needful ; if, not- withstanding you performed your duties, it were the same, there would be no hope of amendment." INTRODUCTION 19 versant ' ; and for those who aspire to be lead- ers of opinion, Logic is essential. For these, if worthy of the function to which they aspire, cannot afford to be deficient in this respect; they must either be logicians, or false prophets, or blind leaders of the blind. 13. PLAN OF THE WORK. Though I re- gard the study of Logic as essential to the cul- tivation and the use of the reasoning powers, and hence as indispensable to the Moral Sci- ences, yet it is chiefly as a test or criterion of fallacy that I propose to treat it. This use of it will, of course, necessitate some consideration of the elementary principles and rules of Logic as necessary to the understanding of the Doc- trine of the Fallacies. But this part of my essay will be abbreviated to the utmost extent con- sistent with this object ; that is to say, I will try to include everything essential to the under- standing of the rudiments of Logic, but noth- ing more. If I should fail in this, and anything necessary should be omitted, the defect may be readily obviated by reference to the work of Whately, who, among elementary writers, may be regarded (in any true sense of the word) as the last of the logicians. The subject will be treated in two books, the first entitled " The Analytic of Right Reason- ing," the second, " Applied Logic " ; the latter 1 See Appendix E. 2O LOGIC of which will include two subjects, namely: ' The Method of Logic " and " The Doctrine of the Fallacies," or " The Analytic of Wrong Reasoning." In treating of the last, the ex- amples of the several fallacies will be taken almost exclusively from current theories of Politics and Morality. Our examples will therefore consist, not of mere trivialities, such as are so common in books on Logic, but of fallacies that, in perverting moral and political theory and in corrupting practice, have dominated, and still continue to domi- nate, the fortunes of mankind. They come to us, therefore, as veterans of what Hobbes calls the " Kingdom of Darkness," crowned with the laurels of victory. 1 1 Lev., chap. xliv. : see Appendix F. BOOK I THE ANALYTIC OF RIGHT REASONING 21 BOOK I THE ANALYTIC OF RIGHT REASONING CHAPTER I RUDIMENTARY NOTIONS 14. DEFINITION OF LOGIC AND OF IN- VOLVED TERMS. Logic is defined by Whately as the science and also the art of reasoning. Reasoning may be defined as consisting in the exercise of the comparative or discursive fac- ulty of the mind that is to say, the faculty by which our notions or concepts are compared with each other, and with the realities to which they are supposed to correspond, and their re- lations with each other, and with such realities are perceived. Or we may define reason as the faculty, and reasoning as consisting in its exercise. 1 But Logic by which I mean the 1 The terms reason and reasoning, though conjugate, have unfortunately been divorced by logicians, and, following 23 24 LOGIC traditional Logic is not to be regarded as having to deal with reasoning in general, but with explicit reasoning only, or ratiocination ; which may be defined as reasoning expressed in language, or, so far expressed that the miss- ing parts are understood. Hence it is rightly said by Whately that Logic is exclusively con- versant with language; by which is meant, not merely the signs of thought, but also the thought signified. 1 This follows from the definition, and also from considering the sev- eral subjects of which it treats, which, by the universal consensus of logicians, consist of the Doctrines of the Term, of the Proposition, and of the Syllogism. But all these are simply parts or kinds of language. 15. RATIOCINATION DEFINED. But Ra- tiocination, being a species of reasoning, must consist in the comparison of concepts or notions, and these, in order to fall within the province of Logic, must, ex vi termini, be ex- pressed in terms. Hence, Ratiocination must be defined as consisting in the process of com- them, by lexicographers generally ; and accordingly Locke is blamed by Whately for confounding them. But in this Locke is right, and the logicians wrong ; and the usage of the latter has been the source of infinite confusion in Logic. As I use the terms, Reason includes the faculties of Inference, Judgment, and Simple Apprehension ; and Reasoning the corresponding processes. 1 See Appendix G. RUDIMENTARY NOTIONS 2$ paring terms, with the view of perceiving their relations. And this necessarily implies, also, the process of determining the meaning of the terms compared, or, in other words, the process of definition. 16. LOGIC DEFINED. Logic, regarded as a theory, may, therefore, be defined as the Analytic of Explicit Reasoning, or of Ratio- cination meaning, by this expression, the systematized results of an analysis of the pro- cesses involved in ratiocination. 1 And its practical end is to determine the meanings of terms and the relations between the concepts or notions denoted by them. 3 17. OF THE SEVERAL KINDS OF TERMINAL RELATIONS. The relations between terms are of two kinds, which may be called immediate and inferred ; and the former, again, are of two kinds, that, for lack of better names, may be called intuitive and quasi-intuitive. 18. THE INTUITIVE RELATIONS OF TERMS. Of the former kind are all those relations between terms that are intuitively perceived upon comparing them together, as, e. g., the 1 See Appendix H. 2 " Knowledge [is] but the perception of the connection and agreement or disagreement or repugnancy of any of our ideas " (Locke, cited 110 n. g. App. N). " Knowledge is not so much increased by a continued accession of new ideas as by perceiving the relations of those ideas which we have already acquired " (Eunomos, cited Chitty's Blackstone, introd. note). 26 LOGIC relation of species and genus between the class of beings denoted by the term man and the class denoted by the term rational, or between the classes denoted by the terms horse and animal, or the relation of mutual exclusion existing between the terms of the proposition, No two islands can be contiguous." 19. JUDGMENT DEFINED. The perception of a relation of signification between two terms is called Judgment; which may be defined as the intuitive perception of a significative rela- tion between two terms. The result of the process is called a judgment; which may be defined simply, as a self-evident proposition. 20. THE QUASI-INTUITIVE RELATIONS OF TERMS. Analogous to the intuitive rela- tions of terms are the relations between the terms of all assumed propositions, or assump- tions; for these, though not intuitively true, are assumed or supposed to be such for the sake of the argument, and used as principles from which to reason ; they may, therefore, be regarded as quasi-intuitive^ Under this head 1 We borrow this form of expression from the lawyers, who find it indispensable, as, e. g., in the expressions quasi-torts, quasi-contracts" etc. As we are informed by Cicero, the Epicureans held that the gods had not bodies, but quasi- bodies only, i. e., something like bodies. An Indian com- munity, I have read somewhere, were much annoyed by a species of animal something like cows (nie/gkais, I believe they called them) that destroyed their crops, and the question RUDIMENTARY NOTIONS 2J are included all the relations between the terms of propositions assumed as premises, whether upon authority, or from testimony, or other- wise, i. e., between the terms of all proposi- tions other than those that are intuitively perceived to be true, or that are inferred from other propositions. 21. THE INFERRED RELATIONS OF TERMS. The inferred relations of terms in- clude all relations that cannot be intuitively perceived from an immediate comparison of the terms, or that are not assumed, but that can be inferred by comparing the given terms respectively with a third or middle term, the re- lations of which to the given terms are known. Thus, e. g., we may not be able to perceive from a mere comparison of the two terms, that " Logic is a branch of the Science of Lan- guage," but by comparing the two terms of the proposition respectively with the middle arose whether it was lawful to kill them. The pundits to whom the question was referred were of the opinion that, though not cows, the animals were quasi-cows, and therefore not to be killed. The term will be found to be of equal utility in Logic as in the Law. In fact, a very useful book might be written on the subject that might be appropriately termed Quasics. For, outside of concrete notions, all notions denoted by terms are formed by analogy from sensible images, and are quasi-things only, as, e.g., imagination, reflection, perception, etc. We suggest the term Quasics not with a view of seriously recommending it for common use, but simply for the purpose of directing attention to a very important subject. 28 LOGIC term, " The Science of the Term, the Proposi- tion, and the Syllogism, ' ' the relation of species and genus between the subject and the predi- cate will be at once perceived. For" Logic is the Science of the Term, the Proposition, and the Syllogism," and " The Science of the Term, etc.," is a species or kind of " the Science of Language," and hence " Logic is a species or kind (i. e., a branch) of the Science of Language." And so we may not be able to perceive from a mere comparison of the terms that " the Thracians were barbarians, " but by comparing these terms with the middle term, " Not -Greeks," the conclusion is apparent ; for, ex vi termini, all " Not-Grecks " were barba- rians. So, generally, using the letters X, Y, Z, etc., to represent the terms of any proposition, we may not be able to perceive intuitively the truth of the proposition that Z is X, yet, if it be intuitively perceived or assumed that Z is Y, and that Y is X, we may infer that Z is X. 22. PROPOSITIONS AND SYLLOGISMS. An immediate relation of terms, whether intuitive or assumed, can be expressed only in the form of a proposition which may be defined simply as the expression of such a relation ; and an inferred relation, only in the form of three propositions constituting what is called a syllo- gism. The proposition may be expressed in the formula: Y is X; and all syllogisms in the RUDIMENTARY NOTIONS 29 formula: Z is Y, Y is X, . * . Z is X; or, Z is Y, Y is not X . . Z is not X the letters standing for terms or names, and the three points (. * .) being the sign of illation, and equivalent to the expression, " ergo," or " therefore." ' 23. OF APODICTIC AND DIALECTIC. Ra- tiocination may consist wholly of judgments and inferences, or partly of these and partly of assumed propositions. In the former case it is wholly illative, or demonstrative; in the latter, 1 To define a term (as indicated in the etymology of defini- tion} is in effect to establish the boundaries by which the class of significates denoted by it is separated from all other things ; and these boundaries may be conveniently represented by circles or other enclosed figures. These are known as Euler's symbols, and are extremely convenient and universally used by logicians. A universal affirmative proposition is expressed by a circle contained in a circle, the former representing the subject, the latter the predicate ; the universal negative by two circles excluding each other ; and the syllogism, by thus expressing its several propositions; as, c. g. , in the following diagrams : Affirm. Prop. Neg. Prop. Neg. Syll. 3O LOGIC only partially so, i. e., only so far as the valid- ity of the inference is concerned. The prin- ciples governing the former kind of ratiocination constitute what is called Apodictic ; those gov- erning the latter, Dialectic. It will be seen as we progress that Apodictic is far more extensive in its scope or use than is commonly supposed, and that it includes, in fact, not only the Mathematical Sciences, both pure and applied, but also a large part of Morality, Politics, and Jurisprudence generally. And especially, it is important to observe, it includes the subject of our present investigations. For Logic, though not so treated by modern logicians, is strictly a demonstrative science, and will be so treated in this essay. 1 24. VALID RATIOCINATION ILLATIVE IN NATURE. All ratiocination, or reasoning ex- plicitly stated, discloses at once its validity or invalidity that is to say, appears on its face to be either conclusive in its effect, or fal- lacious. Hence, all ratiocination, unless fal- lacious, is illative or conclusive, or, we may say, demonstrative in its nature. On the other 1 One of the most universal infirmities of the average mind is an incapacity to distinguish (outside the mathematics) be- tween mere opinion and apodictic, or demonstrated truth. With regard to the latter, the man who is conscientious and accurate in his Logic may realize the fine saying of Seneca : " It is truly great to have in one the frailty of a man and the security of a god " (cited Bacon, Essays, " Of Adversity "). RUDIMENTARY NOTIONS 31 hand, unless explicitly stated, no reasoning, however apparently convincing, can be re- garded as of this. nature. Hence, from a logi- cal point of view, reasoning in general may be regarded as either valid (i. e., illative), or as invalid; the latter of which may be either fal- lacious or simply inconsequent. The former may be appropriately called Logical Reason- ing, the latter Non-logical or Rhetorical; by which is meant not necessarily illogical or fal- lacious, but either fallacious or simply inconse- quent, i. e., non-illative. 25. RIGHT REASONING DEFINED. It is with the former only that Logic is directly con- cerned, and to it we may without impropriety give the name of RigJit Reasoning. For the logical quality of the reasoning does not de- pend upon the truth or falsity of the conclusion, but upon the rectitude of the definitions, judg- ments, and inferences. 26. LOGIC THE ART OF RIGHT REASON- ING. Logic, therefore, regarded as an art, may be simply defined as the Art of Right Reasoning; and it must therefore be regarded as denoting the ultimate test or criterion of truth or error. For until the reasoning is made explicit, it cannot be determined whether it is right or otherwise. It also includes the doctrine of Fallacy, or Wrong Reasoning; but as the latter has for its end simply the 32 LOGIC avoidance of error, as a means of assuring the rectitude of our reasoning, it may be regarded simply as one of the practical aspects of the doctrine of Right Reasoning. 27. LOGIC TO BE REGARDED AS INTEL- LECTUAL MORALITY. Logic must, therefore, be regarded as bearing to reasoning the same relation as Morality to conduct. It may, therefore, be appropriately called Intellectual Morality* 1 Hence it is that Logic, like Morality, is not popular with those who disregard its precepts ; among whom are to be in- cluded the large majority of writers, and especially of phil- osophers. The principle is as expressed in the adage : " What thief e'er felt the halter draw With good opinion of the Law ?" CHAPTER II DOCTRINE OF THE TERM I OF THE NATURE OF THE TERM 28. " TERM," " NAME," AND " WORD" DISTINGUISHED AND DEFINED. These words are often used as synonymous, but the distinc- tion between them is material and important. A word is a vocal sign, or vocable, express- ing a thought, or a thought expressed by such a sign. Under the name " word " is included the substantive or noun, and also other parts of speech, as, e. g., the article, the conjunction, etc. A name (noun or substantive, which may be either simple or complex'} is a word or set of words used to signify an object of thought re- garded as a thing, z. i\, as an existing substance or entity. The knowledge or cognition of a thing by the mind is called a notion or concept ; hence a name may be otherwise denned as a word, or set of words, expressing a notion, or 33 34 LOGIC as a notion thus expressed. A notion or con- cept is itself a thought, but it differs from other thoughts as being the thought of a thing, i. e,, of something as existing. A term is a name used as a subject or predicate of a pro- position. It is therefore to be regarded merely as an element of the proposition ; and the pro- position as the principal subject in Logic. 29. "THING" DEFINED. The term thing is used in two different senses that must be carefully distinguished. In its proper sense the term denotes an actual thing or sub- stance, whether material or spiritual, as, e. g., mineral, vegetable, animal, gas, man, soul, God, etc. In this sense things constitute the actual universe, and all notions or concepts whatever, unless false or unreal, are ultimately derived from them. But, in another sense, the term is used to denote, not only actual existences, or, as we may call them, real things, but mere objects of thought, or things existing only in contemplation of mind, and to which there are, in fact, no real things directly cor- responding. 1 These may be appropriately 1 All true or real notions must correspond to real or actual things, but the correspondence may be either direct between the notion and the real things signified by the term as in the case of concrete terms, V \\ -SUBCOMTRARY- (i) CONTRADICTORIES. The most complete kind of opposition is that of contradictories. These cannot both be either true or false: i. e., if one is true, the other is false; or, if one is 96 LOGIC false, the other is true. For if it be true that " All men are sinners," it cannot be true that " Some men are not sinners " ; and, conversely, if it be true that " Some are not righteous," it cannot be true that " All men are righteous." In other words, between contradictories there is no intermediate proposition conceivable ; one must be true and the other false. This is called the law of Excluded Middle. (2) CONTRARIES. Contraries cannot both be true; for if it be true that " Every man is an animal," it must be false that " No man is an animal." But both may be false, as, for example, the propositions that " All men are learned," and that " No men are learned"; which are both false, for some are learned and some are not. In other words, contrary propo- sitions do not exclude the truth of either of the particular propositions between the same terms. (3) SUBCONTRARIES. Subcontraries are con- trasted with contraries by the principle that they may be both true, but cannot both be false. Thus it may be true that " Some men are just," and also that " Some men are not just " ; but if it be false that " Some men are just," it must be true that " No man is just," which is the contradictory, and, a fortiori, that "Some men are not just," which is the subcontrary. (4) SUBALTERNATE OPPOSITION. With re- TRADITIONAL LOGIC 97 gard to subaltern propositions, their truth follows from the corresponding universal pro- positions; for if " all men are animals," " some men are animals," and if " no man is an ape," " some men are not apes." But from the truth of a subaltern proposition we cannot infer the truth of the corresponding universal, as, e. g., from the proposition " Some men are false," the proposition " All men are false "; or from the proposition " Some men are not false," the proposition that " No man is false." 90. OBSERVATIONS UPON CONTRARY AND CONTRADICTORY OPPOSITIONS. Accurately speaking, these constitute the only kinds of opposition. Subcontraries are, in fact, not op- posites; and the same is true of subalterns and their corresponding universals. It will be observed it does not follow from the principle of contrary opposition that of two terms regarded as subject and predicate as, e. g. , Y and X either the latter or its negative may always be predicated of the former, or, in other words, that Y must be either X, or not X; for, in fact, some Y may be X, and some Y not X, as will obviously appear from the following diagrams: 98 LOGIC Hence there arises, seemingly, a puzzling contradiction between this principle and the law of Excluded Middle as it is often stated. Thus, it is said, " Rock must be either hard or not hard" (Jevons, Lessons in Logic, p. 119), or, generally, " Y is either X or not X." But obviously this, unless accidentally, is not true; for some rock may be hard and some soft ; or some Y may be X, and some not X. And so we cannot say of " men " either that they are learned or that they are not learned ; for some are the one and some the other. But the ap- parent contradiction arises from the misstate- ment of the law of Excluded Middle; which is itself nothing more or less than the principle governing contradictories, as expressed above. We may, indeed, where a subject term (as, e. g., Y) denotes an individual or single thing (real or fictitious), affirm of it that it is either X or not X; but if Y denotes a class of more than one we cannot so affirm. 1 1 Even Hobbes falls into the error of Jevons on this point. "Positive and negative terms," he says, "are contradictory to one another, so that they cannot both be the name of the same thing. Besides, of contradictory names, one is the name of anything whatsoever (i. e., of any conceivable thing), for whatsoever is, is either a man, or not a man, white, or not white, and so of the rest." But, it may be asked, " Does the name 'biped' denote (universally) either man, or not man?" or " the name 'man', either white man, or man not white?" The confusion results from the technical view that regards TRADITIONAL LOGIC 99 91. CONVERSION OF PROPOSITIONS. A proposition is said to be converted when its terms are transposed, i. e., when the subject is made the predicate and the predicate the sub- ject ( 54). Such conversion is admissible only when illative, i. e., where the truth of the converse is implied in that of the original prop- osition. When such conversion can be made without otherwise changing the proposition it is called a simple conversion; otherwise, it is called a con version per accidens. Thus A (" Y is X ") cannot be converted simply, because the subject only is distributed; we therefore can- not say that " All X is Y," but only that " Some X is Y," which is called conversion per accidens. But E (" Y is not X ") as both sub- ject and predicate are distributed may be con- verted simply ; or, in other words, we may say the Particular Proposition as a form distinct from the Uni- versal, and its source would be removed if, as elsewhere suggested, this form of the proposition should be rejected ( 52, n.). We might then adopt, as equally accurate and profound, the remaining observation of Hobbes, that "the certainty of this axiom, namely, that of two contradic- tory names one is the name of anything whatsoever, the other not, is the original and foundation of all ratiocination, that is, of all philosophy" (Logic, Sec. 8), which is in accord with the view of Aristotle : " For the same thing to be present and not to be present, at the same time, in the same subject, and in the same sense, is impossible. . . . For by nature this is the first principle of all the other axioms " (Metaphysics, R. iii., chap. Hi.). IOO LOGIC that " No X is Y." So with I (" Some Y is X "), as both subject and predicate are un- distributed, the proposition may be simply converted, i. e., if " Some Y is X," then it is necessarily true that " Some X is Y." By one or the other of these methods, i. e., either simply or per accidens, all propositions of the forms A, E, and I may be converted. But O (" Some Y is not X ") cannot be thus converted. Thus, e. g., it cannot be inferred from the prop- osition "Some Greeks are not Athenians" that " Some Athenians are not Greeks." But such conversion may be effected by simply re- garding the negative particle (not) as part of the predicate ; by which expedient O is changed into I, and may be simply converted, as, e. g., "Some Greeks are Not-Athenians " ; which may be converted into the proposition " Some Not-Athenians are Greeks. ' ' So from the prop- osition " Some men are not learned," though we may not infer that " Some learned are not men," we may infer that " Some unlearned are men." This is called by the old logi- cians "Conversion by Contraposition," and by Whately, " Conversion by Negation." This method of conversion is applicable to A and E as well as O, and, as it is of very ex- tensive use, we append a table of such conver- sions, taken, with some alterations, from De Morgan (Formal Logic, p. 67). In this table TRADITIONAL LOGIC IOI (altering De Morgan's notation) the original terms of the proposition are denoted by the capital letters Y and X, and their contraries respectively by prefixing the Greek privative a. We append also for illustration the symbolical expressions for the several propositions: A: " Y is X " ; " Y is not aX " ; " aX is not Y " ; " aX is aY " : The righteous are happy The righteous are not unhappy / The unhappy are not righteous ' The unhappy are unrighteous. E: "YisnotX"; " Y is aX " ; " Some aX is Y " ; " Some aX is not aY." " X is not Y " ; " X is aY " ; " Some aY is X " ; " Some aY is not aX " : Perfect virtue is not human '' \j \ Perfect virtue is unhuman IS~\ /f~\\ Y Ca A I X I Some unhuman virtue is perfect v^ Some unhuman virtue is imperfect. \ , ^^ *s Human virtue is not perfect Human virtue is imperfect Some imperfect virtue is human Some imperfect virtue is not unhuman. O: " Some Y is not X " ; " Some Y is aX " ; " Some aX is Y " ; " Some aX is not aY " : 102 LOGIC Some possible cases are. not probable Some possible cases are not improb- able Some improbable cases are possible Some improbable cases are not im- possible. It will be observed from the above table that a universal affirmative proposition can always be converted into another universal affirmative between the contradictories of its original terms by simply reversing the order of the terms and substituting for them their contradictories. 92. OF MATERIAL CONVERSIONS. It will be observed that the conversions of propositions treated by logicians have regard to the dis- tinction, heretofore explained, between the formal and the material relations of terms ( 66 (2)), and are confined exclusively to what may be called formal conversions, i. e., to cases where the equivalence of the converted and original propositions results from the formal or general relations of terms. But conversions of propositions based upon the material relations of terms are of essentially the same nature, as, e. g., where the proposition " John is the son of William " is converted into the proposition William is the father of John"; or the proposition" Cain murdered Abel" into the proposition " Abel was murdered by Cain," or into the proposition " Cain is the man that TRADITIONAL LOGIC 103 murdered Abel." These, having regard to the received distinction between the formal and the material relations of terms, may be called material conversions ; and are infinitely the more numerous class, and equally deserv- ing of attention. But though conversions of this kind are in constant use, and though, in- deed, we cannot proceed a step in our logical processes without them, yet the subject has received but little attention, and remains as yet a vast, unexplored domain. 1 It can only be said, therefore, in the present condition of logical doctrine, that as the distinction be- tween the formal and the material relations of terms has been found unessential, so must the distinction between formal and material con- versions be regarded. Both classes of conver- 1 To this domain belong such subjects as the "Categories" "Intensive Propositions,'''' " Hypothetical Propositions" and, in short, all forms of expression that differ from the ordinary logical proposition. With these Logic is concerned only in so far as is involved in their conversion into logical forms. Otherwise, neither the Intensive nor the Hypothetical Logic (if we may give either the name) can be regarded as part of Logic as traditionally received ; which is based exclusively upon the logical form of the proposition and its extensive interpretation. With regard to the Hypothetical Logic, it will be observed, it has no place in Aristotle's treatises ; and Mansel is of the opinion in which I agree that in this he showed a juster notion of the scope of Logic than his suc- cessors. The subject is well treated in the current works on Logic, and is worthy of some attention from the student. 104 LOGIC sions rest equally for their validity simply upon judgments as to the equivalence of ex- pressions. Ill THE TRADITIONAL DOCTRINE OF THE SYLLOGISM 93. The following epitome of the doctrine of the syllogism as traditionally received, brief as it is, will with what has already been said be found amply sufficient to expound it. It will, indeed, require the same close attention and thought as is usually given to mathemati- cal demonstrations; but it may be said that to those who are unwilling to give, or are in- capable of giving, to it this kind of thought, the study of Logic cannot be of much benefit. I . Of the Moods and Figures of the Syllogism 94. MOODS OF THE SYLLOGISM. The syl- logism is said to be in different moods, according to the occurrence and arrangement in it of the several forms of the proposition A, E, I, and O; as, e. g., in the syllogism Y is X, Z is Y, . *. Z is X, ' ' which consists of three universal affirmative propositions, and is, therefore, said to be in the mood A A A. The four forms of the proposition, A, E, I, O, may be arranged, in sets of three each, in sixty-four different ways, but upon examina- tion it is found that of these there are eleven TRADITIONAL LOGIC 1 05 arrangements only that constitute valid syllo- gisms; and hence the legitimate syllogism can have but eleven moods, viz. : Table of Moods A A A, A A I, A E E, A E O, A I I, A O O, E A E, E A O, E I O, I A I, O A O. 95. FIGURES OF THE SYLLOGISM. Again, syllogisms are said to be of different figures, according to the position of the middle term in the syllogism with reference to the extremes; and as there are said to be four different ways in which the middle term may be thus placed, syllogisms are said to have four figures, viz. : the 1st figure, where the middle term is the subject of the major and the predicate of the minor premise ; the 2d, where it is fa& predicate both of the major and of the minor premise ; the 3d, where it is the subject of both the major and the minor premise ; and the 4th, where it is the predicate of the major and the subject of the minor premise. Thus using the conven- tional symbols the forms of the different figures are usually expressed as follows : Table of Figures 1st Fig. 2cl Fig. 3d Fig. 4th Fig. Y X, X Y, Y X, X Y, Z Y, Z Y, Y Z, Y Z, Z X, Z X, Z X, Z X. 106 LOGIC If the eleven moods of the syllogism were all valid in each of the four figures, there would result forty-four different kinds of syllogisms differing in mood or figure. But none of the moods are valid in all the figures; and it is found on examination that there are in fact only twenty-four kinds of syllogisms that are valid ; and that of these five are useless. So that the number of different kinds of legiti- mate syllogisms recognized by logicians is nineteen. 96. REDUCTION OF SYLLOGISMS. All these forms may, however, be reduced or con- verted without affecting their validity into the form of the first figure ; which is accord- ingly regarded by logicians as the principal, or normal figure of the syllogism. The different figures and moods of the syllogism, and the methods of reduction or conversion from one figure to another, are briefly expressed in the following hexameter verses, constituting what may be called The Table of Syllogisms Fig. i Barbara, Olar^nt, Dam, Ferioque, prioris Fig. 2 Cesare, Canvstr^s, Festino, Fak^n?, secundae Fig. 3 Tertia, Darapti, D/sam/s, Dat/sz', Fi?lapt -S Darii Ferio A: I: Y is X / Some Z is Y I t ^~X**\ E: Y is not X ^_^^ ^T\l I: Some Z is Y \_//v\ * J I: \ .'. Some Z is X V.5/ O: .'. Some Z is not X ^ * rXY ^ /jX I: Some X is Y I: .-. SomeZisX \S-K / X ) I: .'. Some X is Z ^V y or Some Z isX APPENDIX NOTES 257 Datisi Darii A: Y isX /^S^^rx A: Y is X /( Y /) \2\ I: Some Y is Z ( V_J()/ I: Some Z is Y \ X y' I: .'. Some Z is X ^~-^*/ I: .'. Some Z is X Felapton Ferio E: Y is not X /^~^>< ~x K: Y is not X A: Yis Z O( ) X] I: Some Z is Y O: . '. Some Z is not X ^~_3<^ >/ O: .'. Some Z is not X Dokamo Darii O: Some Y is not X / ^^ A: YisZ A: Yis Z [C y Q)x\ ^ Some not X is Y Some not X is Z O: .'. Some Z is not X \^2^^ or Some Z is not X Ferison Ferio E: Y is not X /'TN / \ E: Y is not X ( * JL-L x i I: Some Yis Z V^Vy I: Some Z is Y O: .'. Some Z is not X ^ / O: .'. Some Z is not X /XY 4th Figure -| YZ (zx Bramantip Barbara A: Xis Y /""""X A: Y is Z A: Y is z /fer\ \ A: X is Y I: .'. Some Z is X \&jj A: .'. X is Z v^_/ or Some Z is X Camenes Celarent A: X is Y /TX E: Y is net Z E: O: Y is not Z /V" X \ x"~x .-. z is not x \v x y / ( z y A: X is Y E: .'. X is not Z or Z is not X 258 LOGIC Dimaris I : Some X is Y A: Y is Z I: .'. Some Z is X Fesapo E: XisnotY A: Y is Z I: .'. Some Z is not X Fresison X is not Y Some Y is Z O: .'. Some Z is not X Darii A: Y is Z I: Some X is Y I: .'. Some X is Z or Some Z is X Ferio Y is not X Some Z is Y O: .'. Some Z is not X Ferio E: Y is not X I: Some Z is Y O: .'. Some Z is not X N no The opinion of Locke cited, which occurs at the end of his essay, may be taken as the consumma- tion and final generalization of his theory of knowl- edge. In the body of the work the conclusion reached by him is, that the elements of all knowl- edge are ideas (by which is meant what are now commonly called notions or concepts), and that " knowledge [is] but the perception of the connec- tion and agreement, or disagreement, or repugnancy of any of our ideas " (Essay, b. 4, c. i). This definition, it will be observed, is too nar- row, as it excludes the knowledge derived directly from the perception of concrete objects. But al- lowing for this defect it is accurate and profound and must be taken as the foundation of all science. In the beginning it seems that Locke had no APPENDIX NOTES 259 conception, or at least a very inadequate conception of the intimate connection between language and thought, and of the indispensability of the former as an instrument of thought. But as he proceeded he seems gradually to have realized this great truth, which is treated of in his third book; and upon the conclusions thus reached is based his theory of knowledge and his general philosophy as developed in his fourth book, and as generalized in the conclu- ding chapter, to which we have referred. His theory of knowledge, therefore, is to be regarded as based to a great extent expressly, and otherwise implicitly, upon the notion that all knowledge beyond that coming from experience consists in the perception of the agreement, or disagreement, of our ideas, or notions; and hence that all reasoning must consist in the comparison of notions or concepts; that practically this can be effected only by means of the names of the concepts or notions; and hence that Logic must consist in Analysis and Synthesis of names or terms; which is the theory of this work. (See observation of Home Tooke, Appen- dix A.) INDEX Abstract and concrete terms, 37 Accent, fallacy of, 203 Accident and genus distinguished, 49 Accident and secunJum quid, relation between, 2IO Accident, fallacy of, 207, 208 Adjectives regarded as substantives, 36 Amphiboly, 201 Analysis and synthesis, logical and physical, distinguished, 108 Analysis, use of, 116 Analytical processes, 42 Apodictic, 23, 70 Apprehension, 41 A priori, and empirical notions, 71 Arguing in circle, 160 Aristotle, his dictum, 76 ; his classification of fallacies, 197 Bain, an opinion of, 83 Burden of proof, 164 Canons of the several figures of syllogism, 100 Categories and predicables distinguished, 66 Classification, division and, 44 Collective and distributive interpretation, 60 Commonplace and original thought distinguished, 112 Commonplaces, 156 The numbers refer to sections. 26l 262 INDEX Common terms, singular and, 35 Composition and division, fallacy of, 202 Concept defined, 30 Concrete terms, abstract and, 37 Confusion, fallacy of, 139 Connotation and denotation of terms, 32 Consequent, fallacy of the, 212 Consequentis, F., 212 Contradiction, the law of, 125 Contradictory, substitution of, 80 Contraposition, conversion by, So Conversion by intension, 58 Conversion of propositions, 54, 70, 91 Conversions, material and formal, distinguished, 92 Copula, the, 55 Criticism, 115 Definition, vocal, 43 ; nominal or real, 48 Denotation and connotation of terms, 32 Dialectic, 23, 70 Dichotomy, 47 Dictum, Aristotle's, 76 ; forms of, 99 ; applicable to all fig- ures, 100, 101 ; and to singular and other equational propositions, 102 ; proposed amendments of, 103 Division, 46 Division and classification, 44 Enthymemes, 105 Equational theory of predication, 56 Equivalence of terms, 78 Equivocation, fallacy of, 127, 191, 201 Essence of term, 49 Euclid, his fifth proposition reduced to syllogisms, 84 Excluded middle, the law of, 125 Extension and intension of terms, 34 The numbers refer to sections. INDEX 263 Fallacies, classification of, 129 ; definition of, 128 ; observa- tions on, 132 ; extra dictionein, 206 ; in dictione (equivo- cation), 201 ; of inference, 131; of judgment, 130; of the syllogism, 104, 124 False definition, fallacy of, 126, 144 Figiirce dictio nis, F., 204 Figure of speech, fallacy of, 204 Figures of the syllogism, 95 Formal and material conversions, 92 Formal and material relations of terms, 67 Formal fallacies, 104 Genus and accident, 49 Genus and species, 45 Genus of term, 49 Ilomonymy, 201 Hypothesis, argument from, 165 Hysteron proteron, 160 Identity, the law of, 125 Ignoratio elenchi, fallacy of, 126, 169 Illicit assumption of premises (petitio principit), 154 ; tests of, 162 Illicit conversions, 127, 183 Illicit generalization, 155 Illicit substitution, fallacy of, 127, 187 Immediate inferences, 80 Inference, rules of, 77, 123, 127 Inferences, immediate, 80 Infinitation, 80 Instance, or extreme case, 163 Intension and extension of terms, 34 Intensive conversion, 58 Intensive theory of predication, 58 Intuitive propositions or judgments, 18, 19 The numbers refer to sections. 264 INDEX Invention, 113 Irrelevant conclusion, fallacy of, 126, 169, 173 Judgment, defined, 19 ; rules of, 126 Judgments and assumptions distinguished, 68 Knowledge defined, i, 2, 5 Language, as record of human thought, 4 ; as source of opinion, 3 Laws of thought, the, 125 : the law of identity, 125 ; the law of contradiction, 125 ; the law of excluded middle, 125 Legal maxims, 158 Logic, definition of, 14, 16 ; the traditional, 85 ; decadence of the age in, n ; method of, in ; the morality of in- tellect, 27 ; the art of right reasoning, 26 ; the ultimate criterion of truth, 10 ; as the doctrine of signs, no Logical processes, 107, 112 Logical term, elements of the, 31 Material and formal conversions, 92 Material and formal relations of terms, 67 Mathematical reasoning, 82 Meaning and signification of terms, 33 Method of logic, in Mistaking the issue, 169, 170 Moods of the syllogism, 94 Moral sciences, distinguished, 6 ; decadence of the age in the, ii Name defined, 28 Negative terms, positive and, 39 Nominal or real definition, 48 Non causa pro causa, fallacy of, 159 Nonsense, fallacy of, 126, 134, 138 Notion defined, 30 The numbers refer to sections. INDEX 265 Onus probandi, 164 Opinion, its modes of generation, 7 ; language as source of, 3 Opposition of propositions, 89 Original and commonplace thought distinguished, 112 Petltio prin fipii, fallacy of, 126 Plurium inter rogationum, F., 171 Popular proverbs, 157 Positive and negative terms, 39 Post hoc ergo propter hoc, 159 Predicahles, definition and division of, 61 ; and categories dis- tinguished, 66 Predication, theories of, 55, 60 Property and specific difference distinguished, 49 Proposition, defined, 22, 50 ; the grammatical, 51 ; the logi- cal, 52 ; interpretation of the logical, 53 ; the traditional doctrine of the, 86 Propositions, conversions of, 54, 91 ; kinds of : intuitive, 18, 20 ; quasi-intuitive, 20 ; inferred, 21 Proverbs, popular, 157 Quality of propositions, 86 Quantification of the predicate, 57 Quantity of propositions, 87 Quasi-thing defined, 29 Question-begging terms, 161 Ratiocination, defined, 14, 15 ; not merely hypothetical, 72 Real things defined, 29 Reasoning, defined, 14 ; supposed distinction between quali- tative and quantitative, 82 Rcductio, ad absurdum, 165 ; ad impossibile, 165 Reduction of syllogisms, 96 Relations of terms, immediate ; intuitive relations or judg- ments, 18, 19 ; quasi-intuitive, or assumptions, 20 ; in- ferred relations or syllogisms, 21 The numbers refer to sections. 266 INDEX Right reasoning defined, 25 Rules, of logic, twofold division of, 121 ; of inference, 77, 123, 127 ; of judgment, 122, 126 ; of the syllogism, 104 Secundum quid, fallacy of, 209 Semeidtike, or the doctrine of signs, no Several questions, fallacy of, 171 Significates of terms, 33 Signification and meaning of terms, 33 Simple apprehension, 41 Singular and common terms, 35 Sorites, 106 Species, genus and, 45 Specific difference, 49 Substitution, the principle of, 77 ; formal and material, Si ; of contradictory, 80 Syllogism, analysis of, 74 ; definition of, 22, 75 ; elements of, 73 ; moods and figures of, 94, 95 ; principle of, 76 ; re- duction of, 96 ; rules of, 104 ; the traditional doctrine of, 93 Term, defined, 28 ; kinds of, 35 Terminal relations, generally, 64 ; kinds of, 17, 65 Tests of illicit assumption, 162 Thing defined, 29 Thought defined, 30 Traditional doctrine of fallacies, 197 Traditional theory of predication, 59 Universe of the proposition, 40 Vocal definition, 43 Word defined, 28 The numbers refer to sections. UC SOUTHERN REGIONAL LIBRARY FACILITY A 001 401 248 8 CALIFORNIA LIBRARY, ANGELES, CALIF.