Philosophy of mathematics is the branch of philosophy that deals with the nature of mathematics and its relationship to other areas of philosophy, particularly epistemology and metaphysics. Central questions posed include whether or not mathematical objects are purely abstract entities or are in some way concrete, and in what the relationship such objects have with physical reality consists.
Major themes that are dealt with in philosophy of mathematics include:
Philosophical realism—usually not treated as a position of its own but as a stance towards other subject matters—is the view that a certain kind of thing (ranging widely from abstract objects like numbers to moral statements to the physical world itself) has mind-independent existence, i.e. that it exists even in the absence of any mind perceiving it or that its existence is not just a mere appearance in the eye of the beholder. This includes a number of positions within epistemology and metaphysics which express that a given thing instead exists independently of knowledge, thought, or understanding. This can apply to items such as the physical world, the past and future, other minds, and the self, though may also apply less directly to things such as universals, mathematical truths, moral truths, and thought itself. However, realism may also include various positions which instead reject metaphysical treatments of reality altogether.
Realism can also be a view about the properties of reality in general, holding that reality exists independent of the mind, as opposed to non-realist views (like some forms of skepticism and solipsism) which question the certainty of anything beyond one's own mind. Philosophers who profess realism often claim that truth consists in a correspondence between cognitive representations and reality.
In the philosophy of mathematics, formalism is the view that holds that statements of mathematics and logic can be considered to be statements about the consequences of the manipulation of strings (alphanumeric sequences of symbols, usually as equations) using established manipulation rules. A central idea of formalism "is that mathematics is not a body of propositions representing an abstract sector of reality, but is much more akin to a game, bringing with it no more commitment to an ontology of objects or properties than ludo or chess."
According to formalism, mathematical statements are not "about" numbers, sets, triangles, or any other mathematical objects in the way that physical statements are about material objects. Instead, they are purely syntactic expressions—formal strings of symbols manipulated according to explicit rules without inherent meaning. These symbolic expressions only acquire interpretation (or semantics) when we choose to assign it, similar to how chess pieces follow movement rules without representing real-world entities. This view stands in stark contrast to mathematical realism, which holds that mathematical objects genuinely exist in some abstract realm.
Penelope Maddy (born 4 July 1950) is an American philosopher. Maddy is Distinguished Professor Emerita of Logic and Philosophy of Science and of Mathematics at the University of California, Irvine. She is well known for her influential work in the philosophy of mathematics, where she has worked on mathematical realism (especially set-theoretic realism) and mathematical naturalism.