组合范畴语法产生和发展的动因之分析--从句法演算的角度看

AB-演算刻画句法推演能力太弱,许多合语法的语句在 AB-演算中没有合适的推演形式.斯蒂德曼(Steedman)在 AB-演算基础上增加组合规则,产生了标准的组合范畴语法 CCG;CCG 刻画推演能力太强,不仅能推演出所有合语法的语句,而且可以推演出不合语法的语句;为制止非法句子的可推演性,就需要对推理规则做出限制,因为各种自然语言的特殊性,这种限制又会因语言而异,导致 CCG 失去一定的普遍性.鲍德里奇(Jason Baldridge)和克鲁伊夫(Geert-Jan M . Kruijff)把模态词引入 CCG,由此产生了多模态组合范畴语法MMCCG;MMCCG 摒弃了 CCG 的限制规则的策略,在词法上控制组合规则的适用性,不同语言语法的区别仅仅体现在词汇上,使语法逻辑走上了完全的词汇主义道路.     

信息时代的自然语言逻辑研究特色

当今,计算机人工智能科学迅猛发展,语言信息处理技术一日千里。知识经济时代就是信息处理的时代,70-90年代的国际逻辑学研究不得不受到这个时代特色的影响,至少在自然语言逻辑的领域内出现了以下几个方面的特征：关注语言信息的效...     

主持人语

美国的知识产权法学研究及法律实践在全球具有一定的领先优势。本期的"知识产权与产业发展"栏目收录的两篇文章即涉及对美国相关经验的梳理及借鉴,且都聚焦于对知识产权的合理限制。郑书前副教授的《中美环境技术专利强制许可制度比较》一文对中美两国环境技术专利强制许可立法与司法实     

从DRT动态语义学视角看自然语言条件句和蕴涵概念

自然语言复合句中的条件句、选择句和并列句,分别对应经典逻辑的蕴涵式、析取式与合取式。基于蕴涵公式确立的经典命题逻辑产生了所谓"蕴涵怪论"问题,而在经典蕴涵公式基础上构造的各种逻辑系统也出现了如"道义悖论"、"逻辑万能"等各种疑难问题。问题的症结在于蕴涵公式不同于自然语言的条件句,确切说,"蕴涵"并不是对条件句的贴切抽象("析取"和自然语言的选择句也有类似问题)。我们注意到,从当今DRT等动态语义学对自然语言条件句分析的独特视角,可以找到解决上述问题的新思路。     

刻画自然语言聚合语义的逻辑系统

自然语言的聚合语义研究表明专名的合取、全称或数目名词的聚合用法以及普通名词的复数等特征的语义分析都需要区分原子个体和聚合个体的思想。本文在一阶逻辑的框架内描述自然语言的聚合语义，采用递归定义由原子个体域生成扩展的个体域，从而确立解释聚合语义的结构，据此构筑聚合谓词逻辑的公理系统，并证明其可靠性和完全性。     

论形式语义学

阐述了形式语义学关于"语法"、"句法和语义",以及"语词和语句"等概念。传统语言学所谓语法讲究对语言符号串线形排列的成分分析,现代生成语言学的Chomsky学派认为语法就是有关语言层次结构的由小到大的生成规则,类型逻辑语法等形式语义学理论所谓的语法是指基于逻辑推演的关于自然语言的运行规律;形式语义学强调句法和语义的对应,这是形式语义学的灵魂;形式语义学在语句领域取得了较大成功,而语词领域是语言学侧重的研究方向。从形式语义学比较语言学的不足可以看到其未来发展的思路。     

主持人语

正中国逻辑学会所属形式逻辑、语言逻辑、符号学、归纳逻辑4个专业委员会联合主办的"逻辑应用、逻辑教学2014年学术大会"于2014年6月在成都成功召开,交流论文50余篇,许多是上乘之作。本栏目将选录一部分优秀论文,分期刊出,以飨读者。本期刊出8篇。杜国平教授的《批判性思维辨析》一文对"critical thinking"一词的通常译法——批判性思维,提出了质疑,他通过对19位批判性思维专家的问卷调查,得出在汉语的文化语境中,"critical thinking"的合适译     

主持人语

正本期推出5篇论文。其中2篇是基础性研究:李娜教授等的《量化核证逻辑QLP概观》,介绍了QLP的公理系统、模型及其应用。QLP是一种表达力较强的逻辑,填补了核证逻辑在量化部分的空白。QLP公理系统以及对应的模型在表现形式上有些复杂,本身还有许多问题有待研究。喻莉姣博士的《同源的多层次性》,讨论的是科技哲学中的同源问题。从生物学角度看,同源概念可以区分为:分支分类学的同源、系统发育学同源、个体发育学同源以及分子同源。区分同源的不同层次,依据同源现象的多学科解释     

从组合原则的角度审视DRT

话语表现理论DRT(Discourse Representation Theory)的组合性问题一直受到学界关注。DRT的组合问题,涉及到DRS(Discourse Representation Structure)自身的构造问题,还涉及到DRT能否为自然语言提供组合的语义表征,即像蒙太格语法MG(Montague Grammar)那样做到句法和语义的对应。不少学者尝试给出组合版本的DRT。Jan van Eijck和Hans Kamp为解决DRT的组合问题,对DRS进行合理的重构。Zeevat,Muskens,Eijck和Kamp等人也从自然语言的句法生成和DRS的构造关系的角度思考DRT关于句法和语义的对应话题。     

主持人语

正陈晓平教授的论文《冯友兰与李约瑟问题》与黄欣荣教授的论文《大数据时代的思维变革》很值得一读。陈文探讨了闻名遐迩的李约瑟问题与冯友兰问题之间的关系以及冯友兰对问题的解答。指出李约瑟问题带来的问题是:很大程度上将作为近代科学的狭义科学与包括古代技术的广义科学混为一谈;而早于李约瑟问题提出的冯友兰问题,涉及更为深刻的问题:数学演绎和实验归纳的逻辑方法为什么产生于西方而不是中国?冯友兰对这一问题的回答超越方法论层面,深入到"顺从自然"和"对抗自然"的基本人生取向。黄文探讨了大数据这一热点话题,认为大数据革命是一场影响巨大的科学技术革命,必将