近几十年来，随着自然语言处理这一研究方向的兴起，语言学、逻辑学、计算机科学（尤其是自然语言信息处理方向）更紧密地结合在了一起。高度发达的计算机信息技术要求人们在逻辑的框架内去描述自然语言的特征。逻辑的......
在逻辑学发展的历史长河中，中世纪是逻辑学发展的重要时期。“逻辑在中世纪思想文化中占有十分重要的地位。中世纪学者对逻辑的学习与研究不仅非常普遍，而且也十分深入。”(王路，见奥卡姆，译者序第2页)指代理论......
古今中外，逻辑派的“不矛盾律”(“不”律)向来居主导地位；有些著书辩护它，有些锐意信持它，而绝大多数是不经意地默认它。但是，“不”律向来也受到辩证派“矛盾律”不断的挑战；欧布里德的“说谎者”和赫拉克利......
从1995年开始，张清宇在《哲学研究》上发表了一系列的论文，为经典命题逻辑提出了一种括号记法并做了较系统的研究。在这一记法中，括号兼具了命题联接词的作用：给定任意有限多个命题，可以把它们并置起来成为一......
经典一阶逻辑的希尔伯特型系统Z以一类广义的谢夫竖函数为初始联结词、以存在量词为初始量词，把两者结合起来统一写成括号记法。下面按照逻辑系统研究的一般过程，首先给出系统的句法，然后给出其语义，在此基础上建......
罗素出身于一个政治家庭。祖父曾经两次当英国的首相，父亲很年轻的时候也参加过竞选议员的活动，祖母曾要他进入政治生活，并且还有过使他作一个英国驻外某大使馆的外交官的安排。在第一次世界大战时期和以后，他自己......
近年来我一直在谈论一个观点，即应该以“是”来理解和翻译西方哲学中的“being”，并且应该把这样的理解贯彻始终。在具体的研究论述中，我说过，亚里士多德逻辑的核心句式是“S是P”，他的形而上学的核心是“......
非单调性是人工智能逻辑中的一个核心概念。把非单调逻辑运用于法律领域已成为当今国际人工智能研究的一个主要方向，许多人工智能专家都研究了基于非单调逻辑的法律论证问题。Brewka认为，在没有数学那么理想的......
现代史学家通常把中国古文化的早期称作河洛文化，意指以黄河及洛河流域为中心发展起来的文明文化，而河洛文化的本源则来自河图与洛书。河图、洛书不仅是中国古文化的起点，而且是中国古代的哲学观念、思维方法和思维......
演讲人简介：杨玉良，男，汉族，1952年生于浙江海盐，中国科学院院士，教授，博士生导师，国务院学位办主任、教育部学位与研究生司司长，教育部“长江学者计划”特聘教授，《化学学报》副主编、《中国科学》、《......