semanticasemàntica [Der. del fr. sémantique, termine introdotto, dal gr. semantikós (da semaíno "significare"), nel 1897 dal linguista M.-J.-A. Bréal per indicare quel ramo della linguistica che s'occupa [...] sia vera oppure falsa, e quindi permette di dare una definizione rigorosa del concetto di verità: sono concetti semantici, per es., modello, formula soddisfacibile, ecc. ◆ [ALG] [FAF] S. della logica dei predicati e della logica proposizionale: v ...
Leggi Tutto
semanticosemantico [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 [...] (cioè in una certa classe di strutture) può essere dedotta dagli assiomi della teoria medesima. ◆ [ALG] [FAF] Paradosso s.: nella logica matematica, paradosso che coinvolge il signif.; nasce o per confusione ...
Leggi Tutto
referente
referènte [Der. dell'ingl. referent "ciò a cui ci si riferisce"] [FAF] Nella semantica, l'oggetto o l'ente concreto, il valore extralinguistico, significato da un segno, un elemento o un messaggio [...] linguistico: v. teoria: VI 136 a ...
Leggi Tutto
autocongruenza
autocongruènza [Comp. di auto- e congruenza] [FAF] Criterio di a.: postulato essenziale per la struttura semantica della teoria relativistica: v. spazio e tempo: V 448 d. ...
Leggi Tutto
metateoria
metateorìa [Comp. di meta- e teoria] [FAF] Nella logica matematica, l'analisi di una teoria, detta teoria oggetto; si distingue tra m. sintattica, che ha per oggetto le proprietà formali delle [...] espressioni della teoria, e m. semantica, che studia anche i signif. dei simb.; più generic., come calco dell'ingl., come sinon. di metafisica. ...
Leggi Tutto
sintassi
sintassi [Der. del gr. sy´ntaxis "organizzazione", comp. di sy´n "insieme" e táxis "sistemazione"] [ALG] [FAF] Nella logica matematica, lo studio delle proprietà e delle relazioni formali di [...] un linguaggio logico che sono indipendenti dal signif. attribuito ai simb. (del quale s'occupa la semantica); le regole della s. specificano come vanno costruite le formule e come si deve operare sui simb. e sulle formule stesse (calcolo logico); in ...
Leggi Tutto
Biologia e medicina
La risposta funzionale con cui l’organismo risponde a uno stimolo più o meno violento (stressor) di qualsiasi natura.
I meccanismi dello s. sono stati descritti per la prima volta da [...] s. è caratterizzato da due momenti, lo stimolo e la risposta. Il termine può indicare entrambi, generando una possibile ambiguità semantica. Per chiarirla, Seyle creò la parola stressor per indicare l’agente causale e mantenne la parola s. o stress ...
Leggi Tutto
MODELLI, Teoria dei (App. III, 11, p. 139)
Giulio Supino
Alberto Pasquinelli
Aldo Marruccelli
In questi ultimi 15 anni (1960-75) la t. dei m. si è sviluppata secondo due ordini di idee del tutto opposti. [...] aflìnché una formula di T sia un teorema di T′. Una prima soluzione di questo problema è espressa dal teorema di completezza semantica di Gödel: "una formula di una teoria elementare T è un teorema se e solo se è valida in T", o, equivalentemente ...
Leggi Tutto
Linguistica
Morfema che viene anteposto alla radice o al tema, nominale o verbale, per la formazione di una nuova parola (per es., s-contento, in-trattabile, dis-armare): costituisce, con l’infisso e il [...] oppure re- che indica ripetizione, ritorno, e così via.
Quando l’elemento che si prefigge ha una propria autonomia semantica, si parla più propriamente di prefissoide, termine introdotto in linguistica da B. Migliorini: per es., auto- nel significato ...
Leggi Tutto
completezza
completézza [Der. di completo] [FAF] Proprietà di una teoria fisica per cui ogni suo elemento ha un corrispettivo nella realtà: v. completezza. ◆ [MCQ] C. asintotica: locuz. con cui s'indica [...] coincidente con f (nel senso che per gli stessi argomenti assume gli stessi valori di f). ◆ [FAF] Teorema di c. semantica: nella logica, teorema, dimostrato da H. Gödel nel 1930, secondo il quale ogni teoria elementare, cioè del primo ordine, non ...
Leggi Tutto
semantica
semàntica s. f. [dal fr. sémantique, introdotto (nel 1897) dal linguista M.-J.-A. Bréal, der. del greco σημαντικός: v. semantico]. – 1. Ramo della linguistica che studia il significato degli enunciati di una lingua o di un dialetto,...
semantico
semàntico agg. [dal fr. sémantique, e questo dal lat. tardo semantĭcus, gr. σημαντικός «significativo», der. di σημαίνω «segnalare, significare»] (pl. m. -ci). – 1. a. In linguistica, relativo alla semantica, al significato: problemi...