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

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

隐名出资法律性质探析

对隐名出资法律性质的界定主要有代理说、隐名合伙说和信托说三种。前二者难以解释代理与隐名合伙和隐名出资的内在差异,而信托因物权性、稳定性等特征,不仅可以冲破合同相对性的枷锁,而且还在财产归属、法律效果等方面与隐名出资不谋而合。然很多学者止步于此,文章认为拟制信托在弥补明示信托关于信托目的必要性不足方面具有优势,且实体性拟制信托在自身性质、受益人财产保护等方面较救济性拟制信托而言,更能准确解释隐名出资的法律性质。     

印证≠印证证明

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

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

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

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

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

土肥义和及其《八世纪末期-十一世纪初期敦煌氏族人名集成》

本文简要介绍了日本敦煌学研究耆宿土肥义和的略历,并对其编著的《八世纪末期-十一世纪初期敦煌氏族人名集成——氏族人名篇、人名篇》一书的内容和成书作了较为详尽的介绍。     

小学数学教学中学生合情推理能力的培养实践

新时代发展给各个领域都带来了新的要求,教育领域可谓是重中之重。为符合时代发展要求,教育改革是势在必行,教育已经不再是单单培养学生认知能力,创新精神的培养是教育改革的重点难点。让学生得以全面发展,充分运用所学知识,举一反三的探索和分析。小学数学是学生培养合理推理能力的初始阶段,所以本文着重介绍在小学数学教学中学生合情推理能力的培养,并且提出有效培养措施。     

历史与法律之间：两类既往事实及其认定模式

历史研究与司法审判作为两种不同的人类活动,在对既往事实的认定方式上存在共性与差异。二者基于对认知既往事实的共同需求,都有意或无意的在各自领域进行着"证据-推论"的理性推理。但同时历史学者和司法实践者在事实认定过程中受到不同的身份、时间、事实范围、证明规则等因素制约,对既往事实的认定模式和具体操作过程有较大区别。对两类既往事实进行界定,可在司法事实认定的现有模式之上,提出改进的"证据-推论"事实认定推理模式,使其不但适用于按照严格法定规则进行事实认定的司法程序,也同样适用于基本进行自然推理的历史研究。通过对历史研究与司法审判的事实认定模式进行比较研究,能够了解并综合二者的优点,从而优化各自的事实认定方法,促进双方学术发展。