Aristotelian forms

The four claim types in Aristotelian logic, which are the universal affirmative (All S are P; A proposition), universal negative (No S are P; E-proposition) particular affirmative (Some S are P; I-proposition); and particular negative (Some S are not P; O-proposition).