Motivation For Reflection Principles
A naive version of the reflection principle states that "for any property of the universe of all sets we can find a set with the same property". This leads to an immediate contradiction: the universe of all sets contains all sets, but there is no set with the property that it contains all sets. To get useful (and non-contradictory) reflection principles we need to be more careful about what we mean by "property" and what properties we allow.
To find non-contradictory reflection principles we might argue informally as follows. Suppose that we have some collection A of methods for forming sets (for example, taking powersets, subsets, the axiom of replacement, and so on). We can imagine taking all sets obtained by repeatedly applying all these methods, and form these sets into a class V, which can be thought of as a model of some set theory. But now we can introduce the following new principle for forming sets: "the collection of all sets obtained from some set by repeatedly applying all methods in the collection A is also a set". If we allow this new principle for forming sets, we can now continue past V, and consider the class W of all sets formed using the principles A and the new principle. In this class W, V is just a set, closed under all the set-forming operations of A. In other words the universe W contains a set V which resembles W in that it is closed under all the methods A.
We can use this informal argument in two ways. We can try to formalize it in (say) ZF set theory; by doing this we obtain some theorems of ZF set theory, called reflection theorems. Alternatively we can use this argument to motivate introducing new axioms for set theory.
Read more about this topic: Reflection Principle
Famous quotes containing the words motivation for, motivation, reflection and/or principles:
“Self-determination has to mean that the leader is your individual gut, and heart, and mind or we’re talking about power, again, and its rather well-known impurities. Who is really going to care whether you live or die and who is going to know the most intimate motivation for your laughter and your tears is the only person to be trusted to speak for you and to decide what you will or will not do.”
—June Jordan (b. 1939)
“Self-determination has to mean that the leader is your individual gut, and heart, and mind or we’re talking about power, again, and its rather well-known impurities. Who is really going to care whether you live or die and who is going to know the most intimate motivation for your laughter and your tears is the only person to be trusted to speak for you and to decide what you will or will not do.”
—June Jordan (b. 1939)
“And since the average lifetime—the relative longevity—is far greater for memories of poetic sensations than for those of heartbreaks, since the very long time that the grief I felt then because of Gilbert, it has been outlived by the pleasure I feel, whenever I wish to read, as in a sort of sundial, the minutes between twelve fifteen and one o’clock, in the month of May, upon remembering myself chatting ... with Madame Swann under the reflection of a cradle of wisteria.”
—Marcel Proust (1871–1922)
“It is a life-and-death conflict between all those grand, universal, man-respecting principles which we call by the comprehensive term democracy, and all those partial, person-respecting, class-favoring elements which we group together under that silver-slippered word aristocracy. If this war does not mean that, it means nothing.”
—Antoinette Brown Blackwell (1825–1921)