对双时间参数理论的改进——从分支时间到分支时空

双时间参数理论由贝尔纳普于2001年提出,该理论使用不同的语义解释参数构建以言行事行为的语境,以确定以言行事行为是否成功或者是否被满足。但是贝尔纳普在构建语境时却忽略了地点这一重要的语境参数,而这也导致了双时间参数理论对以言行事行为的成功以及满足条件的不完善刻画。本文中,作者就将提出一个对双时间参数理论的改进方案。文章中,第一节将在简要介绍双时间参数理论以及其中问题的基础上,给出修正方案的大体思路,即将双时间参数理论的基础由分支时间逻辑变为分支时空逻辑,文章第二节将介绍分支时空逻辑中的主要内容,而第三节则说明如何在分支时空逻辑上使用P_(STIT)算子刻画群体行动的问题。第四节将具体介绍作者所给出的对双时间参数理论的修正方案。文章最后一节则是待解决的问题以及进一步的工作。

STIT逻辑的能力片段初探

STIT理论作为刻画主体能动性的一类哲学逻辑,近来受到了多主体系统研究者们的关注。由于群体STIT逻辑被证明不可判定且无法有穷公理化,相关研究者们转而寻找其中可判定且可有穷公理化的片段。本文限制公式的定义,将目标限定在形如◇[a:cstit]φ及◇[G:cstit]φ的能力公式上,分别称之为个体STIT逻辑与群体STIT逻辑的能力片段。可以证明,如果只考虑STIT逻辑的能力片段,每个STIT模型都存在一个等价的邻域模型。此外,个体STIT逻辑与群体STIT逻辑的能力片段都是可有穷公理化的。

行动性、因果与意图

如何描述行动性(agency)是行动哲学的中心课题,寻找行动性的哲学分析与逻辑表达是许多研究者的重要任务。本文概括了有关行动性的主要理论,特别讨论它与因果性的关系,以及相应的逻辑表达形式。在此基础上,我们指出了其中存在的困难与不足。为此,一个改进的尝试方案被提出:它以Searle的行动中的意图为哲学基础,以动态逻辑为主要逻辑表达手段。此外,本文还比较了我们的方案与其它行动性理论的异同,同时指出了值得进一步探讨的方向。

合作原则的形式化改写方案

格赖斯使用会话隐含这一概念讨论一句话中单纯使用逻辑推理无法得到的那部分内容。而合作原则的提出则是为了研究以及规范会话隐含这种非逻辑意义的后承。1991年,盖默特给出了合作原则的一个较为形式化的改写方案,但是这一方案却并未能全面地体现格赖斯对合作原则的要求或规定,所以本文所要做的就是从这一改写方案入手,修正这一改写方案中的一些问题。于是,介绍格赖斯合作原则的基本内容;给出盖默特的改写方案以及这一改写方案中应进一步说清的问题;使用STIT理论给出合作原则一个形式化的改写方案;提出一些待解决的问题及进一步需做的工作。

包含选择名字的STIT逻辑初探

提出于20世纪的STIT理论是以分支时间、非决定论与自由选择为哲学前提的一类行动逻辑。利用STIT算子可以对能动句进行清晰的形式分析,从而揭示主体的能动性。尽管如此,主体的选择本身却无法在经典STIT理论中得到表达。通过引入新初始符号并丰富语义结构,主体在语义模型中的选择能够在形式语言中得到表示。可以证明新得逻辑具有可靠并完全的公理系统。

因果依赖逻辑

这篇文章在非决定论框架下分析行动者和命题间的因果依赖关系,并给出形式的因果依赖模型;然后,再基于因果依赖模型定义因果依赖算子,并分析该算子的基本逻辑性质。