期刊文献+
共找到4篇文章
< 1 >
每页显示 20 50 100
哲思逻辑的判定问题 被引量:8
1
作者 杜国平 马亮 《安徽大学学报(哲学社会科学版)》 CSSCI 北大核心 2007年第5期34-38,共5页
在哲思逻辑系统内,有同时遵守矛盾律和排中律的经典否定联结词,有遵守矛盾律而不遵守排中律的构造性否定联结词,有不遵守矛盾律而遵守排中律的弗协调否定联结词,还有既不遵守矛盾律又不遵守排中律的辩证否定联结词。哲思逻辑是可判定的... 在哲思逻辑系统内,有同时遵守矛盾律和排中律的经典否定联结词,有遵守矛盾律而不遵守排中律的构造性否定联结词,有不遵守矛盾律而遵守排中律的弗协调否定联结词,还有既不遵守矛盾律又不遵守排中律的辩证否定联结词。哲思逻辑是可判定的,其判定方法包括分支真值表、分支归谬赋值法和分支树图方法等。 展开更多
关键词 哲思逻辑 分支真值表 分支归谬赋值法 分支树图方法
下载PDF
现代逻辑关于辩证思维现象的思考 被引量:1
2
作者 邹崇理 姚从军 《学术研究》 CSSCI 北大核心 2022年第5期22-29,45,F0002,177,共11页
思考现代逻辑对辩证思维现象的刻画是涉及多门学科的工作,对此,辩证逻辑研究几十年来产生了各种各样的探索进路。我们选择对标注逻辑、动态逻辑以及哲思逻辑等现代逻辑分支关注的辩证思维现象进行考量。然后,从辩证思维现象的个案个例出... 思考现代逻辑对辩证思维现象的刻画是涉及多门学科的工作,对此,辩证逻辑研究几十年来产生了各种各样的探索进路。我们选择对标注逻辑、动态逻辑以及哲思逻辑等现代逻辑分支关注的辩证思维现象进行考量。然后,从辩证思维现象的个案个例出发,采用语言逻辑分析自然语言句法语义的方法——组合范畴语法CCG融合λ-演算或投射话语表述理论PDRT等工具,对典型的辩证思维例句进行解析推演,彰显其中的矛盾思想和动态思想,从而尝试开启辩证逻辑研究的新思路。 展开更多
关键词 辩证思维现象 标注逻辑 动态逻辑 哲思逻辑 语言逻辑
下载PDF
模态哲思逻辑
3
作者 李娜 《重庆工学院学报(社会科学版)》 2008年第11期35-38,共4页
仿照哲思逻辑的方法,在传统模态逻辑的系统内,增加一个一元算子*,再通过定义引入两个一元算子△和▽,同样可以建立一个经典模态逻辑的扩充系统——模态哲思逻辑系统。但与哲思逻辑不同的是,在模态哲思逻辑中,分别与△A和▽A形成下反对... 仿照哲思逻辑的方法,在传统模态逻辑的系统内,增加一个一元算子*,再通过定义引入两个一元算子△和▽,同样可以建立一个经典模态逻辑的扩充系统——模态哲思逻辑系统。但与哲思逻辑不同的是,在模态哲思逻辑中,分别与△A和▽A形成下反对和反对关系的不是A,而是□A。这样就突破了从必然与可能间的关系入手的传统方法,找到了与必然形成相应对当关系的新算子。 展开更多
关键词 哲思逻辑 模态哲思逻辑 对当关系
下载PDF
哲思逻辑的扩充及其应用 被引量:2
4
作者 杜国平 《广西大学学报(哲学社会科学版)》 2011年第2期65-68,共4页
在9种二值一元连接词中,非平凡的共有5个。由这5个连接词连接的命题和原命题之间形成了5种关系,即矛盾关系、差等关系、逆差等关系、反对关系和下反对关系。在扩充的哲思逻辑中包含了这5个一元连接词,这大大提高了命题逻辑的表达功能和... 在9种二值一元连接词中,非平凡的共有5个。由这5个连接词连接的命题和原命题之间形成了5种关系,即矛盾关系、差等关系、逆差等关系、反对关系和下反对关系。在扩充的哲思逻辑中包含了这5个一元连接词,这大大提高了命题逻辑的表达功能和推理功能。其中的逆差等命题○A和原命题A之间既不满足矛盾律也不满足排中律,既不能用A和○A进行反证法证明,也不能用A和○A进行归谬法证明。哲思逻辑在自然语言推理方面的应用主要体现在两个方面:基于哲思逻辑的自然语言形式表示;基于哲思逻辑的自然语言推理。 展开更多
关键词 哲思逻辑 逆差等关系 逻辑应用
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部