基于直觉主义逻辑的隐偏好分析.pdfVIP

逻辑学研究 2012 年第2 期，88–105 文章编号：1674-3202(2012)-02-0088-18 基于直觉主义逻辑的隐偏好分析 姜桂飞 唐晓嘉 西南大学逻辑与智能研究中心 西南大学逻辑与智能研究中心 jgfei@swu.edu.cn tangxj@swu.edu.cn 摘 要：根据偏好及其变化是否在逻辑语言及语义模型中有直接的反映，可以将其分 为隐偏好和显偏好。本文旨在对含有隐偏好信息的逻辑进行研究，基于对直觉主义逻 辑中的认知信息的分析，通过修改直觉主义逻辑的语义解释提出了隐偏好逻辑，并证 明了该逻辑系统的可靠性和相对于可区分模型类的完全性；最后，通过定义哥德尔式 的翻译映射将隐偏好逻辑嵌入到偏好逻辑中。 关键词：直觉主义逻辑；显信息；隐信息；隐偏好逻辑；嵌入 中图分类号：B81 文献标识码：A 信息是认知科学的重要概念，它虽然不是逻辑学的标准主题，但当涉及到 对逻辑的直观理解和具体解释时，它便无处不在：关于事实（factual ）与过程 （procedural ）的信息，静态（static）与动态（dynamic）的信息，刚性（hard）与 柔性（soft）的信息交织在一起。近年来，许多逻辑学家意识到信息在逻辑中的 重要地位而转向对信息的研究。（[2, 6, 7]）论文[7] 根据信息及其变化是否在逻 辑语言及语义模型中有直接的反映，将信息分为显信息（explicit information）和 隐信息（implicit information），从不同逻辑视角揭示了信息的特点。在这一思想 启发下，我们认为偏好作为一种关于个体理性的基本信息，同样可以对其作隐显 之分。作这样的区分一方面有助于偏好概念的精确化，揭示偏好的特点，具有理 论意义；另一方面，基于直觉主义逻辑提出隐偏好逻辑对隐偏好进行分析，为偏 好概念研究提供了新的逻辑视角，具有方法论价值。 论文的基本结构安排如下：第一部分，讨论显信息与隐信息的划分，分析直 觉主义逻辑的认知立场及其在表达信息上的特点和优势；第二部分，通过修改直 觉主义逻辑的语义解释建立隐偏好逻辑，对该逻辑的可靠性进行证明，并证明其 相对于可区分模型类的完全性。第三部分，通过定义翻译映射将隐偏好逻辑嵌入 到偏好逻辑中。最后讨论本文研究的一些基本结论和有待进一步讨论的问题。 收稿日期：2012-04-28 姜桂飞，唐晓嘉 基于直觉主义逻辑的隐偏好分析 89 一、显信息隐信息与直觉主义逻辑 直觉主义逻辑与动态认知逻辑作为相互独立的“认知逻辑”，各自采取了不同 的方式和思路来处理信息，在信息的表达方面具有不同的特点。直觉主义逻辑中 的“负载信息” （informationloading）被称为是隐信息。 1.1 显信息与隐信息 首先提出显信息与隐信息划分思想的是逻辑学家范丙申。在论文[7] 中，他 明确地将信息分为显信息（explicit information）和隐信息（implicit information）， 认为区分二者的主要根据是信息及其变化是否在逻辑语言及语义中有直接的反 映。按照这一标准，认知逻辑刻画表达的信息应该是显的。认知逻辑在经典逻辑 基础上增加模态算子 及语义模型上的不可区分关系来直接表达认知信息， （主体知道 ）的语义解释是：在与当前世界不可区分的所有可能世界上命题 是 真的。在经典认知逻辑及动态认知逻辑中，认知信息及其变化都有明确的形式表 达和语义刻画。直觉主义逻辑则不同，它对这类信息的刻画是通过对逻辑连接词 “负载性” 语义解释这种“迂回” 的方式实现的。 直觉主义逻辑或许是最早基于信息考虑而建立的逻辑系统。它的产生源自 布劳维尔（Brouwer）对排中律的批判，其目的是为构造主义数学提供逻辑基础。 直觉主义逻辑认为，数学命题的真只能通过给出该命题的一个构造性的证明来 确定，因此，“证明” 和“构造” 本身成为初始概念，“可证性” 取代了经典逻辑的 “真”，成为定义逻辑联结词意义的基本概念。为此直觉主义逻辑关注特定阶段上 的静态信息，而它的克里普克语义模型则用形式化的方法描述了主体信息调查 （