为了保证思想可靠,古希腊的思想家制定了思想的规则,在人类历史上,思想第一次成为思想的对象,这些规则我们称之为逻辑。比如不可同时承认正命题和反命题,换句话说,一个论点和它的反论点不能同时为真,即矛盾律;比如一正论点与反论点不可同时为假,即排中律。所有这些努力,都特别体现着人类对确定、可靠的知识的追求,一部数学史,就是人类不断扩大确知领域的历史。