Logic: Deductive and Inductive

The context of any proposition always proceeds upon some assumption or understanding as to the scope of the discussion, which controls the interpretation of every statement and of every word. This was called by De Morgan the "universe of discourse": an older name for it, revived by Dr. Venn, and surely a better one, is suppositio. If we are talking of children, and 'play' is mentioned, the suppositio limits the suggestiveness of the word in one way; whilst if Monaco is the subject of conversation, the same word 'play,' under the influence of a different suppositio, excites altogether different ideas. Hence to ignore the suppositio is a great source of fallacies of equivocation. 'Man' is generally defined as a kind of animal; but 'animal' is often used as opposed to and excluding man. 'Liberal' has one meaning under the suppositio of politics, another with regard to culture, and still another as to the disposal of one's private means. Clearly, therefore, the connotation of general terms is relative to the suppositio, or "universe of discourse."

§ 5. Relative and Absolute Terms.—Some words go in couples or groups: like 'up-down,' 'former-latter,' 'father-mother-children,' 'hunter-prey,' 'cause-effect,' etc. These are called Relative Terms, and their nature, as explained by Mill, is that the connotations of the members of such a pair or group are derived from the same set of facts (the fundamentum relationis). There cannot be an 'up' without a 'down,' a 'father' without a 'mother' and 'child'; there cannot be a 'hunter' without something hunted, nor 'prey' without a pursuer. What makes a man a 'hunter' is his activities in pursuit; and what turns a chamois into 'prey' is its interest in these activities. The meaning of both terms, therefore, is derived from the same set of facts; neither term can be explained without explaining the other, because the relation between them is connoted by both; and neither can with propriety be used without reference to the other, or to some equivalent, as 'game' for 'prey.'

In contrast with such Relative Terms, others have been called Absolute or Non-relative. Whilst 'hunter' and 'prey' are relative, 'man' and 'chamois' have been considered absolute, as we may use them without thinking of any special connection between their meanings. However, if we believe in the unity of Nature and in the relativity of knowledge (that is, that all knowledge depends upon comparison, or a perception of the resemblances and differences of things), it follows that nothing can be completely understood except through its agreements or contrasts with everything else, and that all terms derive their connotation from the same set of facts, namely, from general experience. Thus both man and chamois are animals; this fact is an important part of the meaning of both terms, and to that extent they are relative terms. 'Five yards' and 'five minutes' are very different notions, yet they are profoundly related; for their very difference helps to make both notions distinct; and their intimate connection is shown in this, that five yards are traversed in a certain time, and that five minutes are measured by the motion of an index over some fraction of a yard upon the dial.

The distinction, then, between relative and non-relative terms must rest, not upon a fundamental difference between them (since, in fact, all words are relative), but upon the way in which words are used. We have seen that some words, such as 'up-down,' 'cause-effect,' can only be used relatively; and these may, for distinction, be called Correlatives. But other words, whose meanings are only partially interdependent, may often be used without attending to their relativity, and may then be considered as Absolute. We cannot say 'the hunter returned empty handed,' without implying that 'the prey escaped'; but we may say 'the man went supperless to bed,' without implying that 'the chamois rejoiced upon the mountain.' Such words as 'man' and 'chamois' may, then, in their use, be, as to one another, non-relative.

To illustrate further the relativity of terms, we may mention some of the chief classes of them.

Numerical order: 1st, 2nd, 3rd, etc.; 1st implies 2nd, and 2nd 1st; and 3rd implies 1st and 2nd, but these do not imply 3rd; and so on.

Order in Time or Place: before-after; early-punctual-late; right-middle-left; North-South, etc.

As to Extent, Volume, and Degree: greater-equal-less; large-medium-small; whole and part.

Genus and Species are a peculiar case of whole and part (cf. chaps. xxi.-ii.-iii.). Sometimes a term connotes all the attributes that another does, and more besides, which, as distinguishing it, are called differential. Thus 'man' connotes all that 'animal' does, and also (as differentiæ) the erect gait, articulate speech, and other attributes. In such a case as this, where there are well-marked classes, the term whose connotation is included in the others' is called a Genus of that Species. We have a Genus, triangle; and a Species, isosceles, marked off from all other triangles by the differential quality of having two equal sides: again—Genus, book; Species, quarto; Difference, having each sheet folded into four leaves.

