Tractatus Logico-Philosophicus
休谟已意识到这样的分别，但这种分别是康德清楚地提出的，后来由弗雷格给出了更明确的形式。维特根斯坦在他的《逻辑哲学论》中指出"分析式"陈述没有表达任何观点，也就是没有告诉人们新的东西。虽然他们不需要证实，他们也不具有知识性。