构造性逻辑否定排中律吗  

Does the Constructive Logic Negate the Law of Cxcluded Middle

作　　者：刘张华[1] 

机构地区：[1]湖南文理学院中文系,湖南常德415000

出　　处：《湖南文理学院学报（社会科学版）》2007年第1期88-90,共3页Journal of Hunan University of Arts and Science:Social Science Edition

摘　　要：构造性逻辑是以否定排中律的前提而构建的一种非经典逻辑系统,但是把构造性逻辑和排中律对照起来看,事实并非如此。在构造性逻辑中,否定符所代表的意义已经不同于其在经典逻辑中的意义,当我们把经典逻辑中排中律的形式放到构造性逻辑中,该形式已经不能表现排中律的实质。所以,构造性逻辑只是在形式上而非实质上否定了排中律。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 symhoe＂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 consrucfine logic just negates the form which the law of exclueleel midclle is in the classical logic.

关 键 词：构造性逻辑 排中律 经典逻辑 

分 类 号：B812.1[哲学宗教—逻辑学]