逻辑主义

LK affirms that logic is a universal method.If logic can be amathematical method,it can surely be used as a way to identify knowledge concept,atool of deduction and the method of knowledge system axiomatization.

知识逻辑主义"断言逻辑是一种普遍的方法，逻辑既然能成为数学的方法，就必然能为任何知识系统提供方法论，可以成为定义知识概念的方法、知识，推演的工具和知识体系公理化的方法。"

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

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

LM leads to a school of logicism based onmathematical research.

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

Logicism holes that mathematics can be reduced to logic, but the logicists were beaten by the discovery of the set paradox, because they have not discerned the intrinsic differences between logic and mathematics.

逻辑主义认为数学可以化归为逻辑，集合论悖论的发现给逻辑主义者造成重大的打击，逻辑主义失败的原因在于他们没有看到逻辑与数学之间存在着质的区别。

The creative thoughts of logicism, historism,and new historism are explained in the thesis firstly ,and then it wants to give supply the rules and ways of achieving it from the dimensions of scientific philosophy and scientific sociology .the thesis is divided into four parts:The first part stresses the thought of theoretical creation of logicism.

本文首先对逻辑主义、历史主义和新历史主义创新思想进行阐释，吸收了各种创新思想中的合理内核，然后提出多向度的创新观。本文将从科学哲学和科学社会学两个向度对理论创新进行研究。本文主要分为四个部分。第一部分着重论述了逻辑主义的创新思想。

"Logicists supposed that abstract mathematical objects can be entirely developed starting from basic ideas of sets and rational, or logical, thought; a variant of logicism, known as mathematical Platonism, views these objects as existing external to and independent of an observer"

逻辑主义认为抽象的数学对象全部可以从基本的几组想法以及合理的或逻辑的思想发展出来，称为数学的柏拉图主义的一个变型把这些对象看作是观察者之外的、独立的存在

"Logicists suppose d that abstract mathematical objects can be entirely developed starting from basic ideas of sets and rational, or logical, thought; a variant of logicism, known as mathematical Platonism, views these objects as existing external to and independent of an observer"

逻辑主义认为抽象的数学对象全部可以从基本的几组想法以及合理的或逻辑的思想发展出来，称为数学的柏拉图主义的一个变型把这些对象看作是观察者之外的、独立的存在

The theory of types was an important outcome of the development of Russell's philosophy and logic, and It is closely linked.

类型论是罗素逻辑主义和哲学思想发展的一个重要成果，是与其逻辑主义立场紧密联系在一起的。

In Russell's opinion, logic should be the foundation of mathematics. Then he put forward his topic that mathematics is the same as logic and it can be deoxidized to logic.

他认为，数学的基础应是逻辑，从而提出他的数学逻辑主义论题：数学与逻辑等同，全部数学可以化归为逻辑。

In Russells opinion, logic should be the foundation of mathematics. Then he put forward his topic that mathematics is the same as logic and it can be deoxidized to logic.

他认为，数学的基础应是逻辑，从而提出他的数学逻辑主义论题：数学与逻辑等同，全部数学可以化归为逻辑。

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.

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