论文部分内容阅读
现代模态逻辑是一种扩展逻辑，它是经典逻辑加上模态算子进行扩张而形成的新形式系统，它能适用于经典逻辑所不能形式处理的模态论证，只是这种扩张不仅涉及到语形层次的修改，而且势必会要求对语义学进行创新。在模态逻辑发展初期，特别是模态谓词逻辑的发展时期，建立了众多的模态系统，它们不但理论上不完备，而且都没有提出比较完善的语义学解释，以至引起了当时许多逻辑学家的质疑，其中影响力最大的要数奎因(Willard Van Orman Quine)。
具体的说，奎因对模态逻辑特别是模态谓词逻辑的批评有以下几点:1.模态逻辑产生于混淆表达式的使用与提及，因而从其来源看就是不合法的;2.在模态语境中，一阶逻辑的同一替换原理和存在概括原则失效;3.若要排除模态语境的指称暧昧性，则要承认像属性、命题之类本体论上不可接受的抽象实体，并且即使如此，也依然摆脱不了困境;4.模态逻辑承认从物模态，而从物模态会引发个体跨界问题，同时也会导致亚里士多德的本质主义。综上所述，奎因认为模态逻辑是无用的，整个模态逻辑都应该取消。
为了应对奎因的批判,逻辑学家针对经典逻辑原则的失效问题提出了一系列的方案。马库斯(R.B.Marcus)、克里普克(Soul Kripke)提出了专名的严格指示词理论，克里普克等人还以此为基础构造了一种新的指称理论——历史因果的指称理论;斯穆礼安(A.F.Smullyan)主张经典逻辑原则的失效问题是一个谬误，它产生于没有区分模态陈述中限定摹状词的两种辖域;在接受奎因关于模态逻辑和本质主义关系论题的前提下，为了论证本质主义，克里普克提出了个体本质的起源必然说和构造必然说，以及自然种类本质的内部结构说。
本文旨在通过分析奎因对模态逻辑的批判，试论证奎因的批判不能成立，更不足以推翻模态逻辑的整个事业。事实上，后来模态逻辑也发展出了可与真值表语义学相媲美的形式语义，整个模态逻辑得到了快速的发展，所以说奎因对模态逻辑的态度过于悲观，他对模态逻辑的批判是不成立的。
具体的说，奎因对模态逻辑特别是模态谓词逻辑的批评有以下几点:1.模态逻辑产生于混淆表达式的使用与提及，因而从其来源看就是不合法的;2.在模态语境中，一阶逻辑的同一替换原理和存在概括原则失效;3.若要排除模态语境的指称暧昧性，则要承认像属性、命题之类本体论上不可接受的抽象实体，并且即使如此，也依然摆脱不了困境;4.模态逻辑承认从物模态，而从物模态会引发个体跨界问题，同时也会导致亚里士多德的本质主义。综上所述，奎因认为模态逻辑是无用的，整个模态逻辑都应该取消。
为了应对奎因的批判,逻辑学家针对经典逻辑原则的失效问题提出了一系列的方案。马库斯(R.B.Marcus)、克里普克(Soul Kripke)提出了专名的严格指示词理论，克里普克等人还以此为基础构造了一种新的指称理论——历史因果的指称理论;斯穆礼安(A.F.Smullyan)主张经典逻辑原则的失效问题是一个谬误，它产生于没有区分模态陈述中限定摹状词的两种辖域;在接受奎因关于模态逻辑和本质主义关系论题的前提下，为了论证本质主义，克里普克提出了个体本质的起源必然说和构造必然说，以及自然种类本质的内部结构说。
本文旨在通过分析奎因对模态逻辑的批判，试论证奎因的批判不能成立，更不足以推翻模态逻辑的整个事业。事实上，后来模态逻辑也发展出了可与真值表语义学相媲美的形式语义，整个模态逻辑得到了快速的发展，所以说奎因对模态逻辑的态度过于悲观，他对模态逻辑的批判是不成立的。