论法的公理的主要形态

法的公理是人类对法及全部法现象不言自明的逻辑起点和共同价值追求,具有社会性、共识性、本源性、价值性四个特征。法的公理在不同理论渊源中表现出不同的形态。纵观当今世界各国立法,其中蕴含的法的公理主要表现为人权保障、公平正义、诚实守信、公序良俗、社会和谐、产权保护、人身自由、以人为本、程序正当和尊重自然等十种主要形态。这十种法的公理的主要形态在各部门法所蕴含的法的“殊理”的调节下,衍生出了世界各国法律丰富的法律原则和法律规范,构建起当前人类社会基本的法秩序。科学运用法的公理,要在法的公理的具体实现中贯彻新发展理念、构建新发展格局,从而推动实现更高水平的社会主义法治,助推实现全体人民共同富裕的伟大目标。     

我国刑事司法诠释体制的反思与定位

现今的司法诠释体制导致了司法权侵越立法权的格局，导致了司法的弱化与教条化以及副法体系的产生，其实质都是志在追求一种“法律的公理体系之梦”。随着司法实践理性的逐步展开，刑事司法诠释应当实现从宏观立法叙事到微观司法论证的转变以及由法律科学主义向法律实践理性的回归。     

非良基公理和非良基集合论的域

正则互模拟是非良基公理和非良基集合论形成的基础，基于正则互模拟形成了一簇非良基公理。定义了三种正则互模拟≌*、≌t和≡V0，由它们生成的非良基公理AFA≌*、AFA≌t和AFA≡V0与经典的非良基公理FAFA、SAFA和AFA分别等价；非良基公理FAFA和AFA位于非良基公理簇的两端，SAFA处于FAFA和AFA之间；非良基公理FAFA、SAFA和AFA两两不相容；与非良基公理FAFA、SAFA、AFA相对应的外延力依次增强，而相对应的非良基集合论的域依次缩小。     

线性空间定义及公理独立性

文中给出了证明线性空间定义中公理６）独立的正确例子，并根据公理１）不独立的事实，对线性空间的定义稍加修改，使各公理独立。     

传统三段论公理质疑

亚里士多德三段论是一公理系统，第一格的四个式或者Ｂａｒｂａｒａ与Ｃｅｌａｒｅｎｔ是其公理，而传统三段论并不是公理系统，因而不具有严格意义上的公理。而且，传统三段论的理论基础是全体的概念外延之间的关系或类与类之间的关系，传统三段论公理所讲的仅是这些关系中的一部分，因而把“曲全公论”看成是传统三段论的基础是不恰当的。     

集论中几个问题的概述

基于集合论的概念和方法渗透到数字的一切领域,在构成现代数字基础上的重要性,本文着重介绍集论基础中以下几个问题:(1)集合概念;(2)公理系统;(3)连续统假设;(4)选择公理;(5)大基数公理;(9)可构成集公理;(7)力迫法。在这些问题介绍中,涉及到有关集论基础知识,历史发展以及近代的研究概况。     

伦理学方法要义

伦理学几乎可以使用几何学和物理学的一切方法,特别是公理法。因为伦理学确实存在这样的公理和公设——它们构成元伦理学——从这些公理和公设出发,便可以推导出伦理学其余的全部内容:规范伦理学和美德伦理学。因此,伦理学可以是一门如同几何学和物理学一样客观必然、严密精确和能够操作的科学。     

探寻Desargues定理之美

本文从Ｄｅｓａｒｇｕｅｓ定理在公理系统中的地位，Ｄｅｓａｒｇｕｅｓ定理的证法及应用，Ｄｅｓａｒｇｕｅｓ构形特征等方面论述了该定理的美。     

建立在“笛卡尔公理”上的一个怀疑逻辑系统．

怀疑逻辑是关于人们合理怀疑的逻辑。如果说知道逻辑、信念逻辑都是“正”的逻辑的话，那么怀疑逻辑则是“负”的逻辑。将怀疑算子D加于命题之上就构成怀疑命题。笛卡尔的“我思，故我在”可以作为怀疑逻辑的特征公理：某人怀疑p，蕴涵着他对怀疑p是不可怀疑的——我们可以将之命名为“笛卡尔公理”。从该公理可以推论得到定理：某人不怀疑p，蕴涵着他对不怀疑p是不可怀疑的。该定理与笛卡尔公理一起作为当下思维存在的自明性公理。我们可以建立一个以“笛卡尔公理”作为一个特征公理的怀疑逻辑系统(PD)。笛卡尔公理与知道逻辑中的智慧公理(苏格拉底公理)在逻辑上是同构的，它们均对应于模态逻辑中的E公理。怀疑逻辑作为一种认知逻辑，有广泛的用途，它可以运用到政策反驳、科学批判、法律推理等领域。     

唯科学主义的淡化与民众科技意识的强化──近代中国科技文化发展的启示

近代中国科技文化发展中有一个突出特点，即一方面，一些知识分子竭力提倡“科学救国”，以致宣扬“科学万能”，进而迅速走上唯科学主义的顶峰；另一方面则是许多具体科学基础并未真正建立，更未深入广大民众之中，民众科技意识依然极其贫乏。唯科学主义在近代中国几乎与近代科学同时产生，同步发展。早在戊戌时期，当近代科学还刚刚在中国初步产生时，康有为就在《实理公法全书》中“以几何著人类公理。”认为凡符合科学方法尤其符合几何公理的，就是唯一正确的，不管是实用技术的，还是人文心理的；不管是客观世界的，还是主观世界的。这…     

