功能是主观的还是客观的？

“功能”是一个被广泛使用的概念，也是一个没有客观和统一定义的概念。在功能模拟和智能ＣＡＤ等技术的应用和发展中，急需通用和统一的功能定义及其表达体系。本文研究了一种基于特征的功能定义和符合一阶谓词逻辑的功能表达体系。     

刻画自然语言聚合语义的逻辑系统

自然语言的聚合语义研究表明专名的合取、全称或数目名词的聚合用法以及普通名词的复数等特征的语义分析都需要区分原子个体和聚合个体的思想。本文在一阶逻辑的框架内描述自然语言的聚合语义，采用递归定义由原子个体域生成扩展的个体域，从而确立解释聚合语义的结构，据此构筑聚合谓词逻辑的公理系统，并证明其可靠性和完全性。     

格路谓词的表示与科学实例

本文回顾了古德曼的新归纳之谜的背景，分析了格路谓词的逻辑与语义特征。新颖之处在于给出了格路谓词的维恩图表示，从分析化学中为格路谓词找到了一个实例，并通过“加减滤光片”的方式形象解释了爱莫拉德（祖母绿）颜色的可能变化，表明格路谓启词在科学意义上并不神秘，暗示用投射理论解决归问题并不成功。     

浅议一阶逻辑的发展与集合论公理化的关系

众所周知,一阶逻辑与公理集合论是数理逻辑的两个组成部分,其中,一阶逻辑是数理逻辑的基础部分.但在数理逻辑刚刚出现的时候,逻辑不是一阶的,集合论也经历了由康托尔素朴集合论到公理集合论的发展.在数理逻辑发展的历史中,一阶逻辑的出现及其主导地位的确立与集合论的公理化,二者之间存在着密切的联系.     

弗雷格关于数的理论

弗雷格关于数的理论王路弗雷格一生中最大的心愿就是实现从逻辑推出数学这一目标。后人把这称之为逻辑主义。为了实现这一目的，弗雷格做了三步努力。第一步是在１８７９年完成了。概念文字》，构造了一种形式语言，建立了一阶谓词演算系统。这样他就有了一个有力的工具。...     

弗雷格的概念悖论及其解决

弗雷格主张谓词是句子函项，因而是有空位的或待填充的，当专名填入其空位后便构成一个句子。笔者认为，弗雷格的这一观点无疑是正确的和重要的。不过，弗雷格进而主张，谓词的指称即概念也是有空位的和不完整的，从而与语义完整的专名所指称的对象严格地分开来。弗雷格的这后一主张引起一些严重的困难，其中包括概念悖论。笔者认为，尽管谓词在其语言形式上是不完整的，但其语义──无论是涵义还是指称──却是完整的；因此，当谓词作为句子的主词时并不会产生弗雷格所面临的问题，即不完整的概念如何成为完整的对象呢？相应地也就不会出现弗雷格所面临的概念悖论。     

概念分析的奠基与发展

本文重点研究一阶逻辑与模态逻辑之间的历史关系以及模态逻辑的产生发展。文章首先回顾了《概念文字》出现的历史背景和理论背景,探讨其形式化和公理化研究方法对逻辑研究的历史贡献。接着,我们重点关注经典一阶逻辑所采用的实质蕴涵概念的意义,表明这样的蕴涵概念如何导致实质蕴涵悖论。接着,文章考察了模态逻辑如何在解决实质蕴涵的悖论中产生,后来如何为哲学概念的分析提供有力的工具和技术。     

弗雷格-计奇难题的混合表达论消解方案论析

弗雷格-计奇难题关涉如何合理解析复合型道德断言的语义以及如何论证道德假言推理的有效性。传统道德表达论通常主张道德断言仅表达言者态度而不表达命题,而这种一元论立场证明无以破解这一难题。相反,道德混合表达论试图构建一种二元论框架,兼容道德断言既可表达非认知态度又可表达表征性信念的双重特性,为该难题的消解提供了一个全新视角。混合表达论者一方面将道德术语类比作轻蔑语,以确保同一道德谓词在简单或复合断言中均表达相同的道德态度,另一方面通过阐明道德假言推理的深层逻辑结构,论证假言推理的有效性。     

理论确证与证据相关性

确证悖论的论争，仅在一阶逻辑框架内是不可真正解决的。对科学理论的确证，除了待证理论与证据之间的逻辑关系外，还取决于证据对理论关系的认识论分析，其中主要有证据对理论的正相关及其相关程度，证据与理论间的自然属性的对应性。     

在反思的时代反思自然辩证法

辩证法的三定律不是全称命题的规律。它们只适用于中介化的世界，运行于绵延的时间之中，仅仅是对象的谓词而不是实体的谓词。我们需要用公理化的方法对其限定，就像素朴集合论变为公理集合论那样。