论八卦是八个逻辑范式

基于太极代数,本文证明八卦是八个逻辑范式,八卦中包含四对矛盾关系,其中"六子"构成辩证逻辑组。八卦是生命生产和思想生产都必须共同遵循的变化法则。学界似有这样的倾向,以为《周易》中只有类推逻辑而没有演绎逻辑,本文证明这种观点是不能成立的。八卦本质上就是演绎逻辑的,卦象的本质是逻辑法则。因此,基于卦象的联想或推理不能脱离八卦的逻辑内涵;否则,想象的灵活性必将导致卦象上的混淆,甚至使八卦沦为象数游戏的工具。     

非良基集合的域和分类

本文介绍正则互模拟理论并比较了正则互模拟的外延性大小,通过对非良基公理之间不相容的条件的讨论,我们进一步比较了由正则互模拟决定的非良基集合域的大小,最后对非良基集合论FAFA、SAFA和AFA中的非良基集合进行了分类。     

不可超越的无穷：关于直谓性和后继公理的关系

本文首先将新弗雷格主义的发展划分为三个阶段：（1）弗雷格算术（由二阶逻辑和休谟原则构成的理论）的一致性和对于二阶皮亚诺算术公理的可推出性的证明,（2）对休谟原则和二阶逻辑的哲学辩护与反驳,（3）对休谟原则和二阶逻辑进行限制,并证明其一致性和可推出性。然后着重介绍：（1）直谓二阶逻辑和公理V的一致性,（2）直谓二阶逻辑和休谟原则不能推出皮亚诺算术的后继公理。这说明一致性和可推出性在弗雷格系统的直谓片段中不可兼得。最后在直观上做出简单的分析。     

从方法论的角度看动态认知逻辑的研究

本文主要探讨动态认知逻辑技术结果背后的思想,着重强调其在方法论方面的一般想法。文章在公开宣告逻辑的基础上展开讨论,重点考察了归约公理的意义,揭示了其本质是在基本语言中提前解析动态信息对认知产生的影响。文章以公共知识为例,说明了并非所有的逻辑算子都能找到归约公理,有时候我们需要丰富基本语言的表达力。而且,我们从如何给出一个逻辑的角度提出,动态认知逻辑实际上是在“动态化”认知逻辑,这种动态化的方法可以应用在其他静态的逻辑系统中。我们以动态偏好逻辑为例,说明了这一过程是如何实现的。     

基于广义谢弗竖的分析性模态公理系统

沿着安德森等人开创的方向,我们将分析性公理系统从经典逻辑推向模态逻辑,所定义的广义谢弗竖混合了模态词和广义析舍。在这篇论文中,我们给出常见的正规模态逻辑的分析性公理系统及其强完全性定理和插值定理,并讨论演绎关系的性质：单调性和切割性。     

非良基集合的外延公理

近年来,由于非良基集合在人工智能、认知科学及哲学等领域都有很重要的应用,它的研究越来越受到人们的关注。判断两个对象的同一性是集合论中最基本的问题,然而,与良基集合不同的是,非良基集合难以找到其最基本的组成成分,这样通常的外延公理就无法判断两个非良基集合（例如x={x}和y={y}）相等。为了找到判断两个非良基集合相等的标准,我们必须强化通常的外延公理。利用Aczel四种非良基公理（AFA,SAFA,FAFA和BAFA）,我们推出了四种判断两个非良基集合相等的标准,并且举例说明对于给定的两个非良基集合,如何判断它们相等,从而解决“循环集合”相等的问题。此外,笔者进一步论证判断这四种非良基集合相等的标准是通常外延公理的扩张,而不是替代。为此,本文首先给出了集合和图的一些基本定义和结果;其次讨论了由四种非良基公理AFA,SAFA,FAFA和BAFA分别确定的四种集合全域A,S,F和B;最后,讨论了外延公理的扩张。     

语境同义性逻辑(英文)

众所周知,基于可能世界语义的内涵逻辑由于对意义的刻画过于粗粝而导致了所谓的"超内涵问题"。为了解决超内涵问题,出现了各种超内涵逻辑,其中由Suszko提出的带等词的命题逻辑(SCI)是超内涵逻辑中最基本的一种。本文是对SCI的精炼,其动机是语境同义性论题(CST)。该论题认为,同义性标准具有语境依赖性。基于认知语境主义,我们给出了CST的一个论证。通过将SCI中的二元等词修改为一个三元结构,用来表示两个陈述相对某个语境表达同一命题,我们给出了CST的希尔伯特式公理系统。我们证明了该系统相对一个代数模型类是可靠的和完全的。该代数模型的论域由命题构成,同时附带一组命题上的全等关系,用以刻画相对于语境的命题同一性。我们运用该逻辑部分解决了分析悖论这一困扰逻辑学家多年的问题。与我们之前的基于相同动机的论文[17]相比,本文给出的形式语言更加丰富,从而能够表达不同语境之间以及不同语境的同义性之间的关系。     

弗朗西斯·培根与第一哲学的重构

培根素以经验论者著称并为近代经验主义哲学的兴起奠定了基础。然而,这种经验主义倾向并未妨碍他对思辨哲学传统的坚持和追求;相反,培根提出了自己的第一哲学理论并为之赋予了重要地位：他把第一哲学视为一门普遍的科学并将其作为一切科学之母。同时,培根还对第一哲学的内涵进行了变革：他清除了第一哲学的神学涵义,抛弃了其存在论和实体论的维度,只保留了对最高的原理和原因的研究。具体而言,第一哲学主要探究公理以及存在者的外来〈规定〉状态,并借此为一切科学奠基。培根对第一哲学的强调和重构不仅影响了他的科学规划和建构,也使第一哲学在近代早期哲学中受到了特殊关注。     

从“天理”到“公理”:东林学派“合并为公”思想解析

为救治宋儒理学的拘泥支离,阳明心学提倡致良知,高扬了人的主观能动性,也为王学末流提供了随意体认天理的依据。针对心学流弊,东林学派用共性定义人性,用公序安置个体,用戒惧收束人心,将个体之心的发扬建立在群体共生的基础之上,用高攀龙的话来概括就是"合并为公"。"合并为公"理论为如何处理一与殊、群与己、天道权威与个性挺立的关系给出建议,与理欲之辨、君臣分职等命题共同构成了东林学派的"公理观",成为与朱熹"理一分殊"、王守仁"万物一体"、刘宗周"一统于万"、戴震"理即分理"等论题共同构成由"天理"到"公理"的思想史发展脉络中的一个不可缺少的环节。     

后现代科学哲学的数学思想渊源

数学历来被视为最严谨的学问。到19世纪,数学从各方面走向成熟。非欧几何的出现使几何理论得到扩展和更加完善;实数理论(和极限理论)的出现使微积分有了牢靠的基础;群论、算术公理的出现使算术、代数的逻辑基础更为明晰,等等。整个数学大厦因简洁(清晰)、有序(无矛盾)而给世人(包括数学家)最完美、最严谨的印象。在这种语境下,因算术以整数、分数等为对象,微积分以变数、函数为对象,几何以点、线、面及其组成的图形为对象,用集合论的语言,算术的对象可表述为