 The classification of syllogisms for formal treatment depends on the classification of propositions although the latter is in the service of the former. The Logic accordingly classifies simple categorical propositions into four forms: universal affirmatives (All S is P), universal negatives (No S is P), particular affirmatives (Some S is P) and particular negatives (Some S is not P). Simple categorical syllogisms are arguments with a major premise, a minor premise, and a conclusion. They contain only three terms. The major premise has the “middle” term and the attribute of the conclusion (the “major” term), while the minor premise has the middle term and the subject of the conclusion (the “minor” term). In Part II, the Logic prepares for this by adopting the theory of categorical propositions, classifying them in terms of quantity as universal, particular, or singular, and in terms of quality as affirmative or negative. It takes the traditional stand that singular propositions function logically like universals, so all simple propositions have one of the following four forms: