墨家的邏輯與認知範疇.docVIP

对动作的认知 刘壮虎 李小五 北京大学哲学系，北京 100871；中山大学逻辑与认知研究所，广东 广州 510275 中国分类号: B81 文献标识码: A　　文章编号：1672-7835 2005 06-0033-06 一 动作和认知 形式语言 ， 。 我们也按通常的方式定义代入 1/p1,…, n/pn 和置换 [ / ]。 如通常，我们也有关于公式的结构归纳定义和结构归纳证明。 2.3 结构归纳定义 可以按以下方式对每个公式 定义F ： 1 任给命题变项p，定义F p ； 2 任给动作 ，定义F E ； 3 由F 定义F ； 4 由F 和F 定义F ； 5 任给动作 ，由F 定义F [ ] ； 6 由F 定义F E 。■ 2.4 结构归纳证明 可以用以下方式证明：任给公式 ，都有 。 1 任给命题变项p，证明 p ； 2 任给动作 ，证明 E ； 3 由 证明 ； 4 由 和 证明 ； 5 任给动作 ，由 证明 [ ] ； 6 由 证明 E 。■ 三 框架和模型 令X是任一集合，我们用P X 表示X的幂集，并称 N：X P P X 是X上的邻域映射。 任给x X，N x （是X的子集族）称为x的邻域类，N x 中的元素（是X的子集）称为x的邻域。任给X的子集S， N* S x：S N x ， 称为S的内部。 3.1 定义 K W, N, R 。K称为DE-框架，如果 1 W是非空集合， 2 N是W上的邻域映射，满足： 2.1 单调性 如果S N x 且S Q，则Q N x ， 2.2 有穷交封闭性 如果S, Q N x ，则S Q N x 。 3 R R ： Act ，任给 Act，都有 R ：W P W 。■ DE-框架以后简称框架。 3.2 定义 K W, N, R 是框架， V：Form P W 。 V称为K上的拟赋值，如果 1 x V 当且仅当 x V ，即 V W \ V 。 2 x V 当且仅当 x V 且x V ，即 V V V 。 3 x V E 当且仅当 V N x ，即 V E N* V x：V N x 。 4 x V [ ] 当且仅当 R x V ，即 V [ ] x：R x V 。■ 从拟赋值的定义可得： 5 x V 当且仅当 x V 或x V ，即 V V V 。 6 x V 当且仅当 若x V 则x V 。因此 V W 当且仅当 V V 。 7 x V 当且仅当 x V 当且仅当x V 。因此 V W 当且仅当 V V 。 拟赋值V限制在Form0上恰好是经典命题逻辑的赋值，所以任给重言式 ，都有V W。 注意拟赋值对原子公式没有任何要求，实际上任何拟赋值都可以由原子公式上的指派通过归纳构造得到。 3.3 引理 K W, N, R 是框架，任给 ：Pro P W ， ：ActForm P W ，都存在唯一的K上拟赋值V，满足： V p p ，　任给p Pro； V E E ，任给E ActForm。 证 归纳定义。 1 任给命题变项p，定义V p p ； 2 任给动作 ，定义V E E ； 3 V W \ V ； 4 V V V ； 5 V [ ] x：R x V ； 6 V E N* V ， 则V是满足条件的拟赋值。■ 由引理3.3，只要给定了拟赋值在原子公式上的值，就唯一确定了这个拟赋值。 3.4 引理 K是框架，V是K上拟赋值，p1,…, pn是n个不同的命题变项， , 1,…, n是公式，构造新的拟赋值V 如下： V p1 V 1 ，…，V pn V n ， V V ，对其他原子公式 ， 则 V 1/p1,…, n/pn V 。 证 归纳证明，详细证明可参考模态逻辑中类似结果的证明。■ 对于框架来说，更重要的是赋值而不是拟赋值。 3.5 定义 K W, N, R 是框架，V是K上的拟赋值。 如果V满足：对所有 Form和 Act， V E V [ ] E ， 就称V是K上的赋值，并称M K, V 是模型。■ 赋值对原子公式E 是有要求的，它不能通过公式的归纳构造由原子公式的指派得到，它的存在性是需要证明的。 3.6 定理 K W, N, R 是框架，任给 ：