meillassouxnew

advertisement
I. THEY EYTHYPHRONIC DILEMMA
II. SEMANTIC DOUBLING AND THE SCHELLINGIAN MOMENT
III. MEILLASSOUX’SARGUMENT FOR CONTINGENCY
IV. KAPLAN’S PARADOX
V. WHAT MEILLASSOUX SHOULD SAY ABOUT RUSSELL’S PARADOX
explain why being careful as possible
Va. Russell’s Paradox as the Canonical Inclosure Paradox
Graham Priest’s great discovery is that an astonishing number of traditional paradoxes fit the
following schema:
Priest’s Inclosure Schema:
(1)
Ω = {y; φ(y)} exists and ψ(Ω)
Existence
(2)
if x  Ω and ψ(x)
(a)
δ(x)  x
Transcendence
(b)
δ(x)  Ω
Closure
In Beyond the Limits of Thought he gives values for φ, ψ, and δ to derive the paradoxes of
Russell, Burali-Forti, Mirimanoff, Kant (according to Priest’s reconstructed “fifth antinomy”),
König, Berry, Richard, Berkeley, Weyl, Montague, as well as the traditional liar paradox. In
addition, he is able to present a guerilla retelling of the history of philosophy (including Plato,
Aristotle, Cusanus, Aquinas, Anselm, Leibniz, Berkeley, Kant, Hegel, Cantor, Russell, Frege,
Quine, Davidson, Derrida, Wittgenstein, Heidegger, and Nāgārjuna) in terms of the schema.
For Priest, Russell’s paradox has a kind of pride of place, in part because it is “the heart
of Cantor’s Paradox” and “undoubtedly the simplest of all the set-theoretic paradoxes” (Priest
2006, 129). We will explain the connection with Cantor below, but Priest’s key insight is that the
“Russell set,” the set of all sets that are not members of themselves, is arrived at by applying
Cantor’s own diagonalization function to the identity function of the set of all pure sets. 1 First,
we define diag in the usual manner. Where fα is a one-place function defined over the set α,
equals the set of x in α that are such that x is not a member of fα(x):
diag(fα) = {x  α | x  fα(x)}
This is the key function that Cantor constructed to show that the cardinality of any set is less than
the cardinality of the set of all of that set’s subsets. Let the id be the function that takes every
object to itself.
diag(idα) = {x  α | x  idα(x)}
But since by definition idα(x) = x, we can replace idα(x) with x in the above, giving us:
diag(idα) = {x  α | x  x}
Now assume that α is V, the set of all pure sets. Since V contains everything the set of x in V is
the same as the set of all sets.
diag(idV) = {x  V | x  x} = {x | x  x}
1
This is pretty insightful. The way Russell’s Paradox is usually presented is by noting that if the
set of all sets exists then the Russell set would also exist as a subset of it. Priest shows that this
way of presentation is also an instance of the inclusure schema (Priest 2006, 130).
The Russell set.
And now we can consider Priest’s inclosure schema for Russell’s paradox. We should
note that part of what makes Russell’s paradox the simplest such one is that it is in the family of
paradoxes (including the Burali-Forti, Mirimanoff, and Kan’ts 5th Antinomy) where ψ can be a
trivial property such as being self-identical. Thus we don’t need to represent it in the inclosure
schema. Also, since Ω = {y; y  V} is equal to V, we can simplify the inclosure schema thusly:
Priest’s Inclosure Schema:
(1)
V exists
(2)
if x  V
Existence
(a)
diag(idx)  x Transcendence
(b)
diag(idx)  V Closure
The contradiction is arrived at by the characteristic self-application of (a) Transcendence and (b)
Closure to V itself, which yields the contradiction (a) diag(idV)  V and (b) diag(idV)  V. Note
that this is licensed because any set is a subset of itself. From the nature of the contradiction we
can see why Priest uses the phrases he does. The Transcendence lemma shows that the
diagonalizing function yields a value external to the postulated totality (the set of all sets), while
the Closure lemma shows that the same function yields a value inside the postulated totality.
Clearly the self-application yields a contradiction. The interesting work then is always
demonstrating Transcendence and Closure with respect to all of the subsets of the totality in
question. In the case of Russell’s Paradox, Closure follows immediately. Since V is the set of all
pure sets, any pure set is an element of it by definition. Transcendence is a bit trickier, but in the
case of Russell’s Paradox, easily formalizable in a Fitch style system, if we make one
assumption:
1. z(z = {y  z | y  y}  {y  z | y  y})
FACT
This says that any set is the union of two of its subsets: (1) the one composed of elements of that
set that are members of themselves, and (2) the one composed of elements of that set that are not
members of themselves. Since, by the law of bivalence a set either is a member of itself or is not,
this exhausts the possibilities and so hence the union of the two subsets is equal to the superset.
We continue:
2. | x  V
assumption for  introduction
3. | | diag(idx)  x
assumption for  introduction
4. | | x = {y  x | y  y}  {y  x | y  y}
1  elimination
5. | | diag(idx)  {y  x | y  y}  {y  x | y  y}
3,4 = elimination
6. | | | diag(idx)  {y  x | y  y}
assumption for  elimination
7. | | | diag(idx)  diag(idx)
6 definition 
8. | | | diag(idx)  {y  x | y  y}
6 definition of diag(idx)
9. | | | diag(idx)  diag(idx)
8 definition 
10.| | | 
7, 9  elimination
11.| | | diag(idx)  {y  x | y  y}
assumption for  elimination
12.| | | diag(idx)  diag(idx)
11 definition 
13.| | | diag(idx)  diag(idx)
11 definition diag(idx)
14.| | | 
12, 13  elimination
15.| | 
5, 6-10, 11-14  elimination
16 | diag(idx)  x
3-15  introduction
17. x(x  V → diag(idx)  x)
2-16  introduction
We (2) start with an arbitrary x which is a subset of V, and (3) assume for reductio that the
diagonalization on the identity function applied to that x is itself a member of x. Then, (4) note
that the x in question will be equal to the union set of two subsets, one consisting of members of
x that are members of themselves and one consisting of members that aren’t. Since we’ve
assumed that the diagonalization set is a member of x it follows that (5) it is a member of this
union. But then if we reduce to absurdity the assumption that it is in either member of the union
(6-10, 11-14) we will have reduced to absurdity the assumption that it is a member of x (15), and
hence (16, 17) proved that for any subset x of V the diagonalization of the identity function on x
is not a member of x. The two subproofs (6-10, 11-14) both straightforwardly hinge on the
definition of diagonalization and set membership.
The typical response to such paradoxes is to refuse to assert the Existence of the totality
in question. Kant’s original response to his mathematical antinomies is the model of how to
attempt such a thing, and Zermelo-Fränkel ZF set theory is a modern day version of Kant’s
gambit. But there are other possibilities. The problematic open sentences in ZF set theory are in
von Neumann’s set theory expressible as classes, which are like sets but not prohibited from
being members of anything. Thus Closure is blocked, since it cannot apply to the proper class V.
And the proof to Transcendence can be blocked by adopting weaker logics, such the De Morgan
logic developed by Hartry Field in Saving Truth From Paradox.
Priest notoriously accepts Existence, Closure, and Transcendence, holding that inclosure
paradoxes are true paradoxes. When critiquing alternative approaches he appeals to two
principles: (1) the Principle of Uniformed Solutions (PUS) which states that similar paradoxes
should have similar solutions, and (2) the Domain Principle, which in its simplest formulation
states that “For every potential infinity there is a corresponding actual infinity (Priest 2006,
124).”
Jon- how Domain principle works w.r.t. ZF
Vb. Meillassoux, Russell’s Paradox, and the Domain Principle
Joshuaif step ten is valid then he should accept domain principle wrt Russell’s paradox, but wait on as
applied to modality until VIIb
for step seven to do the work the domain principle must be an enthymeme
VII. WHAT MEILLASSOUX SHOULD SAY ABOUT KAPLAN’S PARADOX
VIIa. The Principle of Uniform Solution
Jon- point out that don’t need identity function because proof that set is smaller than powerset
doesn’t assume that they are equal in the premise. So Kaplan’s Paradox is quasi Priestian
VIIb. The Domain Principle Revisited
Jon- show how PUS concerns aren’t relevant anyhow, because the Domain Principle on its own
entails
Joshua- if he can be a Kantian wrt the domain principle applied to modality, then there is no
reason at all to think that step seven overturns correlationism. Give damning quasi Kantian quote
here.
VI. MEILLASSOUX’S CIRCLE
CONCLUSION
Garcia and Gabriel how issues of totality are again at the forefront of continental philosophy.
Hartry Field in Saving Truth From Paradox.
Priest, Graham. Beyond the Limits of Thought.
Download