• 全部
    高级检索
主办单位：煤炭科学研究总院有限公司、中国煤炭学会学术期刊工作委员会
首页 > 论文库
亚里士多德模态三段论逻辑的形式化公理系统探讨
  • 1312
  • 作者

    张晓君袁娇娇

  • 单位

    四川师范大学逻辑与信息研究所

  • 摘要
    利用广义量词理论、可能世界语义学和集合论,可以简洁明了地对亚里士多德模态三段论进行形式化和有效性的证明。根据有效的亚里士多德模态三段论应该遵守的基本规则,可以从6 656个亚里士多德模态三段论中,筛选出有效的384个模态三段论。把通过向有效的直言三段论AAA-1和EAE-1中添加模态词而得到的20个有效模态三段论作为基础公理,就可以为亚里士多德模态三段论逻辑建立起形式化公理系统。
  • 关键词

    亚里士多德模态三段论可能世界语义学形式化公理化

  • 基金项目(Foundation)
    国家社会科学基金项目(16BZX081)；
相关问题
立即提问
湖南科技大学学报（社会科学版）
Journal of Hunan University of Science & Technology(Social Science Edition)
中文核心期刊/中国科技核心期刊
CSSCI中文社会科学引文索引期刊
2019年01期
推荐专家
推荐企业
华洋通信

华洋通信
推荐专题
《能源环境保护》水质安全与水资源循环利用技术 | 专题
《能源环境保护》水质安全与水资源循环利用技术 | 专题
《煤炭学报》专题报道丨“煤矿快速智能掘进理论与技术”
《煤炭学报》专题报道丨“煤矿快速智能掘进理论与技术”
《煤炭学报》专题报道丨“关闭/废弃矿井资源开发利用研究”
《煤炭学报》专题报道丨“关闭/废弃矿井资源开发利用研究”
《煤田地质与勘探》虚拟专题︱深部煤层气最新研究进展
《煤田地质与勘探》虚拟专题︱深部煤层气最新研究进展
理事单位特刊：矿山智能化建设创新成果与典型案例（《智能矿山》）
理事单位特刊：矿山智能化建设创新成果与典型案例（《智能矿山》）
《煤炭学报》专题报道丨“矿山充填开采理论、方法及技术”
《煤炭学报》专题报道丨“矿山充填开采理论、方法及技术”
《煤炭学报》专题报道 |“深部灾害防控理论与技术”
《煤炭学报》专题报道 |“深部灾害防控理论与技术”
《煤炭科学技术》虚拟专题 | 一键下载 | 2023~2024年低碳减损绿色开采成果
《煤炭科学技术》虚拟专题 | 一键下载 | 2023~2024年低碳减损绿色开采成果
《煤炭科学技术》热文精选 | 一键下载 | “煤矿智能化关键技术成果”
《煤炭科学技术》热文精选 | 一键下载 | “煤矿智能化关键技术成果”
《矿业安全与环保》“矿山粉尘在线监测预警与智能防控”专题
《矿业安全与环保》“矿山粉尘在线监测预警与智能防控”专题
亮点论文

主办单位：煤炭科学研究总院有限公司 中国煤炭学会学术期刊工作委员会

©版权所有2015 煤炭科学研究总院有限公司 地址：北京市朝阳区和平里青年沟东路煤炭大厦 邮编：100013
京ICP备05086979号-16  技术支持：云智互联
Baidu
map