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

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

论情境语义学研究的发展

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

弗协调逻辑的发展及现状

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

我校政治系广邀国内外名流主办哲学讲座

为了加强对近几年来哲学、逻辑学、伦理学、美学、社会学研究情况的了解,活跃学术空气,扩大学术交流,我校政治系特邀中国人民大学副校长、中国伦理学会理事长罗国杰教授,日本东京青山学院大学坂本百大教授以及中国人民大学马玉可、蕲辉明、郑杭生、汪永洋、吴树青、许征帆、黄顺基、李德顺、葛荣晋、丁子霖等教授、学者来校讲学和进行学术交流。讲座于五月八日开始,五月二十二日圆满结束。     

追求真理 坚持真理 服从真理的一生——论金岳霖先生所走过的道路

金岳霖先生离开我们已一年多了。金老是我国近现代能在深层次上把握西方哲学,并能结合中国哲学特点,建立起自己独立而完整的哲学体系的、为数不多的著名哲学家之一。早在1937年他在《逻辑》一书中就引进了罗素的数理逻辑系统,将西方近代逻辑移植到我国,大大发展了我国的逻辑学,从而在三、四十年代,就使我国的逻辑水平超过了日本和苏联等国的当时水平,在国际上居于先进行列。金老数十年的辛勤劳动,为我国培养了一代又一代的逻辑人才。今天,逻辑界的同志很多是金老的学生或者是再传、三传、四传的学生。金老对我国近代逻辑学的植根和发展作出了卓越的贡献,是我     

户坂润及其空间论简介

户坂润生于1900年,在日本军国主义崩溃的前夕,1945年8月9日被法西斯势力害死狱中。他结合二十世纪初期的科学成果和日本的实际情况,创造性地研究了马克思主义哲学;在极度困难的条件下,他把宣传马克思主义作为己任,视死如归,表现了一位马克思主义思想家的高尚情操(参看户坂长女岚子著《回忆户坂润》189—193页,日本三一书房1948年版;转引自中冈哲郎编《户坂润集》479、489页,此书为《日本近代思想大系》第28卷,日本筑摩书房1976年2月版)。     

读一点读一次还读不懂的书--序《黑格尔〈小逻辑〉解读》

《小逻辑》是黑格尔哲学思想尤其是逻辑学思想的精粹.郑又成教授的新著《黑格尔〈小逻辑〉解读》一书,是一本研读《小逻辑》的导读性著作,具有注重世界观、突出方法论、紧扣闪光点、挖掘新意蕴的特色,对于马克思主义哲学的深入研究具有较高的参考价值.     

《金岳霖逻辑哲学述评》简介

陕西人民出版社新出版的《金岳霖逻辑哲学述评》,是目前能够见到的学术界探讨我国著名哲学家和逻辑学奠基人金岳霖逻辑哲学思想的惟一专著。该书是我校张岂之主持的国家社科基金项目“中国现代学术思想研究”的阶段性成果之一 ,由我校中国思想文化研究所张茂泽撰写 ,这也是他继《贺麟学术思想述论》完成之后的又一部力作。全书 2 5 .2万字 ,共九章 ,可分为四大部分。第一章介绍了金岳霖的生平、著作及其逻辑学、逻辑哲学贡献。第二、三章则围绕金岳霖对逻辑学的界定等六个方面 ,介绍了金岳霖的逻辑学思想。作者认为 ,逻辑学是金岳霖建立其逻…     

一次具有国际意义的学术盛会——《东亚符号学研讨会》在湖北大学举行

东亚符号学研讨会于1992年10月27日至11月1日在湖北大学举行。来自国内外的50多位专家学者参加这次会议。 10月27日上午举行了开幕式,湖北大学校长徐章煌教授致开幕词。国际符号学会会长,波兰华沙大学佩尔茨(J.Pelc)教授;国际符号学会理事,中国逻辑学会副会长兼符号学专业委员会理事长,湖北大学李先焜教授;日本记号学会前会长,东京青山学院大学坂本百大教授;湖北省教委副主任陶醒世教授相继致词。佩尔茨教授对这次研讨会的举行给予了很高的评价,他说:国际符号学会是一个国际性的组织,没有东亚符号学的研究,这个学会的研究将是不完全的,仅是局部性、区域性的。因此,这次会议的举行不仅对东亚,乃至对整个世     

逻辑学术界的一件盛事--祝贺《逻辑与知识创新》的出版

黄顺基等主编的《逻辑与知识创新》一书 ,于 2 0 0 2年 4月由中国人民大学出版社出版了。这是国内逻辑学界的一大盛事 ,值得热烈祝贺。1 998年北京逻辑学会特邀黄顺基老教授作题为“逻辑·知识创新·素质教育”学术报告 ,反映十分热烈 ,在逻辑界引起了共鸣。这个报告的主题关系到我国逻辑学教学与研究如何适应时代要求进行改革的大事及振兴的关键所在 ,所以黄顺基教授同意了苏越教授的建议 ,在报告提纲的基础上加以充实 ,撰写一部专著 ,定名为《逻辑与知识创新》。 (以下简称《创新》)该书的主题宗旨在其“绪论”中说得十分明白 :“在知识经…     

