Forma di condotta comunicativa atta a trasmettere informazioni e a stabilire un rapporto di interazione che utilizza simboli aventi identico valore per gli individui appartenenti a uno stesso ambiente [...] teorici sono riconducibili a quello dell’appartenenza di una stringa a un linguaggio.
Linguaggio di programmazione
Insieme di parole e di regole, definite in modo formale, per consentire la programmazione di un calcolatore affinché esegua compiti ...
Leggi Tutto
linguaggio naturale
linguaggio naturale linguaggio solitamente usato nella comunicazione fra individui di un gruppo sociale che lo condivide; presenta una sua ricchezza espressiva, ma anche sfumature [...] cui logica e matematica tendono a ridurne l’utilizzo. Il termine linguaggio naturale (determinato storicamente) si contrappone a quello di → linguaggioformale (costruito artificialmente secondo rigide regole). In ambito informatico, la locuzione si ...
Leggi Tutto
lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono [...] a essere affrontato in modo sistematico ricorrendo agli strumenti propri della logica matematica, in particolare a quei linguaggiformali che la ricerca logica aveva elaborato per scopi fondazionali. Nel 1931 Alfred Tarski darà la prima definizione ...
Leggi Tutto
semantica Ramo della linguistica che si occupa dei fenomeni del linguaggio non dal punto di vista fonetico e morfologico, ma guardando al loro significato. Il termine fu coniato da M. Bréal nel 1883 come [...] discende più direttamente da quella tarskiana è la s. classica a due valori (vero, falso). Un modello classico M per un linguaggioformale L è una coppia <I, D> costituita da una funzione d’interpretazione I e da un insieme non vuoto (finito ...
Leggi Tutto
Filosofia
Disciplina che studia le condizioni di validità delle argomentazioni deduttive.
La l. antica
I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio [...] le regole logiche per costituire le dimostrazioni, il programma di Hilbert richiedeva inevitabilmente uno studio accurato dei linguaggiformali e la formalizzazione della logica. Inoltre, il programma di Hilbert segnò l’avvio di una branca importante ...
Leggi Tutto
In arte e architettura, persona od oggetto che l’artista ritrae o riproduce, oppure esemplare preparatorio dell’opera finale. Nel linguaggio scientifico, costruzione schematica, puramente ipotetica o realizzata [...] storici
La teoria dei m. è la parte della logica matematica che studia le relazioni tra insiemi di espressioni di un linguaggioformale e insiemi di strutture in cui tali espressioni sono valide. L’espressione ‘teoria dei m.’ è stata usata per la ...
Leggi Tutto
Complesso di concetti teorici e di norme pratiche desunti dagli antichi Greci e Romani e applicati alla composizione e al giudizio delle opere d’arte. Fu soprattutto il Rinascimento italiano che propose [...] Arte e architettura
In campo artistico e architettonico il termine c. genericamente definisce le manifestazioni che elaborino un linguaggioformale aderente o ispirato al mondo classico greco o romano, assunto come modello ideale. Il riferimento a un ...
Leggi Tutto
Filosofia
L’analisi e la determinazione del contenuto di un concetto, espresse in un giudizio in cui il soggetto è il concetto da definire e il predicato è costituito dal complesso dei termini che nel [...] teoria T’ che ‘parli’ di T, le d. del primo tipo sono espresse nel linguaggio L’ di T’, mentre quelle del secondo sono espresse nel linguaggio (formale) L di T. Spesso le d. metalinguistiche vengono usate come convenzioni abbreviative, che permettono ...
Leggi Tutto
Nome della regione meridionale asiatica (circa 4.400.000 km2) limitata, a N, dal grande arco montuoso del Himalaya e protesa, a S, nell’Oceano Indiano con la penisola triangolare del Deccan e con l’isola [...] durevoli, quali il mattone cotto e la pietra, soprattutto nell’arte monumentale, che rielabora nel linguaggioformale indiano elementi persiani, mesopotamici e forse ellenistici (capitelli campaniformi, leoni alati, grifoni, ornati vegetali) e ...
Leggi Tutto
Fisica
Nella meccanica statistica classica con i. statistico, o con il termine ensemble, introdotto da J.W. Gibbs, si indicano famiglie di stati di equilibrio macroscopico. Nello spazio delle fasi, cioè [...] assiomi di isolamento: dato un i. A, esiste l’i. degli elementi di A che godono, per una qualunque proprietà definita nel linguaggioformale dato per ogni elemento di A, della proprietà stessa; f) assioma di scelta: dato un i. A, i cui elementi siano ...
Leggi Tutto
formale1
formale1 agg. [dal lat. formalis]. – 1. Nel linguaggio filos., della forma, che concerne la forma o è inerente alla forma, in stretta connessione con il sign. e lo svolgimento di questo termine in filosofia. a. Nella distinzione aristotelica...
linguaggio
linguàggio s. m. [der. di lingua]. – 1. Nell’uso ant. o letter., e talora anche nell’uso com. odierno, lo stesso che lingua, come strumento di comunicazione usato dai membri di una stessa comunità: parlare con proprietà di l.; Questi...