There are other cases where these expressions 'genus' and 'species' cannot be so applied without a departure from usage, as, e.g., if we call snow a species of the genus 'white,' for 'white' is not a recognised class. The connotation of white (i.e., whiteness) is, however, part of the connotation of snow, just as the qualities of 'animal' are amongst those of 'man'; and for logical purposes it is desirable to use 'genus and species' to express that relativity of terms which consists in the connotation of one being part of the connotation of the other.

Two or more terms whose connotations severally include that of another term, whilst at the same time exceeding it, are (in relation to that other term) called Co-ordinate. Thus in relation to 'white,' snow and silver are co-ordinate; in relation to colour, yellow and red and blue are co-ordinate. And when all the terms thus related stand for recognised natural classes, the co-ordinate terms are called co-ordinate species; thus man and chamois are (in Logic) co-ordinate species of the genus animal.

§ 6. From such examples of terms whose connotations are related as whole and part, it is easy to see the general truth of the doctrine that as connotation decreases, denotation increases: for 'animal,' with less connotation than man or chamois, denotes many more objects; 'white,' with less connotation than snow or silver, denotes many more things, It is not, however, certain that this doctrine is always true in the concrete: since there may be a term connoting two or more qualities, all of which qualities are peculiar to all the things it denotes; and, if so, by subtracting one of the qualities from its connotation, we should not increase its denotation. If 'man,' for example, has among mammals the two peculiar attributes of erect gait and articulate speech, then, by omitting 'articulate speech' from the connotation of man, we could not apply the name to any more of the existing mammalia than we can at present. Still we might have been able to do so; there might have been an erect inarticulate ape, and perhaps there once was one; and, if so, to omit 'articulate' from the connotation of man would make the term 'man' denote that animal (supposing that there was no other difference to exclude it). Hence, potentially, an increase of the connotation of any term implies a decrease of its denotation. And, on the other hand, we can only increase the denotation of a term, or apply it to more objects, by decreasing its connotation; for, if the new things denoted by the term had already possessed its whole connotation, they must already have been denoted by it. However, we may increase the known denotation without decreasing the connotation, if we can discover the full connotation in things not formerly supposed to have it, as when dolphins were discovered to be mammals; or if we can impose the requisite qualities upon new individuals, as when by annexing some millions of Africans we extend the denotation of 'British subject' without altering its connotation.

Many of the things noticed in this chapter, especially in this section and the preceding, will be discussed at greater length in the chapters on Classification and Definition.

§ 7. Contradictory Relative Terms.—Every term has, or may have, another corresponding with it in such a way that, whatever differential qualities (§ 5) it connotes, this other connotes merely their absence; so that one or the other is always formally predicable of any Subject, but both these terms are never predicable of the same Subject in the same relation: such pairs of terms are called Contradictories. Whatever Subject we take, it is either visible or invisible, but not both; either human or non-human, but not both.

This at least is true formally, though in practice we should think ourselves trifled with if any one told us that 'A mountain is either human or non-human, but not both.' It is symbolic terms, such as X and x, that are properly said to be contradictories in relation to any subject whatever, S or M. For, as we have seen, the ordinary use of terms is limited by some suppositio, and this is true of Contradictories. 'Human' and 'non-human' may refer to zoological classification, or to the scope of physical, mental, or moral powers—as if we ask whether to flourish a dumbbell of a ton weight, or to know the future by intuition, or impeccability, be human or non-human. Similarly, 'visible' and 'invisible' refer either to the power of emitting or reflecting light, so that the words have no hold upon a sound or a scent, or else to power of vision and such qualifications as 'with the naked eye' or 'with a microscope.'

