Eine Metasprache ist eine „Sprache über Sprache“.Ulrich: Metasprache. In: Linguistische Grundbegriffe. 5. Auflage. 2002 Die Sprache, über die eine Metasprache spricht, ist die zugehörige Objektsprache.Wunderlich: Arbeitsbuch Semantik. 2. Auflage. 1991, S. 343
Meta kommt aus dem Griechischen (μετά) und bedeutet unter anderem so viel wie ‚hinter‘, ‚über‘.
Begriff
Bedeutungen des Ausdrucks „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“.Wilhelm K. Essler: Einführung in die Logik (= Kröners Taschenausgabe. Band 381). 2., erweiterte Auflage. Kröner, Stuttgart 1969, , 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.
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.
Mehrdeutigkeit des Ausdrucks „Objektsprache“ Der mit dem Ausdruck Metasprache korrespondierende Ausdruck „Objektsprache“ ist ebenfalls mehrdeutig:
Sprache über außersprachliche Gegenstände
(= absolute Objektsprache;so Reichenbach: Grundzüge der symbolischen Logik. 1999, S. 14 = unterste Aussagestufe (Null-Stufe);so Homberger: Objektsprache. In: Sachwörterbuch Linguistik. 2000 = Sprache erster Stufe;Joseph Maria Bocheński: Die zeitgenössischen Denkmethoden. 10. Auflage. 1993, ISBN 3-8252-0006-X, S. 59);
Sprache, die Gegenstand einer Metasprache ist (wohl Hauptbedeutung)Seiffert: Aussagestufen. In: Wissenschaftstheorie IV. 1997
(= relative Objektsprache;Reichenbach: Grundzüge der symbolischen Logik. 1999, S. 14 = Sprache, die als Objekt der Untersuchung „erwähnt“ wird,Salmon: Logik. 1983, S. 245 über die geredet wirdAnsgar Beckermann: Einführung in die Logik. 2. Auflage. 2003, S. 54);
die natürliche SpracheSo Ulrich: Sprache. In: Linguistische Grundbegriffe. 5. Auflage. 2002 oder AlltagsspracheBei Pelz: Linguistik. 1996, zu 2.1, S. 31
Beispiele für die Hauptbedeutungen 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:Hoyningen-Huene: Logik. 1998, S. 74 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:aus: Reichenbach: Grundzüge der symbolischen Logik. 1999, S. 14 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
Relativität und Hierarchie der Metasprachlichkeit 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“.Holm Bräuer: Objektsprache. In: Wulff D. Rehfus (Hrsg.): Handwörterbuch Philosophie. 2003, S. 506 (507) Dann gibt es grundsätzlich beliebig viele Metasprachen.
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.
Objekt- und Metasprache in der Umgangssprache In der Umgangssprache gibt es mehrere Sprachstufen. Im wörtlichen Sinn gibt es eine Objekt- und Metasprache nur in bestimmten Kunstsprachen.Hoyningen-Huene: Logik. 1998, S. 76 f.
„Die Umgangssprache ist eine Mischung aus Objektsprache und Metasprache, in der alle drei Teile der Metasprache auftreten“.Reichenbach: Grundzüge der symbolischen Logik. 1999, S. 15 „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.“
Eine Sprache, die wie die Umgangssprache nicht zwischen Objekt- und Metasprache unterscheidet, nennt Alfred Tarski semantisch geschlossene Sprache.Holm Bräuer: Objektsprache. In: Wulff D. Rehfus (Hrsg.): Handwörterbuch Philosophie. 2003, S. 506 f. 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‘.“so Reichenbach: Grundzüge der symbolischen Logik. 1999, S. 10
Syntax, Semantik und Pragmatik der Metasprache „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.“Rudolf Carnap: Logik. 3. Auflage. 1968, S. 77
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.so Reichenbach: Grundzüge der symbolischen Logik. 1999, S. 15
Bedeutung der Unterscheidung Metasprache – Objektsprache 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.Salmon: Logik. 1983, S. 247. Joseph M. Bochenski: Die zeitgenössischen Denkmethoden. 10. Auflage. 1993, ISBN 3-8252-0006-X, S. 59
Die Unterscheidung in Objekt- und Metasprache gilt als eine „logische Großtat“. 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.Herberger, Simon: Wissenschaftstheorie für Juristen. S. 229 ff.
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“.Bochenski: Denkmethoden. 1993, S. 59 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.“Tarski: Einführung in die mathematische Logik. 5. Auflage. 1977, S. 70
„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“,Tarski: Logische Semantik. In: Meixner (Hrsg.): Philosophie der Logik. 2003, S. 191 (196 f.) und ein Widerspruchsfreiheitsbeweis lässt sich nicht durchführen, „falls die Metasprache keine Variablen von höheren Typen enthält“.Tarski: Logische Semantik. In: Meixner (Hrsg.): Philosophie der Logik. 2003, S. 191 (198)
Vorläufer, Parallelen und Anwendungen 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.Hoyningen-Huene: Logik. 1998, S. 76
Die Unterscheidung von Frege zwischen der Hilfs- und der Darlegungssprache „steht der Unterscheidung von Sprache und Metasprache nahe“.Tatievskaya: Aussagenlogik. 2003, S. 37
In seiner Typentheorie nahm Russell eine Unterscheidung von Objekt- und Metasprache vor.
„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, …“
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).nach Tatievskaya: Aussagenlogik. 2003, S. 9
„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.“Ruppen: Einstieg in die formale Logik: ein Lern- und Übungsbuch für Nichtmathematiker. Lang, Bern u. a. 1996, S. 56
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.Pelz: Linguistik. 1996, S. 31 (Siehe auch materiale und formale Supposition.)