一种无类型的弱公理化真理论及其扩充

在概述弱公理化真理论与无类型的弱公理化真理论 PUDT 的基础上，证明无类型去引号理论，即正一致去引号理论（positive uniform disquotational theory，简记为 PUDT）是一种正真（positive truth）的弱公理化真理论。对 PUDT 进行适当扩充，可以得到在经典逻辑上不相容，而在直觉主义逻辑上相容的公理化真理论。但是，这类公理化真理论并不是理想的真理论。     

公理化方法的由来、特征、作用和意义

本文从公理化方法的产生、发展，论述到它的特征以及对科学发展的作用和意义。     

“《论语》的公理化诠释”的两个基础

本文论述了“《论语》的公理化诠释”研究必需的两个基础。介绍了“公理化系统”的基本元素“假设”、“定义”、“公理”和“命题”以及它们之间的逻辑关系，简要勾勒了从欧几里得几何学到牛顿的《数学原理》、从斯宾诺莎的《伦理学》到爱因斯坦相对论这一运用公理化方法阐述理论的历史脉络，并把《论语》公理化诠释的逻辑起点定位在矛盾的量变阶...     

公理化的历史发展

欧几里得几何是第一个公理化体系,非欧几何的出现促使人们对它的基础作了严格审视,其中希尔伯特公理化方法最为成功;但它的相容性问题一直没有解决,集合论悖论使得这个问题更加尖锐。虽然集合论的公理化一度时期曾化解了悖论给公理化方法所带来的危机,但不久哥德尔不完全性定理就深刻地揭露了公理化方法不可避免的局限性。尽管后来的布尔巴基学派的结构数学使公理化方法更上一层楼,但仍然无法克服公理化方法本身的局限性。     

试论公理化在会计中的应用

公理化方法是数学的基本方法,本文尝试探讨其在会计学中的应用,从采购与付款内部会计控制制度、销售与收款内部会计控制制度中探讨公理化思想的运用,提出在建立新的会计制度时可参照公理化思想。     

一种模糊集合论的公理化方法

模糊集合论是模糊理论的数学基础,其公理化可以从不同的逻辑语言出发.经典逻辑是较为简洁的一种方法.夏平基于扎德的模糊集概念创立了第一个公理化模糊集合论Za.这个公理化是ZF的.将它扩张为NBG是一种自然的考虑.这样的扩张将作为从非经典逻辑如模糊逻辑出发建立集合论的一个基础.     

有关几何公理化方法的形成及教学方法探讨

从几何学的发展历史来看,公理化方法曾经历过两个阶段,即古代几何学公理化方法(也称为实体的公理化方法)和近代几何学公理化方法(也称为形式的公理化方法),文章着重探讨近代几何学公理化方法产生的主要因素及形成的历史途径。     

浅谈数学的公理化研究方法

回顾了公理化研究方法的开创、发展以及所遇到的矛盾．指出正是通过对公理化方法的不断研究推动了数学的发展．     

公理化方法推动自然科学与社会科学发展述评

公理化方法是人类认识和改造客观世界的方法论,现代自然科学与人文社会科学的发展带有公理化的特征,恰当的理解和运用公理化方法,是解决改革与发展过程中所面临的各种复杂问题的重要途径.公理化方法是从拟研究的理论中提取一些基本概念和命题,作为最原始的公理,然后按照逻辑规则演绎出一系列其他相关的概念和命题,进而形成科学理论的公理系统或公理体系.公理化方法起源于古希腊,该方法在自然科学与人文社会科学领域中得到了广泛应用,在认识和改造客观世界中发挥了重要作用.     

《论语》公理化诠释的目的与意义

《论语》公理化诠释的目的，在于以公理化的基本形式，依靠定义、公理，按照严格的逻辑方法推导出命题，从而为客观地诠释《论语》及孔子思想探索一条新的解读途径。这是《论语》研究的一个全新的尝试，它既需要对传统的《论语》研究有深切的反思，也需要清醒认识方法论上的挑战。     

训诂学理论建构方法与组成

文章借鉴公理化方法，确定了训诂学的研究对象，阐明了形义统一原则与音近义通规律的统一性，提出了训诂学理论的组成系统     

紧缩论和公理化真理论的匹配性问题研究

