弗协调逻辑与《金匮要略》“方证论治系统”
什么是“弗协调逻辑”(Paraconsistent Logic)?弗协调逻辑是哲学逻辑的一个重要的分支,能处理经典逻辑中的矛盾关系,也能够容纳矛盾,不取消矛盾,但不能从矛盾推出一切的逻辑理论。从A和□A两个互相矛盾的命题,一般不能推出任意命题B。弗协调逻辑又称为不协调逻辑、次协调逻辑、超协调逻辑、矛盾逻辑、悖论逻辑与亚兼容逻辑等。经典逻辑是否认矛盾,认为矛盾是不可能的,必须从“人”的思维中祛除,当然也要从逻辑系统中排除。一个经典逻辑系统是具有协调性的,即不矛盾性。协调性即不矛盾性定理,是经典逻辑系统的一个基本定理。弗协调逻辑是迄今能处理不协调性的唯一一类的逻辑理论,也是非经典逻辑的一个重要分支。
弗协调逻辑 《金匮要略》 方证论治系统
苏愉仁 贾春华
北京中医药大学基础医学院,北京,100029
国内会议
陕西咸阳
中文
95-97
2009-08-01(万方平台首次上网日期,不代表论文的发表时间)