Platonism in Philosophy of Mathematics
Platonism asserts that abstract mathematical objects, like numbers and sets, possess an…
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…
Mathematical Abstractionism
Mathematical abstractionism posits that mathematical concepts are derived from physical objects and…
Logicism: Reducing Mathematics to Logic
Logicism is the philosophical view that mathematics is a branch of logic.…
Kreisel-Putnam Logic
A logic designed for higher-order quantification and modalities. It emerged from discussions…
The Indispensability Argument in Philosophy of Mathematics
This argument posits that if mathematical entities are essential for our most…
Frege’s Theorem
Frege's theorem establishes that arithmetic is reducible to logic. It demonstrates how…