Limba oficială: caracteristici și exemple

Limba oficială este un set de semne lingvistice utilizate exclusiv în situațiile în care limba naturală nu este adecvată. În general, limba este împărțită în naturale sau informale și artificiale. Primul este folosit pentru situații obișnuite ale vieții de zi cu zi. Între timp, artificiala este utilizată în situații specifice care nu se află în sfera vieții cotidiene.

În acest fel, limba oficială face parte din grupul artificial. Acest lucru este folosit, în special în științele formale (a căror arie de acțiune nu sunt realitățile lumii fizice, ci lumea abstractă). Unele dintre aceste științe includ logica, matematica și programarea pe calculator.

În acest sens, acest tip de limbă utilizează coduri lingvistice care nu sunt naturale (nu au aplicații în comunicații în lumea obișnuită). În domeniul științelor formale, un limbaj formal este un set de lanțuri de simboluri care pot fi reglementate de legi specifice fiecărei științe.

Acum, acest tip de limbă utilizează un set de simboluri sau litere ca alfabet. Din aceasta se formează "lanțurile de limbă" (cuvinte). Acestea, dacă respectă regulile, sunt considerate "cuvinte bine formate" sau "formule bine formate".

caracteristici

Mediul limitat

Obiectivul limbii formale este schimbul de date în condiții de mediu diferite față de alte limbi. De exemplu, în limba de programare, sfârșitul este comunicarea între oameni și computere sau între dispozitive computerizate. Nu este o comunicare între oameni.

Astfel, este un limbaj ad-hoc, creat cu un obiectiv specific și care funcționează în contexte foarte specifice. De asemenea, nu este folosit într-un mod masiv. Dimpotrivă, utilizarea sa este limitată la cei care cunosc atât obiectivul limbii, cât și contextul său specific.

Regulile gramaticale sunt a priori

Limbajul oficial este format din stabilirea unor reguli a priori gramaticale care dau baza. Deci, mai întâi proiectăm setul de principii care vor guverna combinația elementelor (sintaxa) și apoi vor genera formulele.

Pe de altă parte, dezvoltarea limbajului formal este conștientă. Aceasta înseamnă că este necesar un efort susținut pentru învățarea lor. În aceeași ordine de idei, utilizarea lui conduce la o specializare în reglementările și convențiile de utilizare științifică.

Componentă semantică minimă

Componenta semantică în limbajul oficial este minimă. Un anumit lanț care aparține limbii formale nu are nici o semnificație în sine.

Sarcina semantică pe care o pot avea este parțial din partea operatorilor și a relațiilor. Unele dintre acestea sunt: ​​egalitatea, inegalitatea, operatorii logici conectivi și aritmetici.

În limba naturală, repetarea combinației "p" și "a" în cuvântul "tatăl" are valoarea semantică a părintelui. Cu toate acestea, în limbajul oficial nu. În domeniul practic, sensul sau interpretarea lanțurilor se află în teoria care este încercată să se definească prin acel limbaj formal.

Astfel, atunci când este folosit pentru sisteme liniare de ecuații, teoria matricei este una dintre valorile sale semantice. Pe de altă parte, același sistem are sarcina semantică a modelelor de circuite logice în calcul.

În concluzie, semnificațiile acestor lanțuri depind de domeniul științelor formale în care sunt aplicate.

Limba simbolică

Limba oficială este complet simbolică. Aceasta se face din elemente ale căror misiune este de a transmite relația dintre ele. Aceste elemente sunt semnele lingvistice formale care, așa cum sa menționat, nu generează nici o valoare semantică de la sine.

Forma de construire a simbolicii limbajului formal ne permite să facem calcule și să stabilim adevăruri în funcție nu de fapte ci de relațiile lor. Această simbolologie este unică și îndepărtată de orice situație concretă din lumea materială.

universalitate

Limbajul oficial are un caracter universal. Spre deosebire de cea naturală, motivată pentru subiectivitatea sa permite interpretări și dialecte multiple, cea formală pare invariabilă.

De fapt, este similar pentru diferite tipuri de comunități. Abordările lor au același înțeles pentru toți oamenii de știință, indiferent de limbajul pe care îl vorbesc.

Precizie și expresivitate

În general, limba oficială este precisă și nu foarte expresivă. Regulile sale de formare îi împiedică pe vorbitorii să conceapă noi termeni sau să dea noi înțeles termenilor existenți. Și nu poate fi folosit pentru a transmite convingeri, stări de spirit și situații psihologice.

Capacitate de extindere

În măsura în care s-au înregistrat progrese în descoperirea cererilor de limbă formală, dezvoltarea sa a fost exponentizată. Faptul că poate fi acționat mecanic fără a se gândi la conținutul său (sensurile sale) permite combinarea liberă a simbolurilor și operatorilor.

În teorie, scopul extinderii este infinit. De exemplu, cercetările recente din domeniul calculării și al calculării se referă atât la limbi (naturale și formale) în scopuri practice.

În mod specific, grupurile de oameni de știință lucrează asupra modalităților de îmbunătățire a echivalenței dintre ele. În cele din urmă, ceea ce este căutat este de a crea inteligență care poate folosi limba oficială pentru a produce limbajul natural.

Exemple

logică

În șirul: (p⋀q) ⋁ (r⋀t) => t, literele p, q, r, t simbolizează propozițiile fără semnificație concretă. Pe de altă parte, simbolurile ⋀, ⋁, și => reprezintă conectorii care leagă propozițiile. În acest exemplu particular, conectorii utilizați sunt "y" (⋀), "o" (⋁), "apoi" (=>).

Cea mai apropiată traducere a șirului este: dacă oricare dintre expresiile din paranteze este îndeplinită sau nu, atunci t este îndeplinită sau nu este îndeplinită. Conectorii sunt responsabili pentru stabilirea relațiilor dintre propoziții care pot reprezenta orice.

matematic

În acest exemplu matematic A = ❴x | x⦤3⋀x> 2❵, intervine un set cu numele "A" care are elemente de nume "x". Toate elementele lui A sunt legate de simbolul ❴, |, ⦤, ⋀, >, ❵.

Toate acestea sunt folosite aici pentru a defini condițiile pe care trebuie să le îndeplinească elementele "x" astfel încât să poată fi din setul "A".

Explicația acestui lanț este aceea că elementele acestui set sunt toate acelea care îndeplinesc condiția de a fi mai mică sau egală cu 3 și în același timp mai mare decât 2. Cu alte cuvinte, acest lanț definește numărul 3 care este singurul element care îndeplinește condițiile.

Programarea calculatoarelor

Linia de programare IF A = ​​0, apoi GOTO 30, 5 * A + 1 are o variabilă "A" supusă unui proces de revizuire și de luare a deciziilor printr-un operator cunoscut sub numele de "dacă condițional".

Expresiile "IF", "THEN" și "GOTO" fac parte din sintaxa operatorului. Între timp, restul elementelor sunt valorile de comparație și acțiune ale lui "A".

Sensul său este: calculatorul este invitat să evalueze valoarea curentă a lui "A". Dacă este egal cu zero, va merge la "30" (o altă linie de programare unde va exista o altă instrucțiune). În cazul în care este diferită de zero, atunci variabila "A" va fi înmulțită (*) cu valoarea 5 și va fi adăugată valoarea (+).