检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:郝旭东[1] Xudong Hao(Department of Philosophy,East China Normal Universit)
机构地区:[1]华东师范大学哲学系
出 处:《逻辑学研究》2018年第2期26-40,共15页Studies in Logic
基 金:国家社科基金项目资助(项目编号:15BZX085)
摘 要:若限制一般意义的矛盾律,就会得到一种非亚氏(non-Aristotelian)逻辑,即弗协调(paraconsistent)逻辑。以弗协调逻辑系统C1为基础,对之进行语法和语义扩张,即可得到弗协调置信逻辑系统C1D。这种特殊的认知逻辑可以容忍认知冲突,若以之为基础逻辑,知识或信念的暂时不协调将不会导致逻辑上的无意义(不足道)。基于该系统的特异逻辑性质,相信一个陈述及其否定在逻辑上将变得并非不可能。该系统作为处理悖论的容悖路径,尽管在实质上没有排除掉悖论,但在那些认知悖论彻底解决之前,却可为理性认知提供一个可靠的逻辑基础。If the law of contradiction is restricted in a general sense, we will get a kind of non- Aristotelian logic: paraconsistent logic. In this expository paper, we provide a multi- agent doxic logic system C1D which can tolerate epistemic conflicts in a non-trivial manner. Based on it, temporary inconsistency of knowledge or belief will not lead to a meaningless or trivial logical outcome. It will be not impossible for us to believe a statement and its negation logically according to the specific nature of C1 D. Its tolerance for paradoxes does not eliminate those paradoxes in essence, but does offer us a logical foundation for rational cognition before we completely solve these epistemie paradoxes.
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:18.221.87.167