英语人>词典>汉英 : 类型论 的英文翻译,例句
类型论 的英文翻译、例句

类型论

词组短语
theory of types · type theory
更多网络例句与类型论相关的网络例句 [注:此内容来源于网络,仅供参考]

On the base of Frege's study, Russell put forward the theory of types to settle Russell's paradox. On the base of non-set, Russell brought forward axiom of infinity and axiom of option as the premises and built a system. He tried to defined the non-negative integer in logic terms and derive the theorems of arithmetic from the laws of logic by deductive method.

罗素在弗雷格研究的基础上,提出逻辑类型论来解决罗素悖论,以非集合论理论为基础,以无穷公理和选择公理为前提,利用逻辑概念定义数学概念,并构造系统,通过逻辑演绎法从逻辑公理推导数学定理。

This thesis inductively points out where the logicians did not satisfied with the theory of type mainly lies in two points, the axiom of reducibility first and the vicious-circle principle second. This thesis has discussed Ramsay's improvements as well as the criticism from Godel. Then, it observes that they two had a common view, viz. rejecting the vicious-circle principle from the points of Realism. Against Russell's insisting on this principle, such a rejecting seems so distinguished, which, this thesis argued, was the deep difference between Realism and Nominalism shedding on the reality of classes.

文中主要探讨了莱姆塞对类型论所做的改进以及哥德尔对类型论的批评,指出这二者的共同点是从实在论的立场来拒斥恶性循环原则,他们对恶性循环原则的拒斥同罗素对它的坚持形成了鲜明的对比,本文认为,这种对比所反映出来的差别实际上就是在类的实在性问题上实在论和唯名论的差别。

It puts emphasis on the analysis of Russells theory of types, and follows with the author thought about it, at the same time, this section analyzes how the paradox promotes the formation of the school of intuitionism and of formalism.

本文对这个问题从三个方面进行了分析:悖论与数理逻辑三大学派的关系:其中对罗素的类型论进行了重点分析,并加入自己的思考。

When being engaged in the research of the basis of mathematics, Russell put forward his theory of types to solve paradoxes and to achieve his subject of logicism.

类型论是罗素在从事数学基础研究时,为实现其逻辑主义论题而提出来的一种解决悖论的理论。

This theory had three main parts. First, based on the DIT, they rectified the DIT1 and constructed the DIT2. Second, in accordance with the factor analysis on the responses to the DIT, they postulated three moral schemas (the personal interest schema, the maintaining norm schema and the postconventional schema) instead of stages with distinct justice operations. Third, in light of the double classification(the moral schema predominance and the moral schema mixture), they produced six moral types.

它主要有三部分内容:第一,莱斯特等人以确定问题测验为方法基础,着手对最初的确定问题测验版本(DIT1)进行修订,形成了新的确定问题测验版本(DIT2);第二,他们在对大量的DIT反应进行因素分析的基础上,得出三个道德图式,即个人利益图式、保持规范图式和后习俗图式,由此将科尔伯格的阶段论改造为道德图式论;第三,莱斯特等人根据道德图式在人们头脑中的优势及其混合两种分类标准,将个体分为六种类型,建构了道德类型论

This theory had three main parts.First, based on the DIT, they rectifed the DIT1 and constructed the DIT2. Second, in accordancewith the factor analysis on the responses to the DIT, they postulated three moral schemas (thepersonal interest schema, the maintaining norm schema and the postconventional schema) insteadof stages with distinct justice operations.'Third, in light of the double classification(the moralschema predominance and the moral schema mixture), they produced six moral types.

它主要有三部分内容:第一,莱斯特等人以确定问题测验为方法基础,着手对最初的确定问题测验版本进行修订,形成了新的确定问题测验版本(DIT2 ):第二,他们在对大量的DIT反应进行因素分析的基础上,得出三个道德图式,即个人利益图式、保持规范图式和后习俗图式,由此将科尔伯格的阶段论改造为道德图式论:第三,莱斯特等人根据道德图式在人们头脑中的优势及其混合两种分类标准,将个体分为六种类型,建构了道德类型论

We know that the simple theory of types have already eliminated Russell paradox, but why Russell introduced the theory of order types .

指出简单类型论已经消除了罗素悖论,但为什么罗素要引入很少有人接受的分支类型论呢?

