排序方式: 共有34条查询结果,搜索用时 0 毫秒
1.
现代语言研究最显著的特点之一是形式化,而形式化的基础是公理形式演绎思想。分析公理形式演绎与自然语言研究的关系可以看出,由于自然语言的句法结构和语义结构都具有递归性,因而用公理形式演绎的方法研究语言也就成为必然。乔姆斯基的形式句法学应用公理演绎思想构造出人类语言的普遍语法,形式语义学则应用该思想为实际使用的语言构造语义的形式化表征。形式句法学和形式语义学所蕴含的公理形式演绎思想,代表着自然语言研究中的理性主义。 相似文献
2.
基于伦理学视角分析囚徒困境的博弈论模型及其拓展形式,利用博弈论的语言例示“集体利益”和“个人利益”的关系,否证“每个人追求个人利益最大化就可以实现集体利益最大化”这一论断.并将其推广到未知次数的重复囚徒困境的动态博弈问题,得出“首善”和“宽容”是成功策略的两个重要因素的结论. 相似文献
3.
动态语义学 (Dynamic Semantics)是 2 0世纪 80— 90年代在西方学术界发展起来的逻辑语法理论。动态语义学主要分为话语表现理论 (Discourse Represen-tation Theory)、动态的谓词逻辑 (Dynamic Predicate L ogic)和量化的动态逻辑(Quantificational Dynamic L ogic)及动态蒙太格语法 (Dynamic MontagueGrammar)等门类 ,这些门类之间展现出一个由此及彼的发展过程 ,促进这个发展的孵化器就是类比想象的创新思维 相似文献
4.
5.
逻辑学是自然科学和人文社会科学共同的基础学科,逻辑是构筑科学理论的工具。逻辑方法渗透到各门学科中导致创新驱动:逻辑和语言学的交叉研究产生了范畴语法的重大创新;逻辑与计算机科学的交叉融合引起了计算机科学的创新发展。在我国,逻辑针对语言学以及计算机科学的交叉研究尚明显不足,造成学科创新或理论创新的乏力,需要大力推进交叉创新研究。 相似文献
6.
邹崇理 《西南大学学报(社会科学版)》2003,29(3)
刻画量化结构及其推理的汉语部分语句系统 ,其价值如下 :(1)运用广义量词理论的方法分析汉语量化结构的各种特征 ;(2 )扩大自然语言部分语句系统的功能 ,不仅从句法上可以生成由汉语量化句表述的包括对当关系和三段论在内的推理 ,还能够从语义上解释这些推理句的逻辑有效性 ;(3 )在自然语言部分语句系统内生成并解释推理 ,这是从认知角度研究推理的新视角 相似文献
7.
逻辑和语言研究的交叉互动 总被引:1,自引:0,他引:1
逻辑和语言的研究分为句法、语义和语用几个领域.在语义领域,其主要理论有蒙太格语法、广义量词理论、话语表述理论、情境语义学和类型逻辑语法.这些理论自上世纪下半叶诞生起就早现出逻辑和语言研究的交叉互动:尽管在形式语义学框架内逻辑始终强势影响着自然语言的研究,但自然语言的丰富性通过形式语义学的研究也一直作用于逻辑工具的创新. 相似文献
8.
格语法的基本思想是:自然语言语句的底层结构以动词为中心,动词的论元由动词周围具有不同格角色的名词所担任,构成复合表达式的部分表达式分为中心成分和非中心成分。格语法的分析是多分法的语法模式。在格语法看来,有时候句中围绕同样动词的名词性成分可多可少,动词的语法功能因此改变。汉语体现了格语法的动词中心思想,产生了各式各样的格语句。动词双宾语现象和动词前和动词后的多重介词短语句皆是多分法分析的例证。汉语格语句中有不少的可选格名词,这样使得其中动词的语法功能发生变化。对格语法进行范畴语法的抽象,获得一种新型的范畴类型逻辑系统:中心成分和非中心成分的区分要求积范畴分为左积和右积;多分法的分析模式使得积范畴和函子范畴的论元是多元的,动词语法功能的改变对应函子范畴的论元增添。这种范畴类型逻辑系统的框架语义中的可及关系是非单一的,构建基于这种框架的语义模型,可以证明系统的可靠性和完全性。 相似文献
9.
汉语句子具有灵活的语序,主语、宾语和状语可出现在不同的位置上而使得句义大致保持不变。从范畴类型逻辑角度看,需要提供说明汉语灵活语序的工具。因此,给出关于范畴位置移动的结构公设,构成特定的范畴类型逻辑系统,即多样模态逻辑,并给该系统的可能世界语义学的可通达关系确立相应的限制条件。其次,为说明汉语语义异常句的合理性,提出一种多体的范畴类型逻辑,构建有关的结构公设,通过相关正常语义句的推导来证明异常句的成立。此外,为强调句子生成过程中各种词类的搭配限制,从而生成合符直观和认知的句子,设想用类型一逻辑语义加特征结构的并行推演来解决这个问题,为汉语句法和语义生成的计算机实现提供理论依据。 相似文献
10.
2005年宾夕法尼亚大学的克拉克教授提出一个处理英语中非连续量词的方案。在其论文中他获得以下成果:(1)把多复合量词(polyadic quantifier)“every…a different…”当作类似“more…than…”那样的非连续量词;(2)在兰贝克后承演算(Lambek Sequent Calculus)的基础上,对涉及上述量词的句子进行了形式语义学所要求的组合分析。考虑到表述的严格性,我们对克拉克教授的处理方案进行了几个方面的改进:首先,对非连续量词的后续部分也指派λ-词项和范畴值,这样可以在由若干λ-词项和范畴的序对形成的上下文中避免出现作为自然语言词条身份的非连续量词的后续部分。其次,采用兰贝克后承演算的自然演绎表述,增加对非连续量词的各个部分进行叠置合成的规则,这样使有关的组合分析更加严格。最后,增加刻画所谓结构性质的规则,直观地显示出关于复合量词语句的类型-逻辑推演结果的非连续来源。 相似文献