Russell's Mathematical Logicism Essence Exploration

Bertrand Russell's the twentieth century famous British mathematical logician and philosopher. Russell's study involved philosophy, logic, mathematics and other fields, but the greatest achievements and impact of him in the research of mathematics and logic. The purpose of this paper is to explore the theory of Russell's mathematical logicism's essence is to seek true. The research of Russell's mathematical logicism's essence is to seek true has important significance for mathematical research, logic research and philosophy research.This paper is divided into four major elements:The first part, Russell's mathematical logicism ideas outlined. Mainly discusses the historical background, ideological roots and contents of Russell's mathematical logicism. The dissatisfied for the mathematical basis work, and the arithmetic theory can not be seen the ultimate basis of all mathematics have been seen the historical background; In addition, Leibniz's idea of "Mathematical truth is logical truth", which is its ideological origins; The changes of Russell's philosophy view and the found of logical (mathematical) tools to provide a theoretical tool for Russell's mathematical logic doctrine. The paper described the basic point of logicism and Russell's mathematical logicism. The ideas of Russell's mathematical logicism are mathematics can be derived from the logic, the logic is the basis of mathematics, mathematics is a part of logic. Therefore, the logical definition can be derived by mathematical definition, the mathematical axioms can be deduced by logical axioms.The second part, the essence of Russell's mathematical logicism. Discusses the characteristics and relations of mathematics and logic, the characteristics and relations of mathematical truth and logic truth. Were given the true and the truth, logic and truth in the distinction; discusses Russell's vision of the true, discusses the essence of Russell's mathematical logicism is to seek true.The third part, the method of Russell's mathematical logicism's seeking truth. Regard the main methods are the following four:by analysis of language and construction methods, the mathematical concepts are derived from the logic concepts; The theory of Description guarantees truth; Construction propositional calculus and predicate calculus system, mathematical theorems derived from the logical axioms; proposed type of logic to resolve Russell's paradox.The fourth part, the revelation of Russell's mathematical logicism's essence. Russell's mathematical logicism's essence promote the theory development of the logic, philosophy and math-depth. But his advocacy of scientific true-seeking spirit and the rational spirit, for our logical theory today is still an important reference value and enlightening.The paper's research method mainly include literature study, qualitative analysis, interdisciplinary research method, theoretical analysis method. By analyzing the discourse, come to the essence of Russell's mathematical logicism, but also to explore its inspiration.