Part 1 — CHAPTER III.
Reading edition
REAL, VERBAL, AND FORMAL PROPOSITIONS.
31. Real (Synthetic), Verbal (Analytic or Synonymous), and Formal Propositions.—(1) A real proposition is one which gives information of something more than the meaning or application of the term which constitutes its subject; as when a proposition predicates of a connotative subject some attribute not included in its connotation, or when a connotative term is predicated of a non-connotative subject. For example, All bodies have weight, The angles of any triangle are together equal to two right angles, Negative propositions distribute their predicates, Wordsworth is a great poet.
Real propositions are also described as synthetic, ampliative, accidental.
(2) A verbal proposition is one which gives information only in regard to the meaning or application of the term which constitutes its subject.53
Two classes of verbal propositions are to be distinguished, which may be called respectively analytic and synonymous. In the former the predicate gives a partial or complete analysis of the connotation of the subject; e.g., Bodies are extended, An equilateral triangle is a triangle having three equal sides, A negative proposition has a negative copula.54 Definitions are included under this division of verbal propositions; and the importance of definitions is so great, that it is clearly erroneous to speak of verbal propositions as being in all cases trivial. In general they are trivial only in so far as their true nature is misunderstood; when, for example, people waste time in pretending to prove what has been already assumed in the meaning assigned to the terms employed.55
Besides propositions giving a more or less complete analysis of the connotation of names, the following—which we may speak of as synonymous propositions—are to be included under the head of verbal propositions: (a) where the subject and predicate are both proper names, e.g., Tully is Cicero ; (b) where they are dictionary synonyms, e.g., Wealth is riches, A story is a tale, Charity is love. In these cases information is given only in regard to the application or meaning of the terms which appear as the subjects of the propositions.
Analytic propositions are also described as explicative and as essential. Very nearly the same distinction, therefore, as that between verbal and real propositions is expressed by the pairs of terms—analytic and synthetic, explicative and ampliative, essential and accidental. These terms do not, however, cover quite the same ground as verbal and real, since they leave out of account synonymous propositions, which cannot, for example, be properly described as either analytic or synthetic.56
The distinction between real and verbal propositions as above given assumes that the use of terms is fixed by their connotation and that this connotation is determinate.57 Whether any given proposition is as a matter of fact verbal or real will depend on the meaning attached to the terms which it contains; and it is clear that logic cannot lay down any rule for determining under which category any given proposition should be placed.58 Still, while we cannot with certainty distinguish a real proposition by its form, it may be observed that the attachment of a sign of quantity, such as all, every, some, &c., to the subject of a proposition may in general be regarded as an indication that in the view of the person laying down the proposition a fact is being stated and not merely a term explained. Verbal propositions, on the other hand, are usually unquantified or indesignate (see section 69). For example, in order to give a partially correct idea of the meaning of such a name as square, we should not say “all squares are four-sided figures,” or “every square is a four-sided figure,” but “a square is a four-sided figure.”59
(3) There are propositions usually classed as verbal which ought rather to be placed in a class by themselves, namely, those which are valid whatever may be the meaning of the terms involved; e.g., All A is A, No A is not-A, All Z is either B or not-B, If all A is B then no not-B is A, If all A is B and all B is C then all A is C. These may be called formal propositions, since their validity is determined by their bare form.60
Formal propositions are the only propositions whose validity is examined and guaranteed by logic itself irrespective of other sources of knowledge, and many of the results reached in formal logic may be summed up in such propositions; for any formally valid reasoning can be expressed by a formal hypothetical proposition as in the last two of the examples given above.
A formal proposition as here defined must not be confused with a proposition expressed in symbols. A formal proposition need not indeed be expressed in symbols at all. Thus, the proposition An animal is an animal is a formal proposition; All S is P is not. Strictly speaking, a symbolic expression, such as All S is P, is to be regarded as a propositional form, rather than as a proposition per se. For it cannot be described as in itself either true or false. What we are largely concerned with in logic are relations between propositional forms; because these involve corresponding relations between all propositions falling into the forms in question.
We have then three classes of propositions—formal, verbal, and real—the validity or invalidity of which is determined respectively by their bare form, by the mere meaning or application of the terms involved, by questions of fact concerning the things denoted by these terms.61
32. Nature of the Analysis involved in Analytic Propositions.—Confusion is not unfrequently introduced into discussions relating to analytic propositions by a want of agreement as to the nature of the analysis involved. If identified, as above, with a division of the verbal proposition, an analytic proposition gives an analysis, partial or complete, of the connotation of the subject-term. Some writers, however, appear to have in view an analysis of the subjective intension of the subject-term. There is of course nothing absolutely incorrect in this interpretation, if consistently adhered to, but it makes the distinction between analytic and synthetic propositions logically valueless and for all practical purposes nugatory. “Both intension and extension,” says Mr Bradley, “are relative to our knowledge. And the perception of this truth is fatal to a well-known Kantian distinction. A judgment is not fixed as ‘synthetic’ or ‘analytic’: its character varies with the knowledge possessed by various persons and at different times. If the meaning of a word were confined to that attribute or group of attributes with which it set out, we could distinguish those judgments which assert within the whole one part of its contents from those which add an element from outside; and the distinction thus made would remain valid for ever. But in actual practice the meaning itself is enlarged by synthesis. What is added to-day is implied to-morrow. We may even say that a synthetic judgment, so soon as it is made, is at once analytic.”62
If by intension is meant subjective intension, and by an analytic judgment one which analyses the intension of the subject, the above statements are unimpeachable. It is indeed so obviously true that in this sense synthetic judgments are only analytic judgments in the making, that to dwell upon the distinction itself at any length would be only waste of time. It is, however, misleading to identify subjective intension with meaning ;63 and this is especially the case in the present connexion, since it may be maintained with a certain degree of plausibility that some synthetic judgments are only analytic judgments in the making, even when by an analytic judgment is meant one which analyses the connotation of the subject. For undoubtedly the connotation of names is not in practice unalterably fixed. As our knowledge progresses, many of our definitions are modified, and hence a form of words which is synthetic at one period may become analytic at another.
But, in the first place, it is very far indeed from being a universal rule that newly-discovered properties of a class are taken ultimately into the connotation or intensive definition of the class-name. Dr Bain (Logic, Deduction, pp. 69 to 73) seems to imply the contrary; but his doctrine on this point is not defensible on the ground either of logical expediency or of actual practice. As to logical expediency, it is a generally recognised principle of definition that we ought to aim at including in a definition the minimum number of properties necessary for identification rather than the maximum which it is possible to include.64 And as to what actually occurs, it is easy to find cases where we are able to say with confidence that certain common properties of a class never will as a matter of fact be included in the definition of the class-name; for example, equiangularity will never be included in the definition of equilateral triangle, or having cloven hoofs in the definition of ruminant animal.
In the second place, even when freshly discovered properties of things come ultimately to be included in the connotation of their names, the process is at any rate gradual, and it would, therefore, be incorrect to say—in the sense in which we are now using the terms—that a synthetic judgment becomes in the very process of its formation analytic. On the other hand, it may reasonably be assumed that in any given discussion the meaning of our terms is fixed, and the distinction between analytic and synthetic propositions then becomes highly significant and important. It may be added that when a name changes its meaning, any proposition in which it occurs does not strictly speaking remain the same proposition as before. We ought rather to say that the same form of words now expresses a different proposition.65
EXERCISES.
33. State which of the following propositions you consider real, and which verbal, giving your reasons in each case:
(i)All proper names are singular;
(ii)A syllogism contains three and only three terms;
(iii)Men are vertebrates;
(iv)All is not gold that glitters;
(v)The dodo is an extinct bird;
(vi)Logic is the science of reasoning;
(vii)Two and two are four;
(viii)All equilateral triangles are equiangular;
(ix) Between any two points one, and only one, straight line can be drawn;
(x) Any two sides of a triangle are together greater than the third side.
[C.]
34. Enquire whether the following propositions are real or verbal: (a) Homer wrote the Iliad, (b) Milton wrote Paradise Lost. [C.]
35. How would you characterise a proposition which is formally inferred from the conjunction of a verbal proposition with a real material proposition? Explain your view by the aid of an illustration. [J.]
36. If all x is y, and some x is z, and p is the name of those z’s which are x ; is it a verbal proposition to say that all p is y? [V.]
37. Is it possible to make any term whatever the subject (a) of a verbal proposition, (b) of a real proposition? [J.]