合适行动的一种逻辑刻画.pdfVIP

逻辑学研究 2016 年第3 期，89–101 文章编号：1674-3202(2016)-03-0089-13 “合适行动”的一种逻辑刻画 王淑庆 湖南师范大学 公共管理学院 zxwsq@163.com 摘 要： “合适行动”是行动哲学和人工智能领域的一个重要概念，其基本元素包括 “意图”、“能够”和“致使”。用邻域语义可以比较好地刻画意图、能够和致使及其相互 间的形式关系，从而间接地刻画了合适行动。这种形式刻画不仅有助于分析意向行动， 而且还能够分析意向行动的两种特殊形式：偶然成功行动和行动失败。 关键词：意向行动；合适行动；能动机制；邻域语义 中图分类号：B81 文献标识码：A 1 引言 近年来，用多个模态算子对“意向行动”（intentional action）进行形式分 析与刻画是一种新的趋向。目前主要有两种做法：一是基于动态语义，用“目 标”、“信念”以及“尝试”等模态算子来刻画意向行动，如罗瑞利（E.Lorini） 等人（[13, 14]）；二是基于分枝时间语义，用“意图”、“确保”以及“历史必 然性”等算子来刻画意向行动，如范德维肯（D.Vanderveken，[20]）以及布洛 尔森（J.Broersen，[3]）。 意向行动一般是指某事态的发生是由于能动者（agent）的心智态度作为 理由或原因而产生的结果（[16]，第33 页）。宽泛地说，意向行动既包括成功 1 的意向行动，也包括失败的意向行动。 行动的成功有可能是由于能动者的能 力，也有可能是由于“机会”等偶然性因素。如果行动的结果是由于能动者 2 的熟练技巧而导致的，这种行动就被称为“合适行动（apt action）” 。因此， 收稿日期：2016-01-19 1实际上有些哲学家并不这样认为，比如威廉姆森（T. Williamson），他认为意向行动蕴涵成 功。 2apt action 也可翻译成“恰当行动”，它最早由索萨（E. Sosa）在文献[19] 中提出。索萨甚 至认为合适行动可以不是意向性的，但他关心的其实还是意向性的合适行动，因此我们这里忽 略非意向性的合适行动。合适行动比博弈论中的“理性行动”范围更大，因为理性行动意味着 利益或期望效益的最大化。 90 逻辑学研究 第9 卷第3 期 2016 年 也可以把合适行动概括为“能动者意图引起并且能够引起而且已经引起变化 的行为”。粗略地说，“意图”、“能够”和“致使”就是合适行动的三个基本要 素，所以有必要从形式上刻画这三者及其相互间的推理关系。但分别对三个 概念的进行形式刻画的逻辑早已有之，即BDI （Belief-Desire-Intention）逻辑、 能力逻辑（logicofability）和能动机制逻辑（logic ofagency）。 传统的BDI 逻辑（[7, 17]）比较好地刻画了与意向行动相关的能动者心智 状态，但这种刻画有两个大的缺陷：逻辑全知问题与意图的副作用问题。意图 的副作用主要有两个：（1）意图内容的后承也是意图内容；（2）重言式一定 是意图内容。我们认为，造成意图副作用的原因在于对意图承诺过多。目前解 决意图副作用的方法主要有两种：一是采取非正规系统的方法；二是放弃对意 图后承3 的刻画。所以，我们下面仅假定意图最基本的属性（同时也放弃对意 图后承的刻画），这样用邻域语义刻画就足够了。另外，传统的BDI 逻辑并不 适合用来分析意向行动，因为它只偏重能动者的心智状态方面，而没有着重关 注能动者的心智状态与行动的结果之间的关联。 正如艾尔格森（D. Elgesem）等人所认为的，能力是能动机制的必要条 件。4 在行动哲学里，能动机制是意向行动的标记（mark），它是意向行动的 核心要素，因此刻画“能力”对于刻画行动来说就是必需的。对“能力”进行 逻辑刻画主要有克罗斯（Charles B. Cross，[8]）和布朗（Mark A. Brown，[4, 5]）等人。其中，最成功的