邹崇理 作品数:87 被引量:173 H指数:8 供职机构: 中国社会科学院哲学研究所 更多>> 发文基金: 国家社会科学基金 湖南省哲学社会科学基金 教育部人文社会科学研究重大课题攻关项目 更多>> 相关领域: 哲学宗教 语言文字 文化科学 经济管理 更多>>
多模态范畴类型逻辑 被引量:1 2012年 多模态范畴类型逻辑是在组合范畴语法(CCG)和范畴类型逻辑(CTL)基础上发展起来的新方向。基于范畴语法的CCG强调函子范畴的组合运算,给各类规则中的斜线算子添加不同的模态下标,并在词库中给词条指派的范畴含有模态下标的斜线算子,从而限制了这些规则的适用范围,使描述自然语言的范畴推演进一步精细化。CTL则遵循严格的逻辑规范,对CCG涉及的函子范畴的各类规则从结构性质的角度把握其根源,用多模态范畴类型逻辑的方式涵盖了CCG各类规则。这就是CCG和CTL的融合产物。 邹崇理《逻辑,语言和意义》述评 被引量:3 1995年 本书原名为Logic,Language,and Meaning。本书的作者署名L.T.F.Gamut是虚设的笔名。它代表一个写作群体,包括:荷兰阿姆斯特丹大学哲学系和计算语言系的数理逻辑教授J.F.A.F.van Benthem,哲学副教授J.A.G.Groenendijk,哲学副教授M.J.B.Stokhof,以及该校数学系和哲学系的逻辑副教授D.H.J.de Jongh,此外还有荷兰乌得勒支大学的语言学教授H.J.Verkuyl。本书是美国芝加哥大学出版社于1991年出版的。全书分为两卷。第一卷282页,副标题为《逻辑导论》(Introduction to Logic)。第二卷349页,副标题为《内涵逻辑和逻辑语法》(Intensional Logic and Logical Grammar)。每卷依次是序言、正文、练习答案、文献注释、参考书目和索引。 邹崇理关键词:命题逻辑 内涵逻辑 类型论 现代逻辑 逻辑语法 谓词逻辑 基于句法和语义对应的汉语CCG研究 被引量:5 2013年 句法和语义对应的原则是形式语义学中最为重要的原则之一,组合范畴语法CCG更是彻底地延续了这个思想,为自然语言的计算机处理提供了句法和语义的透明接口。汉语的CCG处理在贯彻该原则时产生的问题是:句法方面获得长足进展,而语义方面却相对滞后。以汉语多重介词短语句为例,动词论元的灵活语序现象是句法和语义对应的难点之一。Hoffman提出的多重论元集CCG方法是解决灵活语序的有效手段,但在这种处理方法中,需要找出一些方法来简化形式语义的表述方式,这样才能获得与句法范畴推演相对应的语义类型推演。 李可胜 邹崇理汉语句式形式语义研究的思考 被引量:1 2009年 邹崇理 高东平关键词:语义研究 汉语句式 形式语言学 计算机信息技术 语言信息处理 逻辑学 “纪念中国逻辑学会成立30周年大会”综述 2010年 2009年10月23—26日,由中国逻辑学会主办的“纪念中国逻辑学会成立30周年大会”在四川成都举行。本次会议由四川省逻辑学会、四川大学成人教育学院、四川大学公共管理学院、西南财经大学人文学院以及绵阳师范学院文学与传播学院等5家单位承办,北京大学、清华大学等17家单位参与协办。来自全国近200余位逻辑学界的专家、学者相聚蓉城,畅谈逻辑30年发展的历程。 杜国平 邹崇理关键词:中国逻辑 逻辑语义学的方法论创新 被引量:2 2016年 逻辑语义学是用现代逻辑方法研究自然语言的句法生成及其语义组合规律的学科。哲学的理性主义和经验主义影响逻辑语义学的研究,逻辑语义学本质上奉行的是理性主义的方法。传统的逻辑语义学自20世纪70年代诞生以来,遵循理性主义方法取得了一系列成果。对经验主义方法的漠视却导致逻辑语义学面临发展的困境,其研究成果脱离自然语言的实际情况,不能满足计算机处理大规模真实文本的需求。理性主义和经验主义的兼容是方法论的创新,逻辑语义学发展的新模式——组合范畴语法CCG就是这一方法论创新的产物。 邹崇理关键词:逻辑语义学 理性主义 经验主义 问句逻辑的三种研究方法 被引量:1 2019年 问句是日常语言中非常重要的句式结构,从逻辑角度研究问句的方法也不少,其中,博弈问句模型、推理问句逻辑和探究语义学,代表了三种不同的研究思路。博弈问句模型使用图表推理的方式分析涉及问句的会话,可以比较不同提问方式的策略优劣。推理问句逻辑有完整的语义解释和句法定义,直观地刻画了问句的推理关系。探究语义学在形式上与现代逻辑比较一致,可以构建带问句的逻辑系统,统一地处理命题和问题的逻辑性质。 吴宝祥 邹崇理关键词:问题逻辑 逻辑语义 汉语NP短语的形式语义分析 被引量:2 2008年 自然语言的形式分析和计算机对自然语言的信息处理是当今时代比较热门的研究领域。以转换生成语法、范畴语法和类型论、λ-演算和时态逻辑等为工具分别对现代汉语的若干类NP短语中的领属定语、数量定语、时间定语3种类型作了较详细的形式语义分析,刻画了定语所表示的拥有领属关系、数量度量关系和时间先后长短关系,同时对不同种类的定语在句法范畴和语义类型的形式处理方面作了严格统一的处理,有助于汉语的计算机信息处理。 贾改琴 邹崇理关键词:句法规则 翻译规则 句法范畴 语义类型 晦暗语境与内涵刻画 2014年 所谓的晦暗语境是指那些使得经典逻辑中与外延相关的同一替换定律失效的语言现象。由于这一语言现象的出现被归因于经典逻辑的外延性原则,因此由蒙太古、卡尔纳普等学者所创立的内涵逻辑才被应用到对晦暗语境的解释中来,以刻画表达式的内涵。而文章将在蒙太古内涵逻辑及其新近发展的基础上说明该理论在解释晦暗语境问题上的局限性并尝试利用性质基始论对现有的理论做一个改进和修正,即不再将个体看成处理内涵问题时不可再分的基始对象,而是要进一步分析个体的性质以说明晦暗语境的出现机理以及解释方式。 贾青 邹崇理关键词:内涵逻辑 从CTL到CCG——逻辑语义学的新模式 2017年 范畴类型逻辑CTL和组合范畴语法CCG,是范畴语法CG的两个现代版本。CTL采用传统的逻辑语义学方式,其特点是强调计算的思想、基于规则的思路和研究逻辑工具本身的性质。就面向自然语言计算机处理的任务而言,CTL的短板是显然的,即对自然语言的丰富多样的具体现象,尤其是对语词的研究非常不充分。CCG则挑战传统,大胆创新,提出新的研究模式,构筑大规模的词库,关注大量的规则例的应用,以此满足了计算机的自然语言系统处理大规模真实文本的需求。而如果全面系统地考虑语义因素,CCG的词库和规则例也可能需要大的调整。CCG的下一步研究任重而道远。 邹崇理关键词:逻辑语义学