Metanyelv humanitárius enciklopédia

Megkülönböztető nyelvi objektumok és megfelelő metalanguages ​​relatív: vagy metalanguages ​​(ebben az esetben ez a cél nyelv) tárgya lehet leírni a meta-nyelv egy magasabb szintű (meta-meta-nyelv). Továbbá, bármely cél nyelv (például valamilyen természetes nyelven) lehet leírni ugyanazon a nyelven. A leírás, a célnyelven a megfelelő meta-nyelv szükséges, hogy a meta-nyelv nagyobb kifejező erő, ez volt [logikai] gazdagabb, mint leírni az alapok célnyelven. Bizonyos esetekben, a célnyelv és a megfelelő meta-nyelv lehet azonos, ez nem jelenti az identitás következő nyelveken, hanem csak azt a tényt, hogy ezek részei ugyanaz, mint a természetes, a nyelv. Ebben az esetben a célnyelv az egész testet a megfelelő természetes nyelv és metanyelv - a készlet a metanyelvi jelek és kifejezések, amelyek által a kifejező, logikai lehetőség ne legyen gyengébb, mint a célnyelven. Így a szerepe metanyelvet a nyelvvel kapcsolatban objektumok felelnek meg a szabályoknak való szóképzés, szintaktikai és így tovább, általában - olyan fragmentumokat, amelyek leírására használt célnyelven.

Miután skolasztika metalogikai hagyomány nyelvi tanulmányok megszakad, amíg a megjelenése a matematikai logika a késő XIX - XX század elején (lásd a matematikai logika.). Az az elképzelés implicit metanyelvbe óta használják tanulmányok Frege. Úgy bánik szó közvetlen és közvetett beszéd jeleként a jelek, amelyeket nem lehet tulajdonítani saját referenst, de csak „közvetett denotációja”, amely egybeesik a szokásos értelme a megfelelő szót. „Közvetve denotációja” mondat egy ítélet. Az elmélet a logikai metanyelv egy sor olyan jelentős eredményeket D. Gilbert, aki először tartotta a különbséget az objektum-nyelv és metanyelv, de anélkül, hogy a megfelelő nyelvezet és hivatkozás megkülönböztetés „Matematika” és a „meta-matematika.” A „meta-nyelv” bevisszük a használata a képviselői Lvov-Warsaw School of analitikus filozófia. A használt kifejezés C. Lesniewski, és tovább melegítettük Tarski. A logika a Bécsi Kör problémák metanyelvet legtöbb aktívan részt vesz Carnap. Szerint Carnap, tartalmaz egy meta-nyelvi kifejezés az összefüggés minden elemét a tárgy nyelv: a jeleket, és a kommunikáció minősége kifejezések, valamint a szabályok kialakulása és az átalakulás. Meta-nyelv részeként épült a standard nyelv, amely kiterjeszti az objektum nyelvű mellett szemantikai fogalmakat (igazság, hazugság, egyenértékűség és mások).

1. Szemantikai fogalmak kerülnek bevezetésre bevitt egy metanyelv, és azok tulajdonságait írják le az axióma (amely előírja igazolás teljesség és a következetesség szemantikai elmélet).
2. Szemantikai fogalmak kerülnek bevezetésre a metanyelv definíció szerint kell majd metanyelv:
   • tartalmaznak egy olyan eszközt leírja a szintaxis a tárgy nyelv;
   • gazdagabb, mint a tárgy nyelv, azaz minden kifejezése az utóbbit kell fordítani a metanyelv;
   • nem kevesebb, mint gazdag a célnyelven, logikai szókincs;
   • tartalmazhat változót magasabb, mint a célnyelv a sorrendben.

Természetes nyelvek szemantikailag zárt. Ez azt jelenti, hogy magában foglalja mind kifejezést extra nyelvi referencia, és a nevét a saját nyelvi kifejezések és szemantikai predikátumok „igaz”, „hamis”, „bizonyítható” és mások. Ezért Tarski nem tartotta lehetségesnek, hogy kiterjesszék rájuk a szemantikai meghatározása az igazság és logikai meghatározásai meta-nyelv és a célnyelv. Természetes nyelvek - is rendkívül gazdag szemantikai rendszer, hogy van, szolgálni, mint egy univerzális jelrendszer a meta-nyelv, amely le tudja fordítani az értékeket más jelrendszert. Ez ahhoz vezet, hogy a problémás logikai definíció metanyelv. Utolsó Hjelmslev által javasolt ellenző egyszerű jelölő rendszer két komplex: konnotatív szemiotika és metanyelvi. A konnotatív nyelv kifejezési forma (azaz), viszont az a nyelv formájában meta-nyelvű tartalom (a jelölt) az elsődleges nyelv, hogy a cél nyelvet.

Mivel az 1930-as években, a különbséget a fogalmak a „objektum-nyelv” és a „meta-nyelv” széles körben használták a tanulmány a problémák matematikai logika és a matematika alapjait. Néhány évvel később használták nyelvészet, szemiotika, a filozófia és módszertan a tudomány. Ezeken a tudományágak a használata „meta-nyelv” kifejezés, miközben a teljes értéket szerzett néhány jellegzetes vonását. Tehát a logika és a matematika metanyelvbe általában érteni, mint azt a tanuló hivatalos nyelv - logikai és matematikai számítások, vagy (némileg más készítmény), mint formalizált vagy nem formalizált nyelven megfogalmazni nyilatkozatok metamatematika; nyelvészet metanyelvbe látható, mint egy olyan épület metalinguistics és így tovább. Az összes különbséget értelmezések az általánosan elfogadott, hogy a meta-nyelvet kell gazdagabb, mint a megfelelő célnyelvi, hiszen tartalmaznia kell nemcsak a szimbólumokat a neveket és kifejezéseket az utóbbi, de fix azok sajátos eszközökkel tulajdonságaikat és telepíteni a különböző típusú kapcsolatok és a kommunikáció között őket. Csak így lehet elkerülni a különféle paradoxonokat és ellentmondásait egy hierarchia által használt nyelvek ember. Rich kifejező eszköze metalanguages ​​logika, matematika, nyelvészet és egyéb tudományágak teszik számukra, hogy a meta (lásd. Metaelmélet) adott szakterületen tudományos ismeretek.