Noun
categorical proposition (plural categorical propositions)
(logic) A proposition that asserts or denies that members of one category (the subject term) belong to another (the predicate term). There are four types: "all S are P", "all S are not P", "some S are P", and "some S are not P".
He showed this by the following examples: : The categorical proposition "Some man is sick" has the same meaning as the existential proposition "A sick man exists" or "There is a sick man". Source: Internet
To argue that its validity can be explained by the theory of syllogism would require that we show that Socrates is a man is the equivalent of a categorical proposition. Source: Internet