先验知识和后验知识

必要的而且或有命题

一个命题被称为必要的如果它在所有逻辑上可能的情况或条件下成立。“所有的丈夫都结婚了”就是这样一个命题。在任何可能的或可以想象的条件下，这个命题都是正确的(当然，前提是这些词丈夫而且结婚了被理解为它们通常的意思)。相比之下，“所有T型福特汽车都是黑色的”在某些情况下成立(那些实际上成立的情况，这就是为什么这个命题是正确的)，但很容易想象在某些情况下它不会成立。因此，说一个命题是偶然的，就是说它在某些情况下是正确的，而不是在所有可能的情况下是正确的。许多必要的命题，如“所有的丈夫都结婚了”，是优先考虑的——尽管有人认为有些不是(见下文必要的后验命题)而且大多数偶然命题都是后验的。

分析而且综合命题

一个命题被称为分析如果的意义谓词术语包含在主语术语的含义中。因此，“所有的丈夫都结婚了”是分析的，因为这个术语的部分意义丈夫就是“结婚”。如果一个命题不是合成命题，我们就说它是合成命题。“All Model T Fords are black”是合成的，因为“black”并不包含在的意思中福特T型车．有些分析命题是先验的，而大多数综合命题是后验的。那些区别被康德用来提出认识论史上最重要的问题之一，即先验综合判断是否可能(见下文现代哲学:伊曼努尔·康德)．

同义反复的而且重要的命题

一个命题被称为同义反复的如果它的组成术语可以自我重复，或者可以简化为重复的术语，因此命题的形式为“a = a”(“a与a相同”)。这样的命题没有传达任何关于世界的信息，因此，它们被认为是微不足道的，或者是空洞的认知导入。如果一个命题的组成项能够提供关于世界的新信息，那么这个命题就是有意义的。

重言命题和意义命题之间的区别在历史上是非常重要的宗教哲学．在所谓的本体论论证为上帝的存在，坎特伯雷的圣安瑟姆(1033/34-1109)试图从重述中得出上帝存在的重要结论前提上帝是唯一完美的存在，但前提是只有存在才能完美。然而，正如休谟和康德所指出的，事实的确如此谬误的用…推导出一个命题存在进口从一个同义反复，现在普遍同意，从一个单独的同义反复，是不可能得到任何重要的命题。重言命题一般是先验的、必要的和分析的，而意义命题一般是后验的、偶然的和综合的。

逻辑和事实的命题

逻辑命题是任何命题，可以通过将其组成项替换为一个命题来表达逻辑真理如。，to a proposition such as “Ifp而且问,然后p例如，命题“所有的丈夫都结婚了”在逻辑上等价于命题“如果某物结婚了并且是男性，那么它就是结婚了”。相比之下，语义事实命题的句法特征使其不可能还原为逻辑真理。逻辑命题通常是先验的，总是必要的，典型的分析性命题。事实命题通常是后验的、偶然的和综合的。

必要的后验命题

上述的区别在当代哲学中已被广泛探讨。在其中一项研究中，命名和必要性(1972)，美国哲学家扫罗Kripke与传统假设相反，认为并非所有必要命题都是先天已知的;有些是事后才知道的。根据Kripke，所有必要命题都是先验的观点依赖于必然性和分析性概念的合并。因为所有的分析命题都是先验的和必要的，大多数哲学家没有经过深思熟虑就假定所有的必要命题都是先验的。但克里普克认为，这是一个错误。他的观点通常是通过一种被称为“同一性”陈述的命题来说明的。，a statement of the form “a = a.” Thus, consider the true identity statements “Venus is Venus” and “The morning star is the evening star.” Whereas “Venus is Venus” is knowable a priori, “The morning star [i.e., Venus] is the evening star [i.e., Venus]” is not. It cannot be known merely through reflection, prior to any experience. In fact, the statement was not known until the ancient巴比伦人通过天文观测，发现早晨观测到的天体和晚上观测到的天体是一样的。因此，“晨星即昏星”是一种后验。但这也是必要的，因为，就像“金星是金星”一样，它只说一个特定的物体，金星，与它自己是相同的，而不可能想象在什么情况下，金星与金星不是相同的。根据Kripke的观点，其他类型的既必要又后证的命题是关于物质起源的陈述，如“这张桌子是由(一块)木头制成的”，以及关于自然类本质的陈述，如“水是H”₂O.“值得注意的是，Kripke的论点虽然有影响力，但并没有被普遍接受，必然的事后命题的存在仍然是一个备受争议的问题。