Again, the above definition of Contradictories tells us that they cannot be predicated of the same Subject "in the same relation"; that is, at the same time or place, or under the same conditions. The lamp is visible to me now, but will be invisible if I turn it out; one side of it is now visible, but the other is not: therefore without this restriction, "in the same relation," few or no terms would be contradictory.

If a man is called wise, it may mean 'on the whole' or 'in a certain action'; and clearly a man may for once be wise (or act wisely) who, on the whole, is not-wise. So that here again, by this ambiguity, terms that seem contradictory are predicable of the same subject, but not "in the same relation." In order to avoid the ambiguity, however, we have only to construct the term so as to express the relation, as 'wise on the whole'; and this immediately generates the contradictory 'not-wise on the whole.' Similarly, at one age a man may have black hair, at another not-black hair; but the difficulty is practically removable by stating the age referred to.

Still, this case easily leads us to a real difficulty in the use of contradictory terms, a difficulty arising from the continuous change or 'flux' of natural phenomena. If things are continually changing, it may be urged that contradictory terms are always applicable to the same subject, at least as fast as we can utter them: for if we have just said that a man's hair is black, since (like everything else) his hair is changing, it must now be not-black, though (to be sure) it may still seem black. The difficulty, such as it is, lies in this, that the human mind and its instrument language are not equal to the subtlety of Nature. All things flow, but the terms of human discourse assume a certain fixity of things; everything at every moment changes, but for the most part we can neither perceive this change nor express it in ordinary language.

This paradox, however, may, I suppose, be easily over-stated. The change that continually agitates Nature consists in the movements of masses or molecules, and such movements of things are compatible with a considerable persistence of their qualities. Not only are the molecular changes always going on in a piece of gold compatible with its remaining yellow, but its persistent yellowness depends on the continuance of some of those changes. Similarly, a man's hair may remain black for some years; though, no doubt, at a certain age its colour may begin to be problematical, and the applicability to it of 'black' or 'not-black' may become a matter of genuine anxiety. Whilst being on our guard, then, against fallacies of contradiction arising from the imperfect correspondence of fact with thought and language, we shall often have to put up with it. Candour and humility having been satisfied by the above acknowledgment of the subtlety of Nature, we may henceforward proceed upon the postulate—that it is possible to use contradictory terms such as cannot both be predicated of the same subject in the same relation, though one of them may be; that, for example, it may be truly said of a man for some years that his hair is black; and, if so, that during those years to call it not-black is false or extremely misleading.

The most opposed terms of the literary vocabulary, however, such as 'wise-foolish,' 'old-young,' 'sweet-bitter,' are rarely true contradictories: wise and foolish, indeed, cannot be predicated of the same man in the same relation; but there are many middling men, of whom neither can be predicated on the whole. For the comparison of quantities, again, we have three correlative terms, 'greater—equal—less,' and none of these is the contradictory of either of the others. In fact, the contradictory of any term is one that denotes the sum of its co-ordinates (§ 6); and to obtain a contradictory, the surest way is to coin one by prefixing to the given term the particle 'not' or (sometimes) 'non': as 'wise, not-wise,' 'human, non-human,' 'greater, not-greater.'

The separate word 'not' is surer to constitute a contradictory than the usual prefixes of negation, 'un-' or 'in-,' or even 'non'; since compounds of these are generally warped by common use from a purely negative meaning. Thus, 'Nonconformist' does not denote everybody who fails to conform. 'Unwise' is not equivalent to 'not-wise,' but means 'rather foolish'; a very foolish action is not-wise, but can only be called unwise by meiosis or irony. Still, negatives formed by 'in' or 'un' or 'non' are sometimes really contradictory of their positives; as 'visible, invisible,' 'equal, unequal.'

§ 8. The distinction between Positive and Negative terms is not of much value in Logic, what importance would else attach to it being absorbed by the more definite distinction of contradictories. For contradictories are positive and negative in essence and, when least ambiguously stated, also in form. And, on the other hand, as we have seen, when positive and negative terms are not contradictory, they are misleading. As with 'wise-unwise,' so with many others, such as 'happy-unhappy'; which are not contradictories; since a man may be neither happy nor unhappy, but indifferent, or (again) so miserable that he can only be called unhappy by a figure of speech. In fact, in the common vocabulary a formal negative often has a limited positive sense; and this is the case with unhappy, signifying the state of feeling in the milder shades of Purgatory.

