This text is designed for readers desiring a comprehensive introduction to formal logic that is both rigorous and accessible to those encountering the subject for the first time. Abundant carefully crafted exercise sets accompanied by a clear, engaging exposition give readers a firm grasp of basic concepts, which build to an exploration of sentential logic, first-order predicate logic, the theory of descriptions, and identity. As the title suggests, this is a book devoted not merely to logic; readers will also examine the philosophical debates that led to the development of the field.