Neo-logicism revives the logicist project of grounding mathematics in logic. It addresses criticisms of traditional logicism with new insights and…
Neo-Fregeanism revives Frege's logicist project, aiming to base mathematics on logic. It utilizes Hume's Principle and other axioms to ground…
Hume's principle states that two collections have the same number of objects if and only if a one-to-one correspondence can…
Frege's theorem establishes that arithmetic is reducible to logic. It demonstrates how basic arithmetic principles can be derived from logical…
An abstraction principle is a formula stating that two abstract objects are identical if and only if the objects they…