STIT逻辑的能力片段初探

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

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

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

刻画不同应当算子的STIT逻辑

应是语句与应做语句是道义逻辑所刻画的两类重要的语句。贝尔纳普等曾利用STIT逻辑给出了应做语句的三种定义方式,这三种定义方式分别通过对行动中主事性因素的不同要求来给出应做语句的不同构造。在应做语句的这三种定义的基础上,我们将利用STIT逻辑给出一个探讨两类语句间联系和区别的系统进而体现主事性的不同要求对两类语句间关系的影响。

STIT逻辑的发展与应用

STIT逻辑是以模态逻辑为工具来研究主事性的逻辑分支。除主事性的形式刻画以及系统构建外,STIT逻辑还研究了其他很多与主事性相关的问题,例如繁忙选择者问题、如何刻画“不做”以及主事性如何体现在言语行为或者道义语句的刻画中,等等。本文在简述STIT逻辑对主事性的不同刻画方法的基础上,分别说明了STIT逻辑对上述问题的分析和刻画。

群体行动中主事性的限制与扩充

STIT逻辑将主事性刻画为一种行动者与事件之间的二元关系,即行动者对事件的完全控制。然而在群体行动中,多个行动者之间的合作越深入,不同行动者之间主事性的影响就会越明显,单个行动者对其自身行动的控制程度就会越低。因此在群体行动的刻画中就需要说明不同主事性之间的限制与扩充是如何形成,又是如何相互影响的。在梳理已有群体行动刻画方案的基础上,指出这些方案都回避掉了主事性相互影响的问题,进而通过给出历史的动态刻画方法说明群体行动中主事性的限制与扩充应该如何刻画。

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

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

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

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

主事性的模态逻辑进路

主事性是行动者独立行动或者选择的一种能力。对于这种能力如何界定、何以构成、如何解释等问题,很多学者都从不同的学科角度给出过不同的解读。在所有这些方案中,以STIT逻辑为代表的模态逻辑研究进路却能将不同的研究视角和方法整合到一个框架下以便于探讨这些方案之间的区别和联系,并且能很好地刻画拒绝做等有代表性的行动类型,因此值得进一步研究和学习。

行动性、因果与意图

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

应是与应做

道义算子加命题构成应是语句,道义算子加行动则构成应做语句。这两类语句间的关系问题一直是道义逻辑中的重要研究课题。文章在阐述相关哲学背景的基础上,用STIT逻辑来刻画应是语句与应做语句之间的关联性。另外,这一形式化刻画方法中的一些未解决问题以及未来的后继工作也将在文章中被给出。

新型视黄基席夫碱盐的合成与吸波性能研究

以维生素A乙酸酯为原料,通过水解、活性二氧化锰氧化得视黄醛,醛与联苯胺反应合成席夫碱,席夫碱掺杂金属银化合物制得新型视黄基席夫碱盐。研究了活性二氧化锰氧化试剂对产物产率的影响,并通过元素分析、红外光谱等对产物结构进行了表征。结果表明,以活性二氧化锰为氧化剂,在常温下氧化反应26 h；合成视黄基席夫碱银盐的条件为80℃,反应4 h；在2～18 GHz范围内测定掺杂银盐的吸波性能,最好的反射率为～16 dB。

人工道德主体应当满足的两条基本原则

在人机交互中,为了避免智能机器伤害人类,一种理想途径是构建道德上值得赞赏的人工主体。尽管智能机器能否成为道德主体目前还存在很大争议,但有必要对之进行哲学论证以及探讨其应当满足的基本原则。完满的人工道德主体可能需要满足诸多原则,然而有两条是中级人工道德主体不能忽视的:第一,不允许主动伤害其他主体;第二,不应当漠视正在发生的伤害。在伦理嵌入的实践进路意义上,论证这两条原则对于中级人工道德主体是可能且必要的。最后,基于人工能动性的建模思路,提出人工道德主体应当具备进行确保推理和尝试推理的能力。

完成类连续行动的逻辑刻画

作为一种特殊类型的连续行动,完成类连续行动最大的特点就是行动结果是否实现并不能完全决定其真值。例如语句“丽丽修理手机”中,丽丽的行动结果或者说目标是将她的手机修理好,但是即使这个目标不能被实现,这个语句也会为真,只要丽丽确实执行了行动“修理手机”。因此,为了刻画完成类连续行动的这一特点,我们需要将时间段因素引入到STIT逻辑的语义中来并将完成类连续行动的语义解释进行修改以容纳结果不为真这种情况。本文在简单介绍完成类连续行动和STIT逻辑的基础上,将给出一个刻画完成类连续行动的STIT逻辑系统CAac。

因果依赖逻辑

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

活动类连续行动的逻辑刻画

活动类连续行动的特点是其通过重复履行最小的行动单元而构成。例如约翰跑步、丽丽游泳等行动都属于活动类连续行动。本文中我们将利用STIT逻辑给出活动类连续行动的逻辑刻画。在简要说明活动类连续行动的特点以及STIT逻辑主要内容的基础上,给出刻画活动类连续行动的STIT逻辑并证明该系统的一些重要元定理。

连续行动的分类和逻辑刻画

连续行动是一类在时间上具有持续性的行动,而这种时间上的持续性也使得连续行动的刻画更为复杂。文章在给出连续行动的三个主要特点的基础上,我们将分析造成连续行动刻画复杂性的具体原因并利用文德勒关于动词的体理论给出连续行动的分类,进而利用STIT逻辑给出不同种类连续行动的逻辑刻画方式。