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.
Those Logicians who explicitly quantify the predicate obtain, in all, eight forms of proposition according to Quantity and Quality:
Here A. I. E. O. correspond with those similarly symbolised in the usual list, merely designating in the predicates the quantity which was formerly treated as implicit.
§ 4. As to Relation, propositions are either Categorical or Conditional. A Categorical Proposition is one in which the predicate is directly affirmed or denied of the subject without any limitation of time, place, or circumstance, extraneous to the subject, as All men in England are secure of justice; in which proposition, though there is a limitation of place ('in England'), it is included in the subject. Of this kind are nearly all the examples that have yet been given, according to the form S is P.
A Conditional Proposition is so called because the predication is made under some limitation or condition not included in the subject, as If a man live in England, he is secure of justice. Here the limitation 'living in England' is put into a conditional sentence extraneous to the subject, 'he,' representing any man.
Conditional propositions, again, are of two kinds—Hypothetical and Disjunctive. Hypothetical propositions are those that are limited by an explicit conditional sentence, as above, or thus: If Joe Smith was a prophet, his followers have been unjustly persecuted. Or in symbols thus:
If A is, B is;
If A is B, A is C;
If A is B, C is D.
Disjunctive propositions are those in which the condition under which predication is made is not explicit but only implied under the disguise of an alternative proposition, as Joe Smith was either a prophet or an impostor. Here there is no direct predication concerning Joe Smith, but only a predication of one of the alternatives conditionally on the other being denied, as, If Joe Smith was not a prophet he was an impostor; or, If he was not an impostor, he was a prophet. Symbolically, Disjunctives may be represented thus:
A is either B or C,
Either A is B or C is D.
Formally, every Conditional may be expressed as a Categorical. For our last example shows how a Disjunctive may be reduced to two Hypotheticals (of which one is redundant, being the contrapositive of the other; see chap. vii. § 10). And a Hypothetical is reducible to a Categorical thus: If the sky is clear, the night is cold may be read—The case of the sky being clear is a case of the night being cold; and this, though a clumsy plan, is sometimes convenient. It would be better to say The sky being clear is a sign of the night being cold, or a condition of it. For, as Mill says, the essence of a Hypothetical is to state that one clause of it (the indicative) may be inferred from the other (the conditional). Similarly, we might write: Proof of Joe Smith's not being a prophet is a proof of his being an impostor.
This turning of Conditionals into Categoricals is called a Change of Relation; and the process may be reversed: All the wise are virtuous may be written, If any man is wise he is virtuous; or, again, Either a man is not-wise or he is virtuous. But the categorical form is usually the simplest.
If, then, as substitutes for the corresponding conditionals, categoricals are formally adequate, though sometimes inelegant, it may be urged that Logic has nothing to do with elegance; or that, at any rate, the chief elegance of science is economy, and that therefore, for scientific purposes, whatever we may write further about conditionals must be an ugly excrescence. The scientific purpose of Logic is to assign the conditions of proof. Can we, then, in the conditional form prove anything that cannot be proved in the categorical? Or does a conditional require to be itself proved by any method not applicable to the Categorical? If not, why go on with the discussion of Conditionals? For all laws of Nature, however stated, are essentially categorical. 'If a straight line falls on another straight line, the adjacent angles are together equal to two right angles'; 'If a body is unsupported, it falls'; 'If population increases, rents tend to rise': here 'if' means 'whenever' or 'all cases in which'; for to raise a doubt whether a straight line is ever conceived to fall upon another, whether bodies are ever unsupported, or population ever increases, is a superfluity of scepticism; and plainly the hypothetical form has nothing to do with the proof of such propositions, nor with inference from them.
Still, the disjunctive form is necessary in setting out the relation of contradictory terms, and in stating a Division (