1) distinction of semantic meaning
语义相悖
2) semantic paradox
语义悖论
1.
Research of semantic paradox through cyclical vibration function;
解决语义悖论的振荡周期函数模型——一种对语义悖论的可能解释
2.
The sentences that bring typical semantic paradoxes are all ambiguous.
本文由悖论非存在定理之引理推得一个重要推论———所谓“悖论”既有可能是非真非假的单义句也有可能是多义句 ,并进而论证了所有典型“语义悖论”均属后一种情况 ,根本就不是什么真正意义上的悖论 ,从而彻底修正了克里普克的有关理论。
3.
Every sentence causing a typical semantic paradox has the same meanings with it s negation and is also ambiguous.
导致典型语义悖论的语句同义于其否定,并且具有多种含义。
3) semantics of paradox
悖论语义
4) inconsistent with meaning
悖语义
5) disobey
[英][,dɪsə'beɪ] [美]['dɪsə'be]
相悖
1.
The counter- moral education phenomenon which disobeys the moral education goal in the elementary and middle schools education appear frequently.
中小学教育中经常出现与德育目标相悖的反德育现象。
6) situational semantic solution
情境语义学解悖方案
1.
The situational semantic solution and paraconsistent logical solution to the liar paradox actually reflect two different concepts of the liar paradox.
情境语义学解悖方案与次协调逻辑解悖方案反映了两种不同的悖论观,二者在以下四个方面存在重大差异:(1)对悖论中所包含的矛盾认识不同;(2)解悖思路不同;(3)对悖论产生根源问题认识不同;(4)解悖结果不同。
补充资料：语义
语义
semantics
yUyl语义(哭mantics)语言的各个成分的含义。在程序设计语言中，即程序的含义。程序设计语言的语义，一般在语言文本中用自然语言描述，说明用该语言编写的程序的意义，即在计算机上执行时将会做什么。常用的程序设计语言语义的形式描迩方法有:公理语义，代数语义，指称语义和操作语义(参见形式方法)。 语义分奋态语义和动态语义。静态语义指程序的编译含义，即编译程序对程序的理解，包括量的作用域法则、说明、类型匹配等。编译时无法理解、而要到运行时才能理解的含义称为动态语义。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条