 First, pure general logic is sharply distinct from transcendental logic, in that, although both logics are pure and a priori, whereas pure general logic is “general” in that it is strictly underdetermined by all objectively valid representational contents and also abstracts away from all specific or particular differences between represented objects, hence is ontically unrestricted, nevertheless transcendental logic is “special” in that it is ontically restricted, i.e., objectually-committed, and thereby presupposes the existence of certain specific categories or kinds (including natural kinds) of objects (A55–57/B79–82). In this way, transcendental logic presupposes pure general logic, and is synthetic a priori, not analytic. Some recent Kant-commentators, however, have argued that on the contrary, pure general logic presupposes transcendental logic (see, e.g., Rödl 2008, Tolley 2012), on the grounds that for Kant, thought by its very nature is object-directed. But the generality and inherently formal character of pure general logic is fully consistent with its being objectively valid: hence the fact that thought by its very nature is object-directed does not by itself imply that the logic governing thought is ontically restricted or objectually-committed.