Dr Lear explores Aristotle's philosophy of logic through logical consequence, validity and proof.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 Aristotles discussion of logical consequence, validity and proof can contribute to topical debates in the philosophy of logic. No background knowledge of Aristotle is assumed.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 Aristotles discussion of logical consequence, validity and proof can contribute to topical debates in the philosophy of logic. No background knowledge of Aristotle is assumed.Aristotle was the first and one of the greatest logicians. He not only devised the first system of formal logic, but also raised many fundamental problems in the philosophy of logic. In this book, Dr Lear shows how Aristotle's discussion of logical consequence, validity and proof can contribute to contemporary debates in the philosophy of logic. No background knowledge of Aristotle is assumed.Preface; 1. Syllogistic consequence; 2. Completeness and compactness; 3. Hypothetical syllogisms; 4. Invalid inference; 5. Invalid proofs; Appendix: a note on ignorance; 6. Proof by refutation; Bibliography; Indices.