Aristotle was one of the greatest logicians. He not only devised the first system of formal logic, he also raised many fundamental problems in the philosophy of logic. Dr Lear shows how Aristotle's discussion of logical consequence, validity and proof can contribute to topical debates in the philosophy of logic. No background knowledge of Aristotle is assumed.