Barbier-Paradoxon
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 es keine Nicht-Bartträger gibt, also keine Personen existieren, die garnicht (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 Nicht-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 Trickausweg aus dem Paradoxon: "The barber is a woman." Auf Deutsch klappt das allerdings nicht, weil "Der Barbier" impliziert, dass er ein Mann ist.
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.
Die prädikatenlogische Version der Aussage ist:
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.
Die prädikatenlogische Version der Frage ist dann:
Das Barbier-Paradoxon wird auch Paradoxon des Aristoteles genannt.
Variante
- Der Barbier ist derjenige, der alle die rasiert, die sich nicht selbst rasieren." (Angegeben zum Beispiel auf http://www.cl.uni-heidelberg.de/kurs/ss01/refer/aufg-7.mhtml / 21.Juni 2001 DIE ZEIT Nr. 26)
Diese Variante ist eigentlich nicht paradox, da in dem Satz nichts über die gesagt wird, die sich selbst rasieren. Es wird hierbei also nicht ausgeschlossen, dass der Barbier auch jemanden rasiert, der sich selbst rasiert (also sich, den Barbier, selbst).
Siehe auch:
Literatur
- Patrick Hughes/George Brecht "Die Scheinwelt des Paradoxons" Eine kommentierte Anthologie in Wort und Bild, Titel der engl. Originalausgabe: Vicious Circles and Infinity, ISBN 3-528-08379-4