一般认为卢卡锡维茨?3系统中的排中律与(不)矛盾律都不成立，对此有许多不同解释。按照STRF理论的简化、等值与增力的“三合一”极致原则，在完全接受?3句法和维持其已有语义的前提下，更深层次上“第三真值”这个逻辑常量其实是一个严格等价隐变量，也即“1/2”真其实是“真与并非真”的一种组合，但同一组合有不同排列，甚至同一个真值度存在不同的真值分布。显然由此可计算出?3中的排中律与(不)矛盾律仍然都是定理，?3当然是完全的，不过就是没被彻底认识的经典命题逻辑系统CP。
科研之友
微信
新浪微博
Facebook
分享链接
