隐喻,是使用"是"、"成"等词把某事物比拟成同其有相似关系的另一事物的一种修辞表达。隐喻总是显性或隐性地包含着概念层表达式"X BE Y";其中,X和Y分属两个不同范畴。表达式"X BE Y"成为隐喻...隐喻,是使用"是"、"成"等词把某事物比拟成同其有相似关系的另一事物的一种修辞表达。隐喻总是显性或隐性地包含着概念层表达式"X BE Y";其中,X和Y分属两个不同范畴。表达式"X BE Y"成为隐喻概念层表达式有两个主要理据:谓词BE能够进行外延—内涵性双重逻辑解读①,保证了表达式"X BE Y"既可在表面上利用Y的外延对X进行述说又可利用Y的内涵属性对X进行述说;其识解依赖人类常规关系认知范式,这种常规关系或知识结合语境限制因素解决了"X BE Y"中喻体Y部分属性的提取问题。展开更多
In the light of a question of J. L. Krivine about the consistency of an extensional λ-theory,an extensional combinatory logic ECL+U(G)+RU_∞+ is established, with its consistency model provedtheoretically and it is s...In the light of a question of J. L. Krivine about the consistency of an extensional λ-theory,an extensional combinatory logic ECL+U(G)+RU_∞+ is established, with its consistency model provedtheoretically and it is shown the it is not equivalent to any system of universal axioms. It is expressed bythe theory in first order logic that, for every given group G of order n, there simultaneously exist infinitelymany universal retractions and a surjective n-tuple notion, such that each element of G acts as a permutationof the components of the n-tuple, and as an Ap-automorphism of the model; further each of the universalretractions is invarian under the action of the Ap-automorphisms induced by G The difference between thetheory and that of Krivine is the G need not be a symmetric group.展开更多
文摘隐喻,是使用"是"、"成"等词把某事物比拟成同其有相似关系的另一事物的一种修辞表达。隐喻总是显性或隐性地包含着概念层表达式"X BE Y";其中,X和Y分属两个不同范畴。表达式"X BE Y"成为隐喻概念层表达式有两个主要理据:谓词BE能够进行外延—内涵性双重逻辑解读①,保证了表达式"X BE Y"既可在表面上利用Y的外延对X进行述说又可利用Y的内涵属性对X进行述说;其识解依赖人类常规关系认知范式,这种常规关系或知识结合语境限制因素解决了"X BE Y"中喻体Y部分属性的提取问题。
基金a post-doctor grant of the Chinese Academy of Sciences.
文摘In the light of a question of J. L. Krivine about the consistency of an extensional λ-theory,an extensional combinatory logic ECL+U(G)+RU_∞+ is established, with its consistency model provedtheoretically and it is shown the it is not equivalent to any system of universal axioms. It is expressed bythe theory in first order logic that, for every given group G of order n, there simultaneously exist infinitelymany universal retractions and a surjective n-tuple notion, such that each element of G acts as a permutationof the components of the n-tuple, and as an Ap-automorphism of the model; further each of the universalretractions is invarian under the action of the Ap-automorphisms induced by G The difference between thetheory and that of Krivine is the G need not be a symmetric group.
