Document Type : Research Paper

Author

• Gholamhossein Moghadam Heidari

Assistant Professor in Philosophy of Science and Technology, Institute for Humanities and Cultural Studies,

Abstract

Logicism is one of the important schools in philosophy of mathematics which reduce the concepts and propositions of mathematics into the concepts and propositions of logic. Bolzano was the pioneer mathematician who based mathematics on logic, and then Ferege continued this project through propounding a new version of logic. Ultimately, in the early decades of 20^th century, this project was finalized by Russel and Withead. In this paper, I, attempt to review the historical development of logicism from Bolzano to Russel, and then through the examination of strengths and weaknesses of the project, I try to answer to this question: has logicism been satisfactory?

Keywords

• Logicism
• identity
• theory of types
• axiom of reducibility
• impredicative definition