对传统逻辑现代化的再建议

所谓对当关系,就是具有相同素材的SAP、SEP、SIP、SOP四种判断之间的真假制约关系.一般的逻辑教科书,讲判断必讲对当关系,讲推理必讲对当关系推理.但一般讲传统逻辑的书关于对当关系的理论的说明是不够严密、不够完善的.对当关系为什么正确?有的逻辑教科书是用实际事例来说明的,尽管举不出反例,但毕竟用的是不完全归纳法,不完全归纳法是不能证明它的普遍性的.有的书借助欧拉图来说明,这是一种直观的说明,仍不是理论的论证.有的书想从理论上来论证,但由于限于传统逻辑这个范围,工具不够,因而也没有满意的效果,而且在考虑这个问题的时候,视野比较狭窄没有充分注意演绎推理各部分之间的内在联系.

三段论探讨——对普通逻辑现代化的建议

现行的普通逻辑(传统逻辑)已不大适应形势发展的需要,对之必须进行改革.其主要问题之一是,演绎推理的状态不佳,特别是以直言判断(命题)为基础的三段论和以复合判断为基础的复合推理,互不关联,彼此割裂,从而使演绎推理的各部分显得零散、孤立,整个演绎推理缺乏系统性、严密性.我对此作了一些探索性的工作,其基本思想是,对直言判断作一些逻辑上的处理,