康德在《纯粹理性批判》中提出了四种判断类型（其实只有三种）即：先天综合判断、先天分析判断、后天综合判断和后天分析判断。其中，先天综合判断是指那些既不是经验的（即先天的），又增加了我们对概念的知识的判断（即综合的）。
康德认为先天综合判断存在，并且是我们认识世界的基础。例如，数学和几何学的判断就是先天综合的，因为它们不依赖于特定的经验，并且扩展了我们的知识。比如，“7+5=12”这一数学命题，它并不仅仅是分析地从7、5、加法的含义中抽象出来的，而是需要我们通过综合的方式将7和5结合在一起，产生一个新的数12，这个过程是综合的，同时这个命题是先天的，因为其真实性不取决于任何经验。
康德将这类判断视为理性认识的重要组成部分，它们是科学知识特别是数学和自然科学的基础。在他看来，先天综合判断之所以可能，是因为它们源自人类理性的内在结构，特别是纯粹直观（空间和时间）和纯粹概念（范畴）的先验形式。也就是说康德认为经验对象之所以能够被理性认识，就是因为人类具有先天综合判断。
问题在于，就康德自己举的例子来说7+5等于12是先天的，但是我认为是来源于经验，如果我我们没有关于数的经验那么我们自然也不知道7+5等于12。我们也未必先天认识时间和空间而是说我们有了对于时空的经验才能产生时空的范畴。所以说康德所谓的先天综合判断真的存在吗？