逻辑主义

There are three aspects:(1) logical analysis is the base and factors of building logical atomism;(2)proposition system of expressing scientific knowledge——atomic proposition, molecularproposition, and generalized proposition;(3) picture theory of prepositional meaning is the core of logical atomism.

主要有三个方面：(1)逻辑分析是逻辑原子主义建立的基础和条件；(2)表达科学知识的命题系统——原子命题、分子命题和概括命题；(3)命题意义的图像论是逻辑原子主义的核心内容。

Logical atomism that has some significance more or less which requires us to think about seriously, like any significant philosophical ideology includes three points:(1) logical atomism developed Ernst March's comtism;(2) It directly affected Vienna Circle on behalf of logical comtism and the philosophy of language analysis;(3) It suggested the scientific realistic approach and rational approach.fourth, the difficult and reason of searching certain knowledge of logical atomism.

逻辑原子主义同历史上任何有影响的哲学思想一样，或多或少有一些价值值得我们认真对待和参考，主要包括三点：(1)逻辑原子主义发展了马赫的实证主义；(2)它直接影响了以维也纳学派为代表的逻辑实证主义和后来的语言分析哲学；(3)它体现了科学的求实精神和理性精神。四、逻辑原子主义寻求确定性知识的困难及其原因考察。

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

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

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.

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

Chapter Seven also has a discussion about the philosophical meaning ofaxiomatic thought in logicism and the latest development of the foundational problemsof math in the late 20〓 century.

第七章还对逻辑主义关于"公理化思想"的哲学意义和"数学基础问题"在二十世纪末期的新进展进行了论述。

The classification standards and results of Pertinence Principle belonging to Logicalism are all nonobjective and logical concepts.

事由原则属于逻辑主义，其分类标准及结果都是抽象的逻辑性概念。

With his logic position. It can be said that the theory of types is a means to achieve Russell's dream.

可以说，类型论是罗素为实现其逻辑主义梦想而产生的一个重要理论。

Dummett's views on intuitionism logic can be divided into three levels that are proof theory, semantics, and the theory of meaning. He expounded and proved the arguments; intuitionism logical rules are self-defended, and their semantic interpretations can be avoided cyclic argument while he demonstrated the philosophical-logical intentions of the dispute between classic logic and intuitionism logic.

他对直觉主义逻辑的辩护包括证明论、模型论或语义学、意义理论三个层次，他论证了直觉主义逻辑规律是自我辩护的、其语义解释可以避免循环论证，阐明了直觉主义逻辑和经典逻辑之争的逻辑哲学内涵。

But this difference is based on the unspeakable transcendental logic which still belongs to metaph...

后期哲学所要治疗的主要正是这种超验逻辑主义。

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.

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