行动、博弈与推理.pdfVIP

维普资讯 第 l1卷 第 2期 湖南科技大学学报 (社会科学版 ) VoI．IINO．2 2008年 3月 JournalofHunanUniversityofScienceTechnology(SocialScienceEdition) Mar．20o8 摘 要：行动不描述客观事态，因而它无真值，因此不能用命题连接词将基本行动连接成复合行动。行动模态或意志 模态——不同于命题模态——其算子加于行动之上才能构成行动模态命题。行动逻辑研究的是行动模态命题之间的逻辑 关系，当然这里的关系可能处于多个行动者的博弈之中。 关键词：行动逻辑；行动模态；意志模态；博弈 中图分类号：B812 文献标识码 ：A 文章编号：1672—7835(2008)02—0031—03 一 行动算子与行动命题的形成 它的否定也是行动，同样不是命题 。 行动是指人的有 目的的活动。这种活动首先 只有当行动主体与行动之间形成某种关系时， 是人的活动；其次这种活动是有 目的的，不同于人 行动命题才能形成。这种关系通过行动算子或模 的无意识的行为，如 “看书”、“上学”等 。 态来完成的。 行动不描述客观事态，因而行动本身没有真 行动算子有 “选择”、“决定”、“实施”、“进行” 值 。从句法角度来说，行动短语是不完整的句子， 等，它们是一类模态——行动模态或意志模态。行 因而不是真值承担者。但许多研究行动逻辑的逻 动算子或行动模态体现了行动者的 “意向性”，这里 辑学家往往忽视这一点，他们往往直接用真值联结 的意向性是指意志的方向。 词联接 “基本行动”而形成所谓 “复合行动”。这是 我们用 a，b，c，……表示行动，它们构成的集 一 个错误，如冯 ·赖特构造道义逻辑时就犯了这样 合为行动集；以c、D、E等表示行动算子。将行动 的错误[]377一 。 算子加于行动之上便形成行动命题，如 c表示某 这种错误的部分原因源于对 日常语言中的 “否 类行动算子，CP、C(a，P)或 C(p)或表示主体a将 定行动”的错误理解之上。在 日常语言中将否定词 行动意向指向行动p。当然，也可以将 c()理解成 “不”加在某个行动之上，表示 “否定的行动”，如 不“ 函数，它的变项为行动，如 c(P)表示某个主体 “选 开门”为 “开门”的否定的行动，是误将这里的 “不” 择”、“进行”、“实施”等行动 P。 ’ 看成命题逻辑中的命题联结词 “并非”。实际上，这 有了行动命题，我们可以谈论行动命题或者行 里的否定词 “不”不是真值连接词，它所表达的是与 动算子的否定。如：可以说 某“人决定开门”，或 某“ 对所否定的行动(可称为原行动)“不同”的另外一 人不决定开门”，这样的命题有真值。 类行动。行动是不完整的句子，它不能构成命题， 为了方便，我们将 “不开门”与 “开门”一样可看 ① 收稿 日期：2007一l1—1O 基金项 目：教育部人文社会科学重点基地重大项 目“逻辑哲学重大问题研究”(05JJD720．4O002) 作者简介：潘天群(1965一)，男，江苏盐城人，教授，主要从事逻辑学、博弈论研究。 3l 维普资讯 成行动，尽管它们不是真值否定性的关系。这样， 多个理性人在利益存在相关时如何进行行动选择 我们也可以说 “某人决定不开门”、“某人不