This text is designed for those instructors who desire a comprehensive introduction to formal logic that is both rigorous and accessible to students encountering the subject for the first time. Numerous carefully crafted exercise sets accompanied by clear, crisp exposition give students a firm grasp of basic concepts and take the student from sentential logic through first-order predicate logic, the theory of descriptions, and identity. As the title suggests, this is a book devoted not merely to logic; students will encounter an abundance of philosophy as well.