制约逻辑

制约逻辑是传统形式逻辑与正统数理逻辑（现代逻辑）有机结合的产物，它运用现代逻辑提供的严格精密的数学方法，去构造一个能确切地体现传统形式逻辑的深刻正确的主导思想的非正统的制约逻辑系统。既具有传统形式逻辑的深刻而正确的主导思想，又有正统数理逻辑严谨和精密。