Aristotle's deductive method of logic, especially the theory of the syllogism.
The formal logic based on Aristotle's and dealing with the relations between propositions in terms of their form instead of their content.