杨红玉

摘要：现代模态逻辑的建立和迅猛发展，是20世纪逻辑发展史上的里程碑事件，但蒯因对模态谓词逻辑一直持激烈的质疑和批评态度。蒯因认为模态谓词逻辑存在着三大理论困境，模态逻辑的倡导者们提出了三种对应的解决方案，而这些方案引发了新的问题。对模态谓词逻辑的反思不仅是一个逻辑问题，更是一个哲学问题，它对当下模态高阶逻辑的进一步发展和语言哲学的深入发展，都具有重要的启迪意义和参考价值。

关键词：蒯因；克里普克；指称不明；本质主义

中图分类号：B815.1文献标识码：A文章编号：1003-0751（2016）08-0109-06

20世纪伊始，在一阶经典逻辑研究的推动下，各种非经典逻辑开始兴起和发展，其中，发展最快并形成重要影响的是模态逻辑。模态逻辑不仅在自身的发展中首先提出了对整个逻辑学来说都很重要的理论和方法，而且引发了道义逻辑、认知逻辑、时态逻辑等众多哲学逻辑分支的建立，模态逻辑与建立在其基础之上的各种哲学逻辑群落共同构成了现代逻辑的重要组成部分。蒯因对模态谓词逻辑一直持质疑和反对态度，这种质疑和反对在其哲学和逻辑体系中占据极其重要的地位。蒯因的批评和质疑对模态谓词逻辑的发展提出了巨大挑战，而鉴于模态逻辑对于很多新兴哲学逻辑群落的基础性作用，蒯因的批评也使得很多哲学逻辑群落遭受了“毁灭性的打击”①。本文将对蒯因反对模态谓词逻辑的原因和观点逐一进行分析和核定，并以模态逻辑的最新进展趋势为立足点，再次反观蒯因理论的当代价值和意义。……