卡尔·波普尔在其著作《猜想与反驳》提出科学和非科学划分的证伪原则。科学和非科学的划分在波普尔这里得到了明确界定而且是一反常识的。非科学的本质不在于他的正确与否，而是在于它的不可证伪性。于是数学和逻辑学便被划分为非科学的。同样，心理分析学说，占星说，骨相学。它们都不可被证伪。数学和逻辑学之所以被划分到了非科学的原因在于他们并不需要经验去检验它们，他们被休谟称为必然真理。而科学和非科学一样，都既包含着真理，又包含着谬误。