在多主体认知系统中，每个主体都是一个推理者。多主体之间互知推理的复杂性在于，这种推理的对象中，不仅包括对象世界的知识，而且包含系统中其他的同样正在进行推理的主体；推理者对其他主体的思考及其结果进行推理......
一、动态命题逻辑的来源和基本构想动态逻辑DL（dynamiclogic）是关于行动和程序推理的形式系统。DL可以描述为三个经典逻辑的合成：一是一阶谓词逻辑，二是模态逻辑，三是正则事件(regulare......
一近代以来，为了自强保种，有识之士开始大量介绍西方的文化与科学。在此热潮中，对于西方逻辑文化的重视与介绍的热情，也开始日益高涨，曾被章士钊称为“为国人开示逻辑途径”的“巨子”[1]严复，认为从学科地位......
引言虽然蒯因(W.V.Quine)对所谓“经验论的两个教条”进行了众所周知的批判，但其哲学立场本质上仍然是经验论的。在逻辑观上，为了证成“逻辑的可修正性”，他从20世纪50年代就开始关注逻辑与经验的关......
如果一个知识系统包含命题A及其否定┐A，那么这个知识系统就是不协调的。我们的经验常识大都是不协调的，一些包含海量信息的巨型知识系统也是不协调的知识系统。对于一个存在不协调信息的知识系统，我们如何限制不......
作者认为，整体、直觉、顿悟是中国传统思维方式的主要特征。在此思维方式的指导下，形成了中国人安贫乐道的生活观念。逻辑分析是西方传统思想方式的主要特征，在此思维方式的指导下，形成了西方人不满现状、征服自然......
非经典逻辑的兴起得益于一个重要的思想，那就是“逻辑可修正”的思想。但是，在逻辑是否可以修正的问题上，学界存在着许多思想困惑和意义含混。因此，有必要提出这样的问题：逻辑是可修正的吗？如果泛泛地认为，逻辑......
戴维森为了给一种自然语言提供一种解释性的真之语义论，提出了著名的彻底的解释理论。戴维森彻底的解释方案是一种从不预设关于另一个语言团体中成员的表达的意义的知识，或者关于他们命题态度的知识的证据来解释这个......
感谢范岱年先生对拙著《有限地球时代的怀疑论》的长篇评论。我与范岱年先生自2003年与武夷山科学哲学年会上相识，一直保持着相对密切的交往。这段时间，我的学术工作逐渐从对科学主义的批判扩展开来，开始反思文......
尽管一阶逻辑得到了广泛的探讨，但仍然存在有待发掘的丰富内容，一阶逻辑的片段研究便是其中之一。选取不同的方式可以定义出一阶逻辑的不同片段，例如对量词进行限制、对变元进行限制等。Fluted逻辑（Flut......