1968年，中国工程师林邦谨创立了新颖的逻辑学理论——制约逻辑，挑战了逻辑学的两大基石。他的理论在1978年通过沈有鼎教授的推荐和王浩教授的引荐，得以在《文摘》上发表论文。1985年，《制约逻辑》专著正式出版，引起了全球学者的广泛关注。
制约逻辑是传统形式逻辑与现代数理逻辑的融合，它运用精确的数学方法构建非正统逻辑系统，保留了形式逻辑关注人类思维和自然语言中的推理格式，同时弥补了形式逻辑在理论分析和演算技术上的不足。林邦谨强调，制约逻辑继承了形式逻辑的正确主导思想，同时引入了数学方法处理复杂问题，是传统逻辑的现代发展。
制约逻辑的核心概念是制约关系，它是推理格式的理论基础，强调推理前后件间必须满足制约关系。制约逻辑体系由语义学、语构学和语用学构成，分别研究逻辑结构、符号排列结构和符号语言翻译等问题。研究对象包括个体、关系、函数等，并在意识中反映为概念、命题和推理。
林邦谨提出了命题演算Cm系统和名词演算Cn系统，它们在处理逻辑问题上具有独特性，避免了一些模态系统的问题。他还提出了两个独立性定理，确保论证的非循环性。制约逻辑被认为在学术和科学实践中具有重大意义，可能解决一些长期未决的逻辑难题，并对数学和计算机科学领域产生影响。
国际上，制约逻辑理论受到广泛兴趣，林邦谨的理论被积极研究和讨论，但同时也受到一些批评，认为其Cn系统可能不可判定，且存在一些理论和应用上的限制。未来，制约逻辑的真理性和价值将由时间来验证，它是否能成为逻辑学革命，是否能在实践中经受考验，仍需时间去回答。
逻辑就是思维的规律，逻辑学就是关于思维规律的学说。有时逻辑和逻辑学两个概念通用。逻辑和逻辑学的发展，经过了传统逻辑（形式逻辑）与辩证逻辑两大阶段，辩证逻辑又有矛盾逻辑、对称逻辑两大阶段。