Was ist Metasprache:
Metasprache ist die Sprache, die verwendet wird, um Sprache zu beschreiben, zu beschreiben oder zu analysieren.
In der Logik und Linguistik wird Metasprache verwendet, um die logischen Probleme zu analysieren und zu strukturieren, die durch semantische Paradoxien in der Sprache zur Beschreibung von Objekten aufgeworfen werden.
Die Metasprache wird auch als Fachsprache definiert, um ein natürliches sprachliches System oder eine andere Sprache zu beschreiben, die als Gegenstand der Analyse betrachtet wird. Dies gilt insbesondere beim Erlernen einer neuen Sprache, wie zum Beispiel "das Wort" Sprache bedeutet 'Sprache' auf Englisch."
Ausdrücke in der Metasprache werden oft durch die Verwendung von Kursivschrift, Anführungszeichen oder separater Zeilenschrift von Sprachobjekten unterschieden, obwohl dies nicht immer so ausgedrückt wird.
Der britische Autor Bertrand Russell (1872-1970) definierte die Theorie der Sprachenhierarchie auf zwei Ebenen:
- Sprachobjektebene: wird verwendet, um auf Objekte zu verweisen, z. B. „sie sind Menschen“.
- Metalinguistisches oder metasprachliches Niveau: ist die Sprache, die verwendet wird, um die vorherige Ebene zu definieren, zum Beispiel in der Phrase „Einwanderer sind Menschen“, „Einwanderer“ findet sich auf der metasprachlichen Ebene.
Andererseits definiert der polnische Autor Alfred Tarski (1901-1983) Metasprache als Lösung für semantische Paradoxien, indem er feststellt, dass „es notwendig ist, die Wahrheit über Sprache aus einer anderen Sprache namens Metasprache zu sagen“.
Einige Beispiele für Metasprachen sind unter anderem grammatikalische Sprache, lexikographische Sprache, logische Sprache, Kindersprache, Fachsprache, Computersprache.
In der Linguistik werden sechs Verwendungen oder Funktionen in der Sprache unterschieden, eine davon ist die metalinguistische Funktion, die die Metasprache verwendet, um von der Sprache selbst zu sprechen. Beispiel: "Die Metasprache ist eine Sprache."
Merkmale der Metasprache
Die Metasprache hat spezifische Eigenschaften, die aufgrund der logischen Komplexität, die sie aufrechterhält, dazu beitragen, die Botschaft besser zu verstehen. Alfred Tarski definiert einige wesentliche Merkmale einer Sprache als Metasprache:
- Metalanguage definiert eine Sprache mit einer anderen Sprache.
- Die Metasprache muss reicher sein als die Objektsprache, da sie ihre Sätze und ihre Syntax beschreibt.
- Die Metasprache wird innerhalb der Mengenlehre und binären Logik verstanden.
- Die Metasprache muss eine Kopie der Objektsprache sein, damit das, was damit gesagt werden kann, auch von der Metasprache ausgedrückt werden kann.
Metasprache in der Informatik
Die Metasprache in der Informatik wird verwendet, um Programmstrings präzise zu beschreiben. Im Jahr 1950 gab es im Bereich der Informatik zwei Arten von Problemen bei der Zusammenstellung von Computerprogrammen:
- Das Fehlen des Designs einer mathematischen Sprache, um einen Algorithmus auszudrücken.
- Die Unfähigkeit, Programme in Computercode zu übersetzen.
Das erste Problem wurde dank der Schaffung der Disziplin des Computerprogrammdesigns gelöst, und die zweite Frage wurde dank der Generierung von Compilern gelöst, die als Metasprache definiert sind, also ein Programm, das ein Programm liest.
Computer-Compiler basieren auf Programmiersprachen. Eine der am häufigsten verwendeten ist die BNF (Backus-Naur-Form), die von John Backus und Peter Naur entwickelt wurde und unabhängig von Noam Chomsky entwickelt wurde, auch bekannt als Chomskys TYPE2-Modellhierarchie.
Compiler erzeugen eine syntaktische Analyse, die die meisten Fehler im Quellcode erkennt und in ein äquivalentes Programm in einer anderen Sprache (Objektcode) übersetzt.
