Metasprache

Metasprache bezeichnet allgemein (1) eine Sprache über eine Sprache.

Im Normalfall und damit in der Hauptbedeutung (2) bezeichnet Metasprache eine Sprache über eine Objektsprache im Sinne einer Sprache über nichtsprachliche Gegenstände. Die unten angeführten Beispiele sind Schulbeispiele für diese Hauptbedeutungen.

In einer anderen Bedeutung (3) kann Metasprache auch eine Metasprache über eine Metasprache sein und heißt dann (im Fall einer zweistufigen Metasprachlichkeit) Metametasprache. Es gibt dann also eine Metametasprache, eine Metasprache und eine Objektsprache.

Eine reine Metasprache (4) ist ein Ideal, praktisch sind Metasprachen nicht rein.

Metasprache ist dann in einer schwächeren Bedeutung (5) eine Sprache, „in der auch über Sätze der Objektsprache gesprochen wird“.^[4]

Zusammengefasst ist eine Metasprache eine Sprache über eine Sprache (1), die entweder eine Objektsprache (2) oder selbst eine Metasprache (3) sein kann, wobei dies in reiner Form (4) oder gemischt mit objektsprachlichen Elementen (5) sein kann.

Der mit dem Ausdruck Metasprache korrespondierende Ausdruck „Objektsprache“ ist ebenfalls mehrdeutig:

• Sprache über außersprachliche Gegenstände

(= absolute Objektsprache;^[5] = unterste Aussagestufe (Null-Stufe);^[6] = Sprache erster Stufe;^[7]);

• Sprache, die Gegenstand einer Metasprache ist (wohl Hauptbedeutung)^[8]

(= relative Objektsprache;^[9] = Sprache, die als Objekt der Untersuchung „erwähnt“ wird,^[10] über die geredet wird^[11]);

• die natürliche Sprache^[12] oder Alltagssprache^[13]

• Beispiel 1:
  • Gießen ist eine Stadt (Objektsprache).
  • ‚Gießen‘ hat sechs Buchstaben (Metasprache).
  • Der Satz ‚Gießen ist eine Stadt‘ ist deskriptiv (Metasprache).
  • Aus den Sätzen ‚Wer viele Bücher schreibt, ist kein guter Dozent.‘ und ‚Dozent A. hat viele Bücher geschrieben.‘ folgt logisch der Satz ‚Dozent A. ist kein guter Dozent.‘ (Metasprache).
• Beispiel 2:^[14]
  • Metasprache = 2. Stufe = Der Satz ‚Wien ist eine Stadt‘ ist wahr.
  • Objektsprache = 1. Stufe = Wien ist eine Stadt.
  • Objekt = 0. Stufe = {Wien, [ist eine Stadt]}
• Beispiel 3:^[15]

Die Eigenschaft einer Sprache, Metasprache zu sein, ist relativ: Die Metasprache einer Objektsprache kann Objektsprache einer Meta-Metasprache sein.

Bertrand Russell hat „die Möglichkeit einer unendlichen Hierarchie von Sprachebenen in Erwägung gezogen“.^[16] Dann gibt es grundsätzlich beliebig viele Metasprachen.^[8]

Fraglich ist jedoch auch, ob nicht die Alltagssprache die erste Objekt- und die höchste Metasprache zugleich ist.

Eine Metasprachlichkeit kann innersprachlich (intralingual) oder auch zwischensprachlich (interlingual; englisch: metalinguistical) bestehen. In einem deutschen Englisch-Lehrbuch ist die deutsche Sprache Metasprache der englischen Sprache. In einem englischen Französisch-Lehrbuch die englische Sprache Metasprache der französischen usw.

In der Umgangssprache gibt es mehrere Sprachstufen. Im wörtlichen Sinn gibt es eine Objekt- und Metasprache nur in bestimmten Kunstsprachen.^[17]

