王力钢

(陆军军医大学基础医学院政治理论教研室,重庆 400038)

为消除命题逻辑中的“蕴含怪论”,刘易斯提出“严格蕴含”概念,并以模态词“可能(◇)”、“必然(□)”进行刻画,开创现代模态逻辑研究先河。“严格蕴含怪论”的存在,使其未能实现消除“蕴含怪论”的初衷[1]12-18,但模态逻辑作为逻辑科学的重要分支却蓬勃发展起来,从时态逻辑、道义逻辑到相干逻辑、衍推逻辑以至归纳逻辑某些分支都与模态逻辑密不可分。在此过程中也不断有人对模态逻辑提出质疑,其中以蒯因“模态语境必然导致指称暧昧”的观点最为著名。本文将表明,蒯因的质疑立足于经典外延主义逻辑观,只要对其逻辑观进行有限发展,引入可能世界语义学相关解释,就可以无矛盾地消除模态语境下的指称暧昧性。

一、指称暧昧及其表现

指称暧昧是指如下情形:词项的指称在普通语境下原本非常明确,但在模态语境下却会变得游移不定,可能指称这个对象,也可能指称另一个对象,用蒯因的话说就是变得“暧昧”。指称暧昧会导致在正常语境下为真的命题,在模态语境下却为假,具体表现为两种失效:单独词项同一替换原理失效和模态表达式量化存在概括原则失效。

同一替换原理是指“给定一个关于同一性的真陈述,可以用它的两个词项中的一个替换另一个出现在任一真陈述中的词项,而其结果将是真的”[2]129,是支配同一性的基本原理之一。但在词项的某次或某几次出现不是纯指称性时,会发生同一替换原理失效。……