{"id":111,"date":"2001-12-11T00:00:00","date_gmt":"2001-12-10T23:00:00","guid":{"rendered":""},"modified":"-0001-11-30T00:00:00","modified_gmt":"-0001-11-29T22:00:00","slug":"111","status":"publish","type":"post","link":"https:\/\/www.vialattea.net\/content\/111\/","title":{"rendered":"vorrei avere qualche lume, eventualmente corredato di semplici esempi, sulla differenza nello studio della logica fra sintassi e semantica.\r\nin particolare non capisco perche’ si parli di ”significato” soltanto in relazione alle condizioni di verita’ mentre nel linguaggio comune capire il significato di una espressione mi sembra che preceda lo stabilire se questa e’ vera o no.\r\nGrazie!"},"content":{"rendered":"

Ogni giorno,
\nscambiamo una grande quantit\u00e0 di informazioni utilizzando mezzi differenti.<\/p>\n

Uscendo
\ndi casa e facendo colazione al bar, ad esempio, ordiniamo un cappuccino con una
\nfrase apparentemente semplice del tipo “vorrei un cappuccino, per favore<\/i>“.
\nPoi, a scuola o in ufficio produciamo relazioni scritte, oppure ci scambiamo i
\nsaluti via e-mail. Questo stesso articolo \u00e8 un mezzo che veicola informazioni
\nattraverso un sistema di complesso di entit\u00e0 come le lettere che compongono
\nle parole, e le frasi che compongono i paragrafi.<\/p>\n

Gli strumenti basilari
\ndi veicolazione dell\u2019informazione, siano essi fonologici, grafici, di scrittura
\no altro sono detti segni<\/i>. L\u2019attribuzione di un significato concettuale
\nal segno \u00e8 detto processo di significazione<\/i>. Ogni oggetto o concetto
\nnel mondo reale (detto significato<\/i>) \u00e8 rappresentabile da pi\u00f9
\nsegni (significanti<\/i>). La semiotica <\/i>\u00e8 la disciplina che si
\noccupa di studiare il processo ed i fenomeni della significazione.<\/p>\n

Facciamo
\nun esempio pratico: la figura 1 illustra segni alternativi del concetto\/oggetto
\ndi cavallo.<\/p>\n

\"\"\/<\/p>\n

Fig
\n1: Alcuni significanti del significato \u2018cavallo\u2019<\/p>\n

Ma cosa ci fa identificare
\nimmediatamente il cavallo, guardando uno dei tre segni di figura 1 ?<\/p>\n

Il
\nprocesso di significazione, ovvero l\u2019attribuzione significante-significato pu\u00f2
\naver luogo solamente in un dato contesto culturale, ovvero un segno pu\u00f2
\nassurgere a significante solamente se nel contesto culturale questa associazione
\nviene sviluppata, diciamo, \u2018spontaneamente\u2019 nel tempo.<\/p>\n

Alcuni segni sono,
\ninfatti, strettamente legati al contesto culturale. Per un inglese solo il segno
\niconico di figura 1 pu\u00f2 essere un significante valido per il significato
\ndi cavallo, gli altri due segni non corrispondono perch\u00e9 nel linguaggio
\nscritto il significante di cavallo in inglese \u00e8 Horse<\/i>.<\/p>\n

In
\naltri termini, esiste un terzo \u2018polo\u2019 nel processo di significazione (Fig. 2):
\nl\u2019interpretante<\/i>, o il soggetto che effettua la decodifica del significante.<\/p>\n

\"\"\/<\/p>\n

Fig.
\n2: Schema del processo di significazione<\/p>\n

La semantica<\/i> \u00e8 definibile
\ncome il processo di analisi dei segni in rapporto al processo di significazione.\n<\/p>\n

Il legame semantico \u00e8 esplicitato dalla base del triangolo di Fig.
\n2 ed una lingua \u00e8 proprio quel sistema astratto che nasce da un contesto
\ncollettivo, quindi spontaneo e frutto di evoluzione nel tempo, che costruisce
\ntutte le coppie significante-significato ammissibili.<\/p>\n

Un discorso complesso
\nnon \u00e8 per\u00f2 unicamente costituito da segni, che costituiscono validi
\nsignificanti per un insieme significati, ma anche dal rapporto strutturale tra
\ndi essi. Tale rapporto strutturale \u00e8 regolato dalla sintassi<\/i>, ovvero
\ndall\u2019insieme di regole che consentono di definire una struttura valida di segni.<\/p>\n

Ad
\nesempio, la sintassi di una semplice frase (intesa come struttura di segni quali
\nle parole, che rappresentano significanti per i significati) in italiano pu\u00f2
\nessere espressa con:<\/p>\n

FRASE = ParteNominale
\nParteVerbale ParteNominale<\/font><\/b><\/p>\n

ParteNominale
\n= Articolo Nome\t\t\t <\/b><\/font>[1]<\/p>\n

ParteVerbale
\n= Verbo<\/font><\/b><\/p>\n

adottando il lessico <\/i>seguente:<\/p>\n

Verbo
\n= [mangia, guarda, salta]<\/font><\/b><\/p>\n

Articolo
\n= [il, un]<\/font><\/b><\/p>\n

Nome = [canarino,
\ncane, lupo, fosso]<\/font><\/b><\/p>\n

\u00e8 possibile costruire semplici frasi
\ndel tipo un cane salta il fosso<\/i>.<\/p>\n

In scienza dei calcolatori, gli
\noggetti matematici che consentono di definire la sintassi di una frase o proposizione<\/i>,
\nvengono detti grammatiche<\/i>. La [1] \u00e8 un esempio di grammatica.<\/p>\n

Le
\ngrammatiche consentono di:<\/p>\n

    \n
  1. riconoscere strutture di frasi<\/li>\n
  2. generare
    \nstrutture di frasi<\/li>\n<\/ol>\n

    Nell\u2019esempio [1], possiamo riconoscere che la frase
    \nun cane salta il fosso<\/i> appartiene alla grammatica per sostituzioni successive
    \ned unificazioni, fino a giungere alla struttura di FRASE.<\/p>\n

    Il lavoro fondamentale
    \nsulla struttura delle grammatiche, applicato tanto in linguistica quanto in scienza
    \ndei calcolatori \u00e8 dovuto a Noam Chomsky (http:\/\/web.mit.edu\/linguistics\/www\/chomsky.home.html<\/a>).<\/p>\n

    Si
    \nosserva subito che, mentre una frase pu\u00f2 essere sintatticamente corretta,
    \novvero riconducibile ad una struttura di grammatica valida, la sua semantica<\/i>
    \n(ovvero il significato) pu\u00f2 non esserlo.<\/p>\n

    Ad esempio il canarino
    \nmangia il fosso<\/i> \u00e8 una frase valida secondo la [1], ma assolutamente
    \npriva di significato. Ci\u00f2 accade perch\u00e9 la struttura di significanti
    \nproduce una correlazione di significati che pu\u00f2 non avere riscontro nella
    \nrealt\u00e0 locale di riferimento.<\/p>\n

    La scienza dei calcolatori ha ormai
    \nsviluppato teorie piuttosto sofisticate di riconoscimento e generazione del linguaggio,
    \nin senso sintattico, attraverso la teoria del parsing<\/i>. I parser<\/i>
    \nsono strumenti applicativi che consentono di riconoscere strutture grammaticali,
    \nchiunque abbia programmato in uno dei linguaggi di programmazione si sar\u00e0
    \ncertamente scontrato con i messaggi di errore tipo Syntax Error: …<\/i>, tipicamente
    \ngenerati dal parser addetto alla verifica della struttura corretta delle istruzioni
    \nimpartite al calcolatore. Al pari del linguaggio comune, non \u00e8 detto che
    \nla semantica di una istruzione al calcolatore, seppur sintatticamente espressa
    \nin modo corretto, sia quella giusta.<\/p>\n

    Ad esempio, volendo scrivere un\u2019istruzione
    \nper il calcolo del fattoriale, la<\/p>\n

    f(n)=n+f(n-1), f(1)=1<\/i> \t[2]<\/p>\n

    \u00e8
    \nsintatticamente valida ma semanticamente scorretta. Si osservi come la semantica
    \n\u00e8 sempre relativa al contesto di riferimento: ci\u00f2 significa che
    \nla funzione [2] \u00e8 corretta in altri contesti semantici (ad esempio quello
    \ndel calcolo della somma dei primi n<\/i> numeri naturali).<\/p>\n

    La linguistica
    \ncomputazionale<\/i> in inglese NLP (Natural Language Processing<\/i>) \u00e8
    \nla branca della scienza dei calcolatori che affronta i problemi di analisi, riconoscimento
    \ne interpretazione del linguaggio naturale a tutti i livelli:<\/p>\n