对于逻辑学家思想产生的社会历史综述.docVIP

对于逻辑学家思想产生的社会历史综述 ; 蒙太格是第一个用模型论的方法定义和处理索引词的人,卡普兰则是第一个建立关于索引词的演绎系统的人,蒙太格语法是逻辑语法学科群体的根本前提和开端,而逻辑语法与蒙太格语法有内在的关联性。蒙太格语法的特点是:认为自然语言和逻辑语言在本质上具有相同的符号系统,提出了通用语法的思想,开创了自然语言形式语义学研究的新思路。蒙太格语法的产生标志着语言逻辑的形成。20世纪80年代以后是语言逻辑的发展阶段,逻辑语法进一步发展出广义量词理论、话语表现理论、情境语义学、动态语义学、类型逻辑语法以及关于自然语言理解的加标演绎系统等逻辑语法理论。英国逻辑学家萨莫斯创立的TFL系统是一个用现代逻辑对传统逻辑进行改造、以传统逻辑的自然句法为主体、以现代逻辑的形式化方法为用的传统形式逻辑的代数系统,即一个自然演绎系统。[1]1-8国内语言逻辑的形成与发展大体上也经历了开创、形成、发展三个阶段。20世纪50年代至80年代是国内语言逻辑的开创时期。我国着名的逻辑学家和哲学家周礼全先生是这一领域的开创者和奠基人。他系统地介绍国外语言逻辑思想的同时,对语言逻辑进行了深入的思考和研究,并发表了多篇重要论文。他在50年代末提出了自己的形式逻辑要结合自然语言研究的语言逻辑思想,开创了国内研究自然语言逻辑之先河;60年代初,他明确提出要扩充逻辑词项、构建新的逻辑系统,解决实际思维中的