Hvad er Metalanguage:
Metalsprog er sprog, der bruges til at beskrive, angive eller analysere sprog.
I logik og lingvistik bruges metasprog til at analysere og strukturere de logiske problemer som semantiske paradokser udgør på det sprog, der bruges til at beskrive objekter.
Metalsproget er også defineret som det specialiserede sprog til at beskrive et naturligt sprogligt system eller et andet sprog, der betragtes som genstand for analyse. Dette gælder især når man lærer et nyt sprog, såsom "ordet Sprog betyder 'sprog' på engelsk. "
Udtryk i metasprog skelnes ofte fra sprogobjekt ved hjælp af kursiv, anførselstegn eller separat linjeskrivning, selvom det ikke altid udtrykkes på den måde.
Den britiske forfatter Bertrand Russell (1872-1970) definerede teorien om sproghierarkiet på to niveauer:
- Sprog-objektniveau: bruges til at henvise til objekter, såsom “de er mennesker”.
- Metalinguistisk eller metalsproget niveau: er det sprog, der bruges til at definere det forrige niveau, for eksempel i sætningen "indvandrere er mennesker", "indvandrere" findes på metalsproget niveau.
På den anden side definerer den polske forfatter Alfred Tarski (1901-1983) metalsprog som løsningen på semantiske paradokser og siger, at ”det er nødvendigt at tale sandheden om sprog fra et andet sprog kaldet metalanguage”.
Nogle eksempler på metasprog er blandt andet grammatisk sprog, leksikografisk sprog, logisk sprog, børns sprog, tekniske sprog, computersprog.
I lingvistik skelnes der mellem seks anvendelser eller funktioner i sproget, hvoraf den ene er den metallinguistiske funktion, som bruger metalsproget til at tale om selve sproget. For eksempel: "Metalsproget er et sprog."
Metalsprogets egenskaber
Metalsproget har specifikke egenskaber, der hjælper med at forstå budskabet bedre på grund af den logiske kompleksitet, det opretholder. Alfred Tarski definerer nogle væsentlige egenskaber for, at et sprog kan betragtes som en metalsprog:
- Metalanguage definerer et sprog ved hjælp af et andet sprog.
- Metalsproget skal være rigere end objektsproget, da det beskriver dets sætninger og dets syntaks.
- Metalsproget forstås inden for teorien om sæt og binær logik.
- Metalsproget skal være en kopi af objektsproget, så det, der kan siges med det, også kan udtrykkes af metasproget.
Metalsprog i computing
Metalsproget inden for datalogi bruges til at beskrive programstrenge præcist. I 1950 inden for computing var der to typer problemer for sammensætningen af computerprogrammer:
- Manglen på designet af et matematisk sprog til at udtrykke en algoritme.
- Manglende evne til at oversætte programmer til computerkode.
Det første problem blev løst takket være oprettelsen af disciplinen med computerprogrammedesign, og det andet spørgsmål blev løst takket være genereringen af compilere, der er defineret som en metalsprog, et program, der læser et program.
Computere til computere er baseret på programmeringssprog. En af de mest anvendte er BNF (Backus-Naur Form) skabt af John Backus og Peter Naur, der udvikles uafhængigt af Noam Chomsky, også kendt som Chomsky's TYPE2-modelhierarki.
Compilers genererer en syntaktisk analyse, der registrerer de fleste fejl i kildekoden og oversætter den til et tilsvarende program på et andet sprog (objektkode).
