A comprehensive introduction to the major concepts and techniques involved in the study of logic. It explores both formal and philosophical logic, and examines the ways in which we can achieve good reasoning.