布尔模态的公理化(英文)

布尔模态(即模态生成算子补、交、并)涉及到了完全性问题。并模态是模态可定义的,但是补和交都不是。这意味着证明包含这三个模态的逻辑的完全性不是一件简单直接的事情。Gargov和Passy使用复制方法从整体上处理这三个模态,但是,这个方法不适用于强完全性,也不能单独处理这三个模态。本文改进了这个方法,使得改进后的方法更具一般性,并且没有这两个不足之处。

逻辑、语言和哲学讲习班与研讨会综述

2011年6月13-18日,清华大学人文学院哲学系举办了逻辑、语言和哲学讲习班与研讨会。本次活动的主旨是：对逻辑学、自然语言和哲学的交叉研究领域中的一些课题进行深入的介绍,交流最新的研究成果,展示逻辑学在跨学科研究领域中的重要作用。本次活动分为两个部分：为期五天的讲习班与为期一天的研讨会。活动的参加者有：阿姆斯特丹大学与斯坦福大学的范丙申（Johan vanBenthem）教授,阿姆斯特丹大学的斯托科霍夫（Martin Stokhof）教授,哥德堡大学与斯德哥尔摩大学的威斯特斯达（Dag Westerstahl）教授,

“否则”的形式语义(英文)

作为汉语中的一个二元连接词,"否则"实际上有3个主目,其中的一个被省略掉了.这种省略是依赖于语境的,确切地说,其主要与"否则"之前的子句的主连接词有关.在某些情况下,这种省略是歧义的.基于更新语义框架,本文为"否则"构造一种动态语义.在这个语义中,语句的意义是语义堆上的更新函项,"否则"是更新函项上的二元运算.这种处理方式能够成功捕捉这种省略对于语境的依赖.

祈使句和逻辑(英文)

本文基于更新框架定义了一种动态的祈使句语义,并在此基础之上讨论了关于祈使句的逻辑。这个语义对于祈使句的一致性问题和Ross悖论提供了一种直接的解决方案。我们的工作在祈使句和祈使力结构之间的对应之上展开。首先,根据处理祈使句相容性的不同方式,我们给出了几种不同的祈使句一致性定义。然后,祈使句的意义被处理为祈使力机构上的依赖相容性的更新函项。最后,祈使句之间的蕴涵关系被归约为祈使力结构之间的某种关系。基于不同的相容性定义,我们给出了几种不同的蕴涵关系。