查询词典 Russell

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 theory emerged from those philosophical and logical inquires Russell made in his early stage, when Russell use logical analysis to solve the semantics problem his meaning theory suffered. The foundation of the theory of descriptions is a theory of meaning, as this thesis presents, and its central notion includes two syntax rules. Based on the first order predicates calculus, this theory seems successfully solve some notable semantics problems and then assures Russell's denotation theory.

本文认为，摹状词理论有深刻的哲学渊源，它脱胎于罗素早期的哲学和逻辑研究，直接缘起于罗素想要利用逻辑的分析方法去解决意义指谓论所面临的语义学难题；摹状词理论的基础是它的意义理论，核心是两个句法规则，它基于带等词的一阶谓词演算成功地解决了一些著名的语义学难题，维护了直观的指谓论，从而产生了巨大而深刻的哲学影响。

From the defects in the basic theory of present classical infinite theory, the essential relationship between Russell's Paradox and Cantor's proof on the uncountability of real number set and the proof on the Cantor's Theorem of is analyzed and a mysterious error is found:The core of Cantor's above two important proofs in set theory are actually another versions of Russell's paradox and the very same paradoxical idea was applied in both Russell and Cantor's work, and Cantor made wrong use of this paradox idea with two logical mistakes.

从经典无穷理论体系中的缺陷入手，深入分析了罗素悖论与康托的实数集合不可数证明及康托定理证明之间的本质性联系，发现康托在这两个证明里的核心部分实际上是罗素悖论的翻版，它们与罗素悖论有完全相同的思路，并且康托犯了两个逻辑性错误而误用了这个悖论思路。

She thinks it impossible for Russell to deoxidize mathematics to logic because he couldn't derive arithmetic from purely logic laws. In this meaning, we can say that Russell's trying is failed.

认为罗素的数学逻辑主义因为没有实现从纯逻辑出发、将数学化归为逻辑的目标，因而是失败的。

Although Russell's intellectual reputation is based on his work as a mathematician, philosopher, and logician, Russell was also noted for his work as a social reformer.

尽管罗素的智慧的声誉是基于他的工作作为一个数学家，哲学家和logician ，罗素还指出他的工作，作为一项社会改革者。

In chapter one, it gives a historical introduction to Russell' mathematics logicism and introduces how Russell put forward his idea.

第一章介绍了罗素形成数学逻辑主义思想的历史背景及其提出数学逻辑主义论题的情况。

In preface, Russell's mathematics logicism is introduced in brief. It is thought to be include not only the idea of mathematics can be deoxidized to logic, but also the work of settle Russell' paradox.

在前言中，简要地介绍了罗素的数学逻辑主义思想，认为它除了"将数学还原为逻辑"这一观点外，还包括了解决罗素悖论的工作。

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

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

There is a version of the correspondence theory of truth advocated by Bertrand Russell that I want to defend in this thesis. In particular, I want to defend Russell's multiple-relation theory of judgment.

我将在我的论文里为罗素所主张的真理理论辩护，特别是罗素的判断的多重关系理论。

Through a new analysis on the essential relationship between Russell's Paradox and Cantor's proof on the uncountability of real number set and the proof on the Cantor's Theorem of , a mysterious error was found:the very same logic contradiction was applied in both Russell and Cantor's work.

分析了罗素悖论与康托的实数集合不可数证明及康托定理证明之间的本质性联系，发现康托在这两个非构造性证明中所依赖的、用对角线法所构造出的矛盾其实就是罗素悖论中所揭示的逻辑矛盾。

It also analyzes the feature and development of semi-finish grinding and finish grinding by roller press.

同时进行了辊压机半终粉磨和终粉磨系统的特点和发展分析。

When I got there, water was dripping slowly from the ceiling and forming a pool on the floor.

当我到那里的时候，水是慢慢地从天花板滴而且形成在地板上的一个池。