论黑格尔逻辑学的体系和性质

黑格尔在他的《逻辑学》中给自己规定了两项任务,一是要改造旧的形而上学(即哲学);二是要改造旧的逻辑学。他认为旧形而上学缺少形式,需要把它形式化;旧逻辑学缺少内容,需要把它内容化。于是,他以唯心主义的思维与存在同一性原则为基础,运用他的辩证法,构造了一个哲学与逻辑统一的范畴体系。他把这个体系叫做《逻辑学》,在这个体系中实现了他所提出的上述两项任务。本文试图就这个逻辑体系如何、这种逻辑有哪些主要性质,谈一谈粗略的看法。     

日本大阪市立大学本间教授来校讲学

应上海大学文学院法律系的邀请,日本大阪市立大学法学部教授本间辉雄先生于今年10月12日至13日专程到上海大学文学院讲学。本间辉雄教授是法学博士、曾任法学系主任,目前还在大阪市政府咨询委员任职,他在商法方面已积累了近40年的教学经验,著作甚丰,在日本法学界有较大影响。本间辉雄教授在这次讲学期间作了题为《现行日本商法的结构和今后的课题》,《日本企业的组织结构及其法律问题》等报告,并与法律系的部分教师进行了     

杨祖陶先生首译黑格尔《耶拿逻辑》座谈会在武汉大学举行

2012年12月28日,由人民出版社、武汉大学哲学学院共同主办的杨祖陶先生首译黑格尔《耶拿逻辑》首发式暨座谈会在武汉大学举行。《耶拿逻辑》(全名为《耶拿体系1804-1805:逻辑学和形而上学》由国内著名哲学家、翻译家、武汉大学教授、86岁高龄的杨祖陶先生首次译出,已由人民出版社出版。     

高师开设逻辑课的重要意义

当前,国内一些高等师范院校和工科院校总结汲取国内外教学和科研经验,积极准备或已经开设了逻辑课。这是一项关系到提高教学质量,更好地培养人材,提高中华民族思维水平的重要措施。逻辑学是一门工具性科学。逻辑学的创始人亚里士多德的逻辑论文辑成专辑之后取名为《工具论》,他认为逻辑学是思想的武器,认识的工具,科学的方法。培根的逻辑     

户坂润《科学论》的哲学思想

户坂润(1900-1945)的哲学在第二次世界大战前已经达到了日本马克思主义哲学的最高水平。他以唯物主义哲学为武器,对猖狂一时的日本法西斯主义及其支持者日本主义的意识形态进行了不懈的、丰富多采的活跃斗争。他是对日本帝国主义进行理论斗争的最后一个组织“唯物论研究会”及其机关杂志《唯物论研究》的组织者和指导者的中心人物。户坂因《唯物论研究》被迫解散而被检举。在被拘留期间,他仍然意气昂扬,理直气壮地说:研究唯物论,绝对无罪。并对审判官宣扬唯物论的正确性。下狱后由于     

冤案逻辑概论

法律逻辑尚有一些领域有待开发,冤案逻辑就是其中之一。逻辑研究的主要对象是思维形式。思维形式分为正确的和错误的两类。一般的逻辑著作大都研究和阐述正确的思维形式,而专门或系统地研究错误思维形式的,则寥如晨星,特别是专门系统研究诉讼中错误思维形式的专著更未见问世。其实很多对象,从反面进行研究能予人以重大的启迪,冤案逻辑这一概念就是由此而提出的。我校梁国钊教授的《失败的科学》、日本学者野崎昭弘的《诡辩逻辑学》也是着重从事物的反面进行研究的。     

王延直逻辑思想述要

王延直是我国现代第一位吸收国外逻辑学研究成果，并自行撰写逻辑学教科书的著名学者。在他撰著的《普通应用论理学》一书中，关于名词即概念的划分理论；关于命题主、宾词充满与不充满的理论；关于命题对当的理论；关于逻辑误谬的理论等，有相当领先水平，对推动我国逻辑学的发展有不可磨灭的贡献。     

关于语言论的回归

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

论弗雷格“真”的逻辑思想

作为现代逻辑和分析哲学的创始人,弗雷格认为逻辑学的研究对象是真。在逻辑学中,真既可以做谓词,也可以做形容词,并且与句子有着密不可分的关联。为了获得真,他开创了一种形式语言的方法,从而为现代逻辑和分析哲学奠定了研究的＂范式＂。     

逻辑学的大趋势

改革,朝何处去?逻辑学界的有识之士也在奋力地探寻着。新近出版的由李先焜教授编著的《逻辑基本知识》则呈现出逻辑学教改的大趋势,代表着逻辑学发展的新方向。新在何处?何以为趋势?本文将从这两个方面展开。