i think my question is clear since you should know what is a function, you should know what is the domain of a function, and you shoud know what is a member of a set.
So, to be even more clear, i am asking if there is a function f such that f belongs to the domain of f (or if there is a proof that such f does not exist).
It's unclear what you mean by 'violation of types'.
You are looking for such that and . I think you might be able to get away with this using a bunch of empty sets, but I'm not sure.
Edit: To clarify, suppose . It seems then that and that is unique and that using Plato's definition giving and as desired.. but I am shaky on this.
I think there cannot be a function with codomain , since the very definition of function requires the existence of an element in the codomain (if the domain is not empty). On the other hand for every set there exists exactly one function , in which case (the empty function) satisfies the requirements. On any other case this makes no sense without identifying the domain with some subset of the product.
The is at least one difficulty with that example.
Using the notation to stand for all functions from .
Here is a standard exercise from Halmos’ little book. (p33)
Exercise: (i) has exactly one element, namely , whether is empty or not; and (ii) if is not empty then is empty.
Now look at your example again. Recall that is no empty.
Also look the requirement #2 in the definition. Consider the existential operator.
At the risk of embarrassing myself further, is it legal to construct the following infinite sets A and F?
A = {a, {(a,b)}, {(a,b), ({(a,b)},b)}, ...}
B = {b}
F = {(a,b), ({(a,b)}, b), ({(a,b), ({(a,b)},b)}, b), ...}
In case it's hard to follow, start with
A_0 = {a}
Look at the function from A_0 to B
F_0 = {(a,b)}
Now take
A_1 = A_0 U {F_0} = {a, {(a,b)}}
Iterate indefinitely..
Seems I've violated the axiom of regularity and created a non-well-founded set. Is it so? Because the A and F constructed above seem very similar to
X_0 = {x}
X_1 = {x, {x}}
X_2 = {x, {x}, {x, {x}}}
X = {x, {x}, {x, {x}}, ...}
which would mean X is a member of itself, which is a contradiction according to the axiom of regularity. And it looks like this is very close to the one of the ways the naturals are defined, which would mean we are essentially taking X to be the limit of n as n approaches infinity, which does not exist because the sequence diverges.
Edit: Sorry to have to revise what I just wrote; maybe I should not have posted to this thread.. It now seems to me that X in this post is akin to and the error isn't in claiming that it exists, but rather in claiming that it is a member of itself, even though X_0 is a member of X_1 which is a member of X_2 etc. In other words, the chain of membership does not imply that X is a member of X. Anyway for what it's worth I believe Plato is correct from the beginning, I was just trying to see if there were some "special cases" for which we can find such an f.
You shouldn't be hassled by anyone claiming that the question makes no sense. The question makes perfect sense.
With the axiom of regularity, we prove there is no function that is a member of its domain. Whether we can prove this without the axiom of regularity, I don't opine.
Actually, we can generalize: With the axiom of regularity, there is no S such that S is a member of the domain of S. Proof:
Def: dom(S) = {x | Ey <x y> in S}
Toward a contradiction, suppose S in dom(S).
So let <S y> in S.
So (using the Kuratowski definition of '< >'), we have S in {S} in <S y> in S, which violates a theorem from regularity.