Study of logic and its principles, importance, forms of reasoning, and basic laws of formal logic as outlined by Aristotle