Merkitys Metalanguage

Mikä on metakieli:

Metakieli on kieli, jota käytetään kuvaamaan, ilmaisemaan tai analysoimaan kieltä.

Logiikassa ja kielitieteessä metakieltä käytetään analysoimaan ja jäsentämään semanttisten paradoksien loogisia ongelmia esineiden kuvaamiseen käytetyllä kielellä.

Metakieli määritellään myös erikoiskieleksi, joka kuvaa luonnollista kielellistä järjestelmää tai muuta analyysikohteena pidettyä kieltä. Tämä pätee erityisesti uuden kielen, kuten "sanan" oppimiseen Kieli tarkoittaa "kieltä" englanniksi.

Metakielen lausekkeet erotetaan yleensä kieli-objektista käyttämällä kursiivia, lainausmerkkejä tai erillistä rivinkirjoitusta, vaikka sitä ei aina ilmaista tällä tavalla.

Brittiläinen kirjailija Bertrand Russell (1872-1970) määritteli kielten hierarkian teorian kahdella tasolla:

  • Kieli-objektitaso: käytetään viittaamaan esineisiin, kuten "he ovat ihmisiä".
  • Metalistinen tai metakielinen taso: se on kieli, jolla määritettiin edellinen taso, esimerkiksi lauseessa "maahanmuuttajat ovat ihmisiä", "maahanmuuttajat" ovat metakielten tasolla.

Toisaalta puolalainen kirjailija Alfred Tarski (1901-1983) määrittelee metakielen ratkaisuksi semanttisiin paradokseihin ja toteaa, että "on tarpeen puhua totuus kielestä eri kielestä, jota kutsutaan metakieleksi".

Esimerkkejä metakielestä ovat muun muassa kielioppi, leksikografinen kieli, looginen kieli, lasten kieli, tekninen kieli, tietokoneen kieli.

Katso myös Kieli.

Kielitieteessä kielellä erotetaan kuusi käyttötapaa tai toimintoa, joista yksi on metallikielinen toiminto, joka käyttää metakieltä puhuakseen itse kielestä. Esimerkiksi: "Metakieli on kieli."

Katso myös Kielitoiminnot.

Metakielen ominaisuudet

Metakielellä on erityispiirteitä, jotka auttavat ymmärtämään viestin paremmin sen ylläpitämän loogisen monimutkaisuuden vuoksi. Alfred Tarski määrittelee joitakin olennaisia ​​piirteitä kielelle, jota voidaan pitää metakielenä:

  • Metakieli määrittelee kielen eri kielellä.
  • Metakielen on oltava rikkaampi kuin kohdekieli, koska se kuvaa sen lauseita ja syntaksia.
  • Metakieli ymmärretään joukkojen ja binäärilogiikan teoriassa.
  • Metakielen on oltava kopio objektikielestä, jotta metakieli voi ilmaista sen, mitä sillä voidaan sanoa.

Metakieli laskennassa

Tietojenkäsittelyn metakieltä käytetään kuvaamaan ohjelman merkkijonoja tarkasti. Vuonna 1950 tietojenkäsittelyn alalla tietokoneohjelmien kokoonpanoon liittyi kahdenlaisia ​​ongelmia:

  1. Matemaattisen kielen suunnittelun puute algoritmin ilmaisemiseksi.
  2. Kyvyttömyys kääntää ohjelmia tietokonekoodiksi.

Katso myös Algoritmi.

Ensimmäinen ongelma ratkaistiin tietokoneohjelmasuunnittelun kurinalaisuuden luomisen ansiosta, ja toinen kysymys ratkaistiin kääntäjien sukupolven ansiosta, jotka määritellään metakieleksi, joka on ohjelma, joka lukee ohjelman.

Tietokoneen kääntäjät perustuvat ohjelmointikieliin. Yksi käytetyimmistä on John Backuksen ja Peter Naurin luoma BNF (Backus-Naur-muoto), jonka Noam Chomsky kehittää itsenäisesti, joka tunnetaan myös nimellä Chomskyn TYPE2-mallihierarkia.

Kääntäjät luovat syntaktisen analyysin, joka havaitsee useimmat lähdekoodin virheet, ja kääntävät sen vastaavaksi ohjelmaksi toisella kielellä (objektikoodi).

Tunnisteet:  Teknologia-E-Innovaatio Ilmaisut-In-Englanti Yleinen