Over the years that I have been teaching logic, I have become convinced that
to teach it effectively, one needs to convey two things: the how and the why of
logic. For (to adapt a phrase from Kant) the why without the how is empty,
and the how without the why is blind.
Conveying the how and the why of logic is the aim of this book. The book
explains how to do logic: it presents the tools and techniques of modern logic
in a clear and accessible way. It also explains why things are done the way they
are in logic: the purpose of the tools and the rationales behind the techniques.
In a nutshell, the why comes down to this: the aim of logic is to discern the
laws of truth.