| 构造性逻辑否定排中律吗 |
| |
| 引用本文： | 刘张华.构造性逻辑否定排中律吗[J].武陵学刊,2007,32(1):88-90. |
| |
| 作者姓名： | 刘张华 |
| |
| 作者单位： | 湖南文理学院中文系,湖南常德415000 |
| |
| 摘 要： | 构造性逻辑是以否定排中律的前提而构建的一种非经典逻辑系统，但是把构造性逻辑和排中律对照起来看，事实并非如此。在构造性逻辑中，否定符所代表的意义已经不同于其在经典逻辑中的意义，当我们把经典逻辑中排中律的形式放到构造性逻辑中，该形式已经不能表现排中律的实质。所以，构造性逻辑只是在形式上而非实质上否定了排中律。
|
| 关 键 词： | 构造性逻辑 排中律 经典逻辑 |
| 文章编号： | 1672-6154（2007）01-0088-03 |
| 收稿时间： | 2006-11-06 |
Does the Constructive Logic Negate the Law of Cxcluded Middle |
| |
| Authors: | LIU Zhang- hua |
| |
| Abstract: | |
| |
| Keywords: | the consructive logic the law of excluded middle the classical logic |
| 本文献已被 维普 等数据库收录！ |
|
