琚凤魁
- 作品数：6 被引量：1H指数：1
- 供职机构：北京师范大学哲学学院更多>>
- 发文基金：国家社会科学基金更多>>
- 相关领域：哲学宗教语言文字自动化与计算机技术更多>>
- 布尔模态的公理化(英文)被引量：1
- 2015年
- 布尔模态(即模态生成算子补、交、并)涉及到了完全性问题。并模态是模态可定义的,但是补和交都不是。这意味着证明包含这三个模态的逻辑的完全性不是一件简单直接的事情。Gargov和Passy使用复制方法从整体上处理这三个模态,但是,这个方法不适用于强完全性,也不能单独处理这三个模态。本文改进了这个方法,使得改进后的方法更具一般性,并且没有这两个不足之处。
- 琚凤魁胡祥梅
- 关键词：公理化MODALITIESMODALITYINTERSECTIONUNIONAXIOM
- 祈使句语义和逻辑
- 本文的主要工作是基于更新框架来构造祈使句的形式语义，给出有效性概念，来刻画涉及到祈使句的有效推理形式。 祈使句的意义是力结构上的更新函项。力结构描述了主体所受祈使力的状态。力结构对应自由选择，其是主体完成力结构的方式。...
- 琚凤魁
- 关键词：祈使句语义结构逻辑控制
- 祈使句和逻辑(英文)
- 2010年
- 本文基于更新框架定义了一种动态的祈使句语义,并在此基础之上讨论了关于祈使句的逻辑。这个语义对于祈使句的一致性问题和Ross悖论提供了一种直接的解决方案。我们的工作在祈使句和祈使力结构之间的对应之上展开。首先,根据处理祈使句相容性的不同方式,我们给出了几种不同的祈使句一致性定义。然后,祈使句的意义被处理为祈使力机构上的依赖相容性的更新函项。最后,祈使句之间的蕴涵关系被归约为祈使力结构之间的某种关系。基于不同的相容性定义,我们给出了几种不同的蕴涵关系。
- 琚凤魁
- 关键词：祈使句逻辑相容性语义
- 塔斯基关于类演算语言的真句子定义
- 本文的主要内容是:首先把塔斯基定义类演算语言真句子的过程系统化,并对其中的一些问题进行探讨;然后,证明这个真句子定义具有恰当性所要求的性质;最后,针对类演算语言,在不同的真句子定义方法之间进行一些比较。塔斯基认为,令人满...
- 琚凤魁
- 关键词：塔斯基
- 文献传递
- 逻辑、语言和哲学讲习班与研讨会综述
- 2011年
- 2011年6月13-18日,清华大学人文学院哲学系举办了逻辑、语言和哲学讲习班与研讨会。本次活动的主旨是：对逻辑学、自然语言和哲学的交叉研究领域中的一些课题进行深入的介绍,交流最新的研究成果,展示逻辑学在跨学科研究领域中的重要作用。本次活动分为两个部分：为期五天的讲习班与为期一天的研讨会。活动的参加者有：阿姆斯特丹大学与斯坦福大学的范丙申（Johan vanBenthem）教授,阿姆斯特丹大学的斯托科霍夫（Martin Stokhof）教授,哥德堡大学与斯德哥尔摩大学的威斯特斯达（Dag Westerstahl）教授,
- 琚凤魁王彦晶
- 关键词：自然语言哲学系逻辑学讲习班跨学科研究
- “否则”的形式语义(英文)
- 2010年
- 作为汉语中的一个二元连接词,"否则"实际上有3个主目,其中的一个被省略掉了.这种省略是依赖于语境的,确切地说,其主要与"否则"之前的子句的主连接词有关.在某些情况下,这种省略是歧义的.基于更新语义框架,本文为"否则"构造一种动态语义.在这个语义中,语句的意义是语义堆上的更新函项,"否则"是更新函项上的二元运算.这种处理方式能够成功捕捉这种省略对于语境的依赖.
- 琚凤魁
- 关键词：省略动态语义
