Il linguaggio formale è un insieme di segni linguistici per uso esclusivo in situazioni in cui il linguaggio naturale non è adatto. In generale, la lingua è divisa in naturale o informale e artificiale. Il primo è utilizzato per situazioni comuni nella vita quotidiana. Nel frattempo, l'artificiale viene utilizzato in situazioni specifiche al di fuori dell'ambito della vita quotidiana.
In questo modo, il linguaggio formale fa parte del gruppo di quelli artificiali. Questo è usato, in particolare, nelle scienze formali (quelle il cui campo di azione non sono le realtà del mondo fisico ma del mondo astratto). Alcune di queste scienze includono logica, matematica e programmazione per computer..
In questo senso, questo tipo di linguaggio utilizza codici linguistici non naturali (non trovano applicazione nelle comunicazioni nel mondo ordinario). Nel campo delle scienze formali, un linguaggio formale è un insieme di catene di simboli che possono essere regolati da leggi specifiche di ciascuna di queste scienze..
Ora, questo tipo di linguaggio utilizza un insieme di simboli o lettere come alfabeto. Da questo si formano le "catene linguistiche" (parole). Questi, se rispettano le regole, sono considerati "parole ben formate" o "formule ben formate".
Indice articolo
Il linguaggio formale mira a scambiare dati in condizioni ambientali diverse da quelle di altre lingue. Ad esempio, nel linguaggio di programmazione, il fine è la comunicazione tra esseri umani e computer o tra dispositivi computerizzati. Non è una comunicazione tra esseri umani.
Quindi è una lingua ad hoc, creato con un obiettivo specifico e per funzionare in contesti molto specifici. Inoltre, non è ampiamente utilizzato. Al contrario, il suo uso è limitato a coloro che conoscono sia l'obiettivo della lingua che il suo contesto particolare..
Il linguaggio formale è formato dall'istituzione di regole grammaticali a priori che gli danno le basi. Quindi, prima viene progettato l'insieme di principi che governerà la combinazione di elementi (sintassi) e quindi vengono generate le formule.
D'altra parte, lo sviluppo del linguaggio formale è cosciente. Ciò significa che è richiesto uno sforzo prolungato per il loro apprendimento. Allo stesso modo, il suo utilizzo porta ad una specializzazione nelle normative e convenzioni di uso scientifico.
La componente semantica nel linguaggio formale è minima. Una data stringa appartenente al linguaggio formale non ha significato di per sé.
Il carico semantico che possono avere proviene in parte dagli operatori e dalle relazioni. Alcuni di questi sono: uguaglianza, disuguaglianza, connettivi logici e operatori aritmetici.
In linguaggio naturale, la ripetizione della combinazione di "p" e "a" nella parola "papa" ha il valore semantico di genitore. Tuttavia, nel linguaggio formale non è così. In campo pratico, il significato o l'interpretazione delle stringhe risiede nella teoria che si cerca di definire attraverso quel linguaggio formale.
Pertanto, quando viene utilizzato per sistemi lineari di equazioni, ha la teoria delle matrici come uno dei suoi valori semantici. D'altra parte, questo stesso sistema ha il carico semantico dei progetti di circuiti logici nell'informatica.
In conclusione, i significati di queste catene dipendono dall'area delle scienze formali in cui vengono applicate..
Il linguaggio formale è totalmente simbolico. Questo è composto da elementi la cui missione è trasmettere la relazione tra loro. Questi elementi sono i segni linguistici formali che, come detto, non generano di per sé alcun valore semantico..
La forma di costruzione della simbologia del linguaggio formale consente calcoli e stabilire verità che dipendono non dai fatti ma dalle loro relazioni. Questo simbolismo è unico e lontano da qualsiasi situazione concreta nel mondo materiale..
Il linguaggio formale ha un carattere universale. A differenza di quello naturale, che, motivato dalla sua soggettività, consente interpretazioni e dialetti multipli, quello formale è invariabile.
In effetti, è simile per diversi tipi di comunità. Le sue affermazioni hanno lo stesso significato per tutti gli scienziati indipendentemente dalla lingua che parlano.
In generale, il linguaggio formale è preciso e poco espressivo. Le sue regole di formazione impediscono ai suoi parlanti di coniare nuovi termini o dare nuovi significati a termini esistenti. E non può essere utilizzato per trasmettere convinzioni, stati d'animo e situazioni psicologiche.
Poiché sono stati compiuti progressi nella scoperta di applicazioni per il linguaggio formale, il suo sviluppo è stato esponenziale. Il fatto che possa essere azionato meccanicamente senza pensare al suo contenuto (ai suoi significati) consente la libera combinazione dei suoi simboli e operatori.
In teoria, la portata dell'espansione è infinita. Ad esempio, recenti ricerche nel campo dell'informatica e dell'informatica mettono in relazione entrambe le lingue (naturale e formale) per scopi pratici..
Nello specifico, gruppi di scienziati lavorano su modi per migliorare l'equivalenza tra di loro. Alla fine, ciò che si cerca è creare un'intelligenza che possa usare il linguaggio formale per produrre un linguaggio naturale.
Nella stringa: (p⋀q) ⋁ (r⋀t) => t, le lettere p, q, r, t simboleggiano proposizioni senza alcun significato concreto. D'altra parte, i simboli ⋀, ⋁ e => rappresentano i connettori che collegano le proposizioni. In questo particolare esempio, i connettori utilizzati sono "and" (⋀), "or" (⋁), "then" (=>).
La traduzione più vicina alla stringa è: se una qualsiasi delle espressioni tra parentesi è vera o no, allora t è vera oppure no. I connettori hanno il compito di stabilire le relazioni tra le proposizioni che possono rappresentare qualsiasi cosa ...
In questo esempio matematico A = ❴x | x⦤3⋀x> 2❵, è coinvolto un insieme con nome "A" che ha elementi di nome "x". Tutti gli elementi di A sono legati dalla simbologia ❴, |, ⦤, ⋀,>, ❵.
Tutti sono usati qui per definire le condizioni che gli elementi "x" devono soddisfare affinché provengano dall'insieme "A".
La spiegazione di questa catena è che gli elementi di questo insieme sono tutti quelli che soddisfano la condizione di essere minori o uguali a 3 e allo stesso tempo maggiori di 2. In altre parole, questa catena definisce il numero 3, che è il unico elemento che soddisfa le condizioni.
La riga di programmazione IF A = 0, THEN GOTO 30, 5 * A + 1 ha una variabile "A" sottoposta a un processo di revisione e decisione tramite un operatore denominato "se condizionale".
Le espressioni "IF", "THEN" e "GOTO" fanno parte della sintassi dell'operatore. Nel frattempo, il resto degli elementi sono i valori di confronto e di azione di "A".
Il suo significato è: al computer viene chiesto di valutare il valore corrente di "A". Se è uguale a zero, andrà a "30" (un'altra riga di programmazione dove ci sarà un'altra istruzione). Nel caso sia diverso da zero, la variabile "A" verrà moltiplicata (*) per il valore 5 e verrà aggiunto il valore 1 (+).
Nessun utente ha ancora commentato questo articolo.