Aristotle

Four basic categories:

“All X is Y,” “Some X is not Y,” “No X is Y,” and “Some X is Y”