Mathematical ontology
Compare realism, nominalism, structuralism and related views about what numbers, sets and structures are.
Side 249Side Studies / Research
Subject
Philosophy of Mathematics
Purpose
Mathematical knowledge studied through questions about abstract objects, proof, truth, foundations and the applicability of mathematics to the physical world.
Structure
05 movesArgument mapV0
Problem → positions → arguments → objections → implications
Ask what mathematics is about and why proof gives knowledge.
Philosophy of mathematics separates ontological questions about mathematical objects from epistemic questions about proof, practice and applicability.
Proof & knowledge
Ask why formal derivation is epistemically distinctive and how informal mathematical practice relates to formal proof.
Foundations
Examine logicist, formalist, set-theoretic and category-theoretic approaches to grounding mathematical systems.
Truth & objectivity
Study whether mathematical truth depends on models, structures, practices or mind-independent facts.
Applicability
Ask why mathematics developed through abstraction so often describes physical systems with remarkable precision.
Keep the boundaries visible.
mathematical realism ≠ physical existence
formal proof ≠ human understanding
foundation ≠ single final theory
Questions that organize the Side.
What explains agreement about mathematical truth if mathematical objects are abstract?
Can mathematical practice be understood without committing to a particular ontology?
Why is mathematics so effective in empirical science?
What should carry weight here?
Conceptual arguments should be kept distinct from historical claims about mathematical practice and from empirical claims about cognition or scientific application.