教育部人文社会科学研究基金(08JA720010)
- 作品数：4 被引量：0H指数：0
- 相关作者：周祯祥牛奔玉杨福荣更多>>
- 相关机构：华南师范大学宝鸡文理学院更多>>
- 发文基金：教育部人文社会科学研究基金更多>>
- 相关领域：哲学宗教更多>>
- 相干逻辑R中合取的解释
- 2013年
- 根据马雷什提出的相干逻辑R的理论,相干逻辑R中对蕴涵的解释是根据情景推理给出的。相干逻辑中对其他联接词的处理也需要改进。本文根据情景推理对出现在相干逻辑中的联接词进行了分析,指出许多哲学家对相干逻辑中出现的连接词的处理是反直觉的。而本文的目的是给出相干逻辑中处理联接词的方法,并且表明这种处理方法对情景推理的的结构是必不可少的。
- 牛奔玉周祯祥
- 关键词：相干情景
- 巴坎公式和自由逻辑
- 2010年
- 在模态谓词逻辑语义学构建的过程中,巴坎公式扮演着重要的角色。以自由逻辑为基础的模态谓词逻辑是对经典模态谓词逻辑的改造。具有较好的柔韧性和宽容度,它可以容纳经典谓词逻辑。用自由逻辑系统解读巴坎公式,增加扩展公理和收缩公理,可以获得常域选择下的模态谓词逻辑。但这种逻辑仍有谜团需要我们去化解。
- 周祯祥
- 关键词：自由逻辑
- 蕴涵理论与一致性原则
- 2010年
- 蕴涵与一致性原则是逻辑系统不可或缺的,蕴涵是逻辑系统的表述方式,而一致性是逻辑系统成立的基本条件,蕴涵与一致性存在密切联系。无论是罗素实质蕴涵,还是刘易斯的严格蕴涵,都出现了相类似的"蕴涵悖论",其原因是违反语言常识的直观、违反了一致性原则的缘故。所以,正确有效地推理离不开对蕴涵和一致性原则的讨论。
- 杨福荣周祯祥
- 关键词：严格蕴涵一致性
- 模态逻辑基本范畴的哲学意蕴
- 2012年
- 对模态逻辑的哲学思考,首先是对基本模态范畴的思考。有两种关于必然的理解:形而上学的必然和逻辑必然,这两种必然之间是否有蕴涵关系是不确定的。在逻辑必然中,我们又有实在世界的逻辑必然和普遍的逻辑必然,普遍的逻辑必然蕴涵形而上学必然。而蕴涵、可能世界和关系是模态的另一类范畴,就其形而上学的意义而言,模态逻辑是在不变的蕴涵范畴基础上形成的逻辑理论。
- 周祯祥
- 关键词：蕴涵