„Die Umgangssprache ist eine Mischung aus Objektsprache und Metasprache, in der alle drei Teile der Metasprache auftreten“.^[18] „Das Auftreten von Wörtern wie ‚Wort‘ und ‚Aussage‘ weist auf die Verwendung der Metasprache hin. Wörter wie ‚Konklusion‘ und ‚ableitbar‘ gehören zur Syntax, Wörter wie ‚wahr‘, ‚wahrscheinlich‘ und ‚vielleicht‘ gehören zur Semantik, und Wörter wie ‚Behauptung‘, ‚unglaublich‘ und ‚selbstverständlich‘ gehören zur Pragmatik.“^[18]

Eine Sprache, die wie die Umgangssprache nicht zwischen Objekt- und Metasprache unterscheidet, nennt Alfred Tarski semantisch geschlossene Sprache.^[19] In ihr kann das Lügner-Paradoxon formuliert werden.

„Wörter, die in verschiedenen Sprachen in ähnlichen Bedeutungen auftreten, nennt man ‚mehrdeutig bezüglich der Sprachstufe‘.“^[20]

„In der Metasprache werden die Regeln für die betreffende Objektsprache formuliert, besonders semantische und syntaktische Regeln, und Lehrsätze aufgestellt, die sich auf Grund der Regeln ergeben.“^[21]

Nach Reichenbach zerfällt eine (logisch analysierte) Metasprache entsprechend den Argumentstellen der Zeichenrelation in drei Teile: „Der erste Teil, die Syntax, behandelt ausschließlich Beziehungen zwischen Zeichen und betrifft daher Struktureigenschaften der Objektsprache.“ „Der zweite Teil, die Semantik, nimmt auf Zeichen und auf Objekte Bezug; sie schließt daher insbesondere Aussagen über die Wahrheitswerte mit ein…“ Die Pragmatik fügt eine Bezugnahme auf Personen hinzu. Es müsse also (1) Formationsregeln, (2) Wahrheitsregeln und (3) Ableitungsregeln geben.^[22]

Der Begriff ‚Metasprache‘ ist ein Konzept aus der semantischen Stufentheorie. Nach der Theorie der semantischen Stufen ist die Sprache über die Dinge von der Sprache über die Sprache selbst zu unterscheiden. Alle Seienden, die keine Zeichen sind, sind dabei die Null-Stufe. Die Klasse der Zeichen, die diese Gegenstände bezeichnen, sind Zeichen „erster Stufe“ oder „Objektsprache“. Zeichen, die die Objektsprache bezeichnen, bilden die Metasprache der ersten Sprache (Sprache „zweiter Stufe“). Und so weiter.

Das Konzept der Metasprache wird heute in vielen theoretischen Wissenschaften gebraucht. In diesem Sinn ist Metasprache ein wissenschaftliches Sprachsystem, das sich nicht auf den Objektbereich einer Wissenschaft, sondern auf die Sprache der Wissenschaft bezieht. Die Unterscheidung von Metasprache und Objektsprache – und überhaupt der semantischen Stufen – erwies sich zunächst in der formalen Logik und der mathematischen Grundlagenforschung als notwendig, um Antinomien aufzulösen oder zu vermeiden, findet heute aber in vielen theoretischen Wissenschaften Anwendung.

Das klassische Lügner-Paradox löst sich auf, wenn man selbstbezügliche Aussagen als sinnlos ansieht.^[23]

Die Unterscheidung in Objekt- und Metasprache gilt als eine „logische Großtat“.^[8] Die Bedeutung der Unterscheidung liegt darin, dass die darin zum Ausdruck kommende „Theorie der Sprachstufung“ das Verbot des Selbstbezuges sprachlicher Ausdrücke derselben Sprachstufe verdeutlicht und die bei Missachtung auftretende Antinomien vermeidet.^[24]

