Definition:Logicism

Philosophical Position

Logicism is the philosophical position that all of mathematics can be reduced to logic in the sense that:

$(1): \quad$ mathematical concepts can be explicitly defined in terms of logical concepts

$(2): \quad$ the theorems of mathematics can be derived through logical deduction.

Also see

• Results about logicism can be found here.

Historical Note

Logicism was first propounded by Gottlob Frege.

Sources

• 1998: David Nelson: The Penguin Dictionary of Mathematics (2nd ed.) ... (previous) ... (next): logicism
• 2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.) ... (previous) ... (next): logicism

• Logicism. V.E. Plisko (originator),Encyclopedia of Mathematics. URL: https://www.encyclopediaofmath.org/index.php?title=Logicism&oldid=15625