Barbier-Paradoxon - LinkFang.de





Barbier-Paradoxon


Das Barbier-Paradoxon oder die Antinomie des Barbiers ist in der Logik und der Mengenlehre eine anschauliche Variante der Russell’schen Antinomie, die 1918 von Bertrand Russell selbst aufgestellt wurde.

Begriff und Problem

Russell formulierte 1918 das Barbier-Paradoxon mit folgenden Worten:

Man kann einen Barbier als einen definieren, der all jene und nur jene rasiert, die sich nicht selbst rasieren.
Die Frage ist: Rasiert der Barbier sich selbst?[1]

Beim Versuch, die Frage zu beantworten, ergibt sich ein Widerspruch. Denn angenommen, der Barbier rasiert sich selbst, dann gehört er zu denen, die er laut Definition nicht rasiert, was der Annahme widerspricht. Angenommen, es gilt das Gegenteil, und der Barbier rasiert sich nicht selbst, dann erfüllt er selbst die Eigenschaft derer, die er rasiert, entgegen der Annahme. Logisch drückt dies folgende widersprüchliche Äquivalenz für den Barbier [math]\,x[/math] aus:

[math] x \mbox{ rasiert } x \iff \mbox{nicht}(x \mbox{ rasiert } x) [/math]

Russells Lösung

Russell sagte, dass dieses Paradoxon leicht zu lösen sei.[2] Das zeigte er bereits 1903 in einem indirekten Beweis mit einer variablen Relation.[3] Liest man diesen rückwärts, so entsteht ein direkter Beweis, in dem [math]\,\mbox{ rasiert }[/math] für seine variable Relation steht:

Die Aussage [math]x\mbox{ rasiert }y\iff \mbox{nicht}(y\mbox{ rasiert }y)[/math], die den Barbier definiert, sei mit [math]\,\mbox{B}xy[/math] abgekürzt.
Es gilt die Negation des Widerspruchs [math] x \mbox{ rasiert } x \iff \mbox{nicht}(x \mbox{ rasiert } x) [/math], das heißt: [math] \mbox{nicht}\,\mbox{B}xx[/math].
Daher kann der Existenzquantor eingeführt werden: [math]\mbox{Es gibt }y \colon \mbox{nicht}\,\mbox{B}xy[/math].
Durch Einführung des Allquantors ergibt sich: [math]\mbox{Für alle } x \colon \mbox{Es gibt }y \colon \mbox{nicht}\,\mbox{B}xy[/math].
Durch Umformung der Quantoren erhält man schließlich: [math]\,\mbox{Es gibt kein }x \colon \mbox{Für alle }y \colon \mbox{B}xy[/math].

Diese beweisbare Aussage heißt aber im Klartext: Es gibt keinen, der genau diejenigen rasiert, die sich nicht selbst rasieren. Die auf den ersten Blick sinnvoll erscheinende Barbier-Definition erzeugt also einen harmlosen leeren Begriff beziehungsweise eine leere Menge. Die Antinomie führt die Barbier-Definition ad absurdum. Russells Lösung zeigt nur den Definitionsfehler auf, gibt aber keine Lösung an, wie der Barbier eines Ortes sinnvoll zu definieren wäre. Das ist auch unwichtig, denn seine fiktive Barbier-Definition diente ihm nur zur Veranschaulichung seines abstrakten Gedankengangs für beliebige Relationen. Darin liegt die Bedeutung des Barbier-Paradoxons. Mathematisch und philosophisch bedeutungsvoll ist hauptsächlich die Variante, bei der statt [math]\,\mbox{ rasiert }[/math] das umgekehrte Elementprädikat steht,[4] das die Russellsche Antinomie erzeugt, den wichtigsten Widerspruch in der naiven Mengenlehre.

Varianten

Es kursieren viele Varianten des Paradoxons, zum Beispiel:

Der Barbier von Sevilla rasiert alle Männer von Sevilla, nur nicht die, die sich selbst rasieren. Diese Ausschmückung liefert nicht Russells sinnlose Definition, sondern impliziert nur, dass der Barbier kein Mann von Sevilla ist (vielleicht ein weiblicher Barbier oder ein dort arbeitender Barbier vom Nachbarort).

Ein paradoxer Befehl: „Alle Bürgermeister dürfen nicht in ihrer eigenen Stadt leben, sondern müssen in die eigens dafür eingerichtete Bürgermeister-Stadt Bümstädt ziehen. Wo nun lebt der Bürgermeister von Bümstädt?[5]

Annäherung an die Russellsche Antinomie: Eine Bibliothek möchte einen Bibliographie-Katalog erstellen, in dem alle Bibliographie-Kataloge aufgelistet werden, die keinen Verweis auf sich selbst enthalten. Ist dieser Katalog auch aufzulisten? Wenn ja, erhält er einen Verweis auf sich und gehört doch nicht in die Menge der aufgelisteten Kataloge. Wenn nein, enthält er keinen Verweis auf sich und gehört doch zu dieser Menge.

Verwandt ist auch der antike Sophismus des Euathlos.

Siehe auch

Literatur

  • Die 42. Geschichte der Lösung, 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

Einzelnachweise

  1. You can define the barber as "one who shaves all those, and those only, who do not shave themselves." The question is, does the barber shave himself? Zitat aus: Bertrand Russell: The Philosophy of Logical Atomism, 1918, in: The Collected Papers of Bertrand Russell, 1914-19, Vol 8., p. 228.
  2. In this form the contradiction is not very difficult to solve. ebenda
  3. Bertrand Russell: The principles of mathematics, Cambridge 1903, §102.
  4. mit [math]\ni[/math] erhält man aus obigem Beweisschema genau den Beweis für die Nichtexistenz der Russellschen Klasse.
  5. Duden Unnützes Sprachwissen, C. Hess, 2012.

Kategorien: Bertrand Russell | Mengenlehre

Quelle: Wikipedia - http://de.wikipedia.org/wiki/Barbier-Paradoxon (Vollständige Liste der Autoren des Textes [Versionsgeschichte])    Lizenz: CC-by-sa-3.0

Änderungen: Alle Bilder mit den meisten Bildunterschriften wurden entfernt. Ebenso alle zu nicht-existierenden Artikeln/Kategorien gehenden internen Wikipedia-Links (Bsp. Portal-Links, Redlinks, Bearbeiten-Links). Entfernung von Navigationsframes, Geo & Normdaten, Mediadateien, gesprochene Versionen, z.T. ID&Class-Namen, Style von Div-Containern, Metadaten, Vorlagen, wie lesenwerte Artikel. Ansonsten sind keine Inhaltsänderungen vorgenommen worden. Weiterhin kann es durch die maschinelle Bearbeitung des Inhalts zu Fehlern gerade in der Darstellung kommen. Darum würden wir jeden Besucher unserer Seite darum bitten uns diese Fehler über den Support mittels einer Nachricht mit Link zu melden. Vielen Dank!

Stand der Informationen: August 201& - Wichtiger Hinweis: Da die Inhalte maschinell von Wikipedia übernommen wurden, ist eine manuelle Überprüfung nicht möglich. Somit garantiert LinkFang.de nicht die Richtigkeit und Aktualität der übernommenen Inhalte. Sollten die Informationen mittlerweile fehlerhaft sein, bitten wir Sie darum uns per Support oder E-Mail zu kontaktieren. Wir werden uns dann innerhalb von spätestens 10 Tagen um Ihr Anliegen kümmern. Auch ohne Anliegen erfolgt mindestens alle drei Monate ein Update der gesamten Inhalte.