Research On Leibniz’s Symbolic Logic Thought

Leibniz was a philosopher and scientist in the seventeenth Century,he inherited the classical formal logic thought,at the same time laid the starting point for modern mathematical logic,the impact of the logic algebra.Leibniz’s thought of symbolic logic not only exists in the past,but also exists in the present,but also in the future.In the history of the development of logic,the symbolic logic of Leibniz has a key turning point.The generation of Leibniz’s symbolic logic thought is not achieved overnight,it has its theoretical origin and the background of the times.Aristotle’s axiomatic method,the middle ages and the modern times gave birth to the symbolic logic thought of Leibniz,At that time,the development of society and the development of mathematics prompted Leibniz’s symbolic logic.In order to realize the accurate interpretation of the world and to establish a unified expression of the subject,Leibniz constructed his symbolic logic system,its essence is the process of mathematical logic,contains three levels of meaning of ontology,epistemology and methodology.Leibniz’s symbolic logic has three theoretical perspectives:concept,judgment and inference,Secondly,it also has the characteristics of mathematics,reductionism and intensional logic.Leibniz has failed to achieve the ideal about symbolic logic,but his symbolic logic has a certain status and influence.The hidden knowledge behind Leibniz’s symbolic logic thought has great value to the later generations.