二千三百年前，古希臘的偉大思想家亞里士多德(Aristotelés 前384 — 前 322年)以《工具論》創(chuàng)立了傳統(tǒng)形式邏輯，為邏輯發(fā)展史樹起了靠前座豐碑。從19世紀(jì)中葉到20世紀(jì)初，經(jīng)過英國數(shù)學(xué)家布爾、德國數(shù)學(xué)家弗雷格、英國哲學(xué)家、數(shù)學(xué)家羅索等人接連不斷的努力，吸收萊布尼茲的成果，建立了后來作為電子計(jì)算機(jī)理論基礎(chǔ)的“正統(tǒng)數(shù)理邏輯”的觀代公理系統(tǒng)，這是邏輯學(xué)發(fā)展史上的第二座里程碑。

1968年，中國形式邏輯研究會理事、北京開關(guān)廠工程師林邦謹(jǐn)創(chuàng)立了一門新的邏輯學(xué)說 —— 制約邏輯，向前兩座豐碑提出了挑戰(zhàn)。1978年，在我國邏輯學(xué)界元老沈有鼎教授的舉薦下，經(jīng)華裔美籍邏輯學(xué)家王浩教授推薦，林邦謹(jǐn)在美國數(shù)學(xué)會刊物《文摘》上****《制約邏輯簡介》。1985年12月，林邦謹(jǐn)?shù)膶Ｖ吨萍s邏輯》在國內(nèi)正式出版。制約邏輯獨(dú)樹一幟，震動了邏輯學(xué)界，引起了國內(nèi)外學(xué)者的關(guān)注。