C_n(1≤n<ω)及C_ω中的否定

首页 > 按月查看>2012年第3月 >31-33

C_n(1≤n<ω)及C_ω中的否定
DOI:
                        
作者:
                        
作者单位:中国社会科学院哲学研究所,北京100732;北京大学哲学系,北京100871
作者简介:
通讯作者:
基金项目:国家社会科学基金项目“不协调理论的推理机制研究”(批准号:10BZX054);中国社会科学院青年科研启动基金项目;国家社科基金重大招标项目“自然语言信息处理的逻辑语义学研究”(批准号:10&ZD073)的研究成果

Negation in C_n(1≤n<ω) and C_ω

Author:

Affiliation:

(Institute of Philosophy,Chinese Academy of Social Sciences.Beijing 100732,China; Philosophy Department of Peking University,Beijing 100871,China)

Fund Project:

摘要

图/表

访问统计

参考文献

相似文献

引证文献

资源附件

摘要:

在对当关系逻辑中,命题A与命题△A之间是一种下反对关系。在弗协调逻辑系统中,我们通过定义一个一元连接词●,可以证明,在对当关系逻辑中算子△所具有的性质,在弗协调逻辑中其否定﹁也都具有这些性质,从而得出,弗协调逻辑中的否定﹁是一种特殊的下反对关系算子。

Abstract:

In the Oppositional Logic,the A proposition and △A proposition are connected by the subcontrary opposition.In the Paraconsistent Logic system,by defining a unary connectives ●,we can prove that if the operator △ have some properties in the Oppositional Logic,negation ﹁ also have these properties.So,negation will ﹁ in the Paraconsistent Logic is a special subcontrary opposition operator.

参考文献

相似文献

引证文献

引用本文

. C_n(1≤n<ω)及C_ω中的否定[J].湖南科技大学学报(社会科学版),2012,15(3):31-33

复制

文章指标

点击次数:
下载次数:

历史

收稿日期:
最后修改日期:
录用日期:
在线发布日期: 2012-12-21

引用本文

分享

文章指标

历史