1) implicational universals
蕴涵共性
1.
Markedness and implicational universals are important concepts in typology with cross-linguistic evidence.
标记理论和蕴涵共性都是现代类型学中的重要概念,都具有跨语言研究的基础。
2) non-implicational universal
非蕴涵共性
1.
With the theories of markedness and implicational universal,we can explain that type \'a\' is the typical,unmarked,and implicational universal principle in SVO languages,while types \'b\' and \'c\' are the atypical features,markedness,and non-implicational universal principles in SVO languages.
用标记理论和蕴涵共性理论解释,a类为典型特征、无标记,在SVO型语言中是一条蕴涵共性原则;b和c类为非典型特征、有标记,在SVO型语言中是一条非蕴涵共性原则。
3) implicativity
蕴涵性
5) implications of word attribute
词性蕴涵义
6) implicational universal
蕴含共性
1.
Yu Dongtao(2006)proposes an implicational universal:if the object precedes the verb, then the temporal adverbial also precedes the verb (OV+TV),which implies the temporal adverbial precedes the verb more easily than the object.
余东涛(2006)提出一条蕴含共性:宾语在谓语动词之前蕴含着时间状语也在谓语动词之前("OV蕴含TV",T为时间状语)。
补充资料：严格蕴涵演算
严格蕴涵演算
strict implication calculus
严格蕴涵演算[striet inl两ca坟”ca」。dlls;c二poro云“Mn月“R叫M“Mc，Hc月elf”el 基于严格蕴涵(strict imPlicat幻n)的一种逻辑演算(fogical calculus)，即与“如果··…那么……”相联系的逻辑运算上的一种演算.对于严格蕴涵来说，所谓的“(实质)蕴涵悖论”可完全地或部分地避免:一个假命题蕴涵任一命题，而任一命题蕴涵一个真命题. 严格蕴涵演算的目的是为了反映条件命题的前提与结论之问意义上的联系.存在一个完整的严格蕴涵演算系列(Lewis演算，Ackern‘，rm演算，及其他演算)，它们彼此之间的区分是由一些公式在某些演算中可以推出，而在另一些演算中不能推出的事实来确定(例如，在Lewis演算中“蕴涵悖论”仅仅部分地可避免，然而在Ackermann演算中却可完全避免).严格蕴涵演算同模态语句(“它是可能的”，“它是不可能的”，“它是必要的”等等)的形式体系化有密切联系;在某些演算中，严格蕴涵通过模态(1议汕涵ty)来表示，而在另一些演算中，模态是通过严格蕴涵来表示.【补注】其他试图避免“蕴涵悖论”的方法(例如牛言三段论(disjunctive syllogism)A八(门A VB)睁月)，有以相关逻辑(relevant 10百e)的名称出现的(IAll).11}中的Lewis演算的51一55也被视为Lc、s调查系统(Lewis sury即systelll)(【A3」).
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条