§ 4. It remains to translate this exposition of the syllogism from the one into the other of the two languages in which we formerly remarked(54) that all propositions, and of course therefore all combinations of propositions, might be expressed. We observed that a proposition might be considered in two different lights; as a portion of our knowledge of nature, or as a memorandum for our guidance. Under the former, or speculative aspect, an affirmative general proposition is an assertion of a speculative truth, viz., that whatever has a certain attribute has a certain other attribute. Under the other aspect, it is to be regarded not as a part of our knowledge, but as an aid for our practical exigencies, by enabling us, when we see or learn that an object possesses one of the two attributes, to infer that it possesses the other; thus employing the first attribute as a mark or evidence of the second. Thus regarded, every syllogism comes within the following general formula:
Attribute A is a mark of attribute B, The given object has the mark A, therefore The given object has the attribute B.
Referred to this type, the arguments which we have lately cited as specimens of the syllogism, will express themselves in the following manner:
The attributes of man are a mark of the attribute mortality, Socrates has the attributes of man, therefore Socrates has the attribute m
