查询词典 logicism

In chapter three, the author makes a comment on Russells mathematics logicism.

第三章对罗素的数学逻辑主义思想作出评论。

The relation between these three related parts of Frege's logicism isn't irrelevant.

弗雷格的"逻辑主义"三构分之间的关系并不是互不相干的。

But it is not a whole failure. Russell' contribution lies in his study of mathematics logicism promoting the development of mathematics logic.

但这种失败只是部分失败，其成功之处在于，罗素的数学逻辑主义研究对数理逻辑的发展作出了重要的贡献。

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

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

The most typicaltheory and the most important contest is his idea that logic is the thought of logicism ofmathematics and other scientific foundation.

最典型的理论和最主要的内容就是他始创的逻辑学是数学乃至一切科学的基础的"逻辑主义"思想。

LM leads to a school of logicism based onmathematical research.

弗雷格的"数学逻辑主义"的努力引发了数学研究的"逻辑主义"学派。

At first sight the question of this essay is a question of theory of meaning, as we carefully survey, it turns to a question concerning the nature of logic. The logicism Frege and Wittgenstein insisted is the ultimate basis for their theory of meaning.

乍看之下，我们的问题似乎是一个意义的问题，过经过进一步的考察，我们发现这是一个关於辑本质的问题，弗格与维根斯坦所奉的辑主义是其意义的终极基础。

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.

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

Russell's famous work on the theory of types was an attempt to avoid the paradoxes that beset Frege's version of logicism.

罗素的类型论著名的工作是为了避免矛盾困扰弗雷格的逻辑主义版本。

This article listed the main arguments of Kant's "mathematics philosophy" and also compared Kant's view of mathematics with the concepts of mathematics in "logicism" and "formalism".

他说：我欣赏数学家的价值观，我赞美数学的优美和力量，……而且，奇迹的奇迹，它的一些美妙概念竟是支配物理世界的

I didn't watch TV last night, because it .

昨晚我没有看电视，因为电视机坏了。

Since this year, in a lot of villages of Beijing, TV of elevator liquid crystal was removed.

今年以来，在北京的很多小区里，电梯液晶电视被撤了下来。