一、AGM传统及相应的语义表达我们面临着无时不在变化的世界，新的信息不断地冲击着主体原有的信念系统，主体不可能对新出现的各种信息无动于衷。有时主体可能不假思索地接受新信息；有时为了接受新信息会产生很多......
奥斯汀的言语行为理论与预设理论和会话涵义理论并称为语用学领域中三个主要的研究范畴。①言语行为理论的提出主要是针对逻辑实证主义的意义理论中存在的问题所做出的回应。逻辑实证主义认为只有可证实性的语句才是有......
一 真克里普克在《命名与必然性》中严格区分了“必然真”和“先验真”。在他看来，前者属于形而上学的范畴，而后者属于认识论的范畴。克里普克认为，当人们说一件事情是必然真的，他们的视角是从世界的存在方式这个......
系统Z是我在文〔1〕中建立的经典命题逻辑的一个公理系统。这系统只用一种初始联结词——广义析舍，而且采用括号记法，因而使得系统的陈述更为直接明了。它的可判定性、可靠性、完全性和独立性等证明也都很简单。系......
本质主义是由古希腊哲学家亚里士多德创立的一种哲学理论。在20世纪模态逻辑兴起之后，本质主义成为模态逻辑哲学中的一个争论热点。本文试图在总结几种有代表性的本质主义学说的基础上，作一些补充和发展，同时驳斥......
在多主体认知系统中，每个主体都是一个推理者。多主体之间互知推理的复杂性在于，这种推理的对象中，不仅包括对象世界的知识，而且包含系统中其他的同样正在进行推理的主体；推理者对其他主体的思考及其结果进行推理......
一、动态命题逻辑的来源和基本构想动态逻辑DL（dynamiclogic）是关于行动和程序推理的形式系统。DL可以描述为三个经典逻辑的合成：一是一阶谓词逻辑，二是模态逻辑，三是正则事件(regulare......
一近代以来，为了自强保种，有识之士开始大量介绍西方的文化与科学。在此热潮中，对于西方逻辑文化的重视与介绍的热情，也开始日益高涨，曾被章士钊称为“为国人开示逻辑途径”的“巨子”[1]严复，认为从学科地位......
引言虽然蒯因(W.V.Quine)对所谓“经验论的两个教条”进行了众所周知的批判，但其哲学立场本质上仍然是经验论的。在逻辑观上，为了证成“逻辑的可修正性”，他从20世纪50年代就开始关注逻辑与经验的关......
如果一个知识系统包含命题A及其否定┐A，那么这个知识系统就是不协调的。我们的经验常识大都是不协调的，一些包含海量信息的巨型知识系统也是不协调的知识系统。对于一个存在不协调信息的知识系统，我们如何限制不......