摘 要：西格伯格把行动后果的传递性作为动态行动逻辑的一个公理，这似乎没有什么问题。然而，切拉斯发现，这种行动后果的传递性在技术上会导致一个“行动传递怪论”的公式。通过还原切拉斯的分析，表明切拉斯的推导在技术上是可靠的。但如果分析西格伯格行动传递公理的内涵以及行动传递怪论产生的原因，可以发现切拉斯的反驳是不能成立的。在此基础上，文章尝试在动态行动语义模型上增加一个条件，从而为行动传递怪论给出一种技术的解决。
关键词：动态行动逻辑；行动传递怪论；非单调推理；语境主义
1 引言
粗略地说，行动逻辑（logic of action）是关于“行动”的逻辑，它的目标是刻画“行动”的一些重要方面，如实施行动的前提、行动的后果，等等。由于主体性（agency）是主体在实施行动时所感受到的一种操作机制（[3]），因此主体性逻辑（logic of agency）是行动逻辑的一个重要研究领域。在主体性逻辑中，主体的行动可以通过“δφ”（致使φ）来间接地表达。主体性逻辑刻画了主体与事态的一种“致使或确保关系”，因此它能够非常容易地表达“一个存在者是一个事态的主体”的观念。（[4]）但是，这种表达一般无法直接表示基本行动项的复合。动态逻辑相对于主体性逻辑来说，它不仅能刻画程序的推理，而且还能够比较好地刻画人类行动的推理，因为它能很好地表达“行动带来的后果”的观念——这正是行动的主要特征之一。因此，西格伯格（K.Segerberg）借用动态逻辑的方法来刻画主体性，试图把动态逻辑和主体性逻辑的各自优点结合起来。
综上所述，在高校篮球运动发展的过程当中，如何解决当前存在的问题，是推动高校体育教师培养学生篮球运动发展最根本性的内容。因此，切实的从高校体育教师培养学生篮球运动的发展角度出发，对现存的问题进行解决，具有发展性的意义。
西格伯格在文章Bringing it about 中构造了一个动态行动逻辑。（[6]）他的基本做法是用项δφ 表示主体做了一个致使φ 的行动，然后把δφ 和动态公式[α]φ结合在一起构成[δφ]ψ，表示致使φ 的行动导致了ψ，以此提供关于行动的更为丰富的表达。他的系统除了包括刻画动态算子的公理外，还有两个刻画“行动”的特殊公理：
随着测绘科学技术的不断发展，高分辨率遥感影像在各行业的应用不断深入，利用遥感影像对自然资源、农作物等进行监测已成为一种趋势。本文结合茶叶种植区遥感监测项目，通过获取特定时间窗口期的高分辨率遥感影像，采取人机交互的人工遥感解译手段，监测提取了处于产茶阶段的茶园种植区和茶农散种区的图斑，并通过外业核查验证，获取了可靠的宏观监测数据，验证了通过遥感解译手段监测处于产茶阶段茶叶种植区空间分布和面积的可行性。
在这两个行动公理中，第一个公理的直观可靠性是毋庸置疑的：每一次成功地致使了φ 之后φ 当然是成立的。第二个公理直观上似乎也是成立的：致使φ 后ψ 成立，且致使ψ 后χ 成立，那么致使φ 后χ 也成立。由于第二个公理直观上表达的其实是不同的行动在后果上的传递性，因此我们可以把它称作“行动传递公理”，它表明行动的相关后果是可以传递的。
然而，切拉斯（B.F.Chellas）发现，在西格伯格的动态行动逻辑系统中，只需要稍微进行变换和推导，就可以得到一个奇怪的公式：
这个奇怪的公式的涵义是：如果每次成功地致使了φ 后ψ 成立，则每次成功地致使了“φ 且χ”后ψ 也成立。它在直观上似乎不成立，比如切拉斯所举的反例：每次划火柴都能使火柴点燃，但是划火柴的同时把火柴弄湿，则明显是不能点燃的。（[1]）
那么，切拉斯所谓的“行动传递怪论”究竟是怎么回事呢？切拉斯的反驳（推导和举例）有效吗？这个怪论产生的原因是什么，它能够在技术上得到解决吗？本文首先概述切拉斯的反驳，并进而详细地分析行动传递公理的内涵以及怪论产生的原因，最后试图从技术上给出解决“行动传递怪论”的一种方案。
2 切拉斯的反驳
下面分别从语法和语义两个角度概括并分析切拉斯所谓的“行动传递怪论”在技术上是如何得出来的，只为重构并表明切拉斯的推导过程和语义分析在技术上并没有什么问题（但其据此的反驳并不成立，我们将在第三部分会有详细说明）。
2.1 语法分析
在语法上，切拉斯将动态逻辑的一个公理（[α](φ ∧χ)↔([α]φ ∧[α]χ)）与西格伯格的行动逻辑的两个特殊公理结合，推导出了公理(@2)的增强公式，即怪论公式：[δφ]ψ →[δ(φ ∧χ)]ψ。其语法推导过程可以完整地补充1切拉斯的推导省略了步骤(3)和(4)，我们认为补充出来比较直观，增加了可读性。如下：
以上的推导仅用了无可置疑的动态逻辑公理和命题逻辑的推理规则，以及西格伯格的两个关于行动的特殊公理，因此它在技术上是没有任何问题的。但是，在切拉斯看来，式子(6)却又是“明显”不合理的，比如：如果划火柴，那么火柴燃烧；如果划火柴的同时把它弄湿，则火柴并不会燃烧——这就是所谓的行动传递怪论。切拉斯认为，如果觉得(6)是不合理的，那么就只能质疑公理(@2)，因为其他公理以及推理规则都是毋庸置疑的。由此，切拉斯反驳说，公理(@2)是不合适的，因为它会导致(6)这种直观上明显不成立的公式。
2.2 语义分析
不仅在语法上，切拉斯也在语义上对“行动传递怪论”的得出过程进行了分析。在西格伯格的动态行动逻辑中，动态行动逻辑模型M 是一个四元组〈U,A,D,V〉，其中U 是可能世界的集合，它可以被视作一些命题的集合；A 是满足特定条件的行动集合，在这里可以把一个行动解释为关于可能世界间的一个二元关系（即一个行动可能使一个世界变为另一个世界）；D 是为了解释δ 算子的，即带命题索引的行动算子，它把一个行动指派到一个命题上（比如令||φ||为使得φ 为真的世界集，则D(||φ||)就是指致使φ 成立的行动）；V 是命题变元的赋值函数。
西格伯格给出了[δφ]ψ 在点x 上的真值条件，即[δφ]ψ 在可能世界x 上为真，当且仅当，
(7)∀y(若〈x,y〉∈D(||φ||),则y ∈||ψ||)。
4）防腐措施：再循环烟气从袋式除尘器出口烟道回流至焚烧炉，输送距离长，可能因烟道散热等原因导致烟气温度降低至酸露点，造成风机、烟道等的腐蚀。目前已投运的实际案例中，也有部分存在此类问题，影响烟气再循环系统的长期稳定运行。因此，需充分考虑保温及防腐措施，保证系统稳定运行。
第一，成长过程问卷。了解学生的家庭经济情况、父母教养方式、童年经历、个人与家族精神疾病史、自杀观念或经历等情况。
在后勤产业的科技布局已经成熟，悦管家将“新服务”延伸至多个相关领域，为企业提供团餐服务“微厨”，为家庭提供母婴服务“月嫂+”等。
(D1)∀y(如果〈x,y〉∈D(S),那么y ∈S)；
(D2)如果∀y(若〈x,y〉 ∈D(S),则y ∈T),那么∀y(若〈x,y〉 ∈D(S),则〈x,y〉 ∈
相对一般图书，儿童绘本图书价格偏高，如果不能对家长宣讲绘本阅读的重要性，有的家长会望而却步，导致一部分家庭难以踏入儿童绘本馆的门槛。目前，老约翰将关注点放在儿童阅读、绘本阅读上，却忽略了与家长的有效沟通，而绘本阅读自身的特性需要家长的理解和积极参与才能架起儿童阅读绘本的桥梁。
D(T))。
应用SPSS 13.0统计软件进行，计量资料以均值±标准差表示，采用t检验，计数资料用百分比(%)表示，采用卡方(χ2)检验，等级资料用秩和检验；生存分析用 Kaplan-Meier 法。取P<0.05时差异具有统计学意义。
对任意Σ ∈℘(Form)，用x ⊨Σφ 表示在背景条件Σ 之下，x 满足φ。于是，可以定义以下五个满足关系：
根据(7)，可以将[δ(φ ∧χ)]ψ 的真值条件表示为：[δ(φ ∧χ)]ψ 在可能世界x上为真，当且仅当，
(8)∀y(若〈x,y〉∈D(||φ||∩||χ||),则y ∈||ψ||)。
由(D1)、(D2)容易证明(7)蕴涵(8)：对任何y，由〈x,y〉∈D(||φ||∩||χ||)及(D1)可得y ∈||φ||∩||χ||，因此y ∈||φ||。取(D2)中的S 为||φ||∩||χ||，T 为||φ||，则(D2)的前提成立，所以由(D2)，∀y(若〈x,y〉∈D(||φ||∩||χ||)，则〈x,y〉∈D(||φ||))。再由(7)就直接得出(8)。这就从语义上得出[δφ]ψ 蕴涵[δ(φ ∧χ)]ψ。
为了解多媒体教学在高中英语课堂中的使用情况，本课题组设计了《高中英语多媒体教学现状》问卷，以南京市三所不同级别的学校为样本，进行调查。
但切拉斯认为，从直观上来看，如果一个行动使得[δφ]ψ 为真，即ψ 在使得〈x,y〉属于D(||φ||)的y 上为真时，由此并不能得出：〈x,y〉属于D(||φ||∩||χ||)时，ψ 在y 上仍然为真。擦火柴的例子就是一个反例。于是，切拉斯认为，这样就从语义上说明了行动公理(@2)的不恰当性。
另外，切拉斯还认为上述式子(6)正好类似于条件句逻辑中的困难。为此，他作了一个类比，即把[δφ]ψ 看作条件句逻辑要刻画的“如果φ 则ψ”（符号表示为φ ⇒ψ），则上述两个行动公理就可以分别表示为：(@1)φ ⇒φ，(@2)(φ ⇒ψ)→((ψ ⇒χ)→(φ ⇒χ))。不难验证，从这两个公理可以推出(φ ⇒ψ)→(φ ∧χ ⇒ψ)。但(φ ⇒ψ)→(φ ∧χ ⇒ψ)至少在反事实条件句中是不可接受的。也就是说，这个推理式至少不能刻画反事实条件句。所以条件句逻辑一般不接受这里的(@2)这种传递性公理。切拉斯反驳说，西格伯格的“致使”算子δ 也面临着一样的问题，从而用它来刻画行动也是不合适的。
其中，(D1)对于说明公理(@1)的有效性来说是很显然的，但切拉斯认为(D2)在直观上是可疑的。
3 行动传递怪论的消解
从上面的叙述可以看出，切拉斯从公理(@2)到公式(6)的推导在技术上是可靠的，即他的语法推导和语义分析在技术上没有任何漏洞。因此，他认为，如果我们承认(6)不合理，就只能质疑西格伯格的行动公理(@2)。在本节，我们将分析这个所谓“行动传递怪论”产生的可能原因，然后基于这些分析提出一个对西格伯格的语义模型的修改，它不仅可以说明切拉斯的划火柴例子不是(6)的反例，并强调推理同一语境的重要性，以此消解所谓的“行动传递怪论”。
近年来，随着高层建筑的日益增多，地下工程的建筑面积也越来越大。一般的高层住宅区均在若干幢相邻的高层建筑物下面设计一贯通的大型车库。这种地下车库的埋深通常较大，有相当一部分体积要位于地下水位以下，如果在施工和使用期间不采取抗浮措施，在水浮力作用下地下建筑物要向上位移而引起墙体和底板的开裂。因此，抗浮设计对于大型地下工程而言是相当重要的。
3.1 行动传递怪论产生的原因
在我们看来，“行动传递怪论”产生的可能原因有以下三个方面。
首先它涉及西格伯格的逻辑是否能够处理非单调性推理这个问题。式子(6)很明显是公理(@2)的一个加强版本，或者说它是关于行动后果传递性的单调公式。切拉斯是以一个似乎为非单调推理的例子作为(6)的反例，来说明公理(@2)不适于表示非单调的推理。在切拉斯看来，如果公理(@2)适于表示非单调推理，则从它不应该能够推出单调性公式(6)。但从公理(@2)确实可以推出(6)。所以切拉斯得出，西格伯格的行动逻辑只能处理单调性的推理。这是对切拉斯的论述的一种理解。当然，单调逻辑不能完全解释与处理非单调推理，这并没有什么奇怪的。要求一个只能处理单调性的推理的逻辑去应用于非单调推理，自然是有些过分的。正如任晓明等人所认为的，“形式系统内的推理有效性是否恰当地符合非形式原型的问题”是逻辑哲学的中心问题（[7]）。在这个意义上，行动传递怪论产生的原因可能是反映了逻辑哲学的这个中心问题。切拉斯认为这个公理没有刻画日常中的行动推理，实际上就是认为这个公理并没有恰当地刻画日常推理的“非形式原型”。但是我们认为，这一点西格伯格本身应该是知道的。西格伯格的逻辑要处理的应该仅仅就是单调性推理，西格伯格提出他的系统时的确没有考虑非单调推理。不过，如果这就是西格伯格对切拉斯的全部回应，那么，尽管我们会认为切拉斯对西格伯格的批评其实不算太有新意（因为普通单调逻辑不能表示非单调推理这一点是众所周知的），这个回应本身也仅仅就是承认自己的不足而已。更重要的是它暗示着承认，一旦我们要处理非单调推理，就应该放弃公理(@2)以及(6)，因此其实是放弃西格伯格的核心思想。但我们认为情况也许并非如此。我们相信，经过分析可以发现，非单调现象以及划火柴那样的例子并非(6)的反例，因此所谓“怪论”其实并不怪，即使考虑到非单调现象以及划火柴那样的例子，公理(@2)及(6)或许还是可以保留的。后面我们将尝试提出一种对西格伯格的语义模型的修改来做到这一点。因此这可能是从西格伯格立场对切拉斯的更好的回应。
2)E([δφ]ψ)指判断行动δφ 将导致ψ 时所预设的背景条件。我们假定行动不影响此背景条件，即行动不会引起背景条件失效；受行动影响的条件属于行动的后果，不算行动背景条件。例如，“划火柴将导致火柴点燃”的背景条件包括“周围有氧气”、“划火柴前后没有水将火柴打湿”等等。
团结乡乡村旅游发展以及“美丽家园”建设是一个长期而艰巨的任务，在其后期的发展、建设过程中，仍需要进一步研究和实践。将PPP模式运用到美丽乡村旅游发展建设中，及对乡村旅游相关从业人员进行培训等，对促进云南乡村旅游的发展有着积极的作用。
其中，∅是指空集。上述语义是说，如果不考虑背景条件的话，则满足关系和以前完全一样。一般来说，客观规律并不会因为背景的改变而改变，如摩擦生热，无论什么物体相互摩擦都会生热，它不需要更多的外在背景条件。
虽然在自然语言中，人们的论断往往省略了很多预设条件，因此看起来会出现非单调的现象，即人们会先接受“划火柴使得火柴燃烧”，然后又拒绝“划火柴并且把火柴弄湿使得火柴燃烧”，但那是因为两个句子处于不同的语境，有不同的预设条件。但在考察公理(@2)（或(6)）的时候，因为它是单个语句，我们应该在同一语境下考察它的各个成分（即蕴涵式的前、后件）。在解释这些公式时不能随意替换预设条件，还应该关注其中的相互关系，看一些预设条件是否被违反。这样一来，切拉斯举的这个反例本身在某种程度上就是有问题的。一方面，怪论之所以产生，是因为在不同的语境下解读(6)的前件与后件，另一方面，如果我们坚持在同一语境下解读(6)，就能看出在划火柴的例子中它应该还是真的。这是我们所认为的行动传递怪论产生的根本原因，也是我们后面将尝试提出的消解怪论的策略的依据。
3.2 行动传递怪论的消解
根据以上分析，不难看出，切拉斯之所以认为行动公理(@2)会导致行动传递怪论，根本原因在于他没有在同一语境中解读(6)，没有考虑(6)中前、后件各自独立的背景预设之间的冲突，从而在讨论行动传递问题时没有很好地区分单调性和非单调性推理的适用范围。非单调现象的出现可能是由于语境的转换，比如，由一个语句“划火柴使得火柴燃烧”的语境转换到另一语句“划火柴并且把火柴弄湿使得火柴燃烧”的语境。但对于单个语句(6)内部，如果我们坚持在同一语境下考察它们，那么应该不出现非单调现象。所以我们认为，要消解行动传递怪论，并不需要处理非单调的行动推理。后者是另外一个问题，即刻画行动推理的非单调性也是有意义的工作，但它并不构成(6)的反例。
尽管我们已经非形式地说明了，在考虑了句子的语境背景预设后可以认为在划火柴的例子中公式(6)是真的，但西伯格伯的语义模型中没有语境背景预设。所以，我们下面将在西伯格伯的语义模型中加进语境因素，以形式化的方式说明(6)在划火柴的例子中是真的，即划火柴的例子不是(6)的反例。这意味着在语义上将行动传递怪论消除，即用严格的语义模型来说明(6)在划火柴的例子中并不怪。
(4)壳聚糖膜。该类型保鲜膜是甲壳素在浓碱处理之后所形成的产物，我国对于壳聚糖膜的研究力度得到了一定程度的提升，研究结果发现，壳聚糖涂膜制品能够让果蔬的乙烯产量以及呼吸强度得到有效程度的降低，借此来延长果蔬的保质期。比如在甜玉米的保险处理时，通过质量分数为1%的壳聚糖膜结合0℃贮藏能够让甜玉米的保险性能得到最大限度的发挥，借此来为相关商家带来良好的经济效益，并有效避免腐烂等因素造成的经济损失。
设Form 表示西伯格伯的行动逻辑语言中的所有公式的集合，E 是一个从Form 到℘(Form)的函数。
直观上，E(φ)表示语句φ 所预设的背景条件，比如：
1)E(φ →ψ)指条件句“如果φ，则ψ”所预设的背景条件；
其次可以将所谓“行动传递怪论”与实质蕴涵怪论作类比来考察前者产生的原因。也许我们会觉得，“行动传递怪论”并不只是一个单调性与非单调性推理的问题，而是类似于实质蕴涵怪论问题。切拉斯本人也认识到行动传递怪论和实质蕴涵怪论有某些类似之处，但他并没有说行动传递怪论源于实质蕴涵怪论。我们知道，实质蕴涵怪论之所以会困扰很多人（包括逻辑学家），主要原因就在于实质蕴涵是一种最弱的蕴涵关系，它并没有刻画条件句的所有直观。具体来说，我们会觉得“如果小贺是勇敢的，则小贺是一个登山家”是个假命题，但从实质蕴涵的角度看，它却是个真命题（假定小贺事实上并不勇敢）。类似地，式子[δφ]ψ →[δ(φ ∧χ)]ψ有时直观上显得可疑也是因为没有将其中的蕴涵理解为很弱的实质蕴涵。西格伯格的行动传递公理(@2)中的蕴涵关系也应该是实质蕴涵关系。不过在划火柴的例子中，似乎[δφ]ψ（即划火柴使得火柴燃烧）独立地为真，而[δ(φ ∧χ)]ψ（即划火柴并且把火柴弄湿使得火柴燃烧）独立地为假，因此，即使将(6)中的蕴涵视为实质蕴涵，似乎这也是(6)的反例，因此怪论似乎不完全是由于将实质蕴涵解读为其它蕴涵关系而产生的。但我们将看到，在考虑语境以后，我们之所以认为划火柴的例子不是(6)的反例，其实还是与(6)中的蕴涵都应视为实质蕴涵这一点密切相关。
④ (危)米盖尔·安赫尔·阿斯图里亚斯.《玉米人》.刘习良，笋季英译.桂林：漓江出版社，1986,P142.
令S 和T 表示世界集（即都是U 的子集），那么，在上述动态行动逻辑模型下，满足行动公理(@1)和行动公理(@2)的对应条件分别为：
最后考察语境如何成为行动传递怪论产生的原因，这也许是怪论产生的根本原因。单看得出式子(6)的推导过程是没有任何错误的，但为什么在直观上（比如在划火柴的例子中）人们会认为它不恰当呢？我们认为，这里其实暗含一个语境的转换问题。不难想象，在日常生活中，人们作一个论断以交流信息以及记忆信息的时候，在很多情况下都会省略一些隐含的预设或背景条件，即所作的论断自身并没有完备地表达所交流或记忆的信息。比如论断“划火柴使得火柴燃烧”就省略了很多预设条件，如划火柴点燃的过程中火柴要是干的，外界环境中要有足够的氧气，等等。于是，在切拉斯为(6)所举的例子中，后面的论断“划火柴并且把火柴弄湿使得火柴燃烧”中所增加的“把火柴弄湿”这个行动要求，就与前面的论断“划火柴使得火柴燃烧”所省略的预设条件不一致了。这使得整个论断“假如划火柴能够使火柴点燃，那么划火柴并且把火柴弄湿能够使火柴点燃”听起来很怪异。设想这样一种情况：如果有人问你：“划火柴能够使火柴点燃吗？”你肯定会说：“可以”。设想别人然后再问你：“划火柴并且把火柴弄湿还能把火柴点燃吗？”你肯定会说：“不可以”。但现在设想别人问你：“假如划火柴能够使火柴点燃，那么划火柴并且把火柴弄湿能把火柴点燃吗？”你可能会觉得这样问很傻，既然说划火柴能够使火柴点燃预设了火柴是干的，那再问划火柴又把火柴弄湿会怎样就显得没意义了。也就是说，当我们分别地作两个论断“划火柴使得火柴燃烧”和“划火柴并且把火柴弄湿使得火柴燃烧”时，它们是处在不同的语境中，有不同的被省略的预设条件，因此我们可以肯定前者而否定后者。但当我们把两句话放在一起说时，那就显得很怪异，因为两个句子的预设条件产生了冲突。虽然怪异，但我们认为，语句“假如划火柴能够使火柴点燃，那么划火柴并且把火柴弄湿能把火柴点燃”应该是真的，正像在实质蕴涵怪论中我们认为一些怪异的语句为真一样。这是因为，这个蕴涵句后件中的“把火柴弄湿”这个行动要求与蕴涵句前件的预设条件冲突，因此，后件“划火柴并且把火柴弄湿能把火柴点燃”在前件的预设条件下就是空洞地为真的，就像一个实质蕴涵句在前件为假时是空洞地为真一样。这样，划火柴的例子中的整个蕴涵论断就是真的，因此就不是(6)的反例了。
其中，E(φ →ψ)为条件句φ →ψ 要求的背景；E(φ)则是已知真前件附加的背景；上述定义直观上是说：x 在Σ 下满足φ →ψ，当且仅当，如果x 满足背景条件Σ ∪E(φ →ψ)且在背景条件Σ ∪E(φ →ψ)之下满足φ，则一定会在背景条件Σ ∪E(φ →ψ)∪E(φ)下满足ψ。注意，考虑了背景条件之后，这里的蕴涵还是实质蕴涵。这包括两个方面：如果x 不满足某些背景条件，则满足关系(2)空洞地成立；如果x 在背景条件Σ ∪E(φ →ψ)之下不满足前件φ，则满足关系(2)也是空洞地成立。
考虑条件句“如果下雨，那么地湿”（符号化为φ →ψ）。假定Σ 指这个语句所处的更大的语境的背景条件。规定E(φ →ψ)包括“在室外”、“没有东西挡住地面”等。即我们断定“如果下雨，那么地湿”的时候是预设了这些条件。E(φ)可以为空集，即“下雨了”这个论断本身不预设什么。那么，上述语义就可以表示为：x 在Σ 下满足“如果下雨，那么地湿”，当且仅当，如果x 满足Σ ∪{“在室外”,“没有东西挡住地面”} 这些背景条件，且x 在这些背景条件下满足“下雨了”，则x 一定会在这些背景条件下满足“地湿了”。
其中，E([δφ]ψ)为行动背景，E(φ)为行动成功背景，D(||φ||)表示致使φ 成立的行动。上述定义直观上是说：x 在Σ 下满足[δφ]ψ，当且仅当，如果x 满足Σ∪E([δφ]ψ)，那么，对于任意的y,如果〈x,y〉∈D(||φ||)，且y 满足Σ∪E([δφ]ψ)，则y 一定会在背景Σ ∪E([δφ]ψ)∪E(φ)下满足ψ。
考虑语句“关门使得风被挡在了门外”（符号化为[δφ]ψ）。规定E([δφ]ψ)包含“只有一扇门”、“门是好的（比如没有洞）”等。D(||φ||)指“关门”这个行动，E(φ)可以为空集。那么，在上述语义下就可以这么说：x 在Σ 下满足“关门使得风被挡在了门外”，当且仅当，如果x 满足Σ∪{“只有一扇门”,“门是好的（比如没有洞）”}这些背景条件，那么，对于任意的y，如果〈x,y〉∈“关门”这个行动，且y 满足那些背景条件，则y 一定会在那些背景条件下满足“风被挡在了门外”。
上述定义直观上是说：x 在Σ 下满足¬φ，当且仅当，如果x 满足Σ ∪E(¬φ)，则x 一定会在Σ ∪E(¬φ)下不满足φ。这个直观上非常好理解，所以无须举例子。
上述定义直观上是说：x 在Σ 下满足p，当且仅当，如果x 满足Σ，则x ⊨p。
根据上述语义，我们就可以来化解切拉斯所提出的反例了。考虑划火柴例子中的语句(6)即[δφ]ψ →[δ(φ ∧χ)]ψ，其中δφ 代表“划火柴”这个动作，δ(φ ∧χ)代表“划火柴且将火柴弄湿”这个动作，ψ 代表“点燃火柴”。[δφ]ψ 的背景条件E([δφ]ψ)包含了“划火柴前后没有水将火柴打湿”，“环境中有足够的氧气”，“接触面有足够的磷”等等。我们需要说明对任何x 都有
其次，由于高中实验难度较大，对学生的理论知识、实验技能有较高的要求，学生独立操作无法有效完成实验。在这种情况下，教师可以采取分组实验的方法，让学生以小组为单位进行实验任务的分配，充分调动小组内每位成员的积极性，保证实验人员配置的最优化，集思广益，取长补短，从而提高化学实验的操作效率，培养学生的合作意识。
而且要说明这符合前面提到的对这个例子的直观解释。为此，由上面的满足关系的定义，我们假设x 满足背景条件Σ∪E([δφ]ψ →[δ(φ∧χ)]ψ)，同时在这个背景下满足[δφ]ψ，然后需要证明，x 在背景Σ∪E([δφ]ψ →[δ(φ∧χ)]ψ)∪E([δφ]ψ)下满足[δ(φ∧χ)]ψ。为此又要证明，对于任意的y，如果〈x,y〉∈D(||φ∧χ||)而且y 满足背景Σ∪E([δφ]ψ →[δ(φ∧χ)]ψ)∪E([δφ]ψ)，那么y 在某些背景下满足ψ。但是，由〈x,y〉∈D(||φ∧χ||)及西格伯格的语义模型的条件(D1)可知，y 满足φ∧χ，因此y满足χ。也就是说，行动δ(φ∧χ)应该使得世界从x 变成一个满足“火柴被打湿”的世界。同时，如前所述，背景条件E([δφ]ψ)包含“划火柴前后没有水将火柴打湿”这一条件，所以没有y 可以同时满足背景Σ ∪E([δφ]ψ →[δ(φ ∧χ)]ψ)∪E([δφ]ψ)而又使得〈x,y〉∈D(||φ∧χ||)。所以，上面关于满足关系(9)的条件空洞地成立了。这个说明反映了前面的直观解释：我们需要在同一背景条件下评价[δ(φ ∧χ)]ψ；前面的背景条件E([δφ]ψ)包含“划火柴前后没有水将火柴打湿”，而行动δ(φ∧χ)将导致这个背景条件失效，所以，在这个背景条件下[δ(φ ∧χ)]ψ 空洞地为真。
4 结论与进一步研究的问题
我们认为，西格伯格之所以没有对切拉斯的反驳进行回应，在很大程度上他是认可了切拉斯的推导在技术上的可靠性，同时也基本上默认了他自己的行动逻辑的局限。2这在艾尔格森对西伯格伯行动逻辑的哲学基础的批评中可以看出来，具体见参考文献[2]。我们首先分析了行动传递怪论产生的根本原因，在考虑了句子在语境中的背景预设之后，可以认为，切拉斯所提出的划火柴例子并非西格伯格的公理(@2)的推论的反例。然后，在这种非形式分析的基础上，我们给出了对西格伯格的语义模型的一种改进，它加进了句子的背景预设，因此以形式化的方式说明了，在考虑句子在语境中的背景预设之后，切拉斯的反例不成立，这成为行动传递怪论的一种简要的技术解决。
需要说明的是，我们通过在语义中增加语境条件，从而避免了“划火柴”之类任何的例子都不是(6)的反例，这样就足以反驳切拉斯的反驳。当然，我们还没有论证公理(@2)及(6)在这个加了背景条件下的语义解释下就是有效的，也还没有论证这个加了背景条件的语义解释可以合理解释其它类似的问题，甚至可以为一个更好的行动逻辑提供一个语义。要得到这些都需要为背景条件函数E 加一些限制，这些都将留待后续研究中探讨。
为了简化，文中并没有从行动哲学的角度深入地讨论行动公理(@2)的适用条件。事实上，行动哲学对“行动”有着不同的分类。（[5]）在直观上，行动公理(@2)对某些行动是有效的，比如结果行动（结果是主体所意图的，而后果不一定）；而对其他的一类行动则是无效的，比如后果行动。造成这些有效无效的根本原因是什么？上述行动逻辑是否需要更深入的哲学基础？如果需要，它是什么样的基础？这些哲学问题都有待进一步的研究。
另外，本文没有仔细分析日常推理的非单调性与行动逻辑的关系。其实，非单调逻辑的产生，就是从人工智能中关于行动推理的问题开始的。探讨本文提出的含背景预设的语义模型是否能够处理有关行动的非单调推理，这也是进一步的研究工作。
参考文献
[1]B.F.Chellas,1995,“On bring it about”,Journal of Philosophical Logic,24(6):563-571.
[2]D.Elgesem,1990,“Intentions,actions,and routines:A problem in Krister Segerberg’s theory of action”,Synthese,85(1):153-177.
[3]H.G.Frankfurt,1978,“The problem of action”,American Philosophical Quarterly,15(2):157-162.
[4]R.Hilpinen,1997,“On action and agency”,in E.Ejerhed and S.Lindström(eds.),Logic,Action and Cognition,pp.3-27,Berlin:Springer.
[5]D.G.Lagier,2003,The Paradoxes of Action:Human Action,Law and Philosophy,Berlin:Springer.
[6]K.Segerberg,1989,“Bringing it about”,Journal of Philosophical Logic,18(4):327-347.
[7]任晓明，桂起权，“试论逻辑哲学的中心问题”，自然辩证法研究，2012 年第3 期，第1-6页。
A Solution to Action Transfer Paradox
Bifeng He Shuqing Wang
Abstract It may be reasonable that Krister Segerberg considers transitivity of action consequences to be an axiom in dynamic action logic.However,Brian F.Chellas finds that in the aspect of technology,this transitivity of action consequences will lead to a formula of“action transfer paradox”.By restoring Brian F.Chellas’s refutation,it is indicated that the refutation is reliable in technology.However,by analyzing the connotation of Krister Segerberg’s action transfer axiom and the possible causes of action transfer paradox,it can be found that Brian F.Chellas’s refutation is insufficient.On this basis,this article tries to provide a technical solution to the action transfer paradox by using the notion of contextualism and adding an condition in the model of dynamic action logic.
中图分类号：B81
文献标识码：A
收稿日期：2017-05-23；修订日期：2018-03-14
作者信息：贺碧凤 浙江浙能技术研究院有限公司hebifeng1113@163.com
王淑庆 湖南师范大学公共管理学院zxwsq@163.com
基金项目：国家社科基金重大项目“广义逻辑悖论的历史发展、理论前沿与跨学科应用研究”（18ZDA031）。
（责任编辑：赵伟）
Bifeng He ZheJiang Energy R&D Institute Co.,Ltd hebifeng1113@163.com
Shuqing Wang School of Public Administration,Hunan Normal University zxwsq@163.com
标签：火柴论文; 怪论论文; 公理论文; 条件论文; 拉斯论文; 哲学论文; 宗教论文; 逻辑学(论理学)论文; 《逻辑学研究》2019年第5期论文; 国家社科基金重大项目"; 广义逻辑悖论的历史发展; 理论前沿与跨学科应用研究"; (18ZDA031)论文; 浙江浙能技术研究院有限公司论文; 湖南师范大学公共管理学院论文;