Metakieli

Metakieli  on kieli , joka on suunniteltu kuvaamaan toista kieltä, jota kutsutaan objektikieleksi .

Metakieli on kielitieteen kieli, sanasto, jonka pohjalta sanakirjoja muodostetaan. Rakennusteorian kieli, sanat, lauseet kieliopin kielitieteen alalla.

Metakielen käsitettä käytetään:

• kielitieteessä luonnollisten kielten kuvauksessa -  metakieli kielenkuvauskielenä. Luonnollinen kieli voi olla oma metakielensä (esim. samaa venäjän kieltä voidaan käyttää kuvaamaan venäjän kieltä) tai erota vain osittain esimerkiksi erikoisterminologiasta (venäjän kielellinen terminologia on metakielen elementti kuvaamaan Venäjän kieli);
• klassisessa filosofiassa  - käsitteenä, joka kiinnittää semioottisen sarjan ilmiöiden reflektoinnin loogiset työkalut;
  • postmodernismin filosofiassa , kun ilmaistaan ​​kielen proseduaalisen luonteen pohdinnan verbaalisen tuotteen proseduaalista luonnetta. Postmoderni metakielen tulkinta juontaa juurensa R. Barthin teokseen "Kirjallisuus ja metakieli" (1957).
• erilaisten loogis-matemaattisten laskelmien kielten opiskelussa ( esim . Backus-Naur-muoto );
• tietojenkäsittelytieteessä  - lisädataa ( metadata ) , jolla kuvataan olemassa olevia.
• matematiikassa  muodollinen logiikas-matemaattinen kieli metateorian muotoilemiseen tai laajemmassa mielessä formalisoimaton kieli metamatematiikan väitteiden esittämiseen [1] .

Matemaattinen logiikka

Puolalainen matemaatikko Alfred Tarski [2] esitteli käsitteen "metallikieli" . Sen avulla voit päästä eroon sellaisista loogisista paradokseista kuin valehtelijaparadokseista ja itseviittausparadokseista .

Ensimmäinen taso (tavallinen kieli) ovat lauseita esineistä, esimerkiksi: "Maalla on satelliitti." Alimman tason kielessä ei ole käsitteitä " valhe " ja " totuus ". Käsitteet, kuten esineitä koskevien lausuntojen totuuden arvioiminen, ovat metakielen etuoikeus, tikkaiden seuraava askelma. Näin ollen lause "Väite "lumi on valkoista" on totta" on järkevä metakielessä. Sen totuudesta voidaan kuitenkin puhua vasta seuraavassa päällirakenteessa - metametakielessä. Tässä tapauksessa metakieli on tämän seuraavan vaiheen objektikieli. On mahdollista rakentaa metakieli, jonka metakieli on objekti ja niin edelleen.

Toinen esimerkki väittämien ja metakielten portaista:

1. Minkä tahansa kolmion sisäkulmien summa on 180°
2. Väite 1 on totta.
3. Väite 2 on totta.
4. Väite 3 on totta.

Tässä ensimmäinen lause kirjoitetaan ensimmäisen tason kielellä, jonka avulla voidaan muotoilla planimetrian lauseita. Lauseiden todistamisessa käytetään toisen tason kieltä (lause nro 2) . Kolmannen väitteen metakieli on kieli, jolla todisteteoriakirjoja kirjoitetaan .

Bertrand Russellin tyyppiteoria liittyy läheisesti Tarskin metakielten tikkaisiin .

Katso myös

• Metavariable
• metatiede
• metatiedot

Muistiinpanot

1. ↑ Metakieli // Matemaattinen tietosanakirja / I. M. Vinogradov . - Moskova: Neuvostoliiton tietosanakirja, 1982. - T. 3. - Stb. 653.
2. ↑ Gardner M. Arvaa!: Per. englannista. = Ah! sainpahan. Paradokseja arvoitukselle ja ilolle. - M .: Mir , 1984. - S. 28-30. — 213 s.

Kirjallisuus

Postmodernismin filosofia:

• R. Bart. Kirjallisuus ja metakieli, 1957

Matematiikka, logiikka:

• Tarsky A., Johdatus deduktiivisten tieteiden logiikkaan ja metodologiaan, s. englannista, Metayazyk, 1948;
• Kleene S. K., Johdatus metamatematiikkaan, käänn. Englannista, Metakieli, 1957, ch. yksi;
• Church A., Johdatus matemaattiseen logiikkaan, s. englannista, osa 1, Metalanguage, 1960 (johdanto);
• Curry H. B., Matemaattisen logiikan perusteet, käänn. Englannista, Metakieli, 1969, ch. 1-3.

NF :

• Tietyn "Pelin" metakieli on yksi D. Bilenkinin "The Power of the Strongin" juonen avainelementeistä .