Neo-Logicism in the Philosophy of Mathematics
Neo-logicism revives the logicist project of grounding mathematics in logic. It addresses…
Neo-Fregeanism: A Modern Approach to Logicism
Neo-Fregeanism revives Frege's logicist project, aiming to base mathematics on logic. It…
Logicism: Reducing Mathematics to Logic
Logicism is the philosophical view that mathematics is a branch of logic.…
Frege’s Theorem
Frege's theorem establishes that arithmetic is reducible to logic. It demonstrates how…
Frege’s Basic Law V and the Foundations of Arithmetic
Frege's Basic Law V aimed to ground arithmetic in logic. It states…