Eine Metasprache ist eine "Sprache über Sprache" [1]. Die Sprache, über die eine Metasprache spricht, ist die zugehörige Objektsprache [2].
Meta kommt aus dem Griechischen (μετα) und bedeutet unter anderem soviel wie hinter, über. Im Englischen spricht man von „metalanguage“ und „object language“ [3]; im Französischen von „metalangage“.
"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] dürfte auch in Kunstsprachen selten sein, so dass die obige Definition ein Ideal beschreibt.
Metasprache ist dann in einer schwächeren Bedeutung [5] eine Sprache, „in der auch über Sätze der Objektsprache gesprochen wird“[4]
In der Zusammenfassung 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:
[1] = Sprache über außersprachliche Gegenstände
(= "absolute Objektsprache"[5]; = "unterste Aussagestufe (Null-Stufe)"[6]; = "Sprache erster Stufe"[7];
[2] = 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]);
[3] = die „natürliche Sprache“[12] oder "Alltagssprache"[13]
bzw. als "die ‚normale‘ Sprache, die die üblichen Funktionen von Kommunikation, Information etc. von Sprache erfüllt" (wikipedia-Vorgängerversion)
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]}
| Objekte | Objektsprache | Metasprache |
|---|---|---|
| <Vogel> | Vogel (Ding) | ‚Vogel‘ (Wort, Name) |
| <fliegender Vogel> | Der Vogel fliegt. a1 (Zustand) | ‚Der Vogel fliegt.‘ ‚a1‘ (Satz, Aussage) |
| a | „a“ (Aussagenvariable) | |
| ‚Der Vogel fliegt‘ ist wahr. alpha1/alpha |
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ähnung gezogen“[14]. Dann gibt es grundsätzlich beliebig viele Metasprachen[15].
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 [16]
„Die Umgangssprache ist eine Mischung aus Objektsprache und Metasprache, in der alle drei Teile der Metasprache auftreten“[17]. „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]
Sprachen, die wie die Umgangssprache nicht zwischen Objekt- und Metasprache unterscheiden, nennt Alfred Tarski semantisch geschlossene Sprache[19]. Dies führt zu Antinomien wie dem Lügner-Paradox.
„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. 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“[24]. 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 [25].
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“ [26]. 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“ [27].
„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“ [28] und ein Widerspruchsfreiheitsbeweis lässt sich nicht durchführen, „falls die Metasprache keine Variablen von höheren Typen enthält“ [29].
Die Theorie der Sprachstufen hatte ihren Vorläufer in der scholastischen Lehre von der Supposition, die in der frühen Neuzeit als scholastische in Mißkredit und in Vergessenheit geriet[30].
Die Unterscheidung von Frege zwischen der Hilfs- und der Darlegungssprache „steht der Unterscheidung von Sprache und Metasprache nahe“ [31].
In seiner Typentheorie hat Russell eine Unterscheidung von Objekt- und Metasprache vorgenommen [32].
„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, ...“ [33].
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) [34].
„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.“[35]).
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. [36] (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“ [37].
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 [38]. Beispiel: „Ich will Sie nicht beleidigen, Sie Idiot !“
Objekt- und metasprachliche Ausdrucksweisen werden optisch unterschiedlich unterschieden:
Wie, wechselt von Autor zu Autor bzw. Verlag zu Verlag etc.
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 [39].