Metakieli

Metakieli on logiikassa ja kielitieteessä kieli, jota käytetään silloin, kun kieli itsessään on tutkimuskohteena. Metakielen avulla voidaan esittää väitteitä tutkimuskohteena olevasta kielestä eli objektikielestä. Esimerkiksi logiikassa metaloogiset väitteet jostakin objektikielestä muotoillaan metakielellä ja todistetaan metakielen avulla suoritetulla päättelyllä.

Metakielenä voidaan käyttää esimerkiksi jotain luonnollista kieltä (kuten suomen kieltä). Metakieliset ilmaisut erotetaan objektikielisistä esimerkiksi sijoittamalla objektikieliset ilmaisut lainausmerkkeihin.

 Esimerkkejä 

Metakielinen lause

'' on propositiolause, jossa on kolme symbolia.

esittää väittämän propositiologiikan kielellä ilmaistusta objektikielen lauseesta.

Metakielinen lause

'Kissa söi kesävoin' koostuu 16 kirjaimesta.

esittää väittämän suomenkielisestä objektikielen lauseesta.

Metakielenä kummassakin esimerkissä on suomen kieli.

 Tietojenkäsittelyssä ja tietotekniikassa 
Tietojenkäsittelyssä ja tietotekniikassa metakieli on täsmäkieli ohjelmien generoimiseen tai muuntamiseen. Metakieltä käytetään metaohjelmoinnissa ja ohjelmointikielien kuvailemiseen.
Backus–Naur-muoto (BNF) on yksi metakieli. BNF-muotoa voidaan käyttää kääntäjän kääntäjän kuten Yacc-ohjelman kanssa.

 Lähteet 

Luokka:Filosofian termit
Luokka:Kielitiede
Luokka:Kielet
Luokka:Logiikka