1) The Study on Resolution of Semantic Paradox
语义悖论消解研究
2) On the paradox of deontic logic
道义悖论研究
3) paradox study
悖论研究
1.
It is mainly from the relationship of dialectical logic with paradox study,dialectical logic with scientific methodology,dialectical logic with Chinese medicine theory,as well as the research of dialectical logical formalization.
综观本次学术研讨会的研讨情况可以看出,我国辩证逻辑的新进展,主要从以下几方面展开:辩证逻辑与悖论研究的关系,辩证逻辑与科学方法论,辩证逻辑与中医理论,辩证逻辑形式化。
4) Paradox Digestion
悖论消解
5) 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.
导致典型语义悖论的语句同义于其否定,并且具有多种含义。
6) semantics of paradox
悖论语义
补充资料:语义
语义
semantics
yUyl语义(哭mantics)语言的各个成分的含义。在程序设计语言中,即程序的含义。程序设计语言的语义,一般在语言文本中用自然语言描述,说明用该语言编写的程序的意义,即在计算机上执行时将会做什么。常用的程序设计语言语义的形式描迩方法有:公理语义,代数语义,指称语义和操作语义(参见形式方法)。 语义分奋态语义和动态语义。静态语义指程序的编译含义,即编译程序对程序的理解,包括量的作用域法则、说明、类型匹配等。编译时无法理解、而要到运行时才能理解的含义称为动态语义。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条