逻辑学中“真值蕴涵的悖论”是什么意思?
是這樣的,多值逻辑悖论(multivalued logical paradox) 一个逻辑悖论.它是莫绍撰于1954年提出的一种多值逻辑悖论.对多值逻辑的研究,开始于20世纪20年代的波兰数学家、逻辑学家武卡谢维奇 (-Y ukaszewicz, J.)和波茨娃尔(}o}eBap,B.),逻辑学家们随后就建立了种种协调而完全的多值逻辑演算系统.关于多值逻辑演算系统的特征、解释及其与二值逻辑的关系都进行了广泛而深入的研究.其中关于多值逻辑系统与概括原则的相容性问题的研究也有一系列成果.莫绍撰于1954年证明了武卡谢维奇有穷值逻辑系统Ln<3镇n<})与概括原则是不相容的,亦即多值逻辑系统Ln<3镇n<})配上概括原则后必定导致矛盾,通常称为多值逻辑悖论.现规定蕴涵词~指的是满足下述推理规则的逻辑连结词:由 p及p-'q可得q.又("q是一种简记,其递归定义为:'q指p}q} }
答:在逻辑中,真值是指示一个陈述在什么程度上是真的。 在经典逻辑中,唯一可能的真值是真和假。但在其他逻辑中其他真值也是可能的: 模糊逻辑和其他形式的多值逻辑使用比简...详情>>