卡尔·波普尔在其著作《猜想与反驳》提出科学和非科学划分的证伪原则。科学和非科学的划分在波普尔这里得到了明确界定而且是一反常识的。非科学的本质不在于他的正确与否，而是在于它的不可证伪性。于是数学和逻辑学便被划分为非科学的。证伪主义应采用试错法。这是指人们应该大胆地提出假说和猜测，然后去寻找和这一假说不符合的事例。根据事例对假说进行修正，不断重复这一过程，乃至将最初的假说全盘否定。