自然语言逻辑研究的现状与趋势

"自然语言逻辑是20世纪70年代以来在现代逻辑基础上发展起来的新学科,是当今逻辑领域中极具生命力的重要分支."[1]本文将在阐释什么是自然语言逻辑的基础上,扼要分析其研究现状、发展趋势.     

周礼全自然语言逻辑思想综述

周礼全先生是我国传播现代逻辑的主要逻辑学家之一 ,他不仅从事现代逻辑的基础理论研究 ,而且一直关注和思考现代逻辑的应用问题 ,提出形式逻辑要结合自然语言 ,是我国自然语言逻辑研究的开创者。自然语言逻辑 (或自然逻辑 )是 2 0世纪 70年代以来在现代逻辑基础上发展起来的、以自然语言中的逻辑问题为研究对象的新学科。目前自然语言逻辑还处在草创阶段 ,但却是逻辑领域中很重要和很有发展前途的一个分支。由于自然语言本身的复杂性以及现代数理方法的多样性 ,自然语言逻辑出现了从不同角度进行研究的思路 :如格莱科夫 (Ｇ Ｌａｋｏｆｆ)…     

逻辑学的新分支--博弈逻辑研究现状分析

博弈逻辑(Game Logic)是博弈论和逻辑学相交叉的一个新的研究领域,属于应用逻辑范畴.纵观20世纪逻辑学的发展,逻辑学已不同程度地向各学科领域渗透,各个学科的发展又为逻辑学研究提供了许多亟待探索的新问题和新视域.逻辑学正从单一学科逐步形成既相对独立又有内在联系的诸多学科组成的庞大的学科群体,新的分支不断涌现.而逻辑学与博弈论的结合,为研究者提供了一个新的领域.本文对博弈逻辑的研究现状做一分析,希望能引起更多的学者对这一领域的关注,从而使逻辑学这一新的分支学科得以迅速发展.     

经典数学的逻辑基础

<正>经典数学理论的逻辑完全是一阶逻辑还是也需要二阶逻辑?逻辑学家对此一直有争议。这种争议大约开始于20世纪20年代,但是似乎直到现在还未尘埃落定。在普遍接受反基础主义的前提下,数学基础的研究任务不再是为数学的各个分支寻找最大程度上免于理性怀疑的基础,而是在重构数学分支的过程中给出各个数学分支间的关系,描绘出数学的大图景。在这样的背景下,数学基础的研究不     

关于应用伦理学本质特征的论争

[编者按]应用伦理学的勃兴,对于中国伦理学的创新与发展,以及众多社会实践课题的解答,都具有极其重要的理论和现实意义.新年伊始,本刊特发表中国社会科学院应用伦理研究中心的一组评论性文章,对近年来我国应用伦理学各个重要分支学科的研究做一些回顾、分析、总结和展望,以期促进应用伦理学研究的拓展与深化.     

现代逻辑的抽象化趋势——概述抽象代数逻辑的产生和发展

现在的逻辑学已发展为内容丰富、分支众多的学科。随着研究成果的日益丰富,逻辑学向更抽象化的方向发展成为必然,抽象代数逻辑就是这种趋势下产生的一种逻辑形态。要了解这种逻辑的产生,就要从现代逻辑的两个研究方法———对逻辑进行代数化处理和使推理概念形式化或符号化——     

新版《哲学逻辑手册》的内容结构

由盖贝和冈瑟纳主编的<哲学逻辑手册>(第二版)(Gabbay,D.M.,&Guenthner,F.,Handbook of Philosophical Logic, Second Edition, Kluwer Academic Publishers)正在陆续出版.其作者都是目前正活跃在逻辑学界的各个分支的前沿专家.手册各章独立成篇,为世界各国的逻辑研究者们进一步研究提供了一个新的起点.1983～1989年四卷本的第一版<哲学逻辑手册>出版之时,逻辑已经在计算机科学和人工智能领域获得了基础性的地位.     

现代模态逻辑探源

现代模态逻辑由完全性理论、对应理论和对偶理论三个主要学科组成。它们是模态逻辑的三大支柱理论,都在20世纪70年代中期奠定了基础。在历史研究中,模态逻辑还有三大传统(句法传统、代数传统和模型论传统)、[1]三大阶段(句法阶段、经典阶段和现代阶段)[2]的说法。模态逻辑发展到现在,     

对模态和可能世界概念的哲学考察

模态逻辑是现代逻辑的一个蓬勃发展的分支。它所取得的许多重要成果对逻辑的其他分支产生了深刻的影响,同时也为逻辑哲学和语言哲学研究提供了新课题。因此对它的基本概念和主要方法在理论上进行研究就十分必要了。目前国内涉及这方面的文献不多。本文仅就模态和可能世界这两个概念及其有关问题作哲学的考察。     

全国现代逻辑学术研讨会综述

<正>2010年4月25日至26日"全国现代逻辑学术研讨会"在北京大学举行。会议由北京大学哲学系主办,中国逻辑学会现代逻辑专业委员协办。来自全国各高校和研究单位的二十多位专家、学者、博士生在会上作了学术报告,内容涉及到数理逻辑、哲学逻辑和逻辑哲学的多个分支和领域。这些报告展示了我国逻辑学目前发展最新的研究成果。