批判》的其他部份都是在检视综合先验命题是否存在，以及是否存在一个认识的方法。
逻辑实证主义者.
弗雷格和卡尔纳普对康德定义的修改.在一百年之后，有一群哲学家对康德和他对分析及综合命题的区别感到兴趣－即逻辑实证主义者。康德检视综合先验知识的可能性时，包含了一些数学命题，如康德主张这类的数学命题为综合先验命题，且认识这些命题是可能的。康德认为明显可知这些命题是综合的：概念「12」不包含在概念「5」、概念「7」或概念「+」之中；且概念「直线」也不包含在概念「