Originally published in 1967. The common aim of all logical enquiry is to discover and analyse correctly the forms of valid argument. In this book concise expositions of traditional, Aristotelian logic and of modern systems of propositional and predicative logic show how far that aim has been achieved.