制约逻辑背后有一套深刻的逻辑哲学指导思想作为构造形式系统的基本依据。论文拟选取涵盖林邦瑾逻辑哲学思想基本内容的四个议题作为探讨对象:(1)逻辑是什么,包括逻辑的研究对象、逻辑与非逻辑的划界标准、逻辑与数学的关系、制约逻辑的命题真假观以及在此基础上对“悖论”的剖析。(2)充分条件关系与推理。(3)“逻辑量词”与内涵科学分析法。(4)制约逻辑研究成果和发展趋势。制约逻辑认为,客观世界具有客观的逻辑结构和逻辑规律,逻辑以它们为研究对象,充分条件关系不是函数关系,因而不是数学的研究对象。充分条件关系具有“两个独立性”。推理式的根本特征是:可以推、需要推、不循环。人类在求取关于不可逐一列举个体域的作为一般性原理的真知的过程中,事实上不曾使用过“逻辑量词”,而是用内涵科学分析法。列举制约逻辑诞生三十年来具有代表性的研究成果并初步探讨制约逻辑发展趋势及存在的问题。运用比较、分析、综合的方法,对林邦瑾逻辑哲学思想根本性的理论特征进行研究。这对于进一步研究和发展逻辑科学、逻辑哲学以及智能科学都有重要意义。