Metajezik

Uopšteno, bilo koji metajezik je jezik ili simbol koji se koristi kada jezik i sam se raspravlja ili ispituje.^[1]U logici i lingvistici, a metajezik je jezik koji se koristi da daje izjave o izjavama u drugom jeziku (predmet jeziku). Izrazi u metajeziku često se razlikuju od onih u jeziku objekta od upotrebe kurzivom, pod navodnicima, ili pisanim putem na posebnoj liniji.

Tipovi metajezika

Postoji čitav niz priznatih metajezika, uključujući ugrađene, naređene, i ugnežđen (ili hijerarhijski).

Ugrađen metajezik

Ugrađeni metajezik je formalni jezik, prirodni i čvrsto fiksiranan u objektu jezika. Ova ideja se nalazi u Douglas Hofstadter knjizi, Gödel, Escher, Bach, u diskusiji odnosa između formalnih jezika i teorije brojeva: "...to je u prirodi svake formalizacije teorije brojeva da je metajezik ugrađen u njega."^[2] Javlja se u prirodnim ili neformalnim, jezicima, kao dobro kao što je na engleskom, gde reči kao što su imenice, glagoli, ili čak reč opisne karakteristike i koncepte koji se odnose na samu na engleskom jeziku.

Naređen metajezik

Naređen metajezik je analogan za naređenu logiku. Primer naređenog metajezika je izgradnja jednog metajezika da razgovaraju o jezičkom objektu, zatim stvaranje drugog metajezika da razgovaraju o prvom, itd

Umetnut metajezik

Umetnut (ili hijerarhijski) metajezik je jezik sličan uređenom metajeziku u tome da svaki nivo predstavlja veći stepen apstrakcije. Međutim, ugnežđeni metajezik razlikuje se od onog naređenog da svaki nivo uključuje jednu ispod.Paradigmatski primer ugnežđenog metajezika dolazi od lineovskog taksonomskog sistema u biologiji. Svaki nivo u sistemu sadrži onu ispod nje. Jezik koji se koristi kako bi razgovarali o rodu se takođe koristi kako bi razgovarali o vrsti; jedan se koristi kako bi razgovarali o nalogu i takođe se koristi kako bi razgovarali o rodu, itd, do kraljevstva.

Metajezik u prirodnom jeziku

Prirodni jezik kombinuje umetnut i naređen metajezik. U prirodnom jeziku postoji beskonačni regres metajezika, svaki sa više specijalizovanih rečnika i jednostavnijih sintaksi.dređivanje jezika, kao sada L₀, gramatika jezika je diskurs u metajeziku L₁, što je subjezik^[3] umetnutog u L₀. Gramatika L₁, koja ima oblik činjeničnog opisa, je diskurs u metametajeziku L₂, koji je takođe subjezik od L₀. Gramatika L₂, koja ima oblik teorije opisuje sintaksičku strukturu tih činjeničnih opisa, navedeno je u metametametajeziku L₃, što takođe predstavlja subjezik od L₀. Gramatika L₃ ima oblik metateorije koja opisuje sintaksičku strukturu teorija navedenih u L₂. L₄ i uspešni metajezik ima istu gramatiku kao L₃, razlikuju samo u odnosu. Od svih ovih metajezik je subjezik L₀, L₁je umetnut metajezik, ali L2 je naređen metajezik.^[4] Pošto su svi ovi metajezici subjezici za L₀ oni su svi ugrađeni jezici u vezi sa jezikom u celini.

Metajezici formalnih sistema sve reše na kraju u prirodnom jeziku, "zajednički način govora" u kojoj matematičari i logičari razgovaraju da definišu svoje uslove i operacije i 'pročitaju' svoje formule.^[5]

Tipovi izraza u metajeziku

Postoji nekoliko lica obično izraženih u metajeziku. U logici obično predmet jezika koji metajezik razmatra je formalni jezik, a veoma često metajezik kao dobro.

Deduktivni sistemi

Deduktivni sistem (ili, deduktivni aparat formalnog sistema) se sastoji od aksioma (ili akiom šeme) i pravila zaključivanja koji se mogu koristiti za izvođenje teoreme sistema.^[6]

Meta-promenljive

Meta promenljiva (ili, metalingvistička promenljiva) je simbol ili set simbola u metajeziku koji se zalaže za simbol ili set simbola u nekom objektu jezika. Na primer, u rečenici: Neka su A i B proizvoljne formule formalnog jezika ${\mathcal {L}}$ . Simboli A i B nisu simboli objekta jezika ${\mathcal {L}}$ , oni su meta promenljive u metajeziku (u ovom slučaju, engleski) koji razmatraju objekat jezika ${\mathcal {L}}$ .

Meta-teorije i meta-teoreme

