达米特对直觉主义逻辑的辩护

直觉主义逻辑是达米特语义反实在论的基础。他对直觉主义逻辑的辩护包括证明论、模型论或语义学、意义理论三个层次,他论证了直觉主义逻辑规律是自我辩护的、其语义解释可以避免循环论证,阐明了直觉主义逻辑和经典逻辑之争的逻辑哲学内涵。他提出的协调性、非循环性、组合性等原则对演绎辩护具有重要的价值。

Dummett's Views on Intuitionism Logic

Intuitionism logic is the basis of Dummett's semantic anti-realism.Dummett's views on intuitionism logic can be di- vided into three levels that are proof theory,semantics,and the theory of meaning.He expounded and proved the arguments:in- tuitionism logical roles are self-defended,and their semantic interpretations can be avoided cyclic argument while he demonstrat- ed the philosophical-logical intentions of the dispute between classic logic and intuitionism logic.His principles as harmony, non-cyclic,combination are important in justification of deduction.