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
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
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 [...] sostituire una espressione del linguaggio L troppo lunga e complessa, con un’espressione più semplice non appartenente a L ma al metalinguaggio L’. Le d. di tal genere hanno la forma A ≝ B, dove A è il definiendum, ossia l’espressione da introdurre ...
Leggi Tutto
Affermazione, proposizione, tesi, opinione che, per il suo contenuto o per la forma in cui è espressa, appare contraria all’opinione comune o alla verosimiglianza e riesce perciò sorprendente o incredibile. [...] le antinomie linguistiche, già Ramsey aveva individuato la loro radice comune nella confusione tra linguaggio e metalinguaggio, confusione superabile mediante la formalizzazione del linguaggio. A. Tarski, nel 1930, dimostrò che non è possibile ...
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,...