Immanuel Kant’s Deduction of the Categories of Quantity as a Stepping Stone to Exploring the Relation between Transcendental and Formal Logic and their respective Metaphysical Implications