LIMBAJUL FORMAL: CARACTERISTICI ȘI EXEMPLE - LITERATURĂ - 2025

Limbaj formal este un set de semne lingvistice utilizare exclusivă în situații în care limba naturală nu este adecvată. În general, limbajul este împărțit în natural sau informal și artificial. Prima este folosită pentru situații obișnuite de zi cu zi. Între timp, artificialul este utilizat în situații specifice în afara sferei de viață de zi cu zi.

În acest fel, limbajul formal face parte din grupul celor artificiale. Aceasta este folosită, în special, în științele formale (cele al căror câmp de acțiune nu este realitățile lumii fizice, ci ale lumii abstracte). Unele dintre aceste științe includ logica, matematica și programarea computerului.

În acest sens, acest tip de limbaj folosește coduri lingvistice care nu sunt naturale (nu au nicio aplicație în cadrul comunicărilor din 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ăreia dintre aceste științe.

Acum acest tip de limbaj folosește un set de simboluri sau litere ca alfabet. Din aceasta se formează „lanțurile lingvistice” (cuvinte). Acestea, dacă respectă regulile, sunt considerate „cuvinte bine formate” sau „formule bine formate”.

caracteristici

Mediu restrâns

Limbajul formal își propune să facă schimb de date în condiții de mediu diferite de cele ale altor limbi. De exemplu, în limbajul de programare, finalul este comunicarea între oameni și computere sau între dispozitivele computerizate. Nu este o comunicare între oameni.

Astfel, este un limbaj ad hoc, creat cu un obiectiv specific și care să funcționeze în contexte foarte specifice. De asemenea, nu este utilizat pe scară largă. Dimpotrivă, utilizarea sa este limitată la cei care cunosc atât obiectivul limbii, cât și contextul său particular.

Gramatica reguli a priori

Limbajul formal este format din stabilirea unor reguli gramaticale a priori care îi dau baza. Astfel, mai întâi este conceput setul de principii care vor guverna combinația de elemente (sintaxa) și apoi sunt generate formulele.

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

Componentă semantică minimă

Componenta semantică în limbajul formal este minimă. Un șir dat care aparține limbajului formal nu are nici un sens de la sine.

Sarcina semantică pe care o pot avea provine în parte din operatori și relații. Unele dintre acestea sunt: ​​egalitate, inegalitate, conectivi logici și operatori aritmetici.

În limbajul natural, repetarea combinației de „p” și „a” în cuvântul „papa” are valoarea semantică a părintelui. Cu toate acestea, în limbajul formal nu. În domeniul practic, sensul sau interpretarea lanțurilor rezidă în teoria pe care o încearcă să o definească prin acest limbaj formal.

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

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

Limbajul simbolic

Limbajul formal este total simbolic. Aceasta este realizată din elemente a căror misiune este de a transmite relația dintre ei. Aceste elemente sunt semnele lingvistice formale care, după cum am menționat, nu generează nicio valoare semantică de la sine.

Forma de construcție a simbolismului limbajului formal permite calcule și stabilirea adevărurilor în funcție nu de fapte, ci de relațiile lor. Acest simbolism este unic și departe de orice situație concretă din lumea materială.

Universalitate

Limbajul formal are un caracter universal. Spre deosebire de cel natural, care, motivat de subiectivitatea sa, permite interpretări și dialecte multiple, cel formal este invariabil.

De fapt, este similar pentru diferite tipuri de comunități. Declarațiile sale au același sens pentru toți oamenii de știință, indiferent de limba pe care o vorbesc.

Precizie și expresivitate

În general, limbajul formal este precis și nu este foarte expresiv. Regulile sale de formare îi împiedică pe vorbitorii să cuprindă termeni noi sau să ofere noi sensuri termenilor existenți. Și nu poate fi folosit pentru a transmite credințe, stări de spirit și situații psihologice.

Expandabilitate

Pe măsură ce s-au înregistrat progrese în descoperirea aplicațiilor pentru limbajul formal, dezvoltarea acestuia a fost exponențială. Faptul că poate fi operat mecanic fără a ne gândi la conținutul său (semnificațiile sale) permite combinarea gratuită a simbolurilor și operatorilor săi.

În teorie, domeniul de expansiune este infinit. De exemplu, cercetările recente în domeniul informaticii și informaticii vizează ambele limbi (naturale și formale) în scopuri practice.

Mai exact, grupurile de oameni de știință lucrează la modalități de îmbunătățire a echivalenței între ei. În cele din urmă, ceea ce se caută este de a crea inteligență care poate folosi limbajul formal pentru a produce limbaj natural.

Exemple

Logică

În șir: (p⋀q) ⋁ (r⋀t) => t, literele p, q, r, t simbolizează propoziții fără niciun sens concret. Pe de altă parte, simbolurile ⋀, ⋁ și => reprezintă conectorii care leagă propozițiile. În acest exemplu particular, conectoarele utilizate sunt „și” (⋀), „sau” (⋁), „atunci” (=>).

Cea mai apropiată traducere a șirului este: dacă oricare dintre expresiile din paranteze sunt adevărate sau nu, t este adevărată sau nu. Conectorii sunt responsabili de stabilirea relațiilor dintre propozițiile care pot reprezenta orice.

Math

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

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 că elementele acestui set sunt toate cele care îndeplinesc condiția de a fi mai mici sau egale cu 3 și, în același timp, mai mari de 2. Cu alte cuvinte, acest lanț definește numărul 3, care este singurul element care îndeplinește condițiile.

Programare pe calculator

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

Expresiile „IF”, „THEN” și „GOTO” fac parte din sintaxa operatorului. Între timp, restul elementelor reprezintă valorile de comparație și acțiune ale „A”.

Sensul său este: computerului i se cere să evalueze valoarea curentă a „A”. Dacă este egal cu zero, se va trece 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, iar valoarea 1 i se va adăuga (+).

Referințe

1. Dicționar Collins. (s / f). Definiția „formal language”. Luate de pe collinsdictionary.com.
2. Universitatea de Tehnologie, Sydney. (s / f). Limbajul formal și informal. Luat de la uts.edu.au.
3. Definiții. (s / f). Definiții pentru limbajul formal. Luate din definiții.net.
4. Universitatea Tehnică din Madrid. (s / f). Limbi naturale și limbaje formale. Luate de la lorien.die.upm.es.
5. Municipiul Luján. (s / f). Limbajul formal. Luat de la lujan.magnaplus.org.
6. Corbin, JA (s / f). Cele 12 tipuri de limbaj (și caracteristicile lor). psychologiaymente.com.
7. Bel Enguix, G. și Jiménez López, MD (s / f). Simpozion: Noi aplicații ale teoriei limbajelor formale la lingvistică. Luat de la elvira.lllf.uam.es.