论形式语义学

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

普通语义学简述

语义学是语言学研究的核心内容之一。在一定意义上,对语义学的不同认识决定了语言学研究的不同方法和方向。本文旨在运用哲学分析的方法,通过对语义学历史发展的简要回顾,对普通语义学的历史地位给予一个简要的评介。     

语义学研究述评

本文概述了100多年来语言学在语义方面的理论,简述了语义学研究的现状。认为形式语义学的进步,说明语义研究的形式化是现代语义学的显着特点。     

认知语义学评析

认知语义学批判传统语义理论,强调基于身体的经验和想像,将注意力转向人类的推理。通过对认知语义学六个主要观点即经验观、概念化、百科观、原型观、意象图式观和隐喻观进行简要的介绍并加以评析,分析结果表明认知语义学虽能解释一些传统语义学无法解释的语言现象但研究覆盖面较小,认知语义学理论亟待发展和完善。     

语义学与英语词汇教学

本文讨论了语义学的某些理论对英语词汇教学的指导.首先分析了学生在词汇学习中存在的问题以及引起这些问题的原因.然后试图从语义学角度来解决这些问题.例如,搭配法,语义场法,以及一词多义法都是词汇教学中行之有效的方法.     

比喻句的语义学探析

传统修辞学对比喻句的构成通常停留在外部句法结构层面，本文运用现代语义学相关理论对比喻句的深层语义关系展开探讨，并对比喻句基本语义类型进行了归纳分析。     

语义学视野下法律语义的不确定性分析

法律语言是贯穿于法律的制定、研究和运用过程中的文字表意系统。导致法律语义不确定的原因是多方面的，语言本身的不确定性和客观世界的复杂性是其主要原因。在语义学的视角下，法律语义不确定的表现形式比较多样。     

语义学在汉英翻译中的应用探微——兼谈双语修养的地位

本文首先对语义学从概念上进行了界定，叉从汉英翻译的现状入手，运用语义学理论从词级语义结构、句级语义结构和篇章语义结构三方面探讨了如何进行准确地道的汉英翻译，然后对英汉比较语义学在汉英翻译实践中所涉及的双语修养的重要性进行阐述。     

Verilog的一个操作语义模型

提出了一个Verilog的操作语义模型。选择了Verilog的一个子集作为研究对象,该子集包括了Verilog最重要的语言特征,如事件控制,时延,并发性等;定义了程序状态空间及其上的状态迁移系统。     

情景语义学对条件句的语义刻画

情景语义学用情景类之间的制约关系来表示自然语言语句的意义,为合理解释条件句的意义提供一个新思路。情景语义学认为条件句的意义就是其前件和后件所涉及的情景类之间的制约关系。情景语义学对条件句的语义刻画适用于不同种类的条件句,对自然语言语义学和逻辑学领域产生重要影响。     

有序类代数的操作语义

本文简要介绍有序类代数的基本概念，研究有序类等式演绎，并且给出了有序类代数上进行基于规则的项重写的操作语义。     

基于多语言范例的“形式语义学”教学辅助系统

针对简单函数式语言、 简单过程式语言和简单面向对 象式语言等多个程序语言范例, 分别定义了它们的操作语义和指称语义, 同时设计了一个“形式语义学”教学辅助系统, 用于演示不同语言范例程序的基于形式语义定义的可视化解释, 该系统使学生可以通过形象生动的动态演示和同步解释, 充分理解和掌握程序设计语言的形式语义及其实现.     

从语义学角度谈汉语中的歧义现象

汉语言文明博大精深,是涉猎众多学科的一门语言,语义学包罗了汉语言文学,其与索绪尔符号学、弗洛伊德心理学等都在文学方面占据了重要的位置.从单方面来说,语义学这门学科囊括的范围宽广,其在科学、语言学、心理学等学科均有所涉及,然而在汉语交流与写作中,存在着不同程度上的歧义现象,造成人们的理解困扰,本文就汉语中语义歧义进行概述,分析其成因,并找出避免解决的策略.     

结构主义词汇语义学对英语词汇教学的影响

结构主义语义学是语义学发展的第三阶段,是现代语义学的一个重要分支。结构主义阶段的词汇语义学强调词的语义成分分析和意义的结构关系。英语词汇教学影响着学习者英语能力的提高,而在英语词汇教学中运用语义成分分析和意义的结构关系,可以帮助学生加深对词汇间含蓄语义关系的理解,增强学生学习英语的兴趣,从而提高运用语言的能力和英语交际能力。     

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

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

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

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

Virasoro-Current代数的形式变形

李代数的变形是将李代数的结构常数参数化而得到的一种更广义的代数,当这些参数趋于1时,李代数的变形就回到了李代数的本身.在本文中,我们采用了一些方法来构造Virasoro-Current代数的变形,它包括q-变形和形式变形.     

默认语义学述评

默认语义学是K.M.Jaszczolt提出的对语义/语用界面研究的一种新的解释理论。默认语义学认为语义的确立是默认推理的结果,默认推理是交际者根据交际意图的类型和强弱,即指称性的强弱而进行的自动推理,是对意图识别的结果,并非对语境的选择。语义默认理论构建了较为系统的理论分析框架,但是也存在一些有待解决的问题。本文首先对此理论进行了初步的述评并探讨了默认语义学带来的一些启示。     

肯定形式与否定形式同义探析

现代汉语有一种特别奇怪的语言现象——肯定形式与否定形式同义。究其原因,不外乎语义、语气两个方面：在语义上,当肯定形式表示未然时,在肯定形式中加入否定副词所形成的否定形式也必然表示未然;在语气上,当否定形式从否定方面反问意在肯定时,便与肯定形式构成同义关系。当肯定形式从肯定方面反问意在否定时,便与否定形式构成同义关系。