#1
There is a man in a town that shaves all and only those that do not shave themselves.
That is, this barber shaves x if and only if x does not shave x, for all x.

Does the barber shave himself?

No, he cannot shave himself!

Where x and y are existent individuals and S is the relation 'shaves'...
For any x [Ay(xSy <-> ~(ySy)) -> (xSx <-> ~(xSx))], is the paradox.

The assumption that there is an x such that: Ay(xSy <-> ~(ySy)),
There is no x such that: Ay(xSy <-> ~(ySy)).

ie. Ax~Ay(xSy <-> ~(ySy)), ie. ~ExAy(xSy <-> ~(ySy)) is a theorem.

An x such that Ay(xSy <-> ~(ySy)) cannot exist in classical logic.
The x such that Ay(xSy <-> ~(ySy)) cannot exist either.

There is no existent individual that satisfies the description [an x such
that: Ay(xSy <-> ~(ySy)].
The 'barber' does not exist. He can't shave himself nor can he be shaven.

All primary predications of 'the barber' are false.
We cannot say what it is, but, we can say what it is not.
The barber is not among the members of: those that do shave themselves,
or, those that do not shave themselves.

The barber cannot be: a man, a woman, a robot, etc.
There is no entity that satisfies the description of 'the barber'.

Also..
There is no existent individual class that satisfies the description [an x
such that Ay(y e x <-> ~(y e y))].
The 'Russell Class' does not exist.

~ExAy(yRx <-> ~(yRy)) and ~ExAy(xRy <-> ~(yRy)) are theorems for all relations R.

Including:
1. ~ExAy(x(Shaves)y <-> ~(y(Shaves)y)).
2. ~ExAy(x=y <-> ~(y=y)).
3. ~ExAy(y e x <-> ~(y e y)).
etc.

The answer to Russell's question "Is the class of those classes that are
not members of themselves, a member of itself?" is No, because it does not
exist.
It is neither a member of any class nor is anything a member of it!

(Contrary to NBG, von Neumann-Bernays-Godel set theory, which claims that the Russell class is a proper class.)

The barber paradox, and the Russell Paradox, are resolved without the need for a theory of types or a special category of 'proper classes'.

 PhysOrg.com science news on PhysOrg.com >> Hong Kong launches first electric taxis>> Morocco to harness the wind in energy hunt>> Galaxy's Ring of Fire
 I am not an expert on this issue by a long shot, but I think the problem is that by the original definition of sets, not all sets are logically consistent. People generally take it for granted that if they define some object according to an established template, it should be logically consistent with itself.

Recognitions:
 Quote by Owen Holden The barber paradox, and the Russell Paradox, are resolved without the need for a theory of types or a special category of 'proper classes'.
While this is true, it does not contain a novel solution to Russell's paradox. The Russell paradox was based on the now-discredited axiom that every predicate defines a set. The answer that the Russell set does not exist, along with the concession that some predicates do not define sets at all, has been the solution eventually chosen by mathematics and logic after the discovery of the paradox. From that point on, it may or may not be of interest whether more general objects like types or classes can be defined in a consistent manner, depending on whom one asks. The more important effect has been to modify the axioms of sets, since one must now answer the question of which predicates are to be allowed to form sets such that the resulting theory is strong enough to be useful but does not allow the expression of the paradox.

 Quote by Owen Holden #1 There is a man in a town that shaves all and only those that do not shave themselves. That is, this barber shaves x if and only if x does not shave x, for all x. Does the barber shave himself? No, he cannot shave himself! Where x and y are existent individuals and S is the relation 'shaves'... For any x [Ay(xSy <-> ~(ySy)) -> (xSx <-> ~(xSx))], is the paradox. The assumption that there is an x such that: Ay(xSy <-> ~(ySy)), leads to the contradiction (xSx <-> ~(xSx)), therefore, There is no x such that: Ay(xSy <-> ~(ySy)). ie. Ax~Ay(xSy <-> ~(ySy)), ie. ~ExAy(xSy <-> ~(ySy)) is a theorem. An x such that Ay(xSy <-> ~(ySy)) cannot exist in classical logic. The x such that Ay(xSy <-> ~(ySy)) cannot exist either. There is no existent individual that satisfies the description [an x such that: Ay(xSy <-> ~(ySy)]. The 'barber' does not exist. He can't shave himself nor can he be shaven. All primary predications of 'the barber' are false. We cannot say what it is, but, we can say what it is not. The barber is not among the members of: those that do shave themselves, or, those that do not shave themselves. The barber cannot be: a man, a woman, a robot, etc. There is no entity that satisfies the description of 'the barber'. Also.. There is no existent individual class that satisfies the description [an x such that Ay(y e x <-> ~(y e y))]. The 'Russell Class' does not exist. ~ExAy(yRx <-> ~(yRy)) and ~ExAy(xRy <-> ~(yRy)) are theorems for all relations R. Including: 1. ~ExAy(x(Shaves)y <-> ~(y(Shaves)y)). 2. ~ExAy(x=y <-> ~(y=y)). 3. ~ExAy(y e x <-> ~(y e y)). etc. The answer to Russell's question "Is the class of those classes that are not members of themselves, a member of itself?" is No, because it does not exist. It is neither a member of any class nor is anything a member of it! (Contrary to NBG, von Neumann-Bernays-Godel set theory, which claims that the Russell class is a proper class.) The barber paradox, and the Russell Paradox, are resolved without the need for a theory of types or a special category of 'proper classes'.
If The barber does not wish to shave himeslef, then he must so declare and not mislead his audience with the fiction that there is a paradox. If he is LOGICALLY and QUANTITATIVE confused, he must so declare. He must never hide behind the fiction of Paradox, for there is none.

If he speaks, writes, or instructs, he must clearly and distinctively say or indicate whether he wishes to include himself in the Set of bearded and shavable people or not. A Universal Set or a Universe of Discourse always contains a precise number of members or things. If a Cretan wants to include himself in the set of all the Cretans that are Liars, then he must take care and construct his sentence in a manner that quantitatively and logically avoids 'Self-Referential Errors'. Exclussionary Laws exist both in Formal Logic and in NL (Natural Langauge) for 'self-debugging' when speaking, writing or instructing. If you cannot self-debug, why speak, write or instruct in the first place?
--------
THINK NATURE.....STAY GREEN! MAY THE 'BOOK OF NATURE' SERVE YOU WELL AND BRING YOU ALL THAT IS GOOD!

 Quote by Philocrat If The barber does not wish to shave himeslef, then he must so declare and not mislead his audience with the fiction that there is a paradox. If he is LOGICALLY and QUANTITATIVE confused, he must so declare. He must never hide behind the fiction of Paradox, for there is none.
The described barber cannot wish. It does not exist!

 Quote by Owen Holden The described barber cannot wish. It does not exist!
If so, much the better.....either way (exist or not exist) there is no paradox! If you have patience, I may turn up with some Devices later, as long as such devices are NL-Specific and relevant!

---------------------------------
Think Nature....Stay Green! Above all, never harm or destroy that which you cannot create! May the 'Book of Nature' serve you well and bring you all that is Good!

 Recognitions: Gold Member Science Advisor Logical paradoxes are internally inconsistent. First principles are usually violated. The mathematical equivalent of singularities.
 A computer programmer once showed me two sets which included each other. Set A was a member of set B, and set B was a member of set A. I was dumbfounded by what I thought to be a logical impossibility, yet he explained to me how that was possible and I found the solution quite simple, though perhaps not intuitive. It left me thinking of how anonymous people all over the world are faced with those "paradoxes" of philosophy and, not having heard of them, go ahead and solve them in clever ways. I was under the impression that Russel's set does exist and the problem was finding how the paradox was solved. Perhaps we should hire a few computer programmers? As to the barber paradox, I'd venture to say it's related to the principle behind oscillators. The current state is unstable and forces a different state to emerge, but the new state is as unstable as the previous one and forces its return. In the case of the barber, he has to shave himself when he doesn't, and that act forces him not to shave himself, which brings back the previous scenario, and so on. The key point here is that time solves the paradox, though only temporarily (sort of redundant but that's precisely the point)
 In ternary logic, the conjunction of a statement and it's negation is not false necessarily.

 Quote by Pensador A computer programmer once showed me two sets which included each other. Set A was a member of set B, and set B was a member of set A. I was dumbfounded by what I thought to be a logical impossibility, yet he explained to me how that was possible and I found the solution quite simple, though perhaps not intuitive. It left me thinking of how anonymous people all over the world are faced with those "paradoxes" of philosophy and, not having heard of them, go ahead and solve them in clever ways. I was under the impression that Russel's set does exist and the problem was finding how the paradox was solved. Perhaps we should hire a few computer programmers?
Programmers are undisputedly ahead of the game. And this is reason that I sometimes look at most philosophical statements (and even some scientific statements as well) and I just smile knowing fully well that some of the logics that these disciplines are wrestling with are already secretely resolved by programmers. For example, most of the so-called Paradoxes have already been successfully captured in the 'DATA STRUCTURES' specifications in computer operating systems, Databases, and in most of the so-called High Level Languages, espcecially those with advanced and more up-to-date Object-Orientation capabilities. In fact, in my own opinion programmers are no longer doing programming, rather they spend most of their time specifying communications channells between theortical self-sustained objects. Infact, some of these self-sustained theoretical objects are multiple computational instruction sets within instruction sets. Some of them are so sophisticated that they can theoretically and in actual fact self-refer in that they can fuctionally activate or call instances of themselves while in action.

The question of resolving the cretan or barber paradox is a non-starter because they can be programmatically specified.

 As to the barber paradox, I'd venture to say it's related to the principle behind oscillators. The current state is unstable and forces a different state to emerge, but the new state is as unstable as the previous one and forces its return. In the case of the barber, he has to shave himself when he doesn't, and that act forces him not to shave himself, which brings back the previous scenario, and so on. The key point here is that time solves the paradox, though only temporarily (sort of redundant but that's precisely the point)
In our Natural Langauge (NL), there are also declaratory constructs and devices for exclusively avoiding all these so-called paradoxes. The formalists just want to pointlessy prove rigour and elegance when there is no need for this.

 And also, the claim that 'CONSCIENCE' (let alone CONSCIOUSNESS) cannot be captured in computer programs is a fundamental mistake. It can be done, except that we need to define it first incase it has evolutionary value in the overall scheme of things in the universe.

 Quote by Philocrat In our Natural Langauge (NL), there are also declaratory constructs and devices for exclusively avoiding all these so-called paradoxes.
That is interesting. Could you provide an example?

I do find it interesting that ordinary people are never confronted with paradoxes, which certainly implies our language is sophisticated enough to avoid them. I just don't know exactly how we do that, which is why I asked you for an example.

 Quote by Pensador That is interesting. Could you provide an example? I do find it interesting that ordinary people are never confronted with paradoxes, which certainly implies our language is sophisticated enough to avoid them. I just don't know exactly how we do that, which is why I asked you for an example.
The constructs are already embedded in NL, and any competent native speaker of it can almost unconsciously 'self-debug' and generaaly disambiguate sentential constructs in normal conversations. If you were having conversation with someone or a group of your friends and the following types of sentences kept on cropping up:

(1) John is tall

(2) America is well fed

(3) All politicians are liars

(4) All Rain forest people are carnibals

how would you disambiguate them? Even if you yourself failed to do so, would your friends miss the opportunity to do so? Conversation is not only a domain for communicating just for the sake of doing so, and for justifying all the constituent terms of all the propositions (sentences, questions, exclamations, metaphors, etc), and ground the intermediate truths and final truth of it, but also, and most importantly, for disambiguating metaphysically vexing terms, forms and constructs. For example, even if you were the maker of propositions (3) and (4) and you were in actual fact a politician or a rain forest person, how would you resolve the paradoxes in these two sentences, if any in the first place? Of course for the formalists logical paradoxes are like drugs......they are good for daydreaming!

Do not worry about being wrong.....we are not in a classroom here. I just want you to take at least a mere guess of how the above sentences would be conversationally disambiguated in NL with all their quantificational and logical forms or constructs fully intact. Just take a guess!

 If people claim and insist, as they constantly do, that our NL is vague and riddled with paradoxes, then like I have suggested already NL itself needs to be disambiguated and clearly taught at all levels of our education. But to think that we can take Logic and Mathematics out of NL, purify and teach them to only the ellitist few is a fundamental error. Everything that we need to speak, write, think and instruct clearly is already fully contained in NL. At worst it only needs to be debugged and clearly but fully implemented universally.

 Quote by Philocrat If you were having conversation with someone or a group of your friends and the following types of sentences kept on cropping up: (1) John is tall (2) America is well fed (3) All politicians are liars (4) All Rain forest people are carnibals how would you disambiguate them?
(1) and (2) are ambiguous because they lack context. More information will make it clear what the sentences mean, and whether they are true or false. As to (3) or (4), anyone who knows a politician who is not a liar, or a rain forest person who is not a cannibal, can know that the sentence is false; on the other hand, no one knows the truth about "all politicians" or "all rain forest people", so whoever utters the sentence cannot possibly be making a valid statement.

 Of course for the formalists logical paradoxes are like drugs......they are good for daydreaming!
It is my impression that philosophers love to take sentences no one will ever utter, and then spend an eternity trying to figure out what people mean when they say what they never say.

 Do not worry about being wrong.....we are not in a classroom here. I just want you to take at least a mere guess of how the above sentences would be conversationally disambiguated in NL with all their quantificational and logical forms or constructs fully intact. Just take a guess!

 (1) and (2) are ambiguous because they lack context. More information will make it clear what the sentences mean, and whether they are true or false. As to (3) or (4), anyone who knows a politician who is not a liar, or a rain forest person who is not a cannibal, can know that the sentence is false; on the other hand, no one knows the truth about "all politicians" or "all rain forest people", so whoever utters the sentence cannot possibly be making a valid statement.
This is why it's clear that our brains use a form of fuzzy logic. Is John tall? Well, can you answer that as true or false in any context? Suppose the context is the set of all Americans and John is the tallest American. Then is John is tall true or false? Suppose the context is the set of all pigmies on an island and John is the tallest pigmy islander. Then is John is tall true or false? Could it be that truth depends on interpretation? ;)

As Philocrat observed, we can work out these puzzles in our head without having to bog our biochemical "cpus" with such questions. There is a whole spectrum of tallness which many would agree on. If John is 7'6", everyone would call him tall right? But what if we compare John to a redwood tree that is 1000 years old? John isn't so tall now. This doesn't bother us as we can charge forward and assign a graded truth value to the statement after setting up criteria.

(2) America is well fed. Again, as well is a matter of opinion, just as tall is, the truth value of this statement can't be evaluated. It's not true and it's not false. If we set a context, like not well fed means anything less than 1600 calories per person on average and well fed means anything over 2200 calories, then we can assign (arbitrarily--from the get go) an intermediate truth value to (2) which depends on our criteria.

(3) All politicians are liars . This may be true. Only if every politician satisfies the definition of liar. This could be true without anyone having verified it. Something can be true even if no one has proved it. I can argue that there are infinitely many true and false statements; so there are more than we have written down. So, something can be true even if no one has proved it.

(4) All Rain forest people are carnibals . Same thing as the last one. Note that if there is one instance of this not being true, then it makes (4) false.

Oh... How would you disambiguate them? I missed that! Sorry.

(1) John is over 6'3".
(2) America is in the top 20% in terms of calories per person
(3) Every politician I have encountered is a liar, and I have encounter a great many of them
(4) similar to (3)

By disambiguate do you mean turn into crispy logic? What's wrong with fuzzy?

 Quote by Pensador (1) and (2) are ambiguous because they lack context. More information will make it clear what the sentences mean, and whether they are true or false. As to (3) or (4), anyone who knows a politician who is not a liar, or a rain forest person who is not a cannibal, can know that the sentence is false; on the other hand, no one knows the truth about "all politicians" or "all rain forest people", so whoever utters the sentence cannot possibly be making a valid statement.
Absolutely! Spot on! Yes, (1) and (2) do lack context and that's why they are vague. But the fundamental question here is "what context are we referring to here?". My own answer to this is that such context is a Metaphysical one. We need to crack these sentences open with a METAPHYSICAL HAMMER to reveal their numerical contents with which to speak, write, think and instruct properly about the subject matter that we at hand. We cannot just continue to claim that these sentences are paradoxical or are naturally loaded with paradoxes without making some effort to metaphysically disambiguate them. In fact, (1) is a sentence that is 'metpahysically pregnant' with two or more numerical values John's height and the height of anyone standing next to John or within the same space and time locality as John. In Modal Logic we would then say that in a possible world where there is only one person in existence, in this case John, that there is no way of knowing whether John is tall or not without someone else with which to compare his height. So in a world where there is only John, the term 'Tall' is devoid of semantic and truth values. It is semantically meaningless and epistemologically truth-valueless (neither true nor false). So, in NL you would say that "John is tall" always implies "John is taller' than x". Another way to appreciate the implication of this interpretaion is to always think of every proposition as a 'Conclusion of a Deductive Argument'. Doing this allows you to see every proposition as a fully argued statement of fact.

Let me shock you even more by dropping the bombshell that propositions (2), (3) and (4) have the same formal structures. They share the same logical and quantitative formal structures. They too need to be metaphysically cracked open with a metaphysical hammer. I will post the full analysis of these three sentences later.

 It is my impression that philosophers love to take sentences no one will ever utter, and then spend an eternity trying to figure out what people mean when they say what they never say.
I just couldn't agree with you more on this. Infact, it is not only philosophers alone that get bugged down on irrelevant, scientists are more or less the same. It is very sad that we are turning our higher institutions into Paradox Hunting grounds, where the drive for academic success now nearly entirely depends on how many paradoxes each of us can find in the world and in the very language with which we describe it. We seek rigour and complexity where there is none and often where pure simplicity and honesty would do. We dump down academic excellence in pursuit of irrelevances. We cry wolf, pump up sensationalism and hype up everything. It is a viscious circle and up till this day I am still wondering how we are going to get out of it.

NOTE: Now, note that the fundamental issue at stake here is not about the truth-value of a given proposition being either true or false, but rather it is about the truth-value of such proposition resulting in a paradox. For example, in the proposition (3), the issue is not about whether it is true or false that all politicians tell lies. Rather, the issue is about whether, in self-referential context where the maker of the proposition were to actually be a politician, the resulting truth-value of it (true or false) manifests into a paradox. Although some people might not agree, any proposition that gives rise to self-refrential errors or paradox of any kind is almost always due to 'Category Mistake' as it is sometimes called in Metaphysics. When this happens, you need to get as many metaphysical tools as you can lay your hands on to disambiguate them at the grassroot level.