直觉主义逻辑

In this paper, we are discussing the concept of intuitionism, and their logic ,and their constructive mathematics.

本文主要讨论直觉主义派的数学观、无穷观、逻辑规则和构造性数学，同时还概述了人们对直觉主义派的一般评论。

"In the modern era, this debate for a time divided into three schools of thought :logicism, formalism, and intuitionism"

在近代，经过一段时间的争论，分成了三派思想：逻辑主义、形式主义和直觉主义。

Intuitionism logic is the basis of Dummett's semantic anti-realism.

直觉主义逻辑是达米特语义反实在论的基础。

Deviant logic is a logic branch which are made up of by denying or modifying some basic principles of classical logic, including Intuitionism Logic, Many-Valued Logic, etc.

变异逻辑是由否定或修改经典逻辑的某些基本假定而形成的逻辑分支，包括直觉主义逻辑，多值逻辑等。

In order to maintain thoroughly hsi philosophical standpoint of Anti-realism, he rejected two-valued semantics and took Intuitionist logic as the basis of his metaphysics.

为了彻底坚持其反实在论的哲学立场，达米特拒斥二值原则，把直觉主义逻辑作为其形而上学的基础。

Two intuitionistic systems of firstorder sentential calculus, Hilbert s type and natural deduction t ype, were introduced.

介绍了一阶命题演算的两个直觉主义系统：希尔伯特型及自然演绎型，并证明了这两个系统的等价性，揭示了直觉主义逻辑的内涵及与其他非经典逻辑的关

Applied ethics is not a real subject. It does not have a complete theory and system but rather a loose cluster of applied problems lack of rigorous logic structure. It is only convenient for the explanations, clarification and presentation of some practical problems and probe to occupational regulations. It uses part of the theory and methodology from ethics and only a study concept of opportunisism and education. It offers relativism repair for sermonized or secular ethics promulgation. It also uses the postmodern methods of intuitionism or circumstancesm, transplants and produce a series of post-classic principles which are self evident. Applied ethics is born as a simple and brutal measurement tools with the background of fussy and blundering academic situation.

应用伦理学还不是一门真正的学科，它没有一个完整的理论与体系，它只是一个松散、缺乏严密逻辑结构的&应用问题群&，只是便于对实践问题的解释、阐明、陈述和对职业规范的探究，运用伦理学的部分理论与研究方法，与社会和人类对话；它只是一种机会主义的研究概念、教育概念和体制化传达语式，并为说教或俗世伦理学的传播而进行的相对主义修补，其运用直觉主义或境遇主义的后现代手段，移植或制造一系列&不证自明的&后经典原则，实用主义地、分裂地、常常孤立地对具体问题予以说明。

Hisresearch on philosophy has the important relations with the mathematicaldevelopment and especially with the investigations of the logicists, formalists andintuitionists on the mathematical foundation.

因为他的诸多哲学思考都与当时的数学发展特别是数学中逻辑主义、形式主义和直觉主义对数学基础的探讨有着重要的联系。

Eventually, the different facets of the controversy factioned the creatures of the region into many little bands of quarrelling doctrinaires: Formalists, Logicists, Intuitionists, Neo-intuitionists, Finitists, etc.

最终，参加争论的各方分解为若干个数学流派，它们的理论相互冲突，这些派别分别是：形式主义、逻辑实证主义、直觉主义、新直觉主义以及有限论者等等。

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.

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

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.

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