基于括号表示法的一阶逻辑系统

括号表示法是一种在形式语言中以括号来表示各种逻辑常项的符号表示方法。与已有的表示方法不同,它是一种整体表示法。以命题逻辑的形式语言为例,可以证明括号表示法的唯一性定理。在形式语言中,运用括号表示法表达的公式,其长度比用中置法表达的公式简短。运用括号表示法改写的一阶逻辑自然推理系统非常简洁。括号表示法为研究逻辑常项的推理结构提供了一个非常良好的分析工具。     

印证≠印证证明

立足逻辑学和法学的交叉研究，审视当前国内学界有关印证、印证证明问题的研究，不难发现其中还存在不一致、模糊甚至混乱之处。究其实，印证和印证证明是具有不同指向的两个概念：印证仅指来源不同的证据之间存在着相互吻合和相互支持关系；印证证明则指来源不同的、存在着相互印证关系的证据对于案件事实的证明。印证证明虽然建立在既有印证的基础上，但其本质所指仅为证明。印证与印证证明在所关注的问题、所反映的关系、所涵盖的支持模式、所依赖的哲学基础等方面均存在明显差异。     

乡村振兴视角下西部民族地区“五个认同”教育研究

乡村振兴是新时代补齐“三农”领域主要短板和建立相对贫困长效治理机制的国家战略。“五个认同”是西部民族地区各族群众战胜乡村振兴困难的力量之基,是有效推动高质量乡村振兴的动力之源。从认同形成和经济社会可持续发展讲,西部民族地区乡村振兴应加强“五个认同”教育;从广义教育的复杂性和系统性出发,以及基于乡村广义教育的功能现状分析西部民族地区“五个认同”教育的难点问题,旨在提高乡村振兴视角下认同教育的有效性,提出西部民族地区“五个认同”教育的实践路径。     

状态因子相关性与仿射利率期限结构模型构建

文章基于我国国债利率期限结构数据,考察广义Vasicek模型在状态因子相关和状态因子不相关两种假设下实证表现的差异性,以此说明状态因子相关性对仿射利率期限结构模型构建的重要意义。结果发现:水平因子和斜率因子客观上存在很强的负相关性;将状态因子误设为不相关,虽不会显著降低模型拟合能力,但会导致关键参数估计值的严重偏误。因此,模型构建的合理性不能仅通过拟合效果评判,应用仿射利率期限结构模型进行实证研究时,客观描述状态因子相关性是必要的。     

中国地方人大机构经费拨款的影响因素——基于1994-2007年省际动态面板数据的分析

20世纪90年代以来,中国地方人大的发展呈现出高度的地区性和功能性不均衡。根据1994至2007年的省际面板数据所建立的动态模型以及系统广义矩(System GMM)估计方法考察各地人均人大经费拨款的影响因素发现,政治竞争、经济增长、行政国家重构与维持社会稳定四种理性共同塑造着地方人大的发展轨迹。多重理性的同时存在也决定了各地方对待人大机构的工具性态度,这也是地方人大发展呈现出地区性和功能性不均衡的根源。     

基于广义量词单调性的自然语言推理模式研究

广义量词理论是现代逻辑学、理论语言学、计算语言学等交叉领域的重点研究内容之一。利用广义量词的单调性可以解释或判断自然语言推理的有效性。对此有十二个事实和十二个推论可以印证。此项研究对计算机科学中的知识推理和广义量词理论的发展都具有较为重要的理论价值和实践意义。     

哲学的教育与儒者的教育——以孔子和柏拉图为例

教育本身有一种非常广泛的意义。这种广泛意义的教育具有三个基本性质:(一)它关怀一个人的整全人生的那种善;(二)它要吸纳广泛的文化内容而融会成为一种观点;(三)它本身就是生活实践。以孔子与柏拉图为例,儒者的教育与古代希腊哲学活动所包含的教育都具有这种广义的人文教育的观点。这种观点的蜕变形式之一是"授人以渔"的人文教育观点。"提高素质"的观点似乎是好一些的看法。但这两种都远离了关怀我们作为人的整全人生的那种善的目的。儒者的和哲学的广义的人文教育观点可以容纳"授业"的专门教育的观点,但以所授的为有益于人的整全人生之善的真实技艺且具有真实拥有此种技艺者为条件。我们需要重新评估儒者的教育和希腊人所看到的哲学活动的教育对我们作为人的整全人生的关怀的重要价值,并基于这种重估来澄清和校正各种专门人文知识与技艺的教育的目的。     

阳明格竹:中国古代认识论史上的一桩公案

"阳明格竹"是中国古代认识论史上一个典型案例,王阳明未能找到其格竹失败的真正原因,由此得出错误结论,从逻辑上终结了朱熹所提倡的客观外求式"格物致知"活动的必要性与可能性。沈括提供了"格物致知"活动的成功经典案例。沈括的案例表明:要想获得关于外在对象客观而又深刻的认识,人们必须以积极、动态的操作性实验活动为基础,完善的"格物致知"活动是一个由感性的观察实验与理性的推理分析双向互动的过程。阳明格竹失败的根本原因在于其只有感性、消极的对象静观,没有积极的操作性实验,以及理性推理分析支撑,故而其格竹活动只能无果而终。