When a Negative term is fully contradictory of its Positive it is said to be Infinite; because it denotes an unascertained multitude of things, a multitude only limited by the positive term and the suppositio; thus 'not-wise' denotes all except the wise, within the suppositio of 'intelligent beings.' Formally (disregarding any suppositio), such a negative term stands for all possible terms except its positive: x denotes everything but X; and 'not-wise' may be taken to include stones, triangles and hippogriffs. And even in this sense, a negative term has some positive meaning, though a very indefinite one, not a specific positive force like 'unwise' or 'unhappy': it denotes any and everything that has not the attributes connoted by the corresponding positive term.

Privative Terms connote the absence of a quality that normally belongs to the kind of thing denoted, as 'blind' or 'deaf.' We may predicate 'blind' or 'deaf' of a man, dog or cow that happens not to be able to see or hear, because the powers of seeing and hearing generally belong to those species; but of a stone or idol these terms can only be used figuratively. Indeed, since the contradictory of a privative carries with it the privative limitation, a stone is strictly 'not-blind': that is, it is 'not-something-that-normally-having-sight-wants-it.'

Contrary Terms are those that (within a certain genus or suppositio) severally connote differential qualities that are, in fact, mutually incompatible in the same relation to the same thing, and therefore cannot be predicated of the same subject in the same relation; and, so far, they resemble Contradictory Terms: but they differ from contradictory terms in this, that the differential quality connoted by each of them is definitely positive; no Contrary Term is infinite, but is limited to part of the suppositio excluded by the others; so that, possibly, neither of two Contraries is truly predicable of a given subject. Thus 'blue' and 'red' are Contraries, for they cannot both be predicated of the same thing in the same relation; but are not Contradictories, since, in a given case, neither may be predicable: if a flower is blue in a certain part, it cannot in the same part be red; but it may be neither blue nor red, but yellow; though it is certainly either blue or not-blue. All co-ordinate terms are formal Contraries; but if, in fact, a series of co-ordinates comprises only two (as male-female), they are empirical Contradictories; since each includes all that area of the suppositio which the other excludes.

The extremes of a series of co-ordinate terms are Opposites; as, in a list of colours, white and black, the most strongly contrasted, are said to be opposites, or as among moods of feeling, rapture and misery are opposites. But this distinction is of slight logical importance. Imperfect Positive and Negative couples, like 'happy and unhappy,' which (as we have seen) are not contradictories, are often called Opposites.

The members of any series of Contraries are all included by any one of them and its contradictory, as all colours come under 'red' and 'not-red,' all moods of feeling under 'happy' and 'not-happy.'

CHAPTER V
THE CLASSIFICATION OF PROPOSITIONS

§ 1. Logicians classify Propositions according to Quantity, Quality, Relation and Modality.

As to Quantity, propositions are either Universal or Particular; that is to say, the predicate is affirmed or denied either of the whole subject or of a part of it—of All or of Some S.

All S is P (that is, P is predicated of all S).

Some S is P (that is, P is predicated of some S).

An Universal Proposition may have for its subject a singular term, a collective, a general term distributed, or an abstract term.

(1) A proposition having a singular term for its subject, as The Queen has gone to France, is called a Singular Proposition; and some Logicians regard this as a third species of proposition with respect to quantity, distinct from the Universal and Particular; but that is needless.

(2) A collective term may be the subject, as The Black Watch is ordered to India. In this case, as well as in singular propositions, a predication is made concerning the whole subject as a whole.

(3) The subject may be a general term taken in its full denotation, as All apes are sagacious; and in this case a Predication is made concerning the whole subject distributively; that is, of each and everything the subject stands for.

(4) Propositions whose subjects are abstract terms, though they may seem to be formally Singular, are really as to their meaning distributive Universals; since whatever is true of a quality is true of whatever thing has that quality so far as that quality is concerned. Truth will prevail means that All true propositions are accepted at last (by sheer force of being true, in spite of interests, prejudices, ignorance and indifference). To bear this in mind may make one cautious in the use of abstract terms.