与实质真理论相反,紧缩论认为“真”是非实质的。起初基于保守性,公理化真理论以紧缩论作为其哲学依据,但保守性问题却充分暴露了二者各自存在的困境。一方面是由于紧缩论本身的不当承诺,使这种有瑕疵的理论不能作为刻画不同真谓词的公理化真理论的统一哲学解释;另一方面是由于多数公理化的真理论根本不满足基于基础理论的保守性。因此,这2种理论的匹配问题亟待新的探究。     

对集合论公理化方法悖性的审思

公理化集合论理论的创立．解决了康托尔素朴集合论因其概括原则的前提预设而导致的一系列悖论。在公理化集合论中人们没有发现新的悖论,学界因此而视其为成功的解悖方案。公理化的本质是重构集合论的演绎系统,演绎方法具有保真性,能够导出可靠知识。公理化集合论的两个准等价的系统却是从相互矛盾的前提建构得来的。如果这两个公理系统导出的结论是可靠的,就说明可靠知识可以由不可靠的公理化方法导出的。这就对公理化方法的可靠性构成了质疑。     

诠释孔孟之道 弘扬民族文化——《〈孟子〉的公理化诠释》序

《〈孟子〉的公理化诠释》是甘筱青教授等人继《〈论语〉的公理化诠释》之后的又一部力作。这种对孔孟思想的系统性阐释,不仅对中国哲学史的研究具有重要的启示意义,对于儒学的现代运用尤其具有重要意义,例如从"性本善"的角度出发探索现代的道德修养方法,促进现代社会的相互信任感,以及用义利观来建立全面辩证的现代利益观等,均有赖于公理化方法所展示的系统的孔孟思想的佐助之功。     

中华经典的公理化诠释——从理论范式看孔孟思想的逻辑建构

运用公理化方法诠释中国文化经典,就是试图以一种共同的理性方式,理解中国传统文化的精神。通过对《论语》、《孟子》的公理化诠释,可以发现隐含在孔孟思想系统中的建构逻辑之起点——中庸,既是孔孟思想的核心,也是儒家人文精神的最具特色的要素,形成了孔子、孟子和荀子等先秦儒家以"仁爱""尚义""崇礼"为标志的理论范式。     

隆礼尊贤,重法爱民——《<荀子>的公理化诠释》研究综述

文章综述了课题组继《<论语>的公理化诠释》和《<孟子>的公理化诠释》的研究之后,对于《荀子》所开展的公理化诠释之进程。先秦哲学中最具系统表述的是荀子。我们通过运用公理化方法,从明分使群、隆礼重法、化性起伪、王霸兼用等四个篇章进行证明与推理,力图展示先秦儒学的演绎体系,揭示其内在思想脉络和逻辑,以便更好地继承和发扬中华优秀传统文化。     

公理化组合真之理论研究述评

公理化真之理论的基本思想是将真公理添加到基础理论中,并以真谓词T对基础理论的语言进行扩充。用塔斯基定义真时所使用的归纳条款进行公理化并添加到基础理论,就能得到组合真之理论系统。公理化组合真之理论在以PA和ZF集合论为基础理论的研究方向上取得了若干成果。公理化组合真之理论以真谓词是否允许作用于本身带有该真谓词的语句为划分标准,分为“类型组合真之理论”和“无类型组合真之理论”两个路径。     

《论语》公理化命题选登

按照定义、公理推导出众多的命题，是《论语》公理化诠释的主要成果之一。这些命题，分为“立德”、“从政”、“为学”三部分，基本涵盖了《论语》的重要观点，体现了孔子思想的逻辑体系。本文选登其中的若干条，以供研究探讨。     

毛泽东思想公理化理论体系论纲

毛泽东思想是个完整、系统的科学理论,公理化方法是自然科学研究中理论构建方法,应用公理化方法研究毛泽东思想理论体系是一种尝试。研究指出,实事求是、群众路线、独立自主是毛泽东思想的三大公理;实际、理论、实践、群众、自己力量是毛泽东思想的基本概念;以此为逻辑推理前提,可以逻辑地推导出毛泽东思想的所有理论命题,建立起毛泽东思想公理化理论体系。     

善养吾浩然之气——《<孟子>的公理化诠释》研究综述

继《论语的公理化诠释》的研究之后,对于《孟子》所开展的公理化研究与诠释,其目的是寻求"孔孟之道"的理路,以更好地探究梳理儒学一以贯之的"实质上的系统",并通过运用公理化方法的证明与推理,凸显出从孔子到孟子的系统、严密的演绎体系,揭示其内在思想脉络和逻辑,从而为儒学的现代转型探索一条实现路径。