The Theory and Effect of Formal Method
|Keywords||formal methods Mathematical Structuralism Axiomatic method Formal system formal language|
Formal method is one of the basic methods of modern logic researching, and it is the instrument of building a modern logic theoretical framework. Essentially, Formal method is a deductive approach and the embodiment of human reason and wisdom. This paper undertakes to study formal method in scientific systematic perspective from fellow four aspects:①Study the application of formal method to propositional logic , predicate logic system’s construction and important problems of theory;②With the way of interdisciplinary and cross - researching, discuss the technical basis - the general theory of axiomatic method and paradigm of formal method ;③Using logic method that consistents with the history , to explore the formal logic and mathematic structure how they emerge , how they development and the relationship between them; based on those, probe the driving force of formal method in historical perspective;④explore the reasons of mathematic structuralism and the source of thoughts of formal method in methodological perspective .And study the same point and different point between them. Above four aspects ,we can know that the researching of formal method compared with mathematical structure , the docking, fusion and the interaction between them .If all of us have a comprehensive and deeply understanding , it will be greatly significance to the logic science, mathematics science and the history of the logic and mathematics history.