The number of categorical propositions is infinite, but every single one of them is one of just four types. Here’s how we identify them.