In the above paragraphs a distinction is implied between Singular and Distributive Universals; but, technically, every term, whether subject or predicate, when taken in its full denotation (or universally), is said to be 'distributed,' although this word, in its ordinary sense, would be directly applicable only to general terms. In the above examples, then, 'Queen,' 'Black Watch,' 'apes,' and 'truth' are all distributed terms. Indeed, a simple definition of the Universal Proposition is 'one whose subject is distributed.'

A Particular Proposition is one that has a general term for its subject, whilst its predicate is not affirmed or denied of everything the subject denotes; in other words, it is one whose subject is not distributed: as Some lions inhabit Africa.

In ordinary discourse it is not always explicitly stated whether predication is universal or particular; it would be very natural to say Lions inhabit Africa, leaving it, as far as the words go, uncertain whether we mean all or some lions. Propositions whose quantity is thus left indefinite are technically called 'preindesignate,' their quantity not being stated or designated by any introductory expression; whilst propositions whose quantity is expressed, as All foundling-hospitals have a high death-rate, or Some wine is made from grapes, are said to be 'predesignate.' Now, the rule is that preindesignate propositions are, for logical purposes, to be treated as particular; since it is an obvious precaution of the science of proof, in any practical application, not to go beyond the evidence. Still, the rule may be relaxed if the universal quantity of a preindesignate proposition is well known or admitted, as in Planets shine with reflected light—understood of the planets of our solar system at the present time. Again, such a proposition as Man is the paragon of animals is not a preindesignate, but an abstract proposition; the subject being elliptical for Man according to his proper nature; and the translation of it into a predesignate proposition is not All men are paragons; nor can Some men be sufficient, since an abstract can only be adequately rendered by a distributed term; but we must say, All men who approach the ideal. Universal real propositions, true without qualification, are very scarce; and we often substitute for them general propositions, saying perhaps—generally, though not universally, S is P. Such general propositions are, in strictness, particular; and the logical rules concerning universals cannot be applied to them without careful scrutiny of the facts.

The marks or predesignations of Quantity commonly used in Logic are: for Universals, All, Any, Every, Whatever (in the negative No or No one, see next §); for Particulars, Some.

Now Some, technically used, does not mean Some only, but Some at least (it may be one, or more, or all). If it meant 'Some only,' every particular proposition would be an exclusive exponible (chap. ii. § 3); since Only some men are wise implies that Some men are not wise. Besides, it may often happen in an investigation that all the instances we have observed come under a certain rule, though we do not yet feel justified in regarding the rule as universal; and this situation is exactly met by the expression Some (it may be all).

The words Many, Most, Few are generally interpreted to mean Some; but as Most signifies that exceptions are known, and Few that the exceptions are the more numerous, propositions thus predesignate are in fact exponibles, mounting to Some are and Some are not. If to work with both forms be too cumbrous, so that we must choose one, apparently Few are should be treated as Some are not. The scientific course to adopt with propositions predesignate by Most or Few, is to collect statistics and determine the percentage; thus, Few men are wise—say 2 per cent.

The Quantity of a proposition, then, is usually determined entirely by the quantity of the subject, whether all or some. Still, the quantity of the predicate is often an important consideration; and though in ordinary usage the predicate is seldom predesignate, Logicians agree that in every Negative Proposition (see § 2) the predicate is 'distributed,' that is to say, is denied altogether of the subject, and that this is involved in the form of denial. To say Some men are not brave, is to declare that the quality for which men may be called brave is not found in any of the Some men referred to: and to say No men are proof against flattery, cuts off the being 'proof against flattery' entirely from the list of human attributes. On the other hand, every Affirmative Proposition is regarded as having an undistributed predicate; that is to say, its predicate is not affirmed exclusively of the subject. Some men are wise does not mean that 'wise' cannot be predicated of any other beings; it is equivalent to Some men are wise (whoever else may be). And All elephants are sagacious does not limit sagacity to elephants: regarding 'sagacious' as possibly denoting many animals of many species that exhibit the quality, this proposition is equivalent to 'All elephants are some sagacious animals.' The affirmative predication of a quality does not imply exclusive possession of it as denial implies its complete absence; and, therefore, to regard the predicate of an affirmative proposition as distributed would be to go beyond the evidence and to take for granted what had never been alleged.