Therefore, this article first comparative analyze the branchesb between simple type theory and the theory of order type then described the reason is that Russell want to hold on his perspective of the position of philosophy, from simple theory of types to the theory of order types is a necessity across.

为此,本文首先比较分析了简单类型论与分支类型论在内容构建的区别,并进而从罗素实在论的哲学立场角度出发,分析了从简单类型论到分支类型论的跨越是有着必然性的。

In the aspect of the Philosophy of Language, Montague Grammar inherited Frege's theory of meaning, Russell's theory of reference, Carnap's theory of verification, Goodman's Modern Realism, Tarski's theory of truth, Kripke's semantics of possible worlds of modal logic, etc, and opens up a new direction in the study of Formal Semantics of natural language; in the aspect of Theoretic Linguistics, Montague was influenced by Chomsky's research idea about the formal treatment of the syntax in natural language and extended it to the semantic study of natural language; Montague Grammar has two theoretic sources: One is the Logical Semantics and Intensional Type Theory in Logic, and the other is Categorial Grammar and Transformative Generative Grammar in Linguistics.

在语言哲学方面它继承了弗雷格的意义论,罗素的指称论,卡尔纳曾的实证主义,古德曼的现代实在论,塔斯基的语义学真理论,克里普克的模态逻辑可能世界语义学的传统,开辟了自然语言形式语义学研究的新方向;在理论语言学方面,他受乔姆斯基形式化语言研究思想的影响,并把这一思想扩展到自然语言的语义研究方面;蒙太格语法的理论来源有两个方面:逻辑方面是逻辑语义学思想和内涵类型论理论,语言学方面是范畴语法和转换生成语法。

Taro New Year, rice growing agriculture vs. dry farming agriculture. In this theory, they are of equal value. Tuboi Hirofumi revised the monism theory of rice-growing of Yanagita Kunio, developed Japanese study from monism to pluralism, and provided a new methodology to Japanese folklore study.

坪井的研究修正了柳田的稻作文化一元说,把对日本文化的研究由一元论发展为多元论,为日本民俗学提示了新的方法论体系。70年代末80年代初坪井的一系列研究著述,对日本民俗学界产生了深远的影响,带动了之后旱作研究的高涨、以及从地域类型论展开的日本东西/南北的多元文化论研究,推动了日本民族基础文化的研究。

更多网络解释与类型论相关的网络解释 [注:此内容来源于网络,仅供参考]

ramified theory of types:分歧类型论

ramified covering 分歧覆盖 | ramified theory of types 分歧类型论 | random 随机的

ramified theory of types:支分类型论

ramified theory of type 分歧类型论 | ramified theory of types 支分类型论 | ramiform pit 分枝壁孔

simple theory of types:简单类型论

simple tangent 单切线 | simple theory of types 简单类型论 | simple transcendental extension 单超越扩张

theory of transversals:横断线论

theory of time series 时间序列论 | theory of transversals 横断线论 | theory of types 类型论

theory of types:类型论

当然,我们知道这在哲学和数学中是一个老观点, B.罗素的类型论(Theory of Types)以及莱斯尼斯基(Lesniewski)和埃杜凯威兹(Ajdukiewicz)的范畴语法(Categorial Grammar)就是基于这个思想的.

typological thinking:类型逻辑思维

typological theory of higher nervous activity 高级神经活动类型论 | typological thinking 类型逻辑思维 | typology 类型学

typological theory:类型论

typological psychology 类型心理学 | typological theory 类型论 | typological theory of criminals 罪犯类型论

typological psychology:类型心理学

typological method 类型学方法 | typological psychology 类型心理学 | typological theory 类型论

type theory:类型论

它是类型论(Type Theory)的替代物,当类型论在评估人们机械不变的适应的时候, 工作偏好则反映出了人们的自由取向. 在这里,确定企业长期的竞争焦点并不是意味着要坚持某一固定的战略定位. 相反,企业正是通过战略定位的不断调整而维持组织长期竞争焦点的持续性.

psychological type theory:心理类型论

历来心理学家对个性一概念提出多种不同的解释,形成不同的个性理论,其中最主要者有以下五大理论:1类型论(type theory):按身体或心理区分为不同的个性类型;其中以荣格(C.G.Jung)氏的心理类型论(psychological type theory)与薛尔顿(W.Sheldon)氏的