C语言的公理语义(1)──控制结构

由于篇幅的缘故，本义从公理语义的角度主要讨论了C语言的流程控制结构的语义，而关于该语言的函数和对象的公理语义将在后续的各文章中陆续给出。     

我国刑事司法诠释体制的反思与定位

现今的司法诠释体制导致了司法权侵越立法权的格局,导致了司法的弱化与教条化以及副法体系的产生,其实质都是志在追求一种"法律的公理体系之梦".随着司法实践理性的逐步展开,刑事司法诠释应当实现从宏观立法叙事到微观司法论证的转变以及由法律科学主义向法律实践理性的回归.     

新逻辑主义的困境与二阶分层概括

由二阶概括公理与公理V所导致的悖论沉重地打击了弗雷格的逻辑主义。罗素的直谓方案和蒯因的分层方案分别可以看作是逻辑主义的延续。上世纪80年代兴起的新逻辑主义把皮亚诺算术建立在二阶概括公理与休谟原则的基础上。但是休谟原则遭到诸多质疑。赫克和博格斯证明了二阶直谓概括公理与公理V的一致性。然而,在遵循弗雷格关于"概念先于外延"这一哲学观点的前提下,不能从二阶直谓概括公理和公理V推出休谟原则。这种困境可以在蒯因分层方案的框架下得到解决。不仅可以证明二阶分层概括与公理V相对于蒯因NF的一致性,而且可以证明从二阶分层概括与公理V推出休谟原则。     

论斯多葛学派的命题逻辑

斯多葛学派对命题逻辑的贡献在于，一方面对命题作出了科学而细致的分类，并给出了条件命题、析取命题、合取命题的定义；另一方面也是突出重要的一方面，他们构造出最初的命题逻辑的公理系统，给出了带有公理性质的五个推理模式。     

多模态Sahlqvist公理模式性质研究

多模态Sahlqvist公理模式是单模态Sahlqvis公式在多模态逻辑中的扩展.在多模态逻辑中,Sahlqvist公理模式对应的框架具有一阶性质,该框架的性质可以用关系方程进行描述.任意包含Sahlpvist公理模式的正规多模态逻辑系统相对于该Sahlqvist公理模式对应的一阶框架类都是完全的.Sahlqvist公理模式对多模态逻辑系统具有更强的刻画能力.     

对计算科学与计算机发展的思考

本文从什么是计算说起，通过对计算机的发展历史和人类对计算本质认识的回顾，提出量子计算系统的发展和成熟，并且提出了人类认识未知世界的规律：“计算工具不断发展-整体思维能力的不断增强-公理系统的不断扩大-旧的神谕被解决-新的神谕不断产生”不断循环。     

意外考试悖论和认识论问题

意外考试悖论是认识论上的一个经典悖论,它的提出直接对人的"认识"概念产生了很大影响,先前有大量的文献探讨这一个悖论的解决方案.回顾意外考试悖论的各种形式和部分解决方案,以及对于这些解决方案的一些质疑,指出这一些解决方案的不足.鉴于索伦森构造了新的悖论来反驳克里普克的解决方案,于是建立一个公理体系来验证索伦森悖论的合理性,并且基于这一个公理体系讨论其中每一条公理的可行性;同时提出拒斥"知识蕴含真理",引入变量和用更复杂的逻辑系统几种可能的解决方案,来对它们的优劣进行说明.     

公理系统与会计学原理

公理系统思想引入会计学理论研究,论证企业会计与预算会计的本质区别在于分属于不同会计公理系统,并通过推证演绎,给出企业会计理论公理系统的基本结构。     

建立在"笛卡尔公理"上的一个怀疑逻辑系统

怀疑逻辑是关于人们合理怀疑的逻辑。如果说知道逻辑、信念逻辑都是"正"的逻辑的话,那么怀疑逻辑则是"负"的逻辑。将怀疑算子D加于命题之上就构成怀疑命题。笛卡尔的"我思,故我在"可以作为怀疑逻辑的特征公理:某人怀疑p,蕴涵着他对怀疑p是不可怀疑的———我们可以将之命名为"笛卡尔公理"。从该公理可以推论得到定理:某人不怀疑p,蕴涵着他对不怀疑p是不可怀疑的。该定理与笛卡尔公理一起作为当下思维存在的自明性公理。我们可以建立一个以"笛卡尔公理"作为一个特征公理的怀疑逻辑系统(PD)。笛卡尔公理与知道逻辑中的智慧公理(苏格拉底公理)在逻辑上是同构的,它们均对应于模态逻辑中的E公理。怀疑逻辑作为一种认知逻辑,有广泛的用途,它可以运用到政策反驳、科学批判、法律推理等领域。     

论牟宗三对“还原公理”的阐释与批判

牟宗三早年对《数学原理》有过深入了解,意识到三大存在公理在其中一线贯穿,它们将《数学原理》建立在假定之上,使数学和逻辑的基础不保,而还原公理又是其中最基础的一环。牟宗三对还原公理进行了实在论指认,并判定《数学原理》由此陷入逻辑与知识双线的“顺逆之交叉”。他进而一方面提出“逻辑一线”的立场,取消了还原公理的假定性;另一方面取消了“顺逆之交叉”而做“双线之骈行”,在知识论上将还原公理改造成“满类公理”。