Heterologie .... Funktion
Grelling und Nelson bauten auf dem Kunst-Adjektiv heterologisch das nach Ihnem benannte semantische Paradoxon auf.[3] Ein Wort sei heterologisch, wenn es nicht selbst die durch diese Wort beschriebene Eigenschaft hat. Beispielsweise ist das Adjektiv „einsilbig“ heterologisch, weil es eben aus mehr als einer Silbe besteht. Die meisten Wörter sind heterologisch. Die Frage, ob das Wort „heterologisch“ selbst heterologisch ist, lässt sich nicht ohne logischen Widerspruch beantworten (ausführlich siehe Grelling-Nelson-Antinomie). -------------------------- Die Grelling-Nelson-Antinomie ist ein semantisches Paradoxon, das 1908 von Kurt Grelling und Leonard Nelson als Variante der Russellschen Antinomie formuliert wurde. Inhaltsverzeichnis [Verbergen] 1 Charakterisierung und Problematik 2 Lösungen 3 Literatur 4 Einzelnachweis ? Charakterisierung und Problematik [Bearbeiten] Grelling und Nelson gehen bei der Bildung ihrer Antinomie davon aus, dass jede Klasse durch ein Merkmal definiert ist, das ein Wort bezeichnet. Zum Beispiel bezeichnet das Wort „einsilbig“ das Merkmal der Klasse aller einsilbigen Wörter. Sie zerlegen dann die Wörter in zwei Klassen, die folgendermaßen definiert sind: Ein autologisches Wort besitzt selbst das Merkmal, das es bezeichnet, ein heterologisches Wort dagegen nicht. Die Wörter „deutsch“ oder „dreisilbig“ sind autologisch, denn „deutsch“ ist ein deutsches Wort und „dreisilbig“ ein dreisilbiges Wort. Die meisten Wörter sind aber heterologisch, zum Beispiel „englisch“ und „einsilbig“, denn „englisch“ ist kein englisches Wort und „einsilbig“ kein einsilbiges Wort. Dagegen scheitert der Versuch, das Wort „heterologisch“ in diese beiden Klassen einzuordnen, an einem Widerspruch: Angenommen „heterologisch“ ist ein autologisches Wort, dann ist es laut Definition ein heterologisches Wort im Widerspruch zur Annahme. Angenommen es trifft das Gegenteil zu und „heterologisch“ ist ein heterologisches Wort, dann ist es laut Definition kein heterologisches Wort, also ist es autologisch im Widerspruch zur Annahme. ? Lösungen [Bearbeiten] Grelling und Nelson übertrugen in ihrer Antinomie die Russellsche Antinomie auf die Sprachebene, indem sie jeder Klasse ein Wort als Namen zuordneten durch eine umkehrbar eindeutige Funktion ; dabei entspricht der Russellschen Klasse die Klasse der heterologischen Wörter , so dass das Wort „heterologisch“ bezeichnet.[1] Daher ist die Lösung der Grelling-Nelson-Antinomie völlig parallel zur Lösung der Russellschen Antinomie: Man kann beweisen, dass die Klasse aller heterologischen Wörter keine Menge ist, sondern eine sogenannte echte Klasse. Die Grelling-Nelson-Antinomie hat damit folgende logische Konsequenz: Da jede übliche Sprache durch eine Wortmenge über einem Alphabet beschrieben werden kann, bedeutet sie, dass nicht alle Klassen durch ein Wort benannt werden können. Dazu wäre eine echte Klasse von Wörtern nötig, die mit einem endlichen Alphabet nicht erzeugt werden kann. Weil diese sprachlichen Voraussetzungen der Antinomie nicht gegeben sind, wird sie zu den sogenannten semantischen Paradoxien gezählt. Bei der Lösung in der ungebräuchlicheren und komplizierteren verzweigten Typentheorie werden dagegen die Sprachebenen strikt getrennt und die Syntax so eingeschränkt, dass die Aussagen und syntaktisch nicht mehr korrekt sind und die beiden Wortklassen gar nicht mehr gebildet und definiert werden können. ? Literatur [Bearbeiten] K. Grelling und L. Nelson: Bemerkungen zu den Paradoxien von Russell und Burali-Forti. In: Abhandlungen der Fries’schen Schule II, Göttingen 1908, S. 301-334. Nachdruck in: Leonard Nelson: Gesammelte Schriften III. Die kritische Methode in ihrer Bedeutung für die Wissenschaften. Felix Meiner Verlag. Hamburg. 1974 pp.95-127. ? Einzelnachweis [Bearbeiten] ? Grelling/Nelson S. 307: „Sei f(M) dasjenige Wort, das den Begriff bezeichnet, durch den M definiert ist. Dieses Wort ist entweder Element von M oder nicht. Im ersten Falle wollen wir es „autologisch“ nennen, im anderen „heterologisch“.“ Nach Grelling/Nelson S. 306 ist hier f als bijektive, umkehrbar eineindeutige Funktion vorausgesetzt. Von „http://de.wikipedia.org/wiki/Grelling-Nelson-Antinomie“