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
urediPostoji čitav niz priznatih metajezika, uključujući ugrađene, naređene, i ugnežđen (ili hijerarhijski).
Ugrađen metajezik
urediUgrađ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
urediNaređ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
urediUmetnut (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
urediPrirodni 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 L0, gramatika jezika je diskurs u metajeziku L1, što je subjezik[3] umetnutog u L0. Gramatika L1, koja ima oblik činjeničnog opisa, je diskurs u metametajeziku L2, koji je takođe subjezik od L0. Gramatika L2, koja ima oblik teorije opisuje sintaksičku strukturu tih činjeničnih opisa, navedeno je u metametametajeziku L3, što takođe predstavlja subjezik od L0. Gramatika L3 ima oblik metateorije koja opisuje sintaksičku strukturu teorija navedenih u L2. L4 i uspešni metajezik ima istu gramatiku kao L3, razlikuju samo u odnosu. Od svih ovih metajezik je subjezik L0, L1 je umetnut metajezik, ali L2 je naređen metajezik.[4] Pošto su svi ovi metajezici subjezici za L0 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
urediPostoji 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
urediDeduktivni 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
urediMeta 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 . Simboli A i B nisu simboli objekta jezika , oni su meta promenljive u metajeziku (u ovom slučaju, engleski) koji razmatraju objekat jezika .
Meta-teorije i meta-teoreme
urediMetateorija 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
urediUloga u metafori
urediMichael 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
urediKompjuteri 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š
urediReference
uredi- ^ 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
uredi- 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
uredi- Metalanguage, Principia Cybernetica
- Willard McCarty (submitted 2006) Problematic Metaphors Arhivirano na veb-sajtu Wayback Machine (3. mart 2016), Humanist Discussion Group, Vol. 20, No. 92.
