二千三百年前，古希腊的伟大思想家亚里士多德以《工具论》创立了传统形式逻辑，为逻辑发展史树起了第一座丰碑，从19世纪中叶到20世纪初，经过英国数学家布尔、德国数学家弗雷格、英国哲学家、数学家罗索等人接连不断的努力，吸收莱布尼兹的成果，建立了后来作为电子计算机理论基础的“正统数理逻辑”的观代公理系统，这是逻辑学发展史上的第二座里程碑。 1968年，中国形式逻辑研究会理事、北京开关厂工程师林邦谨创立了一门新的逻辑学说就是制约逻辑。