On Dummett’s Philosophical Thought Of Intuitionistic Logic

Michael Dummet is the most influential British philosopher in the 20 th century.His philosophical works have three characteristics: firstly,the quantity is numerous,and many of which are magnum opuses;secondly,the language is difficult to understand;thirdly,the works have strong technology.In Dummett’s philosophical writings,especially in the philosophical discussion of the logical bases of mathematical theories,he sublated the truth-conditional theory of meaning and its logical foundation;this will make the authors want to comprehensively and systematically study his theory which is on the relationship between the constructivist theory of meaning and intuitionistic logic.The penmen mainly adopt Dummett’s intuitionistic logic as a technical means and theory of meaning as a research method,which are to serve as the solution to the disputes between Constructivism and Platonism.The main jobs are in five areas: first,the writers have a more comprehensive sort of Dummett’s own philosophical thoughts,as well as the research situations on Dummett’s philosophy of logics and the research progress on intuitionistic logic at home and abroad;second,the penmen systematically examine Dummett’s ideals of facts and propositions;third,from two lines of argument for repudiating classical logic,to the justification of intuitionistic logic for mathematics,and then to the truth theory of intuitionistic logic,the writers unravel some important issues and problems in philosophy of intuitionistic logic;fourth,from three aspects: natural deduction system,sequent calculus system and normalization thought,the authors construct Dummett’s intuitionistic logical deduction;fifth,the authors discuss the future work and the value or significance of Dummett’s philosophy of intuitionistic logic.These five jobs interact and influence each other,which constitute an organic whole: the first and second aspects of the work provide premises and possibilities for the three behind aspects of the work;the third aspect of the work provides philosophical foundations and theoretical supports for the fourth aspect of the work,and the fourth aspect of the work provides logical bases and technical means for the third aspect of the work;the fifth aspect of the work summarizes the value or significance of the second to fourth aspects of the work,and puts forward the future research direction.These jobs show the great research value or significance of Dummett’s philosophy of intuitionistic logic: firstly,the authors systematically comb and abstract the method of the integration between Dummett’s intuitionistic logic and philosophy,especially the integration between the constructivist theory of meaning and intuitionistic logic,which not only provides a key to the study of Dummett’s own philosophy,but also provides theoretical supports and technical tools for us on engaging in philosophical studies,especially in analytic philosophy,philosophy of logic and so on;secondly,from a historical perspective of the development of proof theory,the penmen highlight the importance and influence of Dummett’s intuitionistic logical deduction in structural proof theory;thirdly,the writers particularly indicate the value of Dummett’s natural deductive thought in philosophical research of intuitionistic logic,which provides the basis and guidance for popularizing and promoting intuitionistic logic.