Some Logicians, seeing that the quantity of predicates, though not distinctly expressed, is recognised, and holding that it is the part of Logic "to make explicit in language whatever is implicit in thought," have proposed to exhibit the quantity of predicates by predesignation, thus: 'Some men are some wise (beings)'; 'some men are not any brave (beings)'; etc. This is called the Quantification of the Predicate, and leads to some modifications of Deductive Logic which will be referred to hereafter. (See § 5; chap. vii. § 4, and chap. viii. § 3.)

§ 2. As to Quality, Propositions are either Affirmative or Negative. An Affirmative Proposition is, formally, one whose copula is affirmative (or, has no negative sign), as S—is—P, All men—are—partial to themselves. A Negative Proposition is one whose copula is negative (or, has a negative sign), as S—is not—P, Some men—are not—proof against flattery. When, indeed, a Negative Proposition is of Universal Quantity, it is stated thus: No S is P, No men are proof against flattery; but, in this case, the detachment of the negative sign from the copula and its association with the subject is merely an accident of our idiom; the proposition is the same as All men—are not—proof against flattery. It must be distinguished, therefore, from such an expression as Not every man is proof against flattery; for here the negative sign really restricts the subject; so that the meaning is—Some men at most (it may be none) are proof against flattery; and thus the proposition is Particular, and is rendered—Some men—are not—proof against flattery.

When the negative sign is associated with the predicate, so as to make this an Infinite Term (chap. iv. § 8), the proposition is called an Infinite Proposition, as S is not-P (or p), All men are—incapable of resisting flattery, or are—not-proof against flattery.

Infinite propositions, when the copula is affirmative, are formally, themselves affirmative, although their force is chiefly negative; for, as the last example shows, the difference between an infinite and a negative proposition may depend upon a hyphen. It has been proposed, indeed, with a view to superficial simplification, to turn all Negatives into Infinites, and thus render all propositions Affirmative in Quality. But although every proposition both affirms and denies something according to the aspect in which you regard it (as Snow is white denies that it is any other colour, and Snow is not blue affirms that it is some other colour), yet there is a great difference between the definite affirmation of a genuine affirmative and the vague affirmation of a negative or infinite; so that materially an affirmative infinite is the same as a negative.

Generally Mill's remark is true, that affirmation and denial stand for distinctions of fact that cannot be got rid of by manipulation of words. Whether granite sinks in water, or not; whether the rook lives a hundred years, or not; whether a man has a hundred dollars in his pocket, or not; whether human bones have ever been found in Pliocene strata, or not; such alternatives require distinct forms of expression. At the same time, it may be granted that many facts admit of being stated with nearly equal propriety in either Quality, as No man is proof against flattery, or All men are open to flattery.

But whatever advantage there is in occasionally changing the Quality of a proposition may be gained by the process of Obversion (chap. vii. § 5); whilst to use only one Quality would impair the elasticity of logical expression. It is a postulate of Logic that the negative sign may be transferred from the copula to the predicate, or from the predicate to the copula, without altering the sense of a proposition; and this is justified by the experience that not to have an attribute and to be without it are the same thing.

§ 3. A. I. E. O.—Combining the two kinds of Quantity, Universal and Particular, with the two kinds of Quality, Affirmative and Negative, we get four simple types of proposition, which it is usual to symbolise by the letters A. I. E. O., thus:

As an aid to the remembering of these symbols we may observe that A. and I. are the first two vowels in affirmo and that E. and O. are the vowels in nego.

It must be acknowledged that these four kinds of proposition recognised by Formal Logic constitute a very meagre selection from the list of propositions actually used in judgment and reasoning.