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‎.‎