论文论蒯因对模态谓词逻辑的批评是关于本文可作为谓词逻辑方面的大学硕士与本科毕业论文谓词逻辑论文开题报告范文和职称论文论文写作参考文献下载。
摘 要：现代模态逻辑的建立和迅猛发展,是20世纪逻辑发展史上的里程碑事件,但蒯因对模态谓词逻辑一直持激烈的质疑和批评态度.蒯因认为模态谓词逻辑存在着三大理论困境,模态逻辑的倡导者们提出了三种对应的解决方案,而这些方案引发了新的问题.对模态谓词逻辑的反思不仅是一个逻辑问题,更是一个哲学问题,它对当下模态高阶逻辑的进一步发展和语言哲学的深入发展,都具有重要的启迪意义和参考价值.
关键词：蒯因；克里普克；指称不明；本质主义
中图分类号：B815.1文献标识码：A文章编号：1003-0751（2016）08-0109-06
20世纪伊始,在一阶经典逻辑研究的推动下,各种非经典逻辑开始兴起和发展,其中,发展最快并形成重要影响的是模态逻辑.模态逻辑不仅在自身的发展中首先提出了对整个逻辑学来说都很重要的理论和方法,而且引发了道义逻辑、认知逻辑、时态逻辑等众多哲学逻辑分支的建立,模态逻辑与建立在其基础之上的各种哲学逻辑群落共同构成了现代逻辑的重要组成部分.蒯因对模态谓词逻辑一直持质疑和反对态度,这种质疑和反对在其哲学和逻辑体系中占据极其重要的地位.蒯因的批评和质疑对模态谓词逻辑的发展提出了巨大挑战,而鉴于模态逻辑对于很多新兴哲学逻辑群落的基础性作用,蒯因的批评也使得很多哲学逻辑群落遭受了“毁灭性的打击”①.本文将对蒯因反对模态谓词逻辑的原因和观点逐一进行分析和核定,并以模态逻辑的最新进展趋势为立足点,再次反观蒯因理论的当代价值和意义.
一、问题提出的背景
模态逻辑关注的是包含“必然性”或“可能性”等模态算子的语句的推理.中世纪时期,人们把包含模态算子的语句分为两类：从言模态（de dicto）和从物模态（de re）.前者是指将模态算子加诸语句的命题,如“‘9大于7’是必然的”,在这句话里,模态算子“等是必然的”加诸“9大于7”之上,用来表达语句“9大于7”的某种性质；后者是指将模态算子加诸于语词或对象的命题,如“9必然大于7”,在这个语句中,模态词“必然”加诸“9”这个语词后面,用来表达语词“9”的某种性质.现代模态逻辑在汲取并发展了中世纪逻辑学家对从言模态和从物模态区分基本思想的基础上,对从言模态语句和从物模态语句进行了严格的定义.一般而言,一个模态合式公式是从物的,当且仅当“合式公式包含了一个模态算子（可以是必然算子,也可以是可能算子）并且在其辖域中或者有一个自由变元；或者有一个个体常项,或者有被不在模态算子里的量词所约束的变元”②.非从物的模态合式公式都是从言的.现代模态逻辑关于模态命题的推理因而可以分为两类：关于从言模态命题推理的模态命题逻辑和关于从物模态命题推理的模态谓词逻辑.
当代模态命题逻辑是关于从言模态命题推理的逻辑.早在1918年,为了解决实质蕴涵悖论问题,刘易斯（C.I. Lewis）提出用“严格蕴涵”这个概念来表达两个命题之间的逻辑推出关系：p严格蕴涵q,当且仅当,并非可能p真而q为假,即◇（p∧q）.这样一来,刘易斯在现代逻辑史上第一次将模态算子“可能性（◇）”引入到逻辑演算过程中来,用以表达一种逻辑推演的关系.其后的逻辑学家则在此基础上提出了多个模态命题逻辑的运算系统,如K,D,T,S4,S5以及B等.模态命题的这些演算系统是在经典一阶逻辑的基础之上增加了“必然性（□）”和“可能性（◇）”这些模态算子和相应的公理得到的,模态命题逻辑的这些句法系统因此可以看作是对一阶逻辑的直接扩张.在多个模态命题演算系统被提出以后,关于这些模态命题演算系统,一个直观的后继问题就是：这些系统哪个是有效的?这个问题在20世纪上半叶一直困扰着模态逻辑的倡导者们,因为如果只有一个系统是有效的,那么其有效性体现在哪里,而其他系统又为何不是有效的呢?毕竟这些系统也都符合人们关于模态算子的直觉观念；而如果这些逻辑系统都是有效的话,它们又是在何种意义上是有效的?不能为这些模态命题逻辑演算系统提供一种可行的语义解释使得模态逻辑在20世纪上半叶饱受质疑,并且极大地限制了模态逻辑的深入发展.
为了解释这些模态算子,哲学家们提出了各种方案.其中最为著名的是克里普克的可能世界语义学方案.克里普克首先将可能世界定义为事物的各种可能状态的总和,而现实世界是一种已经实现了的可能世界.在可能世界理论的基础上,克里普克认为,一个命题是必然性的,当且仅当它在所有的可能世界（包括现实世界）都为真；一个命题是可能的,当且仅当其至少在一个可能世界是真的.可能世界之间也存在着不同的联系,如果将可能世界的集合记作W,其中的元素w0、w1、w2等等则表示不同的可能世界,如果w1对w0而言是可能的,则我们称之为w0和w1之间存在着可及关系,可及关系在逻辑上一般用R表示.引入可及关系之后,模态算子可以得到更精确的表达：一个命题在w0上是必然的,则它在w0的所有可及世界里都是真的.在可能世界和可及关系的直观基础上,克里普克引入了框架（frame）、模型（model）、模型有效、框架有效、模型类有效、框架类有效等概念对模态逻辑的语义进行了严格的说明和定义.可能世界语义学解决了长期困扰模态逻辑的语义问题,在这种语义解释下,模态逻辑的有效性概念和完全性概念都得到了刻画和证明,不同的模态命题演算系统之间的区别也因此主要表现在它们表达的是可能世界之间的不同的可及关系,如自返性、传递性等.逻辑学家Blackburn和Rijke把克里普克所建立的语义学称之为对模态逻辑研究的“革命性贡献”③.可能世界语义学现在已经成为对模态算子的标准解释.
模态谓词逻辑是以从物模态命题推理为研究对象的逻辑.模态谓词逻辑是在模态命题逻辑上引入个体词、量词和谓词而得到的,模态谓词逻辑也因此被称为对模态命题逻辑的量化扩张,迄今为止,模态谓词逻辑已经出现了QK+Bf,QT+Bf等众多逻辑句法系统.如果说在一阶命题逻辑的基础上引入的可能世界和可及关系理论,解决了从言模态命题的语义解释问题,那么对于模态谓词逻辑而言,其语义理论要解决的是如何在模态命题逻辑的基础上,对可能个体的性质进行解释.为了解决模态谓词逻辑的语义问题,可能世界语义学在可能世界的基础上引入可能个体域这个概念.设w是任一可能世界,w中的所有个体的集合则被称之为个体集,用H（w）表示,H因此是一个关于w的函数,相对于不同的世界w,相应的函数值则表达的是该可能世界的所有个体.设D是所有可能世界中的个体的总和,即D等于∪H（w）.则相应于任一框架（W,R）都可以得到该框架的一个个体域,包含量词的模态量化式由此可以得到赋值.在此基础上,可能世界语义学定义了模态谓词逻辑的模型、框架和有效性等概念.
总结:本论文为您写谓词逻辑毕业论文范文和职称论文提供相关论文参考文献，可免费下载。
参考文献：
1、 多模态范畴类型逻辑 摘要：多模态范畴类型逻辑是在组合范畴语法（CCG）和范畴类型逻辑（CTL）基础上发展起来的新方向。基于范畴语法的CCG强调函子范畴的组合运算，给。
2、 多模态话语分析在商务英语听教学应用 摘要：当今在网络媒体科技迅猛发展的时代传统商英听说教学遇到了无法实现高职外语人才培养目标的问题。随着多模态话语分析理论的发展，多模态商务英语教学。
3、 高中英语词汇教学中多模态理论的有效运用 在高中英语教学中应用模态形式开展教学活动的主要目的是提高学生对英语的学习积极性，使学生在英语学习过程中获取所需求的知识和技能，并能将所学知识应用。
4、 基于语言实验室的多模态口语教学 摘 要：本文将以多模态话语研究理论为研究基础，论证数字化语言实验室在英语多模态口语教学中发挥的作用。探讨如何充分利用数字语言实验室的先进技术，调。
5、 关于商务英语写作的多模态设计分析 内容摘要：多模态英语教学是近年来出现的一种新兴外语教学模式，多模态英语教学的推广与互联网相关技术的普及密不可分。本文就商务英语写作的多模态设计进。
6、 湍流风速谱有效模态POD分析法 摘要：大跨度桥梁和极端天气的出现，使得桥梁的抖振问题备受关注。然而抖振分析的最重要参数之一是风速谱，传统的抖振分析方法认为所有频率的风速会激发。