Penelope Maddy
Encyclopedia
Penelope Maddy is a UCI Distinguished Professor 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 realism and naturalism.
Maddy received her Ph.D. from Princeton University
in 1979. Her early work, culminating in Realism in Mathematics, she defended Kurt Gödel
's position that mathematics is a true description of a mind-independent realm that we can access through our intuition. However, she suggested that some mathematical entities are in fact concrete, unlike, notably, Gödel, who assumed all mathematical objects are abstract. She suggested that sets can be causally efficacious, and in fact share all the causal and spatiotemporal properties of their elements. Thus, when I see the three cups on the table in front of me, I also see the set as well. She used contemporary work in cognitive science and psychology to support this position, pointing out that just as at a certain age we begin to see objects rather than mere sense perceptions, there is also a certain age at which we begin to see sets rather than just objects.
In the 1990s, she moved away from this position, towards a position described in Naturalism in Mathematics. Her "naturalist" position, like Quine
's, suggests that since science is our most successful project so far for knowing about the world, philosophers should adopt the methods of science in their own discipline, and especially when discussing science. However, rather than a unified picture of the sciences like Quine's, she has a picture on which mathematics is separate. This way, mathematics is neither supported nor undermined by the needs and goals of science, but is allowed to obey its own criteria. This means that traditional metaphysical
and epistemological concerns of the philosophy of mathematics
are misplaced. Like Wittgenstein, she suggests that many of these puzzles arise merely because of the application of language outside its proper domain of significance.
Throughout her career, she has been dedicated to understanding and explaining the methods that set theorists
use in agreeing on axiom
s, especially those that go beyond ZFC.
Logic
In philosophy, Logic is the formal systematic study of the principles of valid inference and correct reasoning. Logic is used in most intellectual activities, but is studied primarily in the disciplines of philosophy, mathematics, semantics, and computer science...
and Philosophy of Science
Philosophy of science
The philosophy of science is concerned with the assumptions, foundations, methods and implications of science. It is also concerned with the use and merit of science and sometimes overlaps metaphysics and epistemology by exploring whether scientific results are actually a study of truth...
and of Mathematics
Mathematics
Mathematics is the study of quantity, space, structure, and change. Mathematicians seek out patterns and formulate new conjectures. Mathematicians resolve the truth or falsity of conjectures by mathematical proofs, which are arguments sufficient to convince other mathematicians of their validity...
at the University of California, Irvine
University of California, Irvine
The University of California, Irvine , founded in 1965, is one of the ten campuses of the University of California, located in Irvine, California, USA...
. She is well known for her influential work in the philosophy of mathematics
Philosophy of mathematics
The philosophy of mathematics is the branch of philosophy that studies the philosophical assumptions, foundations, and implications of mathematics. The aim of the philosophy of mathematics is to provide an account of the nature and methodology of mathematics and to understand the place of...
, where she has worked on realism and naturalism.
Maddy received her Ph.D. from Princeton University
Princeton University
Princeton University is a private research university located in Princeton, New Jersey, United States. The school is one of the eight universities of the Ivy League, and is one of the nine Colonial Colleges founded before the American Revolution....
in 1979. Her early work, culminating in Realism in Mathematics, she defended Kurt Gödel
Kurt Gödel
Kurt Friedrich Gödel was an Austrian logician, mathematician and philosopher. Later in his life he emigrated to the United States to escape the effects of World War II. One of the most significant logicians of all time, Gödel made an immense impact upon scientific and philosophical thinking in the...
's position that mathematics is a true description of a mind-independent realm that we can access through our intuition. However, she suggested that some mathematical entities are in fact concrete, unlike, notably, Gödel, who assumed all mathematical objects are abstract. She suggested that sets can be causally efficacious, and in fact share all the causal and spatiotemporal properties of their elements. Thus, when I see the three cups on the table in front of me, I also see the set as well. She used contemporary work in cognitive science and psychology to support this position, pointing out that just as at a certain age we begin to see objects rather than mere sense perceptions, there is also a certain age at which we begin to see sets rather than just objects.
In the 1990s, she moved away from this position, towards a position described in Naturalism in Mathematics. Her "naturalist" position, like Quine
Willard Van Orman Quine
Willard Van Orman Quine was an American philosopher and logician in the analytic tradition...
's, suggests that since science is our most successful project so far for knowing about the world, philosophers should adopt the methods of science in their own discipline, and especially when discussing science. However, rather than a unified picture of the sciences like Quine's, she has a picture on which mathematics is separate. This way, mathematics is neither supported nor undermined by the needs and goals of science, but is allowed to obey its own criteria. This means that traditional metaphysical
Metaphysics
Metaphysics is a branch of philosophy concerned with explaining the fundamental nature of being and the world, although the term is not easily defined. Traditionally, metaphysics attempts to answer two basic questions in the broadest possible terms:...
and epistemological concerns of the philosophy of mathematics
Philosophy of mathematics
The philosophy of mathematics is the branch of philosophy that studies the philosophical assumptions, foundations, and implications of mathematics. The aim of the philosophy of mathematics is to provide an account of the nature and methodology of mathematics and to understand the place of...
are misplaced. Like Wittgenstein, she suggests that many of these puzzles arise merely because of the application of language outside its proper domain of significance.
Throughout her career, she has been dedicated to understanding and explaining the methods that set theorists
Set theory
Set theory is the branch of mathematics that studies sets, which are collections of objects. Although any type of object can be collected into a set, set theory is applied most often to objects that are relevant to mathematics...
use in agreeing on axiom
Axiom
In traditional logic, an axiom or postulate is a proposition that is not proven or demonstrated but considered either to be self-evident or to define and delimit the realm of analysis. In other words, an axiom is a logical statement that is assumed to be true...
s, especially those that go beyond ZFC.
Selected publications
- Defending the Axioms, Oxford University Press, 2011. ISBN 0-19-959618-2
- Second Philosophy, Oxford University Press, 2007. ISBN 0-19-927366-9
- Naturalism in Mathematics, Oxford University Press, 1997. ISBN 0-19-825075-4
- Realism in Mathematics, Oxford University Press, 1990. ISBN 0-19-824035-X (a copy with corrections is available at the authors web page)