Philosophy of mathematics
From The Art and Popular Culture Encyclopedia
"2 + 2 = 5"--Nineteen Eighty-Four (1949) by George Orwell |
Related e |
Featured: |
The philosophy of mathematics is the branch of philosophy that studies the assumptions, foundations, and implications of mathematics, and to provide a viewpoint of the nature and methodology of mathematics and to understand the place of mathematics in people's lives. The logical and structural nature of mathematics itself makes this study both broad and unique among its philosophical counterparts.
The terms philosophy of mathematics and mathematical philosophy are frequently used interchangeably. The latter, however, may be used to refer to several other areas of study. One refers to a project of formalizing a philosophical subject matter, say, aesthetics, ethics, logic, metaphysics, or theology, in a purportedly more exact and rigorous form, as for example the labors of scholastic theologians, or the systematic aims of Leibniz and Spinoza. Another refers to the working philosophy of an individual practitioner or a like-minded community of practicing mathematicians. Additionally, some understand the term "mathematical philosophy" to be an allusion to the approach to the foundations of mathematics taken by Bertrand Russell in his books The Principles of Mathematics and Introduction to Mathematical Philosophy.
Contents |
Major themes
Mathematical realism
Mathematical realism, like realism in general, holds that mathematical entities exist independently of the human mind. Thus humans do not invent mathematics, but rather discover it, and any other intelligent beings in the universe would presumably do the same. In this point of view, there is really one sort of mathematics that can be discovered; triangles, for example, are real entities, not the creations of the human mind.
Many working mathematicians have been mathematical realists; they see themselves as discoverers of naturally occurring objects. Examples include Paul Erdős and Kurt Gödel. Gödel believed in an objective mathematical reality that could be perceived in a manner analogous to sense perception. Certain principles (e.g., for any two objects, there is a collection of objects consisting of precisely those two objects) could be directly seen to be true, but the continuum hypothesis conjecture might prove undecidable just on the basis of such principles. Gödel suggested that quasi-empirical methodology could be used to provide sufficient evidence to be able to reasonably assume such a conjecture.
Within realism, there are distinctions depending on what sort of existence one takes mathematical entities to have, and how we know about them. Major forms of mathematical realism include Platonism.
Mathematical anti-realism
Mathematical anti-realism generally holds that mathematical statements have truth-values, but that they do not do so by corresponding to a special realm of immaterial or non-empirical entities. Major forms of mathematical anti-realism include Formalism and Fictionalism.
Platonism
Mathematical Platonism is the form of realism that suggests that mathematical entities are abstract, have no spatiotemporal or causal properties, and are eternal and unchanging. This is often claimed to be the view most people have of numbers. The term Platonism is used because such a view is seen to parallel Plato's Theory of Forms and a "World of Ideas" (Greek: eidos (εἶδος)) described in Plato's allegory of the cave: the everyday world can only imperfectly approximate an unchanging, ultimate reality. Both Plato's cave and Platonism have meaningful, not just superficial connections, because Plato's ideas were preceded and probably influenced by the hugely popular Pythagoreans of ancient Greece, who believed that the world was, quite literally, generated by numbers.
A major question considered in mathematical Platonism is: Precisely where and how do the mathematical entities exist, and how do we know about them? Is there a world, completely separate from our physical one, that is occupied by the mathematical entities? How can we gain access to this separate world and discover truths about the entities? One proposed answer is the Ultimate Ensemble, a theory that postulates that all structures that exist mathematically also exist physically in their own universe.
Kurt Gödel's Platonism postulates a special kind of mathematical intuition that lets us perceive mathematical objects directly. (This view bears resemblances to many things Husserl said about mathematics, and supports Kant's idea that mathematics is synthetic a priori.) Davis and Hersh have suggested in their 1999 book The Mathematical Experience that most mathematicians act as though they are Platonists, even though, if pressed to defend the position carefully, they may retreat to formalism.
Full-blooded Platonism is a modern variation of Platonism, which is in reaction to the fact that different sets of mathematical entities can be proven to exist depending on the axioms and inference rules employed (for instance, the law of the excluded middle, and the axiom of choice). It holds that all mathematical entities exist. They may be provable, even if they cannot all be derived from a single consistent set of axioms.
Set-theoretic realism (also set-theoretic Platonism) a position defended by Penelope Maddy, is the view that set theory is about a single universe of sets. This position (which is also known as naturalized Platonism because it is a naturalized version of mathematical Platonism) has been criticized by Mark Balaguer on the basis of Paul Benacerraf's epistemological problem. A similar view, termed Platonized naturalism, was later defended by the Stanford–Edmonton School: according to this view, a more traditional kind of Platonism is consistent with naturalism; the more traditional kind of Platonism they defend is distinguished by general principles that assert the existence of abstract objects.
See also
- Axiomatic set theory
- Axiomatic system
- Category theory
- Definitions of mathematics
- Formal language
- Formal system
- Foundations of mathematics
- Golden ratio
- History of mathematics
- Intuitionistic logic
- Logic
- Mathematical beauty
- Mathematical constructivism
- Mathematical logic
- Mathematical proof
- Metamathematics
- Model theory
- Naive set theory
- Non-standard analysis
- Philosophy of language
- Philosophy of science
- Philosophy of probability
- Proof theory
- Rule of inference
- Science studies
- Scientific method
- Set theory
- The Unreasonable Effectiveness of Mathematics in the Natural Sciences
- Truth
- Ultimate ensemble
Related works
- The Analyst
- Euclid's Elements
- Gödel's completeness theorem
- Introduction to Mathematical Philosophy
- New Foundations
- Principia Mathematica
- The Simplest Mathematics
Historical topics