Метаезик хуманитарна енциклопедия
Отличителни езикови обекти и съответните метаезици е относителна: или метаезици (в този случай тя е на целевия език) може да подлежат на описване на мета-език на по-високо ниво (мета-мета-език). В допълнение, всеки целеви език (например някои естествен език) може да бъде описан в същия език. За описание на езика цел в съответната мета-език е необходимо мета-език има по-голяма изразителна сила, т.е. беше [логически] богати от описано използването на средства целевите език. В някои случаи на целевия език и съответната мета-език може да бъде същият, това не означава, самоличността на следните езици, но само на факта, че те са част от един и същ, като естествено, език. В този случай, на целевия език е цялото тяло на съответния естествен език и мета-език - множеството от неговите metalinguistic знаци и изрази, които по своята изразителна, логично възможност не трябва да бъде по-слаб от целевия език. По този начин, ролята на метаезик във връзка с език обекти в съответствие с правилата на неговата словообразуване, синтаксис и така нататък, като цяло - всички фрагменти, които се използват за описване на целевия език.
След схоластика metalogical традиция на езикови проучвания прекъснат, докато появата на математическата логика в края на XIX - (. Виж математическата логика) началото на ХХ век. Идеята за имплицитно мета-език е бил използван при проучвания на Фреге. Той се отнася към думите пряка и непряка реч в знак на знаците, които не могат да бъдат отнесени към тяхната собствена референтна, но само "косвен признак", което съвпада с обикновеното значение на съответната дума. "Косвено означение на" изречение съд. Теорията на логически метаезик направени редица важни резултати Г. Гилбърт, който за първи път се проведе разграничение на обектно-език и метаезик, но без използването на подходящ език и препратка към дискриминация "Математика" и "мета-математика." Терминът "мета-език" се въвежда в използването на представителите на Лвов-Варшавския аналитичната философия на. Терминът се използва в С Lesniewski и допълнително при Tarski. Логиката на проблемите на Виена Circle метаезик най-активно ангажирани в Carnap. Според Carnap, включва метаезик израз Корелацията с всички елементи на езика на обект: неговите признаци, както и качеството на комуникационните изрази, както и на правилата за образуване и преобразуване. Мета-език е изграден като част от книжовния език, който се простира на обектно-език редом семантични понятия (истина, лъжа, за еквивалентност и други).
- Семантичните понятия се въвеждат като вход в метаезик, както и техните свойства са описани от системата за аксиома (което изисква доказателство за пълнота и съгласуваност семантична теория).
- Семантичните понятия са въведени в метаезик по дефиниция, след това трябва да метаезик:
- включва средства за описание на синтаксиса на езика на обект;
- да бъде по-богат от езика на обект, който е всеки израз на последните трябва да бъдат преведени в метаезик;
- имат не по-малко богати, отколкото в целевия език, логично лексика;
- включва променливи високи от тези в целевия език на поръчката.
Естествените езици са семантично затворени. Това означава, че те включват и двете израз с изключително езикова справка, както и имената на техните собствени езиково изразяване плюс семантични предикати "истинска", "фалшива", "доказуем" и др. Ето защо, Tarski не смята за възможно да се разшири, за да ги семантичната определението на истината и логически дефиниции на мета-език и целевия език. Естествените езици - също са изключително богати на семантична система, тоест, да служи като универсална система знак, мета-език, който може да превежда от стойностите на други знакови системи. Това води до проблемна употреба на логически метаезик дефиниция. Последно Йелмслев, предложен от противопоставяне на проста система показваше на два комплекса: connotative семиотиката и metalinguistic. connotative формата на езика на изразяване (което означава,), от своя страна, е езикът, под формата на съдържание метаезик (означавано) е основният език, който е на целевия език.
От средата на 1930 г., разликата между понятията "обект език" и "метаезик" се използва широко в изследването на проблемите на математическата логика и основите на математиката. Малко по-късно тя е била използвана в лингвистиката, семиотиката, философия и методология на науката. Във всяка от тези дисциплини е използването на "мета-език" на думата, като същевременно се запази общата му стойност, придобито някои специфични особености. Така че, в логиката и математиката мета-език обикновено се разбира като средство за изучаване на езика официално - логически и математически изчисления, или (в малко по-различна форма), както официално или не-формализиран език, за да се формулира отчети на metamathematics; в лингвистиката мета-език се разглежда като средство за изграждане на metalinguistics и така нататък. С всички различия на интерпретации на общоприето, че мета-език трябва да е по-богата от тази на съответния целеви език, тъй като тя трябва да съдържа не само символи за всички имена и изрази на последната, но се определи с техните специфични средства за техните свойства и инсталиране на различни видове връзки и комуникация между тях. Само в възможно по този начин да се избегне различни видове парадокси и антиномии с помощта на йерархия на езиците, използвани от човека. Богатите изразни средства метаезици логически, математиката, лингвистиката и други дисциплини, които им позволяват да се формулира мета (вж. Metatheory) съответните области на научни знания.