Categorical propositions are statements that relate two classes of things. There are four types of categorical propositions: All S are P, No S are P, Some S are P, and Some S are not P. Categorical propositions have attributes like quality, quantity, and whether terms are distributed. The four types are classified based on their quantity, quality, and the first four letters of the alphabet.