This text investigates the foundational principles of formal logic, specifically addressing the semantics, syntax, and metatheory of sentential and predicate logic. Merrie Bergmann provides a structured pedagogical framework designed for introductory and intermediate university-level philosophy courses. The author utilizes a dual-approach methodology, introducing concepts informally before transitioning into formal notation and rigorous proof systems. The text emphasizes clarity and practical application through a wide array of exercises and illustrative examples.

Instructors and students frequently identify this work as a standard, reliable resource for undergraduate logic curricula due to its clear progression from informal to formal concepts. Experts highlight the text's pedagogical utility, noting that the inclusion of numerous exercises makes it a highly effective tool for classroom instruction.