Linguaggio Naturale e Artificiale: Precisione, Ambiguità e Fondamenti della Logica

Linguaggio Naturale e Artificiale: Una Distinzione Fondamentale

Il linguaggio è un fenomeno sociale basato sulla capacità della nostra specie di comunicare attraverso i simboli. I simboli sono un tipo di segno. Un segno è qualcosa che, per qualcuno, sta per qualcos'altro sotto qualche aspetto o capacità. Perché qualcosa sia un segno, deve soddisfare i seguenti requisiti:

• Avere un significato.
• Che vi sia un interprete per il quale il segno ha significato.

Classificazione dei Segni

I segni possono essere classificati in base al loro rapporto con il significato in tre tipi principali:

1. Indici (o tracce): presentano un rapporto naturale, di contiguità fisica o causale, con il significato (es. fumo come indice di fuoco).
2. Icone: presentano un rapporto di somiglianza con l'oggetto significato (es. una fotografia, un ritratto, una mappa).
3. Simboli: presentano un rapporto arbitrario e convenzionale con il significato, stabilito da una regola (es. le parole di una lingua, i segnali stradali).

Per la logica, è molto importante fare una distinzione tra linguaggi naturali e linguaggi artificiali.

Linguaggi Naturali

I linguaggi naturali sono prodotti dell'evoluzione spontanea delle popolazioni e sono legati a gruppi etnici o comunità specifiche. Sono il linguaggio usato da una comunità linguistica e si acquisiscono attraverso l'apprendimento socio-culturale. Sono considerati naturali perché il loro apprendimento è spontaneo nei primi anni della nostra vita.

Le lingue naturali sono costituite da un numero finito di simboli e da una serie di regole per la formazione delle frasi. La linguistica ci insegna che le possibilità di uso del nostro linguaggio sono praticamente illimitate; la padronanza di una lingua implica la capacità di combinare costantemente elementi per produrre nuove frasi. Usiamo il linguaggio in diversi contesti e per molti scopi diversi, incluso quello di esprimere o scoprire noi stessi.

Linguaggi Artificiali

A differenza dei linguaggi naturali, i linguaggi artificiali sono prodotti di una progettazione consapevole o di accordi e convenzioni più o meno arbitrarie, istituiti da comunità di specialisti. Richiedono un apprendimento deliberato e programmato.

La distinzione tra linguaggio naturale e artificiale può sembrare semplice, ma, a ben vedere, si può affermare che anche le lingue naturali si sono formate attraverso il rapporto dell'uomo con l'ambiente. La loro ricchezza di sfumature e la loro ambiguità sono il riflesso di questo rapporto. Anche i linguaggi artificiali sono il prodotto di tale rapporto con l'ambiente e il risultato della necessità di un controllo scientifico. Sono linguaggi di precisione, costruiti da scienziati per conferire rigore alle rispettive discipline scientifiche.

Esiste un curioso paradosso: mentre le lingue naturali, pur basandosi su una caratteristica universale della nostra specie, tendono a frammentarsi e diversificarsi, i linguaggi artificiali, come la matematica, tendono a diventare universali. Il linguaggio naturale, se da un lato apre un enorme campo di possibilità espressive e comunicative, dall'altro è anche pieno di ambiguità e incertezze che generano imprecisioni.

Imprecisioni del Linguaggio Naturale

Imprecisioni Semantiche

Una fonte di imprecisione è la mancanza di corrispondenza univoca tra le parole e i loro significati. Ciò comporta che il contesto sia spesso necessario per comprendere il significato inteso, data l'ambiguità intrinseca del linguaggio. Si manifestano fenomeni come la polisemia (una singola parola con molteplici significati correlati). I termini possono essere usati in modo:

• Univoco: quando un termine si predica di soggetti diversi sempre nello stesso identico modo e significato (es. "uomo" detto di Pietro e Paolo).
• Equivoco: quando un termine si predica di soggetti completamente diversi con significati totalmente differenti (es. la parola "calcio" intesa come sport o come elemento chimico; l'esempio originale "Cape" potrebbe riferirsi a "capo" come estremità del corpo o come comandante).
• Analogo: quando un termine si predica di soggetti diversi in parte nello stesso modo e in parte in modo diverso, mantenendo una somiglianza di rapporto (es. "sano" riferito a un organismo, a un cibo, a un clima).

Imprecisioni Sintattiche e Paradossi

Le regole di sintassi possono anche produrre imprecisioni, che possono portare alla costruzione di frasi prive di senso o a dichiarazioni ridondanti. La confusione è anche una caratteristica delle lingue naturali, che possono cadere in paradossi insolubili. Il paradosso (ad esempio, il paradosso del mentitore) si verifica perché il linguaggio naturale ha la capacità di riferirsi a se stesso. Questo permette di distinguere tra linguaggio oggetto e metalinguaggio. Il linguaggio che usiamo per parlare di un altro linguaggio (il linguaggio oggetto) è chiamato metalinguaggio.

In conclusione, il linguaggio naturale non è appropriato per i costrutti teorici della scienza o per l'espressione di un ragionamento complesso che richiede la precisione tipica dei linguaggi artificiali. Un linguaggio artificiale è un linguaggio ben definito, costruito per superare le limitazioni del linguaggio naturale, principalmente attraverso due strategie:

1. Superare la vaghezza e l'ambiguità delle parole:
   • Ridefinendo i concetti del linguaggio naturale.
   • Utilizzando simboli artificiali basati su una corrispondenza univoca.
2. Utilizzare regole operative efficaci: per rendere impossibili paradossi e contraddizioni.

La Logica e il Ragionamento

Qui si inserisce la logica, la quale è necessaria perché il ragionamento è un processo mentale (come immaginare o ricordare) attraverso il quale deriviamo conclusioni da dati o premesse. Sia le conclusioni sia i dati (premesse) sono espressi tramite enunciati (o proposizioni). Quindi, ragionare significa derivare o inferire determinate affermazioni (conclusioni) da altre affermazioni (premesse). Il ragionamento è il processo che ci permette di passare da una o più affermazioni (premesse) a un'altra affermazione (conclusione) che da esse consegue necessariamente (o validamente).

Il ragionamento è un'attività di pensiero spontanea e caratteristica, ma non sempre ragioniamo correttamente; non sempre giungiamo alla conclusione che effettivamente deriva dalle premesse, ovvero, non sempre effettuiamo un'inferenza corretta.

Logica vs. Psicologia del Ragionamento

La psicologia studia il ragionamento come atto o attività del soggetto conoscente. La logica, invece, si interessa al ragionamento come prodotto e ne studia la struttura formale. La validità di un ragionamento formale dipende dal rapporto tra premesse e conclusione. In base a tale rapporto, gli argomenti sono considerati validi o non validi (o invalidi), ma mai veri o falsi in sé (la verità o falsità riguarda le singole proposizioni, non l'argomento nel suo complesso).

Validità e Correttezza degli Argomenti

Un ragionamento è valido quando, se le sue premesse sono vere, la conclusione è necessariamente vera. La validità (o correttezza formale) di un argomento è indipendente dalla verità o falsità fattuale delle sue premesse e della sua conclusione. L'aspetto decisivo è che è impossibile che un ragionamento sia valido (o corretto, in termini formali) e le sue premesse siano vere, mentre la conclusione è falsa.

Esempio di Struttura Argomentativa

Un esempio di schema formale di un argomento è il seguente (dove X, Y, Z rappresentano proposizioni o termini, e __ la linea di inferenza):

X, e
Y, Z
__
xz