简介:双时间参数理论由贝尔纳普于2001年提出,该理论使用不同的语义解释参数构建以言行事行为的语境,以确定以言行事行为是否成功或者是否被满足。但是贝尔纳普在构建语境时忽略了地点这一重要的语境参数,这也导致了双时间参数理论对以言行事行为的成功以及满足条件的不完善刻画。由此我们尝试提出一个对双时间参数理论的改进方案。首先,我们在简要介绍双时间参数理论以及其中问题的基础上,给出修正方案的大体思路,即将双时间参数理论的基础由分支时间逻辑变为分支时空逻辑。其次,我们将介绍分支时空逻辑中的主要内容。再次,我们说明如何在分支时空逻辑上使用PSTIT算子刻画群体行动的问题。最后,我们将具体介绍对双时间参数理论的修正方案。
简介:"清谈误国"是自两晋当朝以至20世纪前中国历史上大多数史家与学者对魏晋玄学的总体评价.随着历史进入20世纪,随着中国学者对西方文化了解的深入,受西方文化学术的影响和启发,人们开始重新审视和评价魏晋玄学.由晚清、民国以及建国后数代学人的共同努力,作为中国现代学术的重要组成部分,魏晋玄学同周秦诸子、两汉经学、隋唐佛学、宋明理学以及清代学术一样,成为中华民族学术、思想、文化发展史上一个不可或缺的重要环节,获得了全新的肯定和评价.我们根据20世纪魏晋玄学研究在各个不同的时间阶段上所呈现出来的受到西方哲学思想影响的特点,以及这种研究同中国现实社会的政治、经济、文化生活之间的相互关联影响,将魏晋玄学的研究大致分为五个阶段予以评述,以求得对于20世纪魏晋玄学的研究有一总体把握.
简介:司马迁所述孔子"删诗"说很可能出自《鲁诗》。《史记》多采《鲁诗》说;《孔子世家》先述孔子"删诗"说,紧接着述《鲁诗》"四始"之义;《孔子世家》述孔子"删诗"说前后矛盾,都显示出孔子"删诗"说与《鲁诗》间的关联。据魏源的说法,也有学者认为孔子"删诗"说源于《鲁诗》。司马迁不仅认为孔子"删诗",而且认为《诗经》的篇次也是孔子安排的,《毛诗》则认为是国史安排的,但《鲁诗》、《毛诗》的篇第绝大多数相同。由《仪礼》、《左传》、《国语》记载的典礼用乐看,《诗经》的篇次不是孔子排定的。汉儒说孔子安排了《诗经》的篇次,是为了便于从伦理道德、政治教化方面阐释。同样,说孔子"删诗",也是为了增加《诗经》的神圣性。在《诗》的经化过程中,一方面是加强其与伦理道德、政治教化的联系,另一方面是把其与圣人联系起来。所以,到了汉代,儒生就认为《诗经》是孔子编选的,诗篇、诗次都包含着孔子关于治国理家的微言大义。