The Discovery of Deduction: An Introduction to Formal Logic teaches how an argument is put together-explaining its form and structure. The workbook text is intended for students in 8th grade and up, making a subject usually reserved for study in college accessible and relevant to the junior-high age student. It is intended to emphasize the practical and real-world application, and uses methods such as Socratic dialogue, discussion, and integration of other subjects.