唯物史观的精神内核及其生成逻辑

唯物史观的精神内核内嵌于“历史具体”中,这种历史观始终站在现实历史的基础上。唯心史观以精神的历史来取代现实的历史,把“世界精神”当成历史的真正主体,其结果必将导致现实的历史被虚无化。马克思基于对劳动问题的探索,通过思维具体实现了历史具体,从而跨越了思辨的深渊,打开了一条通往社会现实的道路。只有深入“资本主义生产方式以及和它相适应的生产关系和交换关系”中,才能使唯物史观的基本原理由思维抽象走向思维具体,从而实证地揭示出资本主义生产方式的历史过渡性和暂时性,论证社会主义取代资本主义的历史必然性。     

心理测量学模型在学习进阶中的应用:理论、途径和突破

学习进阶是对学生在一段时间内,关于某一主题连续发展、逐渐复杂思维的描述,它的建立是以假设性学习进阶为起点到收集证据验证假设性学习进阶不断迭代的过程。心理测量学模型能够使学习进阶与评价结合起来,既为验证学习进阶的有效性提供证据,又能对学生做出诊断,当前应用到学习进阶中的心理测量学模型有单维项目反应模型、多维项目反应模型和认知诊断模型。学习进阶还能为垂直量尺化、自适应学习提供新的研究视角,但应注意项目功能差异等问题。     

经典逻辑、自由逻辑与空词项

经典逻辑与自由逻辑都涉及空词项问题。经典逻辑对空词项采取的是一种否定的态度,它要求命题的"主词非空",在逻辑中排斥带有空词项的命题,从而导致经典逻辑与存在问题缠绕在一起。自由逻辑把空词项视为合法的逻辑词项,允许含有空词项的命题出现在逻辑系统中,并试图给包含空词项的命题以恰当的语义解释。自由逻辑对空词项的这一积极态度,带来了一系列逻辑和哲学上的好处。     

一个用于表达因果关系的ATL的扩展

CTL模型检测技术已被广泛应用于形式验证领域。交互时态逻辑（ATL）是对CTL的一个扩展,用于表达多主体博弈结构上的性质。ATL使用合作算子来表达多个主体能够通过合作保证系统的设计目标。在实际应用中,我们需要知道主体的行动与系统的输出状态之间具有因果关系。在本文中,我们通过引入新的模态算子扩展ATL,使得这种因果关系得到表达。我们使用两种方式的扩展。其中之一是从主体的能力出发,直观上,如果一些主体可以通过合作的行动来保证系统进入某个状态,同时,这些主体也可以通过合作的行动保证系统不进入这个状态,则这些主体的行动与该系统状态间具有更强的因果关系。我们使用的另一种方式是从系统状态出发。我们考虑要想使系统进入某状态,哪些主体的行动的必不可少的,哪些主体的行动是充分的但非必要的条件。在本文中,我们扩展后的逻辑CATL和SATL表达力强于ATL,但计算复杂性与ATL相同。     

一个多值逻辑的一阶谓词系统

鞠实儿曾提出一个开放类三值命题逻辑系统,这一逻辑也可以推广到任意m值逻辑情形,成为一个联结词函数完全的逻辑。本文将对推广的命题逻辑系统L^＊建立一种一阶谓词系统,并证明其可靠性、完全性。     

范本特姆《逻辑、语言和认知》书介

“逻辑之门——约翰·范本特姆经典著作”是由荷兰阿姆斯特丹大学资助的翻译项目。该项目的成果以丛书形式由科学出版社出版,刘奋荣任丛书主编。《逻辑、语言和认知》为丛书第二卷,由刘新文和郭美云任主编。第二卷全书由17篇范本特姆（van Benthem,LEA．K．）撰写的论文组成,这些论文写作的时间从1983年开始至今,时间跨度达25年。按照研究的主题的不同,     

面向汉语认知与功能特征的语法逻辑

本文研究范畴语法的两种扩充,一是从认知特征角度的扩充,将范畴语法扩充为认知特征范畴语法,通过具有完全性的逻辑证明解决了一些不合语言事实的句子判别问题;二是从功能特征角度的扩充,提出逻辑推理的形式和进一步将二者统一的可能性问题。     

建构第一人称信念逻辑的一致性难题

研究信念逻辑的有趣之处在于：可以在没有清楚的存在与等同条件下,建立一套元目的形式理论。现有的合理且可能为真的形式系统皆因为著名的“知识拥有者的悖论（Knower’s Paradox）”而导致不一致。这篇论文将建构一套第一人称信念的形式系统。用来建构系统的信念将来自内在观点,因此信念的拥有者将不在讨论的范围中。此外,本篇论文将论证信念的背景将扮演语意、知识论及语用的角色。本篇论文建构的系统将是标准初阶逻辑的有限延展,并将使用到引述。本系统所使用的公理及规则相对较弱,且因为太弱而不足够,因此导致了系统的不一致。本论文欲藉此论证：可被定义的信念集合将不可能被找到。在现有的信念理论及所有的第一人称信念理论中,有限且可被定义的信念集合皆为不一致的原因在于并未涵盖我们真实拥有的信念。     

偏好变化的一个量化模型

偏好是哲学、博弈论、决策论和效益理论等学科的核心概念,偏好及其逻辑性质在行为哲学和理性选择理论中尤其占有十分重要的地位。偏好的概念使得我们对世界的看法变得多姿多彩,它驱使着我们在尘世的种种行为选择。然而,偏好不是静止不变的,建议、命令、以及其他的信息不断改变着我们的偏好。近年来,逻辑学家们开始对偏好的改变进行深入的研究。到目前为止,关于偏好变化的模型主要有以下两种：第一、采取AGM理论研究偏好变化,给出变化的逻辑公设。第二、采用新近发展起来的动态认知逻辑的方法,对偏好的具体变化机制进行研究,给出动态偏好逻辑系统。无论是上面提到的哪种方法,都是采用定性的视角,即,偏好被表示成一个序关系。与此相反,本文采取量化的视角来研究偏好,利用偏好赋值函数给出偏好的量化语义。就逻辑语言而言,我们给出一个包括命题常元的新语言。这个语言既简练又富于表达力。基于这样的量化语义,处理偏好变化的方法就与以往的方法有所不同。根据经典的乘积更新的机制,我们提出了新的加法规则和一个参数化规则,来刻画偏好赋值的细微变化之处。同时,我们给出一个动态认知赋值逻辑,并证明其完全性。此外,我们还考虑道义逻辑最近的一些研究成果,表明本文给出的模型同样适用于道义的情境。特别是,这个新的模型能够解决困扰人们已久的义务冲突问题。最后,针对赋值偏好模型,我们定义了适用于它“赋值互模拟”。而且,我们还进一步给出了一个新的互模拟概念“距离互模拟”以结束本文。     

优化心理测量的工具:递增效度

递增效度（Incremental Validity）是心理测量中用于评价新测验和优化测量程序的重要概念,它表示一个测量在原有数据或量表基础上对效标预测能力的改进程度,近年来引起了广泛的关注。本文首先介绍了递增效度的概念,然后对这一概念的统计原理和技术做了介绍,最后以心理学中的研究实例来说明其实际运用。