Dummett's Views on Intuitionism Logic
Abstract
Dummett semantics of intuitionistic logic is the basis for anti-realism. His defense of intuitionistic logic, including proof theory, model theory or semantics, meaning three levels of theory, he demonstrated the law of intuitionistic logic is self-defense, and its semantic interpretation to avoid circular reasoning, to clarify the intuitionistic logic and classical logic of the logic of war philosophical connotation. His coordination, non-cyclical, the combination of the principles of interpretation of the defense has an important value. Intuitionism 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; 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. His principles as harmony, non-cyclic, combination are important in justification of deduction