1) semantic entailment
语义蕴含
1.
Based on researches on the discourse markers within frames of cohesion and relevance, this paper analyzes properties of discourse markers in newspaper headlines in terms of structure functions and their semantic entailment meanings.
基于连贯和关联理论对话语标记的研究,本文分析报纸标题标记形式、结构功能及语义蕴含性质,讨论报纸标题标记语与关联度的关系,并提出报纸标题标记语具有不同于会话标记语特点的元语用意识。
2) Ianguage Implication
话语含蕴
3) semantic entailment
语义蕴涵
1.
Study on Presupposition、Semantic Entailment and Approach of Discriminating Them;
预设、语义蕴涵及其鉴别方法研究
2.
From the perspective of logic semantics,paraphrase and implication,this paper gives a new conception of semantic entailment and generalizes its basic characters.
以逻辑语义学为视角,通过与语义预设、释义和实质蕴涵等的比较辨析,可重新厘清语义蕴涵的概念并概括它的基本特征,即:整体单向推出性、不可取消性、单一地转化为语用预设性、非保“真”性、传递性和显豁性。
4) Semantic Connotation of Du Fu s Poems
杜诗语义蕴涵说
5) pragmatic meaning
语用含义
1.
On English Grammar Teaching ——pragmatic meaning and syntactic structure;
外语语法教学新探——语用含义与语法结构
2.
The dialogue in the fiction has communication function through conveyance of its pragmatic meaning.
小说对话体现的是交际功能和语用意义,在翻译理解过程中,可以结合Levinson的新格莱斯会话含义理论,来合理推导会话含义和理解说话人的互动,提供翻译的标准;可以采用增词,增加超语言信息及其他技巧来帮助目标语读者推导语用含义,如实再现原小说的对话场景。
3.
This paper discusses the characters, pragmatic meanings and perlocutionary effects of the three verb forms in the request-sentence, and is expected to do benefit to the second language learner.
本文分析了“请求”句中三种结构形式“(请)V、(请)V一下、(请)VV”的形式特点、语用含义及其语效,以期对留学生在特定语境中选择合适的动词结构来表达“请求”行为有所帮助。
6) semantic ambiguity
语义含糊
1.
On semantic ambiguity caused by polysemy and homonymy;
探讨英语多义词和同形异义词引起的语义含糊现象
补充资料：操作语义
操作语义
operational semantics
式求值的抽象机器的模型，这个机器的存储区分成三部分:栈区st(用作工作区)，环境区:(保存数据向量等)，控制区。(保存程序)。整个存储区记作(、t，:，。)，称为抽象机器的一个大状态。这个抽象机器具有识别符号、完成算术和逻辑运算、转储信息、实现大状态之间的转移等基本功能。 这个机器的大状态转移规则分为四类: (l)(st，s，(el叩eZ)/c)”(st，s，。;/。2/甲/。) (2)(st，:，碑/‘)冷(n/:t，:，。) (3)(st，s，x、/e)”(x、/sr，s，e) (4)(n/m/st，s，叩/e)=>(k/st，s，c)(k=m opn) 第一类规则表示，当控制区中待执行的程序要求完成表达式(。1叩eZ)的求值时，抽象机就转移自己的大状态，准备先求子表达式。l和e2的值，然后再按照相应的运算叩(+，一，X或其它算子)，求出整个表达式的值，符号“/”用于分割存放的信息。第二类规则表示，当求值的表达式是一个常量时，则其值就是抽象机中表示这个常量的相应的量(粗体用来区别语言中的符号和在抽象机中的相应表示)，表达式的值暂存于栈区。第三类规则表示，当表达式是一个变量时，其值就是环境区中相应单元的当前值，即第i个变量x‘的值就是数据向量s的第i个分量:、的值。第四类规则表示，当运算叩的两个操作数已经求得，则可按照抽象机中的相应运算求出op作用于操作数的结果。 在这个抽象机中，表达式(x:X xZ)+l(在xl，xZ值为2和3时)的求值是由下述大状态的转移序列完成的，转移符号冷的上方标有实现这一转移依 0、，产、，声据的转移规则号，设:=(2，3，s((x;XxZ)+i)/。(s(1)冷(:t，、(x;XxZ)/1/+/。)岑(、‘，:，(二，/二2)又1/+/。)里(2/st，、，二2/又1/+/。)缪(3/2/st，:，x/1/、/。)军(6/、‘，、，l/+/。)里(l/6/::，:，+，/。) (4) 冷(7/:t，s，e) 这个抽象机正确刻画出算术表达式求值的全过程，故可作为算术表达式的操作语义。 为定义赋值语句(x‘:二e)的操作语义，可在上述抽象机中添加如下转移规则: (5)(st，s，(x、:=e);/c)今(:t，s，e/x*:=/。) (6)(n/:t，:，吞:=/。)=>(st，:}in，。) 第五类规则表示，当抽象机执行(x‘:=。)时，先求出表达式仑的值，然后再给x*赋值。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条