特点

既具有传统形式逻辑的深刻而正确的主导思想，又有正统数理逻辑严谨和精密。

历史起源

二千三百年前

二千三百年前，古希腊的伟大思想家亚里士多德(Aristotelés，前384-前322年)以《工具论》创立了传统形式逻辑，为逻辑发展史树起了第一座丰碑。从19世纪中叶到20世纪初，经过英国数学家布尔、德国数学家弗雷格、英国哲学家、数学家罗素等人接连不断的努力，吸收莱布尼兹的成果，建立了后来作为电子计算机理论基础的“正统数理逻辑”的现代公理系统，这数学进展被认作是逻辑学发展史上的第二座里程碑。

1968年

1968年，中国形式逻辑研究会理事、北京开关厂工程师林邦瑾创立了一门新的逻辑学说——制约逻辑，向前两座丰碑提出了挑战。1978年，在我国逻辑学界元老沈有鼎教授的举荐下，经华裔美籍逻辑学家王浩教授推荐，林邦瑾在美国数学会刊物《文摘》上发表论文《制约逻辑简介》。1985年12月，林邦瑾的专著《制约逻辑》在国内正式出版。制约逻辑独树一帜，震动了逻辑学界，引起了国内外学者的关注。

科学分支

制约逻辑是逻辑学中的一个新型、独特的分支，它与传统逻辑学和正统数理逻辑并立。它既具有传统形式逻辑的深刻而正确的主导思想，又有正统数理逻辑严谨和精密的特点。

研究对象

传统形式逻辑的当代发展

制约逻辑是传统形式逻辑与正统数理逻辑(现代逻辑)有机结合的产物，它运用现代逻辑提供的严格精密的数学方法，去构造一个能确切地体现传统形式逻辑的深刻正确的主导思想的非正统的制约逻辑系统。林邦瑾认为，传统形式逻辑密切结合人类普通思维和自然语言实际，把从已知进入新知的推理格式作为自己的主要研究对象，坚持贯彻不许循环论证，这是它的深刻而正确的主导思想。但它对一些极简单的推理却不能从理论上加以分析，演算技术也十分简陋、陈旧，远不能满足现代的需要。正统数理逻辑系统地采用了现代数学方法，论证严谨，演算精密，但它却舍弃了推理格式中起决定作用的非数学的逻辑含义这一精髓，将其处理成真值函数、个体-真值函数关系，因而远离了传统形式逻辑的主导思想。林邦瑾大胆地综合融汇了上述两种逻辑的优点而摒弃二者之缺陷，创造出自外于传统、正统两家的新逻辑体系——制约逻辑学说，即继承传统形式逻辑的正确主导思想和有效的推理格式，并采用正统数理逻辑所提供的数学方法来处理科学研究和社会生活中的各种逻辑问题。它是久盛不衰的传统形式逻辑的当代发展。

制约关系

制约逻辑学说指出，制约关系就是刻划清楚后的充分条件关系。制约关系事实上构成了传统形式逻辑中可据以进行不循环论证的推理格式的理论核心：推理式的前后件之间必定满足普遍有效的制约关系，而在前件或后件中也必定出现制约关系。制约逻辑最具特征的元逻辑思想是：客观世界不仅具有像物质的化学结构一样客观的事件的逻辑结构，而且，还具有像按照一定的化学结构从原有物质生成新物质的化学反应能力一样客观的按照一定的逻辑结构从原有事件必然过渡到新事件的逻辑运演机制。人类认识这种客观的逻辑运演机制后，便成了从已知（对原有事件的认识）得出（对必然过度的认识）新知（对新事件的认识）的推理论证。制约逻辑体系由语义学、语构学、语用学三者组成。制约逻辑语义学研究客观世界的逻辑结构和逻辑规律，而以其中的客观的制约关系和有关制约关系的客观的逻辑规律为主要研究对象。制约逻辑语构学研究刻划客观的逻辑结构和规律的表意的人工符号的机械的排列结构和变形规则。制约逻辑语用学研究在指谓同一的原则下符号语言与自然语言的互相翻译。总的说来，制约逻辑所研究的领域是：现实世界对象域上的个体、集、一元或多元函数、一元或多元关系、关系间的真值函数关系、关系间的充分条件(即制约) 关系，和上述种种关系的客观规律，以及它们在意识中的反映——概念 (词)、命题和推理。其中，制约(充分条件)关系为研究核心。

研究方法

逻辑思维

林邦瑾在深入分析人类普通的逻辑思维实际的基础上，运用数理逻辑的演算技巧，在制约逻辑语构学中提出了三个前者隶属于后者的形式系统：命题演算Cm系统、名词演算Cn系统和带等词的名词演算Cnd系统。Cm中的“制约”命题p→q 跟p和q的真假共有七种，p→q获得三真四假的纪录。这点与莱维斯 (Lewis) 的严格蕴涵一致。但Cm跟莱维斯的模态系统是有区别的。Cm系统有以下主要特征：(1)在Cm中，所谓“必然”，并非某命题的性质，而只能是两个命题间的联系。p→q 表示p 和q 之间有某种"必然"联系。(2)除了为一般模态系统所避免的象p→(q→p) 等著名的蕴涵怪论以外，Cm还避免了象p∧ ┐p→q 这一类最难避免因而为一般模态系统所容纳的蕴涵怪论。(3)跟一般模态系统不同，Cn有象 [p→(q→r)]→[q→(p→r)] 这一类公式。(4)相当于在一般形式逻辑书中列出的传统命题逻辑推理式（包括选言推理）的定理它都具有。(5)凡是在传统形式逻辑中看起来好像是用了相当于被Cm排除了的二值系统中的定理的地方，Cm都有很好的处理方法。在Cm系统的基础之上建立的Cn系统，只是扩充形式语言（引入个体变元、函数词和谓词），而不用量词。这样不仅在技巧上可避免含有量词的形式系统所不可避免的许多麻烦，使演算的进程原则上是命题演算，而且更接近于普通逻辑思维实际。同时，Cn系统将对解决判定问题提供明朗的前景。

两个独立性

林邦瑾在演绎推理问题上提出了两个独立性，具有逻辑性质“可独立于前后件的真假确定不会是前真而后假”的制约式定理称为具有第一独立性。具有逻辑性质“可在无需确定后件为真的情况下确定前件为真”的推理式定理称为具有第二独立性。“两个独立性”是为在论证中出现的推理式所必具的确保论证不循环的逻辑精髓。这是深刻的逻辑理论观点。国内外一些专家学者认为制约逻辑在学术研究和科学实践等方面有重大的意义：(1)它可以分析、处理一系列逻辑史上迄今争论不休、久悬末决的难题。对命题的真假对错、主词存在、宾词周延和演绎推理能否推出新知，已证明的结论是否已证实，以及在数学史上引起第三次数学危机的悖论等问题，都给出了确定的解决。(2)以它为逻辑基础建立的初等数论的形式系统N，当Cn的判定问题一经解决，就可能为最终解决哥德巴赫猜想提供新的思路。这种建立在客体逻辑基础上的数论系统还可能满足相容性和完全性(与建立在思辨逻辑理论框架内的哥德尔不完全性定理正好相反)。(3)制约逻辑形式化公理系统，为计算机语言创造了符号语言体系。以它作为计算机科学的逻辑理论基础，可为研究、设计新一代的内涵智能机以及软件可靠性确认、程序正确性证明等方面提供新的途径。(4)以它来分析科学理论和科学创造中的逻辑机制，可使科学工作者掌握有效而实用的科学方法。