二千三百年前二千三百年前，古希腊的伟大思想家亚里士多德(Aristotelés，前384-前322年)以《工具论》创立了传统形式逻辑，为逻辑发展史树起了第一座丰碑。从19世纪中叶到20世纪初，经过英国数学家布尔、德国数学家弗雷格、英国哲学家、数学家罗素等人接连不断的努力，吸收莱布尼兹的成果，建立了后来作为电子计算机理论基础的“正统数理逻辑”的现代公理系统，这数学进展被认作是逻辑学发展史上的第二座里程碑。 1968年1968年，中国形式逻辑研究会理事、北京开关厂工程师林邦瑾创立了一门新的逻辑学说——制约逻辑，向前两座丰碑提出了挑战。1978年，在我国逻辑学界元老沈有鼎教授的举荐下，经华裔美籍逻辑学家王浩教授推荐，林邦瑾在美国数学会刊物《文摘》上发表论文《制约逻辑简介》。1985年12月，林邦瑾的专著《制约逻辑》在国内正式出版。制约逻辑独树一帜，震动了逻辑学界，引起了国内外学者的关注。 |
|
|
