康德认为，“先天综合判断”有两类：数学、自然科学的“先天综合判断”是不可能的、无效的；而形而上学的“先天综合判断”则是可能的、有效的。