For Kant the puzzle was to explain the possibility of a priori judgments that were also synthetic (i.e., not merely explicative of concepts), and the solution that he proposed was the doctrine that space, time, and the categories (e.g., causality), about which such judgments could be made, were forms imposed by the ...