SMS dit: The Mathematical Analysis of Logic Being an Essay Towards a Calculus of Deductive Reasoning