"Molecular" propositions are such as contain conjunctions--_if_, _or_, _and_, _unless_, etc.--and such words are the marks of a molecular proposition. Consider such an assertion as, "If it rains, I shall bring my umbrella." This assertion is just as capable of truth or falsehood as the assertion of an atomic proposition, but it is obvious that either the corresponding fact, or the nature of the correspondence with fact, must be quite different from what it is in the case of an atomic proposition. Whether it rains, and whether I bring my umbrella, are each severally matters of atomic fact, ascertainable by observation. But the connection of the two involved in saying that _if_ the one happens, _then_ the other will happen, is something radically different from either of the two separately. It does not require for its truth that it should actually rain, or that I should actually bring my umbrella; even if the weather is cloudless, it may still be true that I should have brought my umbrella if the weather had been different. Thus we have here a connection of two propositions, which does not depend upon whether they are to be asserted or denied, but only upon the second being inferable from the first. Such propositions, therefore, have a form which is different from that of any atomic proposition. Such propositions are important to logic, because all inference depends upon them. If I have told you that if it rains I shall bring my umbrella, and if you see that there is a steady downpour, you can infer that I shall bring my umbrella. There can be no inference except where propositions are connected in some such way, so that from the truth or falsehood of the one something follows as to the truth or falsehood of the other. It seems to be the case that we can sometimes know molecular propositions, as in the above instance of the umbrella, when we do not know whether the component atomic propositions are true or false. The _practical_ utility of inference rests upon this fact. The next kind of propositions we have to consider are _general_ propositions, such as "all men are mortal," "all equilateral triangles are equiangular." And with these belong propositions in which the word "some" occurs, such as "some men are philosophers" or "some philosophers are not wise." These are the denials of general propositions, namely (in the above instances), of "all men are non-philosophers" and "all philosophers are wise." We will call propositions containing the word "some" _negative_ general propositions, and those containing the word "all" _positive_ general propositions. These propositions, it will be seen, begin to have the appearance of the propositions in logical text-books. But their peculiarity and complexity are not known to the text-books, and the problems which they raise are only discussed in the most superficial manner.