Linguaggio

Enciclopedia della Matematica (2013)

linguaggio


linguaggio in termini generali, sistema di simboli e di codici attraverso il quale gli individui di un gruppo sociale si scambiano informazioni. Nell’ambito dei linguaggi verbali, espressi cioè attraverso particolari successioni di suoni o di segni scritti, appartenenti a un prefissato alfabeto, si distingue tra linguaggi naturali, utilizzati per la comunicazione tra individui e dotati di una grammatica e una sintassi storicamente determinate, socialmente accettate e, come tali, in continua evoluzione, e linguaggi formali, dotati anch’essi di grammatiche, che tuttavia costituiscono dei sistemi chiusi di generazione delle sequenze accettate. Questi ultimi sono utilizzati in logica per studiare in maniera controllata i procedimenti deduttivi che sono alla base del ragionamento e per determinarne la correttezza. Sui linguaggi formali si fondano anche i linguaggi di programmazione utilizzati per dare istruzioni ai calcolatori e quindi per la comunicazione tra un individuo e un automa. Il grado di formalizzazione di un linguaggio può anche variare a seconda del contesto e, per esempio, è possibile che nella dimostrazione di un teorema si utilizzino contemporaneamente un linguaggio parzialmente formalizzato (come il linguaggio algebrico caratteristico del calcolo letterale) e il linguaggio naturale (che in quel contesto assume il ruolo di metalinguaggio).

□ In logica, si definisce linguaggio il contesto simbolico che consente di eliminare l’equivocità e l’indeterminatezza del linguaggio naturale ( linguaggio formale).

TAG

Linguaggi di programmazione

Calcolo letterale

Linguaggi formali

Gruppo sociale