摘要
本文对经典否定联结词真值函项的研究表明：该函项是否成立依赖于可能世界集合是否完备。但是，进一步研究的结论是：单纯通过概括原则确定的可能世界集合具有虚拟的完备性，定义在其上的命题并不具有明确的意义；同时，可能世界集合的穷举问题在逻辑学范围内不可解。为了描述可能世界集合的逻辑性质，本文在上述研究的基础上，提出了封闭世界预设和开放世界预设。最后，作为主要结果，本文证明：（１）在前一预设下，经典逻辑的否定词真值函项成立。（２）在后一预设下，否定联结词的真值函项具有非经典的特性，即：当语句ｐ为真时，否定ｐ为假；而ｐ为假时，否定ｐ既不真也不假。上述结果为构造一种非规范的３－值逻辑系统（鞠实儿，１９９７）提供了哲学基础。
出处
《自然辩证法研究》
CSSCI
北大核心
1997年第11期9-13,28,共6页
Studies in Dialectics of Nature
