郝一江
- 作品数：18 被引量：50H指数：5
- 供职机构：中国社会科学院哲学研究所更多>>
- 发文基金：国家社会科学基金北京市哲学社会科学“十一五”规划项目中国博士后科学基金更多>>
- 相关领域：哲学宗教自动化与计算机技术经济管理理学更多>>
- 邓小平理论的逻辑起点研究之我见
- 2015年
- 关于邓小平理论的逻辑起点,有多种不同的观点,比如:社会主义的本质论、社会主义的初级阶段论、真理标准论。其实,一个单一的逻辑起点是很难统摄邓小平理论所涉及到的方方面面的,我们应该分别为邓小平理论所涉及到的不同方面找出不同的逻辑起点。
- 郝一江
- 关键词：邓小平理论马克思主义逻辑起点逻辑思维
- 逻辑教育与我国创新人才培养的问题及对策研究被引量：1
- 2018年
- 逻辑教育可以锻造国民的理性精神、科学精神、创新精神和民主法治精神,有利于我国科技发展以及和谐理性社会的形成。但是,我国逻辑教育远远没有得到应有的重视。因此,我们应该对教育的培养目标和高考进行调整和重新定位,把逻辑教育渗透其中,并对如何提高受教育者的逻辑思维能力开展系统而深入的研究,在提高受教育者逻辑思维素质的基础上,大量培养创新人才,实现伟大中国的复兴之梦。
- 郝一江刘佶鹏
- 关键词：逻辑教育逻辑思维
- 广义量词的单调性与数字三角形被引量：9
- 2010年
- 回顾了广义量词的背景知识;在介绍数字三角形画法的基础之上,对S.Peters和D.Westerstahl的数字三角形简图进行了改进;在整理相关文献的基础之上,给出了更加全面的广义量词的单调性定义,并给出了更加全面的各种单调性的形式化表述,从而更加清楚直观且全面深入细致地探讨了类型为〈1〉的广义量词和类型为〈1,1〉的广义量词的单调性与数字三角形之间的关系。
- 张晓君郝一江
- 关键词：广义量词
- 包含特称量词some的广义三段论推理
- 2020年
- 广义三段论推理在自然语言信息处理和知识推理中占据着重要的地位。利用广义量词理论、集合论和模糊逻辑的相关知识,证明了18个包含特称量词some的广义三段论的有效性,并在此基础上讨论包含特称量词的语篇推理。这一方法为研究包括亚氏量词在内的其他广义量词的广义三段论的有效性及其语篇推理提供了一个简单合理的数学模式。
- 郝一江王超男
- 关键词：有效性
- 数学存在的语言建构——结构主义的研究范式被引量：3
- 2013年
- 伴随结构主义的兴起,数学哲学的研究领域发生了范式转换,数学存在的语言建构取代了数学语言的逻辑分析,成为数学哲学发展壮大的基本动力与成长源泉。结构主义根据不同语言进行数学对象的存在建构,或者借用数理逻辑的集合论与模态逻辑作为语言,或者突破分析哲学的逻辑语言框架创造范畴论这种本体论语言,从而形成了集合论结构主义、模态结构主义与范畴论结构主义。集合论结构主义与模态结构主义成为沟通结构主义与数理逻辑的必要环节,范畴论结构主义成为结构主义数学哲学的发展方向。
- 郝一江
- 动态逻辑:关于程序的模态逻辑被引量：6
- 2009年
- 郝一江张晓君
- 关键词：动态逻辑模态逻辑逻辑性质数学工具语义分析自然语言
- 结构主义视域下的现代逻辑学被引量：3
- 2018年
- 20世纪以来,结构主义在数学哲学中占据着主导地位,作为与数学密不可分的现代逻辑学也具有结构主义特征。这种特征表现为:重要的是考察所研究对象的结构以及结构之间的关系,而不必考虑所研究对象本身的内在品质。现代逻辑学的总体特征就是研究对象的构造性的数学特征,即:在句法和语义的基础上,利用定义、公理和推理规则,对现实中的对象进行抽象化和模型化,进而给出相关定理的证明。
- 郝一江陶侃
- 关键词：结构主义
- 自然语言语篇推理的形式化探究被引量：9
- 2016年
- 不论是对自然语言信息处理,还是对计算机科学中的知识表示和知识推理而言,自然语篇推理既是不可回避的研究重点,也是研究的难点。在利用广义量词理论对语篇推理进行形式化的基础上,既可以对基于传统三段论的语篇推理的有效性加以判定,也可以对基于广义三段论的语篇推理的有效性加以判定。换言之,利用广义量词理论可以形式化地解释和证明自然语言语篇推理。
- 郝一江
- 关键词：广义量词
- 基于偏好排斥等级BDI主体的决策行为研究被引量：3
- 2022年
- 使用偏好算子对命题动态逻辑进行扩展,可以对Agent的决策行为进行符号形式演绎,利用扩展的无穷值ukasiewicz逻辑可以对Agent的决策行为进行数值计算,因此在克里普克语义学、命题动态逻辑和扩展的无穷值ukasiewicz逻辑基础上,建立的偏好排斥等级BDI逻辑是符号形式演绎与数值计算并存的柔性逻辑,该系统可以清晰地表示偏好排斥等级BDI主体心智状态的不确定性。该研究不仅可以促进BDI逻辑的发展,而且可以为Agent理论的诸多应用领域提供形式支持。
- 郝一江陈亚楠
- 关键词：心智状态
- 信念-愿望-意图逻辑的哲学基础被引量：1
- 2024年
- 从常识性心理学、心灵哲学和行为哲学的视角,系统探讨意图、信念、愿望、规划与Agent实践推理的关系,可得到如下主要观点:(1)意图既是潜在的行为影响者,又是行为控制者,它为进一步的实践推理和规划提供了重要的输入。(2)意图涉及承诺;规划揭示了“以实践推理为中心的承诺的重要属性”;资源受限Agent的规划通常是具有层级结构的局部规划;意图是规划和实践推理得以关联的关键因素。(3)规划支持协调,并能够扩大慎思对之后行为的影响。(4)意图不仅能够帮助实践推理确定选项的相关性和可接受性,而且还能够构建“权衡愿望-信念理由”的过程。
- 郝一江
- 关键词：信念愿望意图