Metateorija je teorija čiji je predmet neka druga teorija (teorija o teoriji). Izjave u metateoriji o teoriji se nazivaju meta-teoreme.Meta-teorema je istinita tvrdnja o formalnom sistemu izraženom u metajeziku. Za razliku od teorema pokazanih u okviru datog formalnog sistema, meta-teorema dokazana je u okviru metateorije, i mogu uputiti koncepte koji su prisutni u metateoriji, ali ne i teorije objekata.^[7]

Tumačenja

Tumačenje je zadatak značenja simbola i reči jednog jezika.

Uloga u metafori

Michael J. Reddy (1979) je otkrio i dokazao da mnogo jezika koje koristimo da razgovaramo o jeziku su koncipirani i organizovani u ono što on naziva provodnik metafora.^[8] Ova paradigma posluje preko dva različita, u vezi okvira.

Glavni okvir gleda jezik kao zatvoren gasovod između ljudi: 1. Jezik prenosi misli i osećanja (Mentalni sadržaj) drugih ljudi

  нпр: Покушајте да добијете своје мисли кроз боље.

2. Slušaoci i pisci ubacuju njihove mentalne sadržaje u reči

  нпр: Морате пажљивије ставити сваки концепт у речи.

3. Reči su kontejneri

  нпр: Та реченица је била препуна емоција.

4. Slušaoci i pisci izvlače mentalni sadržaj iz reči

  нпр: Јавите ми ако нађете неке нове сензације у песми.

Manji okvir gleda jezik kao otvorenu cev i prosipa mentalni sadržaj u prazninu: 1. Slušaoci i pisci odbacuju mentalni sadržaj u spoljni prostor

  нпр: Дајте оне идеје где могу да учине нешто добро.

2. Mentalni sadržaj postvarene (posmatra kao beton) u ovom prostoru

  нпр: Тај концепт плута већ деценијама.

3. Slušaoci i pisci izvlače mentalni sadržaj iz ovog prostora

  нпр: Јавите ми ако нађете неке добре концепте у есеју.

Metaprogramming

Kompjuteri prate programe, kompletna uputstva u formalnom jeziku. Razvoj programskog jezika podrazumeva upotrebu metajezika. Čin rada sa metajezicima u programiranju je poznat kao metaprogramiranje. Bakus–Naurova forma, razvijena u 1960 od strane John Bakusa i Peter Naura, je jedan od najranijih metajezika koji se koristi u računarstvu. Primeri današnjih programskih jezika koji se uobičajeno nalaze u primeni u metaprogramiranju uključuju Lisp, m4, i Yacc.

Vidi još

Reference

^ 2010.
^ Hofstadter, Douglas. 1980.
^ Harris, Zellig S. (1991). A theory of language and information: A mathematical approach. Oxford: Clarendon Press. str. 272–318. ISBN 978-0-19-824224-6.
^ Harris 1991, str. 277.
^ Borel, Félix Édouard Justin Émile (1928). Leçons sur la theorie des fonctions (na jeziku: French) (3 izd.). Paris: Gauthier-Villars & Cie. str. 160.
^ Hunter, Geoffrey. 1971.
^ Ritzer, George. 1991.
^ Reddy, Michael J. 1979.

Literatura

Audi, R. 1996. The Cambridge Dictionary of Philosophy. Cambridge: Cambridge University Press.
Baldick, C. 1996. Oxford Concise Dictionary of Literary Terms. Oxford: Oxford University Press.
Cuddon, J. A. 1999. The Penguin Dictionary of Literary Terms and Literary Theory. London: Penguin Books.
Honderich, T. 1995. The Oxford Companion to Philosophy. Oxford: Oxford University Press.
Matthews, P. H. (1997). The Concise Oxford Dictionary of Linguistics. Oxford: Oxford University Press. ISBN 978-0-19-280008-4.
McArthur, T. 1996. The Concise Oxford Companion to the English Language. Oxford: Oxford University Press.

Spoljašnje veze

Metalanguage, Principia Cybernetica
Willard McCarty (submitted 2006) Problematic Metaphors, Humanist Discussion Group, Vol. 20, No. 92.

[1] 2010.

[2] Hofstadter, Douglas. 1980.

[3] Harris, Zellig S. (1991). A theory of language and information: A mathematical approach. Oxford: Clarendon Press. str. 272–318. ISBN 978-0-19-824224-6.

[FOOTNOTEHarris1991277-4] Harris 1991, str. 277.

[5] Borel, Félix Édouard Justin Émile (1928). Leçons sur la theorie des fonctions (na jeziku: French) (3 izd.). Paris: Gauthier-Villars & Cie. str. 160.

[6] Hunter, Geoffrey. 1971.

[7] Ritzer, George. 1991.

[8] Reddy, Michael J. 1979.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]