构造性逻辑否定排中律吗

构造性逻辑是以否定排中律的前提而构建的一种非经典逻辑系统,但是把构造性逻辑和排中律对照起来看,事实并非如此。在构造性逻辑中,否定符所代表的意义已经不同于其在经典逻辑中的意义,当我们把经典逻辑中排中律的形式放到构造性逻辑中,该形式已经不能表现排中律的实质。所以,构造性逻辑只是在形式上而非实质上否定了排中律。

Does the Constructive Logic Negate the Law of Cxcluded Middle

The Constructivce logic is the kind of own-classical logic vohich is based on negating the law of excluded midalle.Lohen we contrast the constructine logic with the law of excluoled midelle,we will find it is not true infact.In the constnctiue logic,the mearing of the symboe"negation" in diffrent from what it is in the classical logic.Wher we put the form of the law of excluclecl inidolle into the Constructine logic,we find the form isnot the law of excluded midolle in esserce any nore.So the consructine logic just negates the form which the law of exclueleel midclle is in the classical logic.