Метајезик

Из Википедије, слободне енциклопедије
Иди на навигацију Иди на претрагу

Уопштено, било који метајезик је језик или симбол који се користи када језик и сам се расправља или испитује.[1]У логици и лингвистици, а метајезик је језик који се користи да даје изјаве о изјавама у другом језику (предмет језику). Изрази у метајезику често се разликују од оних у језику објекта од употребе курзивом, под наводницима, или писаним путем на посебној линији.

Типови метајезика[уреди]

Постоји читав низ признатих метајезика, укључујући уграђене, наређене, и угнежђен  (или хијерархијски).

Уграђен метајезик[уреди]

Уграђени метајезик је формални језик, природни и чврсто фиксиранан у објекту језика. Ова идеја се налази у Douglas Hofstadter књизи, Gödel, Escher, Bach, у дискусији односа између формалних језика и теорије бројева: "...то је у природи сваке формализације теорије бројева да је метајезик уграђен у њега."[2] Јавља се у природним или неформалним, језицима, као добро као што је на енглеском, где речи као што су именице, глаголи, или чак реч описне карактеристике и концепте који се односе на саму на енглеском језику.

Наређен метајезик[уреди]

Наређен метајезик је аналоган за наређену логику. Пример наређеног метајезика је изградња једног метајезика да разговарају о језичком објекту, затим стварање другог метајезика да разговарају о првом, итд

Уметнут метајезик[уреди]

Уметнут (или хијерархијски) метајезик је језик сличан уређеном метајезику у томе да сваки ниво представља већи степен апстракције. Међутим, угнежђени метајезик разликује се од оног наређеног да сваки ниво укључује једну испод.Парадигматски пример угнежђеног метајезика долази од линеовског таксономског система у биологији. Сваки ниво у систему садржи ону испод ње. Језик који се користи како би разговарали о роду се такође  користи како би разговарали о врсти; један се користи како би разговарали о налогу и такође се користи како би разговарали о роду, итд, до краљевства.

Метајезик у природном језику[уреди]

Природни језик комбинује уметнут и наређен метајезик. У природном језику постоји бесконачни регрес метајезика, сваки са више специјализованих речника и једноставнијих синтакси.дређивање језика, као сада L0, граматика језика је дискурс у метајезику L1, што је субјезик[3] уметнутог у L0. Граматика  L1, која има облик чињеничног описа, је дискурс у метаметајезику L2, који је такође субјезик од L0. Граматика  L2, која има облик теорије описује синтаксичку структуру тих чињеничних описа, наведено је у метаметаметајезику L3, што такође представља субјезик од L0. Граматика L3 има облик метатеорије која описује синтаксичку структуру теорија наведених у L2. L4 и успешни метајезик има исту граматику као L3, разликују само у односу. Од свих ових метајезик је субјезик L0, Lје уметнут метајезик, али L2 је наређен метајезик.[4] Пошто су сви ови метајезици субјезици за L0 они су сви уграђени језици у вези са језиком у целини.

Метајезици формалних система све реше на крају у природном језику, "заједнички начин говора" у којој математичари и логичари разговарају да дефинишу своје услове и операције и 'прочитају' своје формуле.[5]

Типови израза у метајезику[уреди]

Постоји неколико лица обично изражених у метајезику. У логици обично предмет језика који метајезик разматра је формални језик, а веома често метајезик као добро. 

Дедуктивни системи[уреди]

Дедуктивни систем (или, дедуктивни апарат формалног система) се састоји од аксиома (или акиом шеме) и правила закључивања који се могу користити за извођење теореме система.[6]

Мета-променљиве[уреди]

Мета променљива (или, металингвистичка променљива) је симбол или сет симбола у метајезику који се залаже за симбол или сет симбола у неком објекту језика. На пример, у реченици: Нека су А и Б произвољне формуле формалног језика . Симболи А и Б нису симболи објекта језика , они су мета променљиве у метајезику (у овом случају, енглески) који разматрају објекат језика .

Мета-теорије и мета-теореме[уреди]

Метатеорија је теорија чији је предмет нека друга теорија (теорија о теорији). Изјаве у метатеорији о теорији се називају мета-теореме.Мета-теорема је истинита тврдња о формалном систему израженом у метајезику. За разлику од теорема показаних у оквиру датог формалног система, мета-теорема доказана је у оквиру метатеорије, и могу упутити концепте који су присутни у метатеорији, али не и теорије објеката.[7]

Тумачења[уреди]

Тумачење је задатак значења симбола и речи једног језика.

Улога у метафори[уреди]

Michael J. Reddy (1979) је открио и доказао да много језика које користимо да разговарамо о језику су конципирани и организовани у оно што он назива проводник метафора.[8] Ова парадигма послује преко два различита, у вези оквира.

Главни оквир гледа језик као затворен гасовод између људи: 1. Језик преноси мисли и осећања (Ментални садржај) других људи

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

2. Слушаоци и писци убацују њихове менталне садржаје у речи

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

3. Речи су контејнери

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

4. Слушаоци и писци извлаче ментални садржај из речи

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

Мањи оквир гледа  језик као отворену цев и просипа ментални садржај у празнину: 1. Слушаоци и писци одбацују ментални садржај у спољни простор

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

2. Ментални садржај постварене (посматра као бетон) у овом простору

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

3. Слушаоци и писци извлаче ментални садржај из овог простора

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

Metaprogramming[уреди]

Компјутери прате програме, комплетна упутства у формалном језику. Развој програмског језика подразумева употребу метајезика. Чин рада са метајезицима у програмирању је познат као метапрограмирањеБакус–Наурова форма, развијена у 1960 од стране Јохн Бакуса и Петер Наура, је један од најранијих метајезика који се користи у рачунарству. Примери данашњих програмских језика који се уобичајено налазе у примени у метапрограмирању укључују Lisp, m4, и Yacc.

Види још[уреди]

Референце[уреди]

  1. ^ 2010.
  2. ^ Hofstadter, Douglas. 1980.
  3. ^ Harris, Zellig S. (1991). A theory of language and information: A mathematical approach. Oxford: Clarendon Press. стр. 272—318. ISBN 0-19-824224-7. 
  4. ^ Harris 1991, стр. 277.
  5. ^ Borel, Félix Édouard Justin Émile (1928). Leçons sur la theorie des fonctions (на језику: French) (3 изд.). Paris: Gauthier-Villars & Cie. стр. 160. 
  6. ^ Hunter, Geoffrey. 1971.
  7. ^ Ritzer, George. 1991.
  8. ^ Reddy, Michael J. 1979.

Литература[уреди]

  • 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.

Спољашње везе [уреди]