逻辑是一门重要的科学，任何一门严密的学科，都离不开严格的逻辑推理。没有严格的逻辑的事物是混乱的、不科学的，任何自称是科学的理论都必须经过逻辑的检验，如果不能通过，决不能成其为科学。但是逻辑的内容确实并不丰富多彩，它只有一些推理法则、推演公式，类似数学的公理系统。正是因为如此，在数学里形成了一门《数理逻辑》的学科。在一开始，一些人认为那只是符号的演绎，不会有实际意义。但是它的或、与、非……的推演系统与电子科学结合，就形成了现在的电子计算机的设计的理论基础从而得到最为有效的广大、深度的应用，可以说没有数理逻辑就没有现代电脑，这远远超出了人们（包括理论开创者）的想象。
数学——逻辑——数学，这是现代数学的最为重要的发展模式之一。