|
二、语言研究促使逻辑工具的创新 显然，形式语义学诸理论是多年来逻辑影响自然语言研究的产物，逻辑对自然语言研究的作用毋庸置疑，这是事情的一方面。约翰·范本特姆写道：弗雷格把逻辑语言和自然语言的关系比作显微镜和人的眼睛之间的关系。前一种工具更精确，但所视范围非常有限，而后者可能不太精确，但是它的功能更多，原则上应用范围非常广泛。随着形式语义学研究的深入，自然语言的丰富性对比出逻辑工具的贫乏性，于是二者的互动关系产生另一方向的作用，即自然语言的丰富性促进逻辑的变化，催生逻辑工具的创新。从上世纪70年代至今，自然语言研究反过来作用于逻辑，对逻辑的发展给予积极的影响。 自然语言中所谓命题态度句是指包含诸如“知道”、“相信”之类认知动词的句子，在形式语义学看来，这种动词不宜解释成以其宾语子句的真值为论元的真值函项，即不能由“晨星是昏星”的真值来决定“张三相信晨星是昏星”的真值。外延的一阶逻辑无法揭示命题态度句的意义，这就促使逻辑工具的创新，由外延逻辑发展到内涵逻辑，由一阶逻辑提升到高阶逻辑，于是产生内涵类型论的逻辑工具IL。在蒙太格的学生兼同事Gallin看来，内涵类型论还可发展出另一种简洁的逻辑理论——两体类型论(Two-Sorted Type Theory)。Gallin注意到，内涵类型语言没有表示可能世界的变项，所以不能对可能世界等内涵实体直接进行句法运算，进而λ-转换的运算受到限制，被转换的变项不能处在内涵算子的辖域内，即要转换的词项一定是那种其语义值是常值函项的词项。要克服内涵类型论的局限，Gallin创建了两体类型论。把表示可能世界的类型s算作是基本类型，句法语言就有表达可能世界的词项，可能世界的概念由“语义幕后”转到“句法前台”。更有甚者，围绕体现认知心理特点的命题态度句，产生了对传统逻辑语义观念进行挑战的情境语义学，进而催生了所谓“情境多体逻辑”[6]的诞生。 自然语言既有句法层面的构造，也有语义层面的内容，两层面同时并存。譬如我们说出汉语句“美国次贷危机正在蔓延”，我们既知道该句的句法构造，专名“美国次贷危机”充当NP，“正在蔓延”是VP。我们也能理解该句的语义：NP所指个体具有VP所指性质。即是说，自然语言的实际表现是句法和语义的并存。基于此，形式语义学中的类型逻辑语法就以句法和语义的并行推演(接口)的方式展开对自然语言的分析，而这种句法语义并行的表述方式很快影响到逻辑理论。英国逻辑学家Gabbay提出了加标演绎理论LDS，给逻辑证明中的每一步公式配备一个标记(label)，公式和标记并行推演”[7]。如LDS在相干逻辑领域内表现出来的规则及其例证为： 逻辑证明实行并行推演至少有三方面的好处：(1)可以区分逻辑证明中对象语言的特征与元逻辑特征。公式的运行规律是对象语言的特征相应的标记的运行规律自然属于元逻辑的范畴，这种元逻辑的说明具有更强的解释力；(2)可从标记运行规律的角度说明不同逻辑证明系统的不同特点；(3)可从逻辑证明结论的标记中看到它所依赖的假设是哪些，即结论的来源是什么。 在自然语言领域，句子不是最小的语言单位，由句子构成的句子序列或句群篇章则是更大的语言单位。句子序列中句子之间具有各种各样的联系，而其中代词对名词的照应是一种重要的联系。先行句子中名词或名词短语所涉及的对象在后续句子中用代词来指称，这就是自然语言的所谓回指现象。形式语义学中的话语表述理论DRT特别关注这类现象，用不断积累递增信息的动态方法来刻画句子之间名词和代词的联系。DRT设置了一个表现自然语言语义的所谓DRS层面，各种层次的DRS是由外到内逐步构造的。最外层DRS中的话语所指可通达到较内层的DRS中去，相应的DRS语义解释涉及的嵌入确认函项g就可以扩展成把更多的话语所指映射到模型论域中去的g′。这样的处理启发了逻辑赋值的新思路：把公式的语义值确定为赋值函项序对〈g，g′〉的集合，这就是Groenendijk和Stokhof提出的动态谓词逻辑DPL的做法。 DPL在句法方面跟经典逻辑没什么区别，差异主要体现在语义解释部分。DPL的语义模型M=〈D，F〉表现为：D是个体的非空集合；F是个体常项和谓词的解释函项；g是个体变项的赋值函项；在这个基础上，DPL关于公式语义值的理解比较经典逻辑来说就大不相同了：解释函项把公式映射到G×G(G是赋值函项g的集合)上去，即给公式指派的语义值是由赋值函项的序对构成的集合，表述如下： 在DPL中，一个公式参照模型M和赋值函项g真，当且仅当，在g作为输入指派的条件下，该公式还存在一个输出指派h(Groenendijk & Stokhof，1991)。以上定义表明：只有合取式和存在量化式的语义赋值，其中的输入指派和输出指派不必是等同的。这和DRS中话语所指的“可通达关系”的延伸思想一脉相承。 在自然语言的实际状态那里，各种逻辑特征交织在一起，比如动词或句子的时间特征时态(tense)、体态(aspect)和时相(phase)。这里体态和时相在通常时间逻辑中没有对应的概念。尤其在汉语中，动词短语“写好了”，既包含过去时态的内容，也涉及完成体态和结果时相的因素。因此，形式语义研究便采用了一种混合的逻辑语言，这种语言既有传统的时间逻辑算子，如过去时算子P与将来时算子F，还有进行体态算子Pros与完成体态算子Perf等。据此Galton创立了态逻辑公理系统，系统中除了传统时间逻辑的公理外，还有专门的有关体态运算的公理。由于自然语言中的不同时间特征是交织在一起的，混合逻辑语言中分别解释时态与体态两类算子的两类模型就有某种关联。这就是Gabbay提出的交织逻辑(Fibring Logic)的基本思想”[8] 交织逻辑建立在所谓交织语义学(Fibring Semantics)或交织模型(Fibring Model)的基础上。Gabbay通过模态逻辑的具体公式来阐述交织语义学的观念：令的两个模态语言，其原子命题的集合 逻辑和自然语言研究是一种交叉互动的关系，逻辑方法应用到自然语言的领域，产生了形式语义学。在形式语义学的研究下，自然语言的特性反过来促进逻辑方法的创新。应该说，自然语言的形式研究对逻辑的影响眼下毕竟没有超过数学对逻辑的影响程度，今后能否达到是将来才能回答的问题。尽管如此，这种从自然语言的丰富性中挖掘题材来拓宽逻辑的范围甚至改变逻辑一些观念的发展趋势是值得关注的。 (责任编辑：admin) |