公开宣告逻辑研究现状

信息流和主体间互动是近年来动态认知逻辑研究的主要问题。主体的知识和信念随着信息的更新而改变,比如宣告p成立之后主体知道p。信息是不断更新变化的,受信息变化的影响,主体的知识和信念也是动态变化的,绝不是静态的。信息变化的形式是多种多样的,动态认知逻辑在静态的认知和信念等逻辑的基础上,引入新的动态算子,建立形式系统,研究模型上的变化,以此研究主体根据信息变化进行的推理。

概念结构理论

本文不从概念的外延和内涵出发,而是将概念作为初始出发点,按照概念结构整体论的观点,在思想-概念-语言三者统一的基础上,建立概念结构的形式理论,讨论其基本性质及其意义,并在此基础上研究若干相关的问题。实际中使用的推理,比我们通常说的逻辑推理要更广泛,本文建立依赖于语言的相对于主体的推理,并根据这种相对的推理建立相对的一致性概念。通过这种新的一致性的概念,讨论不一致信念集的特征。在此基础上,本文讨论了本质上等价于三段论推理的标准规则,证明其是可靠和完备的。这也说明了,三段论推理可以在概念结构理论中有一个合理的解释。词项的同义是语言学中的重要问题,按整体论的观点,比同义更一般的不可分辨性更重要。本文给出了概念的不可分辨性的定义,并讨论其在语言中的表现。不同语言间的翻译也是语言学中的重要问题,本文在概念结构的形式理论基础上的对不同语言间的翻译进行了一些初步的讨论。本文只是在对最简单的语言进行讨论,通过这样的讨论体现概念结构形式理论的思想、方法和研究框架。