An introduction to the basic principles of traditional and formal logic. Topics covered include the nature of validity and proof, theory of the syllogism, propositional logic and quantification theory.