enciclopedie umanitară metalimbaj

obiecte de limbă și Distinguishing metalanguages ​​corespunzătoare este relativă: fie metalanguages ​​(în acest caz este limba țintă) poate fi supus descrie meta-limbaj de nivel superior (meta-meta-limbaj). În plus, orice limbă-țintă (de exemplu, limbaj natural) poate fi descrisă în aceeași limbă. Pentru o descriere a limbii țintă în meta-limbajul corespunzător este necesar ca meta-limbajul au o mai mare putere expresivă, adică a fost [logic] mai bogat decât cea descrisă folosind fondurile sale țintă limbă. În unele cazuri, limba țintă și meta-limba corespunzătoare poate fi aceeași, aceasta nu înseamnă identitatea acestor limbi, ci doar faptul că acestea sunt părți ale aceleași, cum ar fi, limbaj natural. În acest caz, limba țintă este întregul corp al limbajului natural și meta-limbajul corespunzător - setul semnelor sale metalingvistice și expresii, care, prin posibilitatea lor expresiv, logic nu ar trebui să fie mai slabă decât limba țintă. Astfel, rolul metalimbajului în ceea ce privește limba obiecte respectă regulile sale cuvânt-formare, sintaxa și așa mai departe, în general - orice fragmente care sunt folosite pentru a descrie limba țintă.

După tradiția scolastică metalogică a studiilor de limbă întreruptă, până la apariția logicii matematice la sfârșitul XIX - (. Vezi logica matematică) începutul secolului XX. Noțiunea de implicită meta-limbaj a fost folosit în studiile de Frege. El tratează cuvinte vorbire directă și indirectă, ca semn al semnelor, care nu pot fi atribuite lor proprii referentul, ci doar „notatia indirectă“, care coincide cu sensul obișnuit al cuvântului corespunzător. „Indirect, denotația“ propoziția este o judecată. Teoria metalimbajul logică a făcut o serie de rezultate importante D. Gilbert, care a avut loc mai întâi distincția dintre limba-obiect și metalimbajul, dar fără utilizarea limbajului și trimitere la discriminarea corespunzătoare „Matematică“ și „meta-matematică.“ Termenul „meta-limbaj“ este introdus în utilizarea reprezentanților Școlii Lvov-Varșovia filosofiei analitice. Termenul folosit în C. Lesniewski, și mai departe la Tarski. Logica problemelor Viena Circle metalimbaj implicat cel mai activ în Carnap. Potrivit lui Carnap, include o expresie meta-limbaj Corelarea cu toate elementele limbajului obiectului: semnele sale, precum și calitatea expresiilor de comunicare, precum și regulile de formare și de transformare. Meta-limbajul este construit ca parte a limbajului standard care extinde limbajul-obiect, alături de concepte semantice (adevăr, falsitate, bioechivalență și altele).

1. concepte semantice sunt introduse ca date de intrare într-un metalimbaj, iar proprietățile lor sunt descrise de către sistemul de axiome (care necesită dovada completitudine și teoria semantică consistență).
2. concepte semantice sunt introduse în metalimbajul prin definiție, trebuie apoi metalimbaj:
   • include un mijloc pentru a descrie sintaxa limbii obiectului;
   • să fie mai bogat decât limbajul obiect, adică, orice expresie a acesteia din urmă trebuie să fie traduse în metalimbajul;
   • au nu mai puțin bogat decât în ​​limba țintă, vocabularul logic;
   • include variabile mai mari decât în ​​limba țintă pe ordinea.

limbi naturale sunt închise semantically. Acest lucru înseamnă că acestea includ atât exprimare, cu referire extra-lingvistice, precum și numele propriilor lor expresii lingvistice, plus predicate semantice „adevărat“, „fals“, „demonstrabil“, și altele. Prin urmare, Tarski nu consideră că este posibil să se extindă pentru a le definiția semantică a adevărului și definiții logice ale meta-limbaj și limba țintă. limbi naturale - sunt, de asemenea, extrem de bogat în sistem semantic, adică, să servească drept un sistem universal de semn, meta-limbaj, care poate traduce valorile altor sisteme semn. Acest lucru conduce la o utilizare problematică a metalimbaj definiții logice. Ultimul Hjelmslev propus de a se opune sistemului semnificant simplu de două complexe: semiotică conotative și metalingvistică. Forma limbii conotativ expresiei (adică), la rândul său, este limba în formă de conținut meta-limbaj (semnificat) este limba principală, adică limba țintă.

De la mijlocul anilor 1930, distincția între conceptele de „limbaj-obiect“ și „meta-limbaj“ a fost utilizat pe scară largă în studiul problemelor logicii matematice și bazele matematicii. Ceva timp mai târziu a fost folosit în lingvistică, semiotică, filosofia și metodologia științei. În fiecare dintre aceste discipline este utilizarea de „meta-limbaj“ a termenului, menținând în același timp valoarea totală a dobândit unele caracteristici specifice. Deci, în logica matematică și meta-limbaj este de obicei înțeleasă ca un mijloc de a studia limbajul formal - calcule logice și matematice, sau (într-o formulare oarecum diferită) ca o limbă formalizate sau neformalizate care să formuleze declarații de metamathematics; în lingvistică meta-limbaj este văzută ca un mijloc de a construi metalinguistics și așa mai departe. Cu toate diferențele de interpretări ale general acceptat faptul că meta-limbajul trebuie să fie mai bogat decât limba țintă corespunzătoare, deoarece acesta trebuie să conțină nu numai simbolurile pentru toate numele și expresii ale acesteia din urmă, dar se stabilească cu mijloacele lor specifice de proprietățile lor și să instaleze diferite tipuri de relații și comunicare între le. Numai în acest mod posibil de a evita diferite tipuri de paradoxuri și antinomii folosind o ierarhie a limbilor utilizate de către om. mijloace expresive bogate metalanguages ​​logice, matematică, lingvistică și alte discipline le permit să formuleze meta (a se vedea. Metatheory) domenii relevante ale cunoașterii științifice.