本期导读

本刊专稿:本刊编委、博士后姜爱林教授等在《国有资本经营预算制度研究概述(上)》中,以广泛搜集的近年有关资料为基础概述了:国有资本经营预算制度研究的背景;国有资本经营预算制度的概念、特征、目标与依据;国有资本经营预算制度的构架设计、各类模式与预算体系构成;国有资本经营预算制度的合理定位、编制主体与监管体系。本刊编委邹崇理研究员等在《论形式语义学》中,阐述了形式语义学关于“语法”、“句法和语义”,以及“语词和语句”等概念,通过分析,认为类型逻辑语法等形式语义学理论所坚持的主要原则是:把对自然语言的语法分析转换成…     

菲尔摩的格语法体系解析

菲尔摩的格语法是在生成语法框架下提出的但又不同于生成语法的句法理论。菲尔摩《"格"辨》一文中格、格框架以及深层格等核心概念的提出以及格语法体系的建构,显示菲尔摩创建格语法的目的在于以语义功能角度定义的格为基础来追求语法描写中语义与句法的融合,进而实现对乔姆斯基转换语法的修正;格语法的意义在于开启句法语义的系统研究。     

蒙太格语法产生的历史背景

蒙太格语法是由美国逻辑学家理查德·蒙太格创立的一种形式语言理论,是在一阶逻辑的基础上,通过对语句的结构和赋值增加了某些强有力的形式工具而形成的.形式语言包括(i)一阶谓词逻辑,(ii)模态算子,(iii)时态算子,(iv)兰姆达抽象,(v)形成谓词内涵和外延的算子.蒙太格提供了一个类型论的结构,这种结构允许对每种表达式加以量化.蒙太格的形式语言又可称之为内涵语言.他依据个体,真值,可能世界和时间座标以及所有这些的函项概念给出了内涵语言的的一个模型.内涵语言使我们能给出对自然语言语句的间接解释.其方法是,首先将语句映射为内涵逻辑中的翻译语言,然后给出这种语言的解释.本文主要阐述蒙太格语法产生的历史背景,阐述奠定了蒙太格语法基础的逻辑和哲学中的语义学早期传统,并将这种传统与语言学中的语义学传统相对照,后者表现出了与蒙太格理论的重大的和富有争议的不同.     

从生成语法的角度看语用分析

语法和语用虽然是语言学研究的两个不同层面,甚至生成语法奠基人Chomsky强调句法自立,把句法看作是一个自足的形式系统,主张句法研究要独立于语义因素,尽量从内部寻求解释,但是语言作为人们交流的工具,更看中的是其话语交流的功能价值。因此,语法的研究从根本上而言应该是为语言的应用即语用做准备的,两者关系密切。     

数据库语义学在古汉语自动分析上的应用

在以认知为基础的面向计算机和人工智能领域的语言学框架下,对古汉语的自动句法语义分析进行研究,希望能对古汉语教学与研究,以及现代汉语的分析和处理起到一定的推动和促进作用.运用以左结合语法为基础的数据库语义学方法对古汉语的两个基本结构（函词-论元结构和并列结构）进行自动句法和语义分析,以可接续性为前提,遵循自然语言的时间线性顺序,采用规则和模式匹配的方法,过程简便,计算效率高,且符合古汉语本身的特点.分析结束时自动生成的语义关系图清晰、准确,更彰显了数据库语义学方法的独特性、适应性以及分析能力.     

Repeat-until语句的操作语义与指称语义的等价性证明

在计算机科学中，形式语义学以数学为工具，精确地定义和解释计算机程序设计语言的含义或语义．其中操作语义学和指称语义学是形式语义学的两大类别．本文使用简单的命令式语言IMP的语法，首先给出了repeat—until循环语句的操作语义，然后详细推导出了其指称语义，并在此基础上详细证明了它们二者之间的语义等价性．     

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

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

词汇功能语法简介与述评

词汇功能语法是产生于20世纪七十年代末八十年代初的形式语法理论.这一理论框架突出了词汇特别是谓词在语法理论中的功能,同时利用语法功能这一概念将句法和语义两个层面联系起来.词汇功能语法的句法层次是语境自由的,词汇功能语法为计算机处理语言带来了便利,受到了语法学家和计算机研究人员的欢迎.     

对英语语法学派的一点了解

语法是语言学科的一个重要分支.语法是词的构成和变化的规则以及组词成句的规则的总和.词的构成和变化的规则叫做词法;组词成句的规则叫做句法.词法和句法是不同的语法规则,但是二者关系密切.第一,词总是以确定的语法形式进入句子的.例如英语的"buy"在表达"他买了一本书"的情况下要以"bought"的形式出现{He bought a book}.第二,组词成句的某些特点决定于词法.第三,词法和句法是互相补充的.语法中的任何成分是内容和形式的统一体.语法成分的内容是语法意义,语法意义的表达者是语法形式.例如英语"boxes{盒子}""girls(女孩子)"用语法形式"-s"表示复数的语法意义.把具有共同特点的语法形式概括起来就成为一种语法手段,像附加词和词序就是两种语法手段.语法最重要的特点就是它的抽象性.语法把词的变化和用词造句的基本共同之点综合起来,并用这些共同之点组成语法规则、语法定律.正如斯大林在《马克思主义与语言学问题》第二十二页中指出:语法是人类思维长期抽象化工作的成果,是人类思维所获得的巨大成功的指标.词汇也有抽象的特点.语法的抽象性是对一系列具体的词和句子而言的,而词汇的抽象性是对一系列具体的客观对象而言的.语法是语言中最稳固的部分,但它也有它的发展.语法成分的演变是语法发展中的普遍现象.有的语法成分会逐渐消失.有的新的语法成分会出现.新的语法成分有可能是从其他语言中吸收过来的.长期以来,英语语法学者一直从事英语语言结构的研究,撰写了许多语法书籍.由于他们对语法问题的研究方法、目的不尽相同,语法领域里出现了许多不同学派.本文作者简述以下几种主要语法学派,供大家对英语语法的发展有一定的了解,并且能吸收各家所长,对不同的英学习者运用恰当的语法教学方法,收到事半功倍的效果.     

基于蒙太古语义学和受控自然语言的文献信息系统的实现

基于蒙太古语义学(MS)和受控自然语言(CNL)的文献信息系统,兼具传统文献检索分类法的"符号化"和主题法的"规范词"的特点,并带有复杂的语法和语义功能;从而可以大大提高文献信息的检索和利用效率,还能自动生成规范的文献摘要,并完成不同语言之间的自动翻译.尝试实现这种文献信息系统的结构,其中包括构建语词的范畴分类和语句的函数表达式,以及自然语言-形式语言、中文-英文之间的映射(翻译)等;最后设计一个应用程序以验证该系统的若干功能.本研究表明:这种全新概念的信息组织和管理系统是可行的.     

形容词性谓语句的逻辑语义分析

自然语言的逻辑语义分析和汉语信息处理是当今众多学科共同关注的热门话题。将现代汉语中的形容词性谓语句分为光杆形容词谓语句和复杂形容词谓语句两种,并利用转换生成语法、现代谓词逻辑、类型论、范畴论、广义量词理论、集合论和λ-转换等语义理论分别对各类句子作了较详细的分析,以期有助于信息处理的相关研究。     

一种Verilog的操作语义

用形式化的方法描述了硬件描述语言Verilog的语法和语义,建立了一个Verilog的操作语义模型。分别用二元组和四元组描述Verilog非并发和并发成分的状态,刻画了不同语句的状态转换规则,并用实例描述了并发程序的执行过程,证明了该操作语义模型的正确性。     

依存语法概述

依存语法是一种诞生于1959年的基于词间关系的形式语法,它强调以动词为句子中心,其他词汇依存于动词。依存语法具有形式简单、更适合于处理自由语序的语言、与语义关系接近等优势,使得其在处理汉语句子时具有优势。     

试论状语后移及相关的句式变换

从句法、语义、语用三个平面理论出发来研究状语后移及相关的句式变换问题 ,首先分清状语后移的两种情况 :易位式状语后移和变换式状语后移 ,并且尝试从信息焦点的安排这一角度进行更为深入的探讨 ,从而说明汉语语法不仅是灵活的 ,而且也是很经济的。     

UML 顺序图的一种形式化描述方法

统一建模语言UML是一种通用的图形化建模语言,在面向对象系统的分析和设计中,它已成为了事实上的工业标准。但UML不是形式化的建模语言,缺乏精确的、形式化的语义,因此阻碍了它的进一步发展。线性时序逻辑是并发或反应式程序动态语义的一种形式化描述语言,它适合用来精确地表示模型的动态语义。本文定义了顺序图的形式化语法,采用线性时序逻辑给出了顺序图的语义描述,并通过实例分析,对模型的某条性质进行了证明,为模型做进一步分析和验证提供了基础。     

语法规则和语言现象的互动

以2009年第6期《中篇小说选刊》为语料,选取并分析了其中的类词缀、离合词和＂干吗＂类疑问句三个语法问题。通过对语言现象的分析,认为语言的语法构造是语言诸要素中最具稳定性的一个要素,但它也会逐渐发生变化,以语言现象作为催化剂,逐渐改进和改正自己的规则,促进语法系统的不断完善。     

论情境语义学的语用视角

自创立始,情境语义学被定位为自然语言语义理论或逻辑语法理论,但它有鲜明的语用视角,主要表现在:它与诸多语用研究或思想之间的渊源关系;它和语用学在研究对象或研究内容方面的一致性;它对形式语义学兼容语用研究的研究传统和当今大语义观的发展趋势的遵循。通过对自然语言条件句陈述的情境语义解释,可以看出语用因素在情景语义学中无处不在,情景语义学与语用研究中的相关理论有内在联系。     

谈复合词的动态性

复合词是句法语义的切口,也是语言学者研究的热点之一;但有关复合词动态性的研究却不多。分布形态学是句法学中新兴的一个语言学分支,可以很好地解释复合词在结构方面的动态性,它在语义方面也同样有着动态的变化。