Il linguaggio è la facoltà di attivare un processo di comunicazione tra due o più individui di una specie animale attraverso un complesso definito di suoni, gesti e simboli di significato comune ad uno specifico ambiente di interazione.Il linguaggio è un codice. Tra tutti i linguaggi utilizzati dagli animali, il codice proprio della specie umana, detto "lingua" (o, più specificamente, "linguaggio verbale umano"), ha caratteristiche che lo differenziano grandemente da altri linguaggi animali. Alcuni autori contemporanei definiscono il linguaggio umano come uno strumento del pensiero, di cui la comunicazione è solo un accessorio non indispensabile, e le lingue vengono considerate come oggetti biologici e non come utensili progettati dagli esseri umani. Il linguaggio non è, dunque, prerogativa umana: anche le forme di comunicazione animale sono intese come "linguaggio". Ad esempio, gli uccelli comunicano cinguettando, emettendo cioè suoni variamente modulati. Le api comunicano attraverso una speciale "danza" (la danza delle api). Le scimmie usano gesti e suoni. I cani e alcuni felini comunicano attraverso l'emissione di specifici odori. Alcuni pesci e le formiche comunicano attraverso l'emissione di specifiche sostanze chimiche. In generale, per riferirsi alle forme di comunicazione tra animali, si parla di comunicazione animale.
In informatica, C è un linguaggio di programmazione imperativo di natura procedurale; i programmi scritti in questo linguaggio sono composti da espressioni matematiche e da istruzioni imperative raggruppate in procedure parametrizzate in grado di manipolare vari tipi di dati. Viene definito come un linguaggio di programmazione ad alto livello e integra caratteristiche dei linguaggi di basso livello, ovvero caratteri, numeri e indirizzi, che possono essere indicati tramite gli operatori aritmetici e logici di cui si servono le macchine reali. Il C è stato concepito per essere snello e performante, si avvale peraltro di numerose librerie per far fronte ad ogni tipo di esigenza, in particolare la libreria standard del C. Tali librerie, sotto forma di file di intestazione o file con suffisso -h, possono essere caricate mediante la direttiva include del preprocessore.
Un linguaggio di programmazione, in informatica, è un linguaggio formale che specifica un insieme di istruzioni che possono essere usate per produrre dati in uscita: esso è utilizzabile per il controllo del comportamento di una macchina formale o di un'implementazione di essa (tipicamente, un computer) ovvero in fase di programmazione di questa attraverso la scrittura del codice sorgente di un programma ad opera di un programmatore: un linguaggio di programmazione è considerato a tutti gli effetti tale se è Turing-completo.
Il linguaggio di marcatura (o di markup) è un insieme di regole che descrivono i meccanismi di rappresentazione (strutturali, semantici, presentazionali) o layout di un testo; facendo uso di convenzioni rese standard, tali regole sono utilizzabili su più supporti. Perciò, la tecnica di formattazione con marcatori (detti espressioni codificate) richiederà una serie di convenzioni, proprie appunto di un 'linguaggio a marcatori di documenti'.
La filosofia del linguaggio si occupa del linguaggio umano e dei suoi sistemi di comunicazione. Poiché indaga le relazioni tra linguaggio, pensiero e realtà la filosofia del linguaggio si pone al confine con altre discipline quali la psicologia, metafisica, l'epistemologia, la logica, la linguistica, la semiotica. Studia quindi il rapporto tra segno e significato e la capacità umana di usarli nella comunicazione.
In informatica il linguaggio macchina (o codice macchina) è il linguaggio in cui sono scritti i programmi eseguibili per computer: può venire classificato come linguaggio di programmazione, sebbene quest'ultima espressione sia più spesso riservata per indicare i linguaggi di alto livello con cui si scrivono programmi non direttamente eseguibili, ma che richiedono una traduzione in linguaggio macchina, per es. per mezzo di un compilatore.
