现代模态逻辑的形式分析初步——魔态羽翼的跨世界逃逸与“刑师”分析下的在劫难逃.pdfVIP

墨墨圈曩豳墨墨 Social…。vs43，2012 【逻辑学】 现 代 模 态 逻 辑 的形 式 分析 初 步 — — 魔态羽翼的跨世界逃逸与 “刑师”分析下的在劫难逃 万 小 龙 (华中科技大学 哲学系，湖北 武汉 430074) 摘 要：现代模态逻辑其实是按一阶逻辑公理和规则对经典真值函数做分类研究。模态命题逻辑中任一个可 能世界集w仅表示与某一公理模式相应的一组二真值函数，相应的可能世界间的关系R就是这组真值函数共有 的一种集合性质。任一公理模式在一框架内有效，就是将属于w 的每个真值函数式按K一2分别依次代入该公理 模式中的每一个 “口”，使得形成一组经典定理。 关键词：二分性；非真值函数；经典二变元真值函数；模态公理模式；K一1；K一2 中图分类号：B815．1 文献标识码：A 文章编号：1007—8444(2012)03-0322-05 收稿 日期：2012-03—20 基金项 目：国家留学基金项 目(200635015)；国家社科基金项 目(2007ZXC49)。 作者简介：万小龙(1964一)，教授，博士生导师，国家马克思主义工程 “科学技术哲学”首席专家，主要从事科学 哲学和逻辑学研究。 逻辑 的本性 (thenatureoflogic)是二分性 ， 互为 函数 。这就是说任何被称为非 函数 的东西 并通过不断 的形式化二分将繁杂的经验 、超验 至少是另一东西 的函数 。所谓 “非真值 函数 ” 或先验 的东西 (抽象 的哲学和艺术 、形 象 的文 就是非真值 的非函数 、非真值 的函数或真值 的 学及生活 、高深 的数学物理等科学理论 、超越 的 非函数 。真值的非函数又可分为非二的真值 的 上帝或大干世 界等 ，乃至各种逻辑理论 自身 ) 和二真值 的非 函数 。本文仅讨论二真值的非 函 明晰和简化 ，并保持严密和可靠 。任何集合 P 数 ，即先把非真值 函数二分为并非二真值 的非 都可以二分为其子集 P和非 P。可 以二分与不 函数的非真值函数和二真值的非函数，又把后 可以二分也仍是一种二分 。 者分为非一元 的和一元 的，再把后后者如下 二分 ： 一 、 非真值函数的二分 P的任一二真值一元非 函数 Hp，或者等值 无论 y是否为X的函数 ，它至少总是与负 Y 或者不等值于下表 的 16个真值 函数 中的一个 。 表 1 经典二元函数真值表D=d(p，q) P q Dl D2 D3 D4 D5 D6 D7 D8 D9 Dl0 Dl1 DI2 二、一元算符二真值非函数 蔷享雯 萎 任何人 当然总是或者属于或者不属于认可 那些人构成新 的层 次 的 或者属于或者不属 笔者 的上述观点 的人 。如果有人属于 “既属于 于”。从逻辑形式 的角度 看 ，所谓 的对 象语 言 322 2012．3第4卷哲学社会科学版 鍪露蠢露翟露翟圈 与元语言 的关系就可解释为新层次是包括 以旧 函数 ，显然其 中一变元 P的四个真值 函数 已经 层次作为肢命题 的同一层次的复合命题 。