- Joined
- May 7, 2004
- Messages
- 3,921
- Reaction score
- 13
Das Russel-Paradoxon. Ich kenne folgende Abwandlung: Ein Katalog in einer Bibliothek der alle Bücher auflistet, die sich nicht selbst auflisten. Führt dann der Katalog sich selbst auf?
Wikipedia
Das Barbier-Paradoxon oder Antinomie des Barbiers ist eine anschauliche Formulierung der Russellschen Antinomie und wurde vom Mathematiker Bertrand Russell 1918 aufgestellt:
Der Barbier von Sevilla rasiert alle Männer von Sevilla, nur nicht die, die sich selbst rasieren. Wenn das so ist, rasiert der Barbier von Sevilla sich dann selbst (er ist kein Bartträger)?
Dabei kommt man auf folgendes Ergebnis: Wenn er sich nicht selbst rasiert, rasiert er sich selbst (das kann also nicht sein). Aber wenn er sich selbst rasiert, rasiert er sich wiederum nicht selbst (das kann also auch nicht sein). Das Ganze ist damit in sich selbst widersprüchlich. Der erste Satz mit der Behauptung kann also unmöglich wahr sein. Er erscheint auf den ersten Blick normal und vernünftig, ist aber bei genauerem Hinsehen ein Paradoxon.
Der Zusatz, dass der Barbier kein Bartträger ist, kann entfallen, denn die Aussage ergibt ohnehin, dass keine Personen existieren, die gar nicht (weder vom Barbier noch von sich selbst) rasiert werden.
(Alle Männer werden rasiert.)
Mit Mengen lässt sich das Barbier-Paradoxon so formulieren:
Die Menge der Männer, die vom Barbier rasiert werden, ist identisch mit der Menge der Männer, die sich nicht selbst rasieren. (Daraus ergibt sich auch: Die Vereinigungsmenge der Selbstrasierer und der Nicht-Selbstrasierer ist die Menge aller Männer. Die Menge der Bartträger ist leer.) Wenn der Barbier rasiert werden soll, was geschehen muss, wenn er zur Menge der Männer gehört, dann müsste er in der Schnittmenge der Selbstrasierer und derer, die vom Barbier rasiert werden, sein. Da aber die Mengen der Nicht-Selbstrasierer und der vom Barbier rasierten identisch sind, existiert keine Schnittmenge zwischen den Selbstrasierern und den vom Barbier rasierten.
In der englischen Sprache gibt es einen einfachen Ausweg aus dem Paradoxon: "The barber is a woman." Aber auch im Deutschen kann die Berufsbezeichnung "Barbier" für eine weibliche Person stehen.
Eine zweite denkbare Lösung ist die, dass der Barbier von Sevilla nach Barcelona geht und sich dort rasieren lässt. So rasiert der Barbier von Sevilla alle Männer in Sevilla, er selbst lässt sich von einem Barbier aus einem anderen Ort rasieren.
Der Versuch, einen zweiten Barbier existieren zu lassen, der den ersten Barbier rasiert, scheitert am Widerspruch zur Aussage "Der Barbier rasiert alle, die sich nicht selbst rasieren." Außerdem impliziert "der Barbier", dass es nur genau einen gibt.
Dieser prädikatenlogische Ausdruck besitzt aber kein erfüllendes Modell, er heißt widersprüchlich oder auch nicht erfüllbar. Im Klartext, es gibt keinen Mann, der alle Männer rasiert, die sich nicht selbst rasieren.
Das Barbier-Paradoxon wird auch Paradoxon des Aristoteles genannt.
Lösung
Das Problem bei diesem Paradoxon ist, dass man bereits mit einer falschen Annahme beginnt. "Angenommen ein solcher Barbier würde existieren..." ist bereits falsch. Ähnlich könnte man sich überlegen: "Angenommen der Barbier ist tot und lebt zugleich." – Diese Annahme ist in sich selbst schon widersprüchlich, da ein zugleich toter und lebendiger Barbier nicht existieren kann. Ebenso wenig wie der Barbier in diesem Paradoxon existieren kann.
Mathematisch gesehen handelt es sich hier um einen Widerspruchsbeweis: Man trifft eine Annahme und leitet einen Widerspruch ab. Damit beweist man die Fehlerhaftigkeit der Annahme, die Nichtexistenz eines derartigen Barbiers.
