EXCERPT am a Kantian. I believe that there is a difference between general logic and transcendental logic. I’m not unique in this, but it is not a common position to hold. I also think that some who hold it don’t really understand its significance. For instance, Sebastian Rödl is a brilliant thinker, but he thinks that transcendental logic starts where inferential behaviour ends.1 This means he’s not really doing logic, he’s doing what Husserl would call formal ontology. Kant describes the distinction between general logic and transcendental logic in terms of a difference between form and content. He thinks that the inferential behaviours encoded by general logic, which for him was a customised variant of Aristotelian term logic, could be used to reason about anything at all.…