Prior Analytics

Aristotle's systematic treatment of syllogistic logic — the first formal system in the history of logic — classifying all valid syllogistic forms.

The syllogism: if all A are B and all B are C, then all A are C. All 256 possible syllogistic forms are systematically analyzed; 24 are valid. Provided the formal framework for deductive reasoning that dominated Western logic until Frege.