This book reconstructs, using the tools of propositional logic, thirty-six of the central arguments from Immanuel Kant's landmark work, the Critique of Pure Reason. Although there are many excellent companions to and commentaries on the Critique, none of these books straightforwardly reconstructs so many of Kant's arguments premise by premise, using the tools of propositional logic.