metalinguaggiometalinguaggio in logica, linguaggio all’interno del quale sia possibile parlare di un altro linguaggio (che in tale contesto viene detto linguaggio-oggetto); in generale, in contrapposizione [...] inglese “Italy” denota l’Italia», si parla in italiano dell ’inglese. In tal caso, in italiano (cioè nel metalinguaggio) si ottengono i nomi per le opportune parole inglesi ponendole tra virgolette, ed esprimendone quindi rispettivamente la natura ...
Leggi Tutto
metalinguaggio
Linguaggio attraverso il quale è possibile fare riferimento o fornire una trattazione o teoria (definendone sintassi e semantica) di un altro linguaggio detto linguaggio oggetto. Il linguaggio [...] oggetto e il m. possono essere distinti o coincidere e in generale si utilizzano dei simboli grafici come « » o “ ”, per circoscrivere l’espressione appartenente al linguaggio oggetto. Quando si utilizza ...
Leggi Tutto
metalinguaggiometalinguàggio [Comp. di meta- e linguaggio] [FAF] [INF] (a) Termine introdotto inizialmente nella logica matematica (sul modello di metamatematica) e poi esteso per indicare in generale [...] un sistema di simboli costituente un linguaggio atto alla descrizione di determinati procedimenti. (b) In termini molto generici, linguaggio convenzionale ...
Leggi Tutto
XML In informatica, sigla di extensible markup language, metalinguaggio estremamente flessibile e particolarmente efficace per la condivisione di dati tra sistemi diversi. Permette di scambiare informazioni [...] strutturate tra terminali connessi a Internet, basandosi generalmente sul protocollo HTTP e consente a una molteplicità di operatori di distribuire con facilità servizi per i quali non detengono il software. ...
Leggi Tutto
Sigla di Backus-Naur Form, primo esempio di metalinguaggio utilizzato in informatica per descrivere in modo rigoroso la sintassi di un linguaggio formale, in particolare di un linguaggio di programmazione; [...] consente di specificare in più passi quali sequenze di simboli sono accettabili nel linguaggio che si vuole definire (nel caso che questo sia un linguaggio di programmazione, le sequenze accettabili corrispondono ...
Leggi Tutto
Informatico statunitense (Filadelfia 1924 - Ashland, Oregon, 2007). Ha contribuito in maniera assai significativa, come ricercatore dell'IBM, alla definizione e alla successiva implementazione su elaboratore [...] . B. partecipò successivamente alla commissione che definì il linguaggio ALGOL e in tale ambito propose, insieme con Peter Naur, l'uso di un metalinguaggio per definire la sintassi di un linguaggio di programmazione. Nel caso specifico dell'ALGOL il ...
Leggi Tutto
semantico
semantico [agg. (pl.m. -ci) Der. del fr. sémantique (→ semantica)] [ALG] [FAF] Completezza s.: nella logica matematica, proprietà di una teoria in cui ogni formula vera in una certa interpretazione [...] dedotta dagli assiomi della teoria medesima. ◆ [ALG] [FAF] Paradosso s.: nella logica matematica, paradosso che coinvolge il signif.; nasce o per confusione tra linguaggio e metalinguaggio oppure per voler attribuire un valore di verità a ogni frase. ...
Leggi Tutto
Progettazione
Livio Sacchi e Roberto de Rubertis
Parte introduttiva
di Livio Sacchi
Si intende per progettazione l'ideazione di qualcosa e lo studio delle effettive possibilità e modalità di realizzazione [...] di comunicazione, ovvero come linguaggio, la p. a essa relativa può utilmente essere considerata un protolinguaggio o un metalinguaggio rispetto al linguaggio principale, con funzione propriamente strumentale ed eteronoma. In tal caso, la nozione di ...
Leggi Tutto
verità Conformità o coerenza a principi dati o a una realtà obiettiva.
Filosofia
Definizione e criterio di verità
Nella storia della filosofia il concetto di v. è stato concepito in almeno due diverse [...] in evidenza che, per essere «adeguata», una definizione di v. non può che basarsi su una distinzione tra linguaggio-oggetto e metalinguaggio, consentendo di derivare come teoremi equivalenze del tipo «‘p’ è vero se e solo se p», dove ‘p’ è il nome ...
Leggi Tutto
LOGICA MATEMATICA (XXI, p. 398; App. II, 11, p. 226)
Alberto PASQUINELLI
Ludovico GEYMONAT
MATEMATICA Il recente sviluppo della l. m. è caratterizzato da un ulteriore consolidamento istituzionale e [...] e ragionamenti, ha finito per divenire pressoché universale, e con essa la distinzione fra linguaggio (oggetto d'analisi) e metalinguaggio (strumento d'analisi). All'interno di questa impostazione, il punto di vista sintattico, secondo cui la l. m ...
Leggi Tutto
metalinguaggio
metalinguàggio s. m. [comp. di meta- e linguaggio]. – 1. Termine, introdotto dapprima in logica matematica (per analogia con quello di metamatematica) per indicare in generale un linguaggio, o sistema di segni, naturale o artificiale,...
definizione
definizióne (ant. diffinizióne) s. f. [dal lat. definitio -onis]. – 1. Determinazione, delimitazione esatta: d. di un confine; d. dei limiti di competenza di due organi amministrativi; d. dei termini di una questione. 2. L’atto,...