In logica matematica, data una teoria formale, occorre distinguere un teorema sintattico di f. da uno semantico. Il primo si riferisce ai concetti di derivabilità e di non contraddittorietà, il secondo [...] a quelli di conseguenza logica e di soddisfacibilità. Del teorema sintattico di f. si hanno due formulazioni equivalenti: a) un’espressione A è derivabile da un insieme P di premesse se e solo se A è derivabile da un sottoinsieme finito di P; b) un ...
Leggi Tutto
Linguistica
La parte della linguistica che studia la connessione di unità minori a formare unità maggiori. In questo senso si parla anche di fonetica sintattica (o sandhi, con il termine della grammatica [...] parole (es., cacciò via ‹kaččò vvìa›, sopra l’albero ‹sópra ll àlbero›): è questo il fenomeno del raddoppiamento, o rafforzamento, sintattico.
A una parola che finisce per consonante ne può seguire un’altra che comincia per vocale. È, in italiano, un ...
Leggi Tutto
vero
véro [agg. e s.m. Der. del lat. verus] [ALG] [FAF] Nella logica matematica, un enunciato o una formula di una teoria si dice v. (simb. V) in un universo (modello della teoria) se è soddisfatta sostituendo [...] , non lo è nell'universo degli interi relativi; si tratta quindi di un concetto semantico, a differenza del concetto sintattico di dimostrabile: un enunciato (o teorema) è dimostrabile in una teoria, se è deducibile correttamente dagli assiomi della ...
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 [...] temi della l.m. si sono sviluppati in collegamento con i temi di base dell'informatica.
Sintassi e semantica
La parte sintattica di una teoria logica si chiama calcolo logico. L'aspetto semantico di una teoria logica è invece la trattazione del ...
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 [...] l’opera di A. Tarski e C. Morris. Quest’ultimo (Foundations of the theory of signs, 1938), aveva distinto le tre discipline, sintattica, s. e pragmatica, in cui si articola la semiotica. Sulla base dell’assunto che la s. è la disciplina che studia il ...
Leggi Tutto
Fisica
C. ottico Si ha c. tra due superfici rifrangenti aventi uguale indice di rifrazione quando, per l’accurata lavorazione e pulizia delle superfici medesime, siano praticamente eliminate le riflessioni [...] ecc. Il c. si può verificare a tutti i livelli nei quali si articola la comunicazione linguistica: fonologico, morfologico, sintattico, lessicale. Un tipo di c. assai diffuso è quello tra una lingua e un suo dialetto (➔ bilinguismo).
Matematica
In ...
Leggi Tutto
TEORIE FORMALIZZATE
Aldo Marruccelli
. Una t. deduttiva T è un insieme di enunciati espressi in un determinato linguaggio (ordinario o simbolico) suscettibile di interpretazioni su opportuni insiemi [...] altri?). È possibile in base a essi risolvere qualunque problema formulabile in T? (in termini più precisi, T è " sintatticamente completa"?). È certo che dagli assiomi di T non si possono dedurre enunciati tra loro contraddittori (cioè, T è coerente ...
Leggi Tutto
sintassi
Silvio Bozzi
Studio delle proprietà di linguaggi e teorie formalizzate visti, nella logica semantica, come sistemi per la costruzione, la classificazione e le trasformazioni di stringhe (o [...] è, infatti, dato da un alfabeto finitamente specificabile di segni base – ripartiti eventualmente in diversi tipi e categorie sintattiche – un insieme di regole di formazione per la costruzione di date classi di espressioni (termini, formule ecc.) e ...
Leggi Tutto
lambda-calcolo
Silvio Bozzi
Presentato per la prima volta da Alonzo Church nel 1932 come frammento di un più ampio sistema (poi dimostratosi contraddittorio) per la fondazione della matematica, il λ-calcolo [...] la funzione denotata da t per l’argomento denotato da s. Se la giustapposizione indica l’operazione di applicazione avremo così sul piano sintattico la regola
λxt(x)(s) = t(x/s),
dove t(x/s) indica la sostituzione di ogni occorrenza libera di x con ...
Leggi Tutto
Probabilità
Gian-Carlo Rota e Joseph P.S. Kung
*La voce enciclopedica Probabilità è stata ripubblicata da Treccani Libri, arricchita e aggiornata da un contributo di Marco Li Calzi.
sommario: 1. Introduzione. [...] con un continuo di valori di verità, ma fino ad ora questa pretesa non ha avuto il sostegno di uno sviluppo sintattico simile a quello del calcolo dei predicati, per quanto alcuni recenti risultati della scuola di H. J. Keisler indichino finalmente i ...
Leggi Tutto
sintattico
sintàttico agg. [dal gr. συντακτικός, der. di σύνταξις «sintassi»] (pl. m. -ci). – 1. Di sintassi, che riguarda la sintassi: problemi, studî, procedimenti s.; usi s.; accento s. (o di frase), l’accrescimento del tono di voce su...
sintattica
sintàttica s. f. [dall’ingl. syntactics, che è dall’agg. syntactic «sintattico»]. – Nella filosofia del linguaggio di Ch. Morris (1901-1979), quella branca della semiotica che studia i rapporti formali dei segni fra loro, ossia...