Читать книгу Logic: Deductive and Inductive - Carveth Read - Страница 9
CHAPTER VIII
ORDER OF TERMS, EULER'S DIAGRAMS, LOGICAL EQUATIONS, EXISTENTIAL IMPORT OF PROPOSITIONS
Оглавление§ 1. Of the terms of a proposition which is the Subject and which the Predicate? In most of the exemplary propositions cited by Logicians it will be found that the subject is a substantive and the predicate an adjective, as in Men are mortal. This is the relation of Substance and Attribute which we saw (chap. i. § 5) to be the central type of relations of coinherence; and on this model other predications may be formed in which the subject is not a substance, but is treated as if it were, and could therefore be the ground of attributes; as Fame is treacherous, The weather is changeable. But, in literature, sentences in which the adjective comes first are not uncommon, as Loud was the applause, Dark is the fate of man, Blessed are the peacemakers, and so on. Here, then, 'loud,' 'dark' and 'blessed' occupy the place of the logical subject. Are they really the subject, or must we alter the order of such sentences into The applause was loud, etc.? If we do, and then proceed to convert, we get Loud was the applause, or (more scrupulously) Some loud noise was the applause. The last form, it is true, gives the subject a substantive word, but 'applause' has become the predicate; and if the substantive 'noise' was not implied in the first form, Loud is the applause, by what right is it now inserted? The recognition of Conversion, in fact, requires us to admit that, formally, in a logical proposition, the term preceding the copula is subject and the one following is predicate. And, of course, materially considered, the mere order of terms in a proposition can make no difference in the method of proving it, nor in the inferences that can be drawn from it.
Still, if the question is, how we may best cast a literary sentence into logical form, good grounds for a definite answer may perhaps be found. We must not try to stand upon the naturalness of expression, for Dark is the fate of man is quite as natural as Man is mortal. When the purpose is not merely to state a fact, but also to express our feelings about it, to place the grammatical predicate first may be perfectly natural and most effective. But the grounds of a logical order of statement must be found in its adaptation to the purposes of proof and inference. Now general propositions are those from which most inferences can be drawn, which, therefore, it is most important to establish, if true; and they are also the easiest to disprove, if false; since a single negative instance suffices to establish the contradictory. It follows that, in re-casting a literary or colloquial sentence for logical purposes, we should try to obtain a form in which the subject is distributed—is either a singular term or a general term predesignate as 'All' or 'No.' Seeing, then, that most adjectives connote a single attribute, whilst most substantives connote more than one attribute; and that therefore the denotation of adjectives is usually wider than that of substantives; in any proposition, one term of which is an adjective and the other a substantive, if either can be distributed in relation to the other, it is nearly sure to be the substantive; so that to take the substantive term for subject is our best chance of obtaining an universal proposition. These considerations seem to justify the practice of Logicians in selecting their examples.
For similar reasons, if both terms of a proposition are substantive, the one with the lesser denotation is (at least in affirmative propositions) the more suitable subject, as Cats are carnivores. And if one term is abstract, that is the more suitable subject; for, as we have seen, an abstract term may be interpreted by a corresponding concrete one distributed, as Kindness is infectious; that is, All kind actions suggest imitation.
If, however, a controvertist has no other object in view than to refute some general proposition laid down by an opponent, a particular proposition is all that he need disentangle from any statement that serves his purpose.
§ 2. Toward understanding clearly the relations of the terms of a proposition, it is often found useful to employ diagrams; and the diagrams most in use are the circles of Euler.
These circles represent the denotation of the terms. Suppose the proposition to be All hollow-horned animals ruminate: then, if we could collect all ruminants upon a prairie, and enclose them with a circular palisade; and segregate from amongst them all the hollow-horned beasts, and enclose them with another ring-fence inside the other; one way of interpreting the proposition (namely, in denotation) would be figured to us thus:
Fig. 1.
An Universal Affirmative may also state a relation between two terms whose denotation is co-extensive. A definition always does this, as Man is a rational animal; and this, of course, we cannot represent by two distinct circles, but at best by one with a thick circumference, to suggest that two coincide, thus:
Fig. 2.
The Particular Affirmative Proposition may be represented in several ways. In the first place, bearing in mind that 'Some' means 'some at least, it may be all,' an I. proposition may be represented by Figs. 1 and 2; for it is true that Some horned animals ruminate, and that Some men are rational. Secondly, there is the case in which the 'Some things' of which a predication is made are, in fact, not all; whilst the predicate, though not given as distributed, yet might be so given if we wished to state the whole truth; as if we say Some men are Chinese. This case is also represented by Fig. 1, the outside circle representing 'Men,' and the inside one 'Chinese.' Thirdly, the predicate may appertain to some only of the subject, but to a great many other things, as in Some horned beasts are domestic; for it is true that some are not, and that certain other kinds of animals are, domestic. This case, therefore, must be illustrated by overlapping circles, thus:
Fig. 3.
The Universal Negative is sufficiently represented by a single Fig. (4): two circles mutually exclusive, thus:
Fig. 4.
That is, No horned beasts are carnivorous.
Lastly, the Particular Negative may be represented by any of the Figs. 1, 3, and 4; for it is true that Some ruminants are not hollow-horned, that Some horned animals are not domestic, and that Some horned beasts are not carnivorous