【摘 要】
：
本文扩展了王彦晶和谢立民(J.Seligman)所提出的带赋值算子的认知逻辑.该逻辑沿循库伊(B.Kooi)所提出的动态项模态逻辑(dynamic term-modal logic)的进路,而二者都可以追溯到
论文部分内容阅读
本文扩展了王彦晶和谢立民(J.Seligman)所提出的带赋值算子的认知逻辑.该逻辑沿循库伊(B.Kooi)所提出的动态项模态逻辑(dynamic term-modal logic)的进路,而二者都可以追溯到费廷(M.Fitting)曾提出的项模态逻辑.在一阶动态项模态逻辑的基础之上,王彦晶和谢立民采取了一种最小化的方法,仅把基础的赋值算子引入无量词的项模态逻辑,就得到一个足以自然地区分开多种从物/从言知识情形的逻辑片段.但上述工作都集中在常论域模型上,这就启发我们进一步放松对论域的限制,讨论可能带来的不同情况.正如库伊在动态项模态逻辑提出之初所言,动态项模态逻辑的一个发展方向就是允许论域变化,并从认知的视角研究存在的问题.本文将在这个方向上做出尝试,并试图给出对变论域上的认知模型的定义.更进一步,本文还将放松对项的解释的限制,允许项空指的情况.在区分个体与个体的名字、不固定论域、不假定名字都有指的形式化设定下,文中给出了一个认知模型上有效公式的公理系统.
其他文献
哲学之缘促使冯契与臧宏两位哲学家走到了一起.他们对中国哲学、中国哲学史以及儒道佛原典都有过深入的研究,并成了名副其实的“忘年交”和“亦师亦友”的人生知己.正因为如
在美国高等教育尤其是人文类学科不景气的背景下,美国的中国哲学研究生项目也面临着较大压力.当前美国哲学界的主流是分析哲学.而中国哲学许多重要典籍注重探讨人生体验,并且
2020年“内卷”(Involution)入选《咬文嚼字》十大流行语,指社会或组织发展曲线不是一直上升,而是向内卷曲,呈现停滞或倒退趋势的现象。低水平的模仿和复制,导致只有“量”的增长,而无“质”的改变;没有内容上的突破,只有形式上的转变。所以,“内卷”反映出人们在努力进取中得不到遂愿的结果,而陷入“无发展竞争”的社会焦虑中,尽管大家都不想陷入内卷,但又不知不觉陷入其中,描述部分社会群体目标高度单一、价值导向高度单一、行为模式也高度单一的生活样态。
冯契的“智慧说”哲学体系力图沟通知识与智慧,而智慧就表现为自由的德性,由此“智慧说”亦涉及对知识与德性概念及其关系的考察.知识与德性的关系在“智慧说”中经由道或智
宋晓竹(Sung Winnie)认为荀子哲学中的“欲”自身并不具备动机力量.这一观点挑战了荀学研究中所普遍接受或默认的前提,在理论后果上将荀子的“性恶论”隐秘地颠覆为“心恶论
本文分析了1917-1985年苏联学者和译者对《道德经》和《庄子》关注度提升的决定因素.很多研究者的目的 是在中国哲学中找到唯物主义和唯心主义.文章列举了一些苏联政治家、学
乾嘉后期以学者凌曙为代表的公羊礼学的出现,对康有为公羊学思想乃至改制思想有很大的影响.康有为认为公羊学应该划分为义、例、礼三个方面,并且指出由礼到例再到义的公羊学
1888年1月,时任日本福冈警察署长的汤地丈雄发起了一场“元寇纪念碑建设运动”,该运动以建立龟山上皇铜像为目标,宣扬“忠君爱国”精神,在当时影响广泛.从史学角度看,这是利
贝克特戏剧一向被纳入法国荒诞派戏剧的坐标加以考察,而忽略了其对爱尔兰本土戏剧艺术的传承.本论文从爱尔兰戏剧现代化的进程出发考察贝克特戏剧对辛格戏剧的融汇创造.论文
以出土四古本《老子》研究为契机,利用“挖缺补空”式的分析方法,可推断出老学史上争讼不断的第九章作“殖而盈之”应更贴近老子思想.以“殖而盈之”章为中枢,至迟于郭店楚简