限制邏輯的歷史淵源

從65438年到0968年，中國形式邏輯研究會理事、北京開關廠工程師林邦金創立了壹種新的邏輯理論——限制邏輯，對前兩座豐碑提出了挑戰。65438-0978年，在我國資深邏輯學家沈有鼎教授和美籍華人邏輯學家王浩教授的推薦下，林邦金在《美國數學會文摘》雜誌上發表了論文《約束邏輯導論》。1985 65438+2月，林邦金專著《限制性邏輯》在國內正式出版。限制邏輯獨樹壹幟，震驚了邏輯學界，引起了國內外學者的關註。