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

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

论我国行政诉讼证据适用规则的完善

《行政诉讼法》第43条勾画了我国行政诉讼证据适用规则的轮廓,细致内容散见于《证据规定》《行诉解释》之中,其结构尚未体系化。行政诉讼证据适用规则与刑事、民事诉讼证据适用规则相比,具有自身的特殊性。从规范主义层面来看,行政诉讼证据适用规则包括证据适用准入规则、证据调查规则、证据审核规则、证据认定规则。以行政诉讼证据适用规则的特殊性和规范性为纲,可从形式和内容两方面完善我国行政诉讼证据适用规则。     

论刑事审判中大数据证据的审查

当前，大数据、人工智能技术催生出的大数据证据已经出现在庭审实践当中。尽管这种新的证据形式提高了事实认定者的认知水平，但同时也隐含着人为偏误与证据失真的证据风险，司法实践需要一套针对大数据证据的审查体系。大数据证据浸润在数据社会这一外部环境当中，同时又因机器学习的内部技术原理而呈现出以电子数据为表现形式、以专家证据为证据内核的证据属性。这决定了大数据证据的审查，一方面要根植于电子数据的规则传统进行证据鉴真，另一方面要对机器学习的源代码进行可靠性评估，以完成大数据证据的相关性判断与可靠性评价。同时，应当以调整证据种类制度、完善电子数据鉴真制度以及构建大数据证据质证机制作为大数据证据审查的配套机制。     

印证≠印证证明

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

被“证据”扭曲的医学价值观

对于中医药抗击新冠肺炎疫情的质疑和指责，以及中医药在其他场景下受到的否定和批判，又一次将中医药推向世界视野。Nature对中医药一贯持不认可态度，甚至以攻击性语言进行指责，但是这恰恰暴露了西方科学发展中的认知困境，以及Nature专家们价值观的偏狭。他们的所言所论，背离了基本的科学精神和科学准则，不仅无助于治疗新冠肺炎，也不能对科学的发展起到促进作用，反而将唯科学主义导致的局促和无奈，变成了恼羞成怒的宣泄。Nature对中医态度的本质，是基于所谓“证据”的不足，其扭曲的医学价值观，将实验室“证据”作为一切医学行为的核心价值，已经彻底背离了医学的本质和初衷，成为阻碍医学进步的绊脚石。     

初中物理教学中学生证据意识的培养

学生在发展的过程中，要善于培养各种意识的发展。在初中的物理教学中，证据意识是学生学习探究物理规律必不可少的一项素质。学生要有能力进行对实验现象的观点提供论证，主张自我想法的分享，且能够对教师提出的不认同的观点提出质疑，在循序渐进中提高学生的物理学科综合素质，重点突出培养学生的证据意识。