正规模态逻辑完全性理论研究综述

现代逻辑的基本理论是多方面的,大致可以从以下四方面来看:一是数理逻辑方面,包括一阶逻辑(也称经典逻辑)、高阶逻辑、模型论、证明论、递归论和公理化集合论;二是哲学逻辑方面,包括经典逻辑的各种扩充和其他各种非经典逻辑,例如模态逻辑、时态逻辑、多值逻辑、相干逻辑、直觉主义逻辑和弗协调逻辑等;三是逻辑学和数理语言学的交叉方面,包括逻辑句法、蒙太格语法、范畴语法和自动机理论等;四是逻辑学和计算机科学的交叉方面,包括动态逻辑、逻辑程序和人工智能中的逻辑等。近30年来,现代逻辑在西方又有了长足的发展。我本想组织我的学生对现代逻辑的这四个方面近年来的一些研究成果写一组文章,但是,因为我在2002年《自然辩证法研究》(逻辑专刊)上发表了一篇《20世纪数理逻辑的概貌》的文章,所以,这里我的一篇文章加上我教授的三位学生写的一组文章,仅就哲学逻辑方面以及逻辑学和数理语言学的交叉方面的若干理论分支的研究近况,在各自的研究领域中对一些重要的成果做简要介绍,其中我的文章《西方道义逻辑的形式化研究》介绍了哲学逻辑研究范畴中广义模态逻辑的分支—道义逻辑的形式化方面的一些最新研究成果;魏燕侠的文章《正规模态逻辑完全性理论研究综述》介绍了属于哲学逻辑中最重要的分支—模态逻辑的重要问题之一正规模态逻辑完全性理论的最新研究成果;郝旭东的文章《弗协调逻辑的发展及现状》介绍了属于哲学逻辑研究范畴中广义模态逻辑的分支弗协调逻辑的最新研究成果;史?的文章《论情境语义学研究的发展》综述了逻辑学和数理语言学的交叉研究中最新的理论情境语义学理论的研究成果。     

论情境语义学研究的发展

现代逻辑的基本理论是多方面的,大致可以从以下四方面来看:一是数理逻辑方面,包括一阶逻辑(也称经典逻辑)、高阶逻辑、模型论、证明论、递归论和公理化集合论;二是哲学逻辑方面,包括经典逻辑的各种扩充和其他各种非经典逻辑,例如模态逻辑、时态逻辑、多值逻辑、相干逻辑、直觉主义逻辑和弗协调逻辑等;三是逻辑学和数理语言学的交叉方面,包括逻辑句法、蒙太格语法、范畴语法和自动机理论等;四是逻辑学和计算机科学的交叉方面,包括动态逻辑、逻辑程序和人工智能中的逻辑等。近30年来,现代逻辑在西方又有了长足的发展。我本想组织我的学生对现代逻辑的这四个方面近年来的一些研究成果写一组文章,但是,因为我在2002年《自然辩证法研究》(逻辑专刊)上发表了一篇《20世纪数理逻辑的概貌》的文章,所以,这里我的一篇文章加上我教授的三位学生写的一组文章,仅就哲学逻辑方面以及逻辑学和数理语言学的交叉方面的若干理论分支的研究近况,在各自的研究领域中对一些重要的成果做简要介绍,其中我的文章《西方道义逻辑的形式化研究》介绍了哲学逻辑研究范畴中广义模态逻辑的分支—道义逻辑的形式化方面的一些最新研究成果;魏燕侠的文章《正规模态逻辑完全性理论研究综述》介绍了属于哲学逻辑中最重要的分支—模态逻辑的重要问题之一正规模态逻辑完全性理论的最新研究成果;郝旭东的文章《弗协调逻辑的发展及现状》介绍了属于哲学逻辑研究范畴中广义模态逻辑的分支弗协调逻辑的最新研究成果;史?的文章《论情境语义学研究的发展》综述了逻辑学和数理语言学的交叉研究中最新的理论情境语义学理论的研究成果。     

弗协调逻辑的发展及现状

现代逻辑的基本理论是多方面的,大致可以从以下四方面来看:一是数理逻辑方面,包括一阶逻辑(也称经典逻辑)、高阶逻辑、模型论、证明论、递归论和公理化集合论;二是哲学逻辑方面,包括经典逻辑的各种扩充和其他各种非经典逻辑,例如模态逻辑、时态逻辑、多值逻辑、相干逻辑、直觉主义逻辑和弗协调逻辑等;三是逻辑学和数理语言学的交叉方面,包括逻辑句法、蒙太格语法、范畴语法和自动机理论等;四是逻辑学和计算机科学的交叉方面,包括动态逻辑、逻辑程序和人工智能中的逻辑等。近30年来,现代逻辑在西方又有了长足的发展。我本想组织我的学生对现代逻辑的这四个方面近年来的一些研究成果写一组文章,但是,因为我在2002年《自然辩证法研究》(逻辑专刊)上发表了一篇《20世纪数理逻辑的概貌》的文章,所以,这里我的一篇文章加上我教授的三位学生写的一组文章,仅就哲学逻辑方面以及逻辑学和数理语言学的交叉方面的若干理论分支的研究近况,在各自的研究领域中对一些重要的成果做简要介绍,其中我的文章《西方道义逻辑的形式化研究》介绍了哲学逻辑研究范畴中广义模态逻辑的分支—道义逻辑的形式化方面的一些最新研究成果;魏燕侠的文章《正规模态逻辑完全性理论研究综述》介绍了属于哲学逻辑中最重要的分支—模态逻辑的重要问题之一正规模态逻辑完全性理论的最新研究成果;郝旭东的文章《弗协调逻辑的发展及现状》介绍了属于哲学逻辑研究范畴中广义模态逻辑的分支弗协调逻辑的最新研究成果;史?的文章《论情境语义学研究的发展》综述了逻辑学和数理语言学的交叉研究中最新的理论情境语义学理论的研究成果。     

《逻辑哲学论》的逻辑观

维特根斯坦在《逻辑哲学论》中所提出的逻辑命题是重言、是形式的观点，对于本世纪哲学家们的逻辑观给予了决定性的影响。本文对《逻辑哲学论》的逻辑观、它的基本的理论假定、理论背景及影响作了探讨，并就它的评价问题阐明了个人的意见     

论《逻辑哲学论》的节奏性、简单性与隐喻性:一种修辞学的解释

本文从修辞学的角度出发,分析了维特根斯坦《逻辑哲学论》的修辞学形式,即它的节奏性、简单性和隐喻性,并在此基础上,剖析了维特根斯坦采用这种修辞学形式的意图以及这种修辞学形式与其思想的关系,即:通过为《逻辑哲学论》铸就独特的修辞学形式,维特根斯坦赋予这部著作以艺术作品的特质,从而拉开其哲学命题与自然科学命题的距离,并由此使自己摆脱思想的悖论;不论是对《逻辑哲学论》的写作还是在其中对哲学问题的思考,他遵循的都是简单性原则,并使之成为真理的标准和哲学思考的要求;不仅如此,他还通过《逻辑哲学论》的形式结构隐喻性地彰显其宗教情怀或对不可说者的敬畏.     

奠立分析理性:亚里士多德《范畴篇》的哲学与逻辑思想

亚里士多德在“工具论” 中的首要之作《范畴篇》,既是他和其老师拍拉图在思想上分道扬、建立前期形而上学的哲学纲领,也是他着手创建逻辑学的奠基之作。《范畴篇》紧密交融着哲学与逻辑思想,运用哲学与逻辑的意义分析,论析主范畴、次范畴与后范畴,建立了一个创新的范畴系列。《范畴篇》奠立了一种分析理性,它对发展西方哲学中的科学理性传统,对亚里士多德建立自己的哲学体系,都是有重要意义的。     

维特根斯坦与逻辑经验主义

《逻辑哲学论》的目的是为了分清可说的和不可说的界限。不可说的东西不是由证实原则决定的,也不是由逻辑形式的界限决定的,而是由于我们语言的界限,我们无法表达它,对此只好沉默;《逻辑哲学论》对逻辑经验主义的影响主要有两个方面,其一是逻辑经验主义者的哲学倾向与维特根斯坦十分近似,其二是逻辑经验主义者曲解维特根斯坦的思想,引为己用。     

简单性：理解维特根斯坦前后期哲学差别的切入点

在维特根斯坦前期代表作《逻辑哲学论》中,维氏把绝对简单对象作为先天预设来建构其逻辑图像论;在后期代表作《哲学研究》中,维氏则以分析简单物与复合物的相对关系为基础提出了语言游戏说。因此,研究维氏对简单性的论述,就为从发生学的意义上理解其前后两种哲学的差异提供了一把钥匙。     

罗素《论指称》研究的一个教条

罗素的《论指称》一文在研究成果中存在着一个教条,即该文的主旨是解决"非存在物"、"同一律失效"与"排中律失效"这三大哲学难题。实际上,罗素在1903年《数学原则》中的指称理论足以解决这三大哲学难题。《论指称》只是罗素解决悖论系列工作中的一部分。它为罗素提供了一种解决悖论的工具,即摹状词的逻辑分析方法。通过这种方法,罗素成功地消除了引发罗素悖论的"那个由不包含自身的类所组成的类",并维护了《数学原则》中的非受限变元原则。     

书刊简讯

英国《哲学杂志》发表罗素专辑英国《哲学杂志》1960年1月号发表了“罗素哲学”专辑,共有三篇文章。奎因顿的“罗素的哲学发展”一文,评述了罗素近著《我的哲学发展》(该书主要内容可参阅本刊1959年9月号译载的一篇书刊评介:“罗秦近著:《我的哲学发展》”);莱裘斯基的“罗素描写学说的再考察”一文,认为描写学说在罗素的逻辑体系和哲学体系中占有极其显著的地位,并已成为近代逻辑的重要部分;孟罗的“罗素     

[英]B·F麦金内斯博士来我校作学术报告

麦金内斯博士(B. F. McGuinncss)是国际著名的研究维特根斯坦的专家,现任教于英国牛津大学皇后学院。作为逻辑经验主义在牛津大学的重要代表之一,他对维特根斯坦以及分析哲学的研究有很深的造诣。1961年,他与皮尔斯(F. P. Pears)合作,重译了《逻辑哲学论》这一维特根斯坦早期的重要著作。美国最有影响的哲学刊物之一《精神》称赞“这个译本已达到了圆满的地步”。此外,他还参加主编了《维也纳学派丛书》,并且撰写了不少具有很高学术水平的有关维特根斯坦的论文,如《维特根斯坦的<逻辑哲学论>中的语言和实在》等。在最近一届国际维特根斯坦哲学讨论会上,麦金内斯博士是大会主席之一。     

《公孙龙子》的逻辑正名思想

本文认为,公孙龙是逻辑正名理论的开拓者,其《名实论》是一篇以“正名”为旗帜的文章,《白马论》是对《名实论》逻辑正名思想的补充和发挥。公孙龙第一次从理论的高度提出“唯乎其彼此”的逻辑正名原则,揭示了逻辑正名的性质、要求和方法。正名理论在中国古代哲学中曾...     

黑格尔《小逻辑》绎注(之一)

本书的内容,是逐节讲解《小逻辑》原著,并作比较详细的注释。关于黑格尔逻辑学的基本论点,我在《论黑格尔的逻辑学》一书中已经作了评述,这里不再重复。 一版序言 黑格尔亲自发表的著作有四:第一,《精神现象学》(1807);第二,《大逻辑》(1812—2816);第三,《哲学全书》(初版:1817,第二版:1827,第三版:1830);第四,《法     

试谈恩格斯《费尔巴哈论》的方法论

《费尔巴哈论》(即《路德维希·费尔巴哈与德国古典哲学的终结》)是恩格斯专门论述马克思主义哲学与德国古典哲学的关系问题的主要著作之一。它不但在理论上系统而科学地回答了马克思和恩格斯本人是如何从黑格尔哲学“出发并且怎样同它脱离,”以及费尔巴哈如何成为“黑格尔哲学和我们的观点之间的中间环节”等重大问题,并叙述了马克思主义哲学的产生史和最基本的原理,而且更主要的是,在这本著作中恩格斯运用了马克思的《资本论》中的辩证科学方法,从历史唯物主义立场出发,通过由历史的和逻辑的统一、由     

走中国学派工程哲学研究的道路——评徐长山的《工程十论——关于工程的哲学探讨》

2010年，石家庄铁道大学徐长山教授的《工程十论》（西南交通大学出版社）出版了。在《工程十论》中，作者运用唯物辩证法的观点，对工程的主要特性进行了哲学分析，从而把中国学者开创的中国学派的工程哲学研究推向深入。《工程十论》是一部有独到见解、有学术价值的著作，它鲜明地反映了中国学派的指导思想，突出体现在如下的问题上：     

冯契对中国哲学古代和近代两种传统的创新性探索

冯契在中国哲学史研究领域的贡献之一便是创新性地探索了中国哲学的古代和近代两种传统。在他看来,中国古代哲学传统表现为对性与天道等形上智慧的追求,重视培养和造就理想人格,较充分地关注和发展了辩证逻辑。中国近代哲学在展开过程中,渐渐形成了历史观的革命性变革、知行被赋予实践内涵、思维方式的科学转型、推崇唯意志论等近代传统。冯契在《中国古代哲学的逻辑发展》一书中揭示了中国古代哲学的逻辑展开传统,而在《中国近代哲学的革命进程》中则率先提出并论证了中国近代哲学的革命传统。     

关于语言论的回归

日本东北大学教授野家启一和大阪大学教授鹫田清一在日本《情报知识的含义》(1999年版)上刊文指出,20世纪哲学的特征之一,即是对“语言”的显著关心。事实上,从弗萨尔的《逻辑学研究》(1900年)开始,到维特根斯坦的《逻辑哲学论》(1921年)、卡席拉的《象征形式的哲学》(1923～1929年)等,这些代表着20世纪的哲学著作,在某种形式上都以语     

思维、直观、构造——胡塞尔《现象学的观念》基本思想初探

胡塞尔的《现象学的观念》一书在其生前没有发表过,一直到1947年,才由胡塞尔文库作为《胡塞尔全集》第二卷出版。它的出版,对我们理解胡塞尔的思想及其发展有着特别重要的意义。它是我们理解胡塞尔从《逻辑研究》到《纯粹现象学和现象哲学的观念》的发展的重要材料来源。在《逻辑研究》中,胡塞尔根据布伦坦诺的思想,把现象学叫做描述心理学。1903年左右他开始意识到描述心理学仍然是自然实证的科学,因此它不可能成为逻辑和数学的基础。尽管描述心理学对长久以来建立的经验心理学有贡献,但是为了给逻辑、数学和所有其他的自然科学提供最终绝对的基础,还必须发展意识的哲学的其他形式,这就是胡塞尔在《现象学的观念》中首次提出的先验现象学。     

真假值、蕴涵与基本规律

在罗素与怀特海的《数学原理》一书出版后,逻辑家开始把命题逻辑看作是数理逻辑的起始和基本部分。他们先研究论述这个部分,接着探讨谓词逻辑。因为“在类论内必须用命题论的原理进行演绎,而在命题论内……不必用类论的原理”。这样来构造整个现代的形式逻辑的内容体系,我认为是顺乎自然的,也是严密的。但是,有些人,如匈牙利哲学     

论哲学最高问题——写在《路德维希·费尔巴哈和德国古典哲学的终结》发表一百周年

恩格斯的《路德维希·费尔巴哈和德国古典哲学的终结》(以下简称《费尔巴哈论》)一书写于1886年,最初发表在德国社会民主党的机关刊物《新时代》杂志第四期和第五期上,至今整整一百周年了。《费尔巴哈论》是马克思主义极为重要的哲学著作之一。在这部著作中,恩格斯系统地阐述了马克思主义哲学的基本原理,论证了马克思主义哲学是无产阶级唯一科学的世界观和方法论。这部著作是恩格斯留给我们的一份珍贵的哲学遗产。这份珍贵遗产“在今天也还具有充分的价值”,我们必须很好地把它继承下来。