Kant was the first to begin to see the main logical forms of thinking in categories thus including everything in the subject matter of logic that all preceding tradition had put into the competence of ontology and metaphysics, and never into that of logic.