多值逻辑解悖方案(many-valued logic approach to paradox solution),哲学-哲学-逻辑学-逻辑,以多值逻辑为逻辑基础的一类非经典逻辑解悖方案。该类方案的共同特点是通过否定经典“二值排中律”,使矛盾等价式无从建构,以便消解悖论。D.A.鲍契瓦尔(D.A.Bochvar)于20世纪30年代最早提出了一个以多值逻辑理论排除集合论悖论和语义悖论的解决方案。就集合论悖论来说,该方案就是通过把原来作为集合论之逻辑基础的二值逻辑系统修改为多值逻辑系统,这样,即使不改变素朴集合论的概括原则,也能消除悖论。鲍契瓦尔的方法是给悖论性命题直接赋予“真”“假”以外的第三值――“悖论性的”。鲍契瓦尔表明,由此构造起来的系统中,以往的集合论悖论都不再出现。但是,1954年,中国学者莫绍揆在美国《符号逻辑杂志》发表文章证明,如不放弃概括原则,有穷多值逻辑方案本身仍不可避免地产生悖论。1985年,朱梧槚、郑毓信等学者证明,无论是有穷多值还是可数无穷多值逻辑,只要承认分离规则、概括原则和同一律,在一个足够丰富的数学系统中必会产生悖论。