Die Unterscheidung von Objekt- und Metasprache führt zu einer „neuen wichtigen Sinnregel“: „jeder Ausdruck, in welchem von diesem Ausdruck selbst die Rede ist, ist sinnlos“.^[25] Es gilt als wichtiges Prinzip: „Nach diesem Prinzip haben wir in einem Satz, in dem wir etwas über ein Ding sagen wollen, nicht dieses Ding selbst, sondern seinen Namen oder seine Bezeichnung zu gebrauchen.“^[26]

„Man kann auf Grund der Metasprache dann und nur dann methodologisch korrekte und sachlich zutreffende Definitionen der semantischen Begriffe angeben, wenn in der Metasprache Variablen von höheren logischen Typen vorkommen, als alle Variablen der Sprache, die den Gegenstand der Untersuchung bildet“,^[27] und ein Widerspruchsfreiheitsbeweis lässt sich nicht durchführen, „falls die Metasprache keine Variablen von höheren Typen enthält“.^[28]

Die Theorie der Sprachstufen hatte ihren Vorläufer in der scholastischen Lehre von der Supposition, die in der frühen Neuzeit als scholastische in Misskredit und in Vergessenheit geriet.^[29]

Die Unterscheidung von Frege zwischen der Hilfs- und der Darlegungssprache „steht der Unterscheidung von Sprache und Metasprache nahe“.^[30]

In seiner Typentheorie nahm Russell eine Unterscheidung von Objekt- und Metasprache vor.^[8]

„In der Sprache der Mengentheorie lässt sich das Stufen- oder Typenprinzip folgendermaßen ausdrücken: Eine Menge darf nicht gleichzeitig Element ihrer selbst sein, …“^[8]

Russell spricht auch von einem transparenten und nicht-transparenten Vorkommen eines Zeichens. Ein transparentes Vorkommen ist das Vorkommen eines Zeichens, bei dem das Zeichen etwas bezeichnet. Ein nicht-transparentes Vorkommen das Vorkommen eines Zeichens, das nicht als solches benutzt, sondern nur erwähnt wird (Beispiel: Arno ist ein Name aus vier Buchstaben).^[31]

„Auf die Unterscheidung zwischen Objekt- und Metasprache wird oft auch mit dem Kennwort use and mention hingewiesen. Reden wir über das Pferd Feuervogel, brauchen (= use) wir die Lautfolge „Feuervogel“ als Symbol, um uns auf einen Gegenstand zu beziehen, der Teil der Welt ist. Reden wir hingegen über die Lautfolge „Feuervogel“, indem wir z. B. sagen, diese Lautfolge sei viersilbig, erwähnen (= mention) wir die Lautfolge „Feuervogel“, indem wir mit Hilfe des namensähnlichen Gebildes „die Lautfolge ‚Feuervogel‘“ über sie reden.“^[32]

Das Bedeutungspaar use and mention hat in der deutschen Linguistik seine Entsprechung in „Gebrauch eines Ausdrucks“ – „Anführung eines Ausdrucks“: Ein Ausdruck wird gebraucht, wenn er etwas anderes als sich selbst bezeichnet, im Normalfall also eine außersprachliche Wirklichkeit. Ein Ausdruck wird angeführt, wenn über den Ausdruck selbst gesprochen wird.^[33] (Siehe auch materiale und formale Supposition.)

Abkürzungen sind nicht metasprachlicher Art: „Eine Abkürzung ist keine Bezeichnung für ein Zeichen, sondern steht an Stelle eines Zeichens.“^[34]

Die Theorie der Sprachstufen hat auch Bedeutung für die Wahrheitsdefinition von Tarski.

In der juristischen Auslegungslehre gilt der Grundsatz protestatio facto contraria non valet: eine Verwahrung, die sich gegen eine bestimmte Interpretation des eigenen Verhaltens wendet, ist unbeachtlich, wenn das eigene Verhalten der Verwahrung widerspricht.^[35] Beispiel: „Ich will Sie nicht beleidigen, Sie Idiot!“

In der Informatik dient z. B. die Backus-Naur-Form (kurz: BNF) zur metasprachlichen Beschreibung der Syntax von Programmiersprachen.

Objekt- und metasprachliche Ausdrucksweisen werden optisch unterschiedlich unterschieden:

• Gebrauch von Anführungszeichen eines bestimmten Typs (Beispiel: ‚Gießen‘ ist sechs Zeichen lang);
• Gebrauch einer anderen Drucktype (Beispiel: Gießen ist sechs Zeichen lang);
• Gebrauch einer sonstigen speziellen metasprachlichen Symbolik.

Wie, wechselt von Autor zu Autor bzw. Verlag zu Verlag etc.

Ein Ausdruck in Anführungszeichen usw. ist dann „ein metasprachlicher Ausdruck in Bezug auf einen ähnlichen Ausdruck ohne Anführungszeichen“.^[36]

Beispiel: „Haus“ hat vier Buchstaben und ist einsilbig (wahr); das Haus hat vier Buchstaben (falsch).

In nicht axiomatischen Zusammenhängen wird eine Mehrdeutigkeit auch in Kauf genommen. Doppelte Anführungszeichen kann man z. B. sowohl zur metasprachlichen Bezeichnung sprachlicher Ausdrücke als auch zur Kennzeichnung semantisch (noch) nicht hinreichend bestimmter oder allzu metaphorischer sprachlicher Ausdrücke verwenden. Wenn man sich der Wichtigkeit der Unterscheidung in Objekt- und Meta-Sprache bewusst ist, lässt sich die Bedeutung aus dem jeweiligen Kontext entnehmen.^[37]

• Metatheorie

• Joseph M. Bochenski: Die zeitgenössischen Denkmethoden. 10. Auflage. 1993, ISBN 3-8252-0006-X (UTB Nr. 6).
• Holm Bräuer: Objektsprache. In: Handwörterbuch Philosophie. Hrsg. von Wulff D. Rehfus. Vandenhoeck & Ruprecht, Göttingen 2003, ISBN 3-525-30148-0, S. 506 f.
• Hans Reichenbach: Grundzüge der symbolischen Logik. Vieweg, Braunschweig/Wiesbaden 1999, ISBN 3-528-08366-2 (Original: Hans Reichenbach: Gesammelte Werke, Bd. 6).
• Paul Ruppen: Einstieg in die formale Logik: ein Lern- und Übungsbuch für Nichtmathematiker. Lang, Bern u. a. 1996, ISBN 3-906756-85-8.
• Erhard Schüttpelz: Objekt- und Metasprache. In: Literaturwissenschaft. Hrsg. von Jürgen Fohrmann, Harro Müller. Fink, München 1995, ISBN 3-8252-1874-0, S. 179–216.
• Harald Weinrich: Von der Alltäglichkeit der Metasprache. In: H. W.: Sprache in Texten. Ernst Klett, Stuttgart 1976, ISBN 3-12-908580-7, S. 90–112.

1. ↑ Ulrich: Metasprache. In: Linguistische Grundbegriffe. 5. Auflage. 2002
2. ↑ Wunderlich: Arbeitsbuch Semantik. 2. Auflage. 1991, S. 343
3. ↑ Ralf Methling: Germanistische Linguistik für Dummies®: was Sprache ausmacht und Sprachen voneinander unterscheidet: vom Zeichen zum Laut zum Wort: Semiotik, Phonetik und Morphologie: vom Wort zum Satz: Morphologie, Syntax und Semantik (= Lernen einfach gemacht). Wiley-VCH GmbH, Weinheim 2024, ISBN 978-3-527-72109-2, S. 62. Fehler in Vorlage:Literatur – *** Parameterproblem: Dateiformat/Größe/Abruf nur bei externem Link
4. ↑ Wilhelm K. Essler: Einführung in die Logik (= Kröners Taschenausgabe. Band 381). 2., erweiterte Auflage. Kröner, Stuttgart 1969, DNB 456577998, S. 16; vgl. auch Reichenbach: Grundzüge der symbolischen Logik. 1999, S. 10: „Metasprache“ kann auch im Sinne von „als eine Mischung von Wörtern der ersten und der zweiten Stufe“ verwendet werden.
5. ↑ so Reichenbach: Grundzüge der symbolischen Logik. 1999, S. 14
6. ↑ so Homberger: Objektsprache. In: Sachwörterbuch Linguistik. 2000
7. ↑ Joseph Maria Bocheński: Die zeitgenössischen Denkmethoden. 10. Auflage. 1993, ISBN 3-8252-0006-X, S. 59
8. ↑ ^{a b c d e} Seiffert: Aussagestufen. In: Wissenschaftstheorie IV. 1997
9. ↑ Reichenbach: Grundzüge der symbolischen Logik. 1999, S. 14
10. ↑ Salmon: Logik. 1983, S. 245
11. ↑ Ansgar Beckermann: Einführung in die Logik. 2. Auflage. 2003, S. 54
12. ↑ So Ulrich: Sprache. In: Linguistische Grundbegriffe. 5. Auflage. 2002
13. ↑ Bei Pelz: Linguistik. 1996, zu 2.1, S. 31
14. ↑ Hoyningen-Huene: Logik. 1998, S. 74
15. ↑ aus: Reichenbach: Grundzüge der symbolischen Logik. 1999, S. 14
16. ↑ Holm Bräuer: Objektsprache. In: Wulff D. Rehfus (Hrsg.): Handwörterbuch Philosophie. 2003, S. 506 (507)
17. ↑ Hoyningen-Huene: Logik. 1998, S. 76 f.
18. ↑ ^{a b} Reichenbach: Grundzüge der symbolischen Logik. 1999, S. 15
19. ↑ Holm Bräuer: Objektsprache. In: Wulff D. Rehfus (Hrsg.): Handwörterbuch Philosophie. 2003, S. 506 f.
20. ↑ so Reichenbach: Grundzüge der symbolischen Logik. 1999, S. 10
21. ↑ Rudolf Carnap: Logik. 3. Auflage. 1968, S. 77
22. ↑ so Reichenbach: Grundzüge der symbolischen Logik. 1999, S. 15
23. ↑ Salmon: Logik. 1983, S. 247. Joseph M. Bochenski: Die zeitgenössischen Denkmethoden. 10. Auflage. 1993, ISBN 3-8252-0006-X, S. 59
24. ↑ Herberger, Simon: Wissenschaftstheorie für Juristen. S. 229 ff.
25. ↑ Bochenski: Denkmethoden. 1993, S. 59
26. ↑ Tarski: Einführung in die mathematische Logik. 5. Auflage. 1977, S. 70
27. ↑ Tarski: Logische Semantik. In: Meixner (Hrsg.): Philosophie der Logik. 2003, S. 191 (196 f.)
28. ↑ Tarski: Logische Semantik. In: Meixner (Hrsg.): Philosophie der Logik. 2003, S. 191 (198)
29. ↑ Hoyningen-Huene: Logik. 1998, S. 76
30. ↑ Tatievskaya: Aussagenlogik. 2003, S. 37
31. ↑ nach Tatievskaya: Aussagenlogik. 2003, S. 9
32. ↑ Ruppen: Einstieg in die formale Logik: ein Lern- und Übungsbuch für Nichtmathematiker. Lang, Bern u. a. 1996, S. 56
33. ↑ Pelz: Linguistik. 1996, S. 31
34. ↑ Reichenbach: Grundzüge der symbolischen Logik. 1999, S. 10
35. ↑ Flume: Rechtsgeschäft. 3. Auflage. 1979, § 5/5, S. 76
36. ↑ Joseph M. Bochenski: Die zeitgenössischen Denkmethoden. 10. Auflage. 1993, ISBN 3-8252-0006-X, S. 60
37. ↑ so Lothar Czayka: Formale Logik und Wissenschaftsphilosophie: Einführung für Wirtschaftswissenschaftler. S. 5