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

Dummett's Views on Intuitionism Logic

作　　者：任晓明[1] 谷飙[1] 

机构地区：[1]南开大学哲学系,天津300071

出　　处：《南开学报（哲学社会科学版）》2007年第4期46-51,共6页Nankai Journal:Philosophy,Literature and Social Science Edition

基　　金：教育部人文社会科学重点研究基地重大项目(02JAZJD720018)

摘　　要：直觉主义逻辑是达米特语义反实在论的基础。他对直觉主义逻辑的辩护包括证明论、模型论或语义学、意义理论三个层次,他论证了直觉主义逻辑规律是自我辩护的、其语义解释可以避免循环论证,阐明了直觉主义逻辑和经典逻辑之争的逻辑哲学内涵。他提出的协调性、非循环性、组合性等原则对演绎辩护具有重要的价值。Intuifionism logic is the basis of Dummett＇s semantic anti- realism. 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： in-tuifionism 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. His principles as harmony, non-cychc, combination are important in justification of deduction.

关 键 词：直觉主义 演绎 辩护 

分 类 号：B815[哲学宗教—逻辑学]