通知公告
More
- • 关于中国社会科学院研究生院迎新网开通时间的通知
- • 关于我院调整开学、新生报到时间的通知
- • 关于我院2015年上半年同等学力课程考试成绩查询和成绩复查工作的通知
- • 中国社会科学院研究生院MPA教育中心党的群众路线教育实践活动主题培训课程方案
- • 欢迎报考2014年“马克思主义理论骨干人才计划”博士研究生
- • 关于2014年中国社会科学院研究生院进站博士后研究人员名单公告
- • 关于申报2014年度国家社科基金重大项目（第二批）的通知
- • 中国社会科学院研究生院MPA教育中心十八届三中全会会议精神解读
- • 关于2014年研究生院博士后流动站招收申请日期延后通知
- • 关于举办食品安全治理创新高级研修班的通知
- • 中国社会科学院研究生院博士后流动站2014年招收公告
- • 张政文任研究生院党委书记、副院长
被收录情况
CSSCI 中文社会科学引文索引（2012—2013）来源期刊（含扩展版）
中国《中文社会科学引文索引》
中国《中国人文社会科学核心期刊要览(2008年版)》
中国《中文社会科学引文索引》
中国《中国人文社会科学核心期刊要览(2008年版)》
基于广文量词理论的直言三段论推理规则的形式化辨析
【作者】 张晓君 [1] ; 林胜强 [1,2]
【关键词】 广义量词理论 亚里斯多德量词 三段论 推理规则
【摘要】
在国内外新近研究成果的基础上，作者通过对作为广义量词特例的四个亚里斯多德量词的普遍语义性质和推理特征的研究，形式化地揭示了如何从广义量词理论的角度来解释直言三段论的推理规则。此研究对一阶逻辑和广义量词理论的发展、自然语言信息处理以及计算机科学中的知识表示和知识推理，都具有重要的理论意义和实践价值。