带有受限缩并规则的兰贝克演算中的照应算子-重庆理工大学学报.PDF

重庆理工大学学报（社会科学）　　２０１１年第２５卷第４期 逻辑学与科学方法论 ＪｏｕｒｎａｌｏｆＣｈｏｎｇｑｉｎｇＵｎｉｖｅｒｓｉｔｙｏｆＴｅｃｈｎｏｌｏｇｙ（ＳｏｃｉａｌＳｃｉｅｎｃｅ）Ｖｏｌ．２５Ｎｏ．４２０１１ 主持人语： 中国逻辑学会秘书长　邹崇理 研究员 　　本期的“逻辑学与科学方法论”栏目收录了两篇文章。张晓君、满晓霞两位作者的《带有受限缩并规则的兰贝克演算 中的照应算子》一文主要以贾戈尔（Ｊｇｅｒ）在类型逻辑框架下对照应现象的处理方法为背景展开论述，从几种处理照应现 象的方法中筛选出简明高效的方法；而王芳的《略论模态语境中指称的隐晦性问题》一文则论述了专名的涵义问题与模态 语境中的指称隐晦性问题，并在此基础上提出自己的主张和观点。 带有受限缩并规则的兰贝克演算中的照应算子 张晓君，满海霞 （中国社会科学院研究生院，北京　１００１０２） 摘要：主要以贾戈尔（Ｊｇｅｒ）在类型逻辑框架下对照应现象的处理方法为依托展开研究。试图 厘清几种从范畴角度出发处理照应现象的方法，从中筛选出简明高效的方法，即贾戈尔通过在 带有受限缩并规则的兰贝克演算中引入照应算子 “｜”（ａｎａｐｈｏｒａｓｌａｓｈ）的处理方法。目的是为 读者清晰地描绘出逻辑学家与语言学家们研究问题的思路历程，以提醒读者在研究的过程中不 要纠缠于他们所提供的艰深知识，而要把研究重心转向对其思想方法的追寻，以期有更多斩获。 关键词：照应关系；范畴；照应算子；代词 中图分类号：Ｂ８１　　　　文献标识码：Ａ 文章编号：１６７４－８４２５（２０１１）０４－０００６－０６ 　　２０世纪７０年代初，美国著名数理逻辑学家蒙 定状态带入到另一个状态，而一个语句的意义就 太格提出蒙太格语法，这种将逻辑手段用于自然 在于它所带来的这一转换方式［２］。（３）动态蒙太 语言语义研究的方法轰动了语言学界。随即，形 格语法则采取具有动态性和组合性的方法来处理 式语义学沿着蒙太格的思路轰轰烈烈地开展起 照应现象，该方法引入了一个把语句的静态意义ｑ 来。但是，随着认识的深入，许多学者意识到，蒙 转变为其相应的动态意义的类型转换算子（ｔｙｐｅ 太格语法虽然对英语部分语句系统做出了漂亮的 ｓｈｉｆｔｅｒ）“ ”、一个从语句的动态意义里提取出静 ↑ 形式化分析，但是对于涉及照应的“驴子句”、跨句 态真值条件的类型转换算子“↓”，以及连接两个 回指等不连续现象，却显得捉襟见肘，于是出现了 语句的动态意义的联结词“；”，来自内涵逻辑的向 大量处理照应现象的理论。比如：（ ∨ ∨ １）坎普（Ｋａ 下算子“”参与了“ ”的定义： ｑ＝ ｐ．ｑ ｐ， ↑ ↑ λ ∧ ∨ ｍｐ）等人利用话语表现结构（ＤＲＳ），通过非组合的 其中，“”对赋值的状态进行处理，而不是对可能 ［３］ 方式，使存在量词“ ”的约束力可以约束到辖域 世界进行处理 。  ［１］ 以外的方式对照应现象进行动态处理 。（２）为 范畴语法的基本思路就是：以左毗连斜线 了使坎普等人对照应现象的处理符合蒙太格语法 “／”