广义量词的单调性与数字三角形

回顾了广义量词的背景知识;在介绍数字三角形画法的基础之上,对S.Peters和D.Westerstahl的数字三角形简图进行了改进;在整理相关文献的基础之上,给出了更加全面的广义量词的单调性定义,并给出了更加全面的各种单调性的形式化表述,从而更加清楚直观且全面深入细致地探讨了类型为〈1〉的广义量词和类型为〈1,1〉的广义量词的单调性与数字三角形之间的关系。     

数学存在的语言建构——结构主义的研究范式

伴随结构主义的兴起,数学哲学的研究领域发生了范式转换,数学存在的语言建构取代了数学语言的逻辑分析,成为数学哲学发展壮大的基本动力与成长源泉。结构主义根据不同语言进行数学对象的存在建构,或者借用数理逻辑的集合论与模态逻辑作为语言,或者突破分析哲学的逻辑语言框架创造范畴论这种本体论语言,从而形成了集合论结构主义、模态结构主义与范畴论结构主义。集合论结构主义与模态结构主义成为沟通结构主义与数理逻辑的必要环节,范畴论结构主义成为结构主义数学哲学的发展方向。     

基于行动逻辑的智能主体行为表征研究

在人工智能领域,行为是指智能主体通过感知信息控制执行过程的算法。智能主体典型的行为模型就是BDI(信念、愿望和意图)逻辑框架。BDI主体结构在一些最为重要的多主体系统中得到了广泛应用。动态认知行动逻辑也可以对智能主体的行为进行表征。将BDI逻辑与动态认知行动逻辑融合起来,发展出能够更为有效地对主体不确定性行为进行表示和推理的逻辑是完全可能的。这些研究有助于智能主体不确定性行为的表示和推理,并为分布式人工智能提供形式支持。     

时间图形的双重本原

对于康德的时间图形理论,海德格尔有两种不同解释:一是认为过去构成时间的本原,只有过去才是作为时间的时间;二是认为未来构成时间的本原,未来先行规定现在与过去的综合统一,只有未来才能提供时间图形的框架结构。文章阐明:本原分为定义本原与生成本原,过去构成时间图形的定义本原,未来构成时间图形的生成本原;语言是造成双重本原的终极原因,语言(此在)是对于时间的存在建构,语言的谓词功能建构时间的未来维度,语言的名词功能建构时间的过去维度。