How do the intuitive, everyday notions of logical consequence align with the formal systems constructed by logicians? Jody Azzouni, a professor of philosophy, examines the gap between our natural capacity for deductive reasoning and the abstract logical frameworks designed to model it. He argues that humans do not possess introspective access to the internal rules governing their own reasoning processes, using the structure of mathematical proof as a primary case study to demonstrate the limitations of our intuitive grasp of logical scope.

Scholars and philosophers frequently cite this work for its rigorous challenge to standard assumptions regarding the transparency of human reasoning. Readers often note the academic density of the prose, which requires a strong background in logic and philosophy to fully synthesize the author's arguments.