If we generalize this process, and look out for the principle or law involved in every such inference, and presupposed in every syllogism, the propositions of which are any thing more than merely verbal; we find, not the unmeaning dictum de omni et nullo, but a fundamental principle, or rather two principles, strikingly resembling the axioms of mathematics. The first, which is the principle of affirmative syllogisms, is, that things which co-exist with the same thing, co-exist with one another: or (still more precisely) a thing which co-exists with another thing, which other co-exists with a third thing, also co-exists with that third thing. The second is the principle of negative syllogisms, and is to this effect: that a thing which co-exists with another thing, with which other a third thing does not co-exist, is not co-existent with that third thing. These axioms manifestly relate to facts, and not to conventions; and one or other of them is the ground of the legitimacy of every argument in which facts and not conventions are the matter treated of.4
§ 4. It remains to translate this exposition of the syllogism from the one into the other of the two languages in which we formerly remarked5 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 mortality.
And again,
The attributes of man are a mark of the attribute mortality,
The attributes of a king are a mark of the attributes of man,
therefore
The attributes of a king are a mark of the attribute mortality.
And, lastly,
The attributes of man are a mark of the absence of the attribute omnipotence, The attributes of a king are a mark of the attributes of man,