sintassi
Enciclopedia on line
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
metateoria
Enciclopedia on line
In logica matematica, scienza che ha per oggetto una teoria, detta teoria-oggetto. Si usa distinguere una m. sintattica, o sintassi, da una m. semantica, o semantica. La sintassi ha per oggetto le sole [...] proprietà formali o strutturali delle espressioni della teoria, la semantica studia invece anche i significati dei simboli ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
Post, Emil Leon
Enciclopedia on line
Logico e matematico statunitense (Augustów, Polonia, 1897 - New York 1954); prof. (1944) all'univ. di New York. Nel 1921 diede la prima dimostrazione della completezza sintattica del calcolo proposizionale [...] e dell'indecidibilità del calcolo dei predicati; poco dopo introdusse, indipendentemente da L. Wittgenstein, il metodo delle tavole di verità per la logica elementare, proponendo inoltre un sistema formale ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
lògica matemàtica
Enciclopedia on line
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
CATEGORIA:
LOGICA MATEMATICA
semantica
Enciclopedia on line
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
La seconda rivoluzione scientifica: matematica e logica. Le logiche modali
Storia della Scienza (2004)
La seconda rivoluzione scientifica: matematica e logica. Le logiche modali
Fabio Bellissima
Paolo Pagli
Le logiche modali
L'Organon di Aristotele, atto di nascita della logica formale, comprende, oltre [...] modale sia temporale. D'altronde il passaggio tra i due contesti è immediato: se, come mostra lo schema precedente, sul versante sintattico □α e ◇α divengono 'α è sempre vero' e 'α è talvolta vero', sul versante semantico i punti del modello, anziché ...
Leggi Tutto
CATEGORIA:
STORIA DELLA MATEMATICA
Tarski, Alfred
Enciclopedia on line
Logico, matematico e filosofo di origine polacca (Varsavia 1901 - San Francisco 1983), naturalizzato statunitense. Considerato uno dei massimi esponenti della Scuola logica polacca, fu autore di fondamentali [...] del calcolo proposizionale, modelli e teoria generale dei modelli, nozioni di conseguenza logica, nozione semantica e sintattica di definibilità; generalizzazioni della logica del primo ordine). Si è occupato inoltre di questioni di decidibilità ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
trasposizione
Enciclopedia on line
trasposizione chimica Lo spostamento di atomi all’interno di una molecola in conseguenza del quale si ottiene una sostanza di caratteristiche differenti. Le t. hanno particolare importanza specie nella [...] reddito, o dei gusti dei consumatori, o dei prezzi di altri beni, che determina la t. dell’intera curva. linguistica T. sintattica Lo spostamento di uno o più elementi della frase in posizione diversa da quello che è l’ordine normale o consueto; così ...
Leggi Tutto
La grande scienza. Automi e linguaggi formali
Storia della Scienza (2003)
La grande scienza. Automi e linguaggi formali
Dominique Perrin
Automi e linguaggi formali
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. [...] φ:A*→S su un semigruppo finito S, con Y⊂S. Esiste altresì un semigruppo S minimo per ogni X, detto 'semigruppo sintattico' di X.
Il primo importante risultato in questa direzione è il teorema di Schützenberger sui linguaggi star-free. Diamo alcune ...
Leggi Tutto
parentesi
Enciclopedia on line
Parola o frase che s’interpone nel discorso, interrompendone il senso e talora anche il costrutto, per aggiungere un chiarimento o una precisazione, per fare un’osservazione, un rinvio (anche alle note [...] di una serie di p. incassate le une nelle altre, talvolta contrassegnate da etichette indicanti la categoria sintattica a cui appartiene ciascun costituente della frase (parentesizzazione etichettata).
Fisica
In meccanica statistica, le p. uncinate ...
Leggi Tutto
CATEGORIA:
GRAMMATICA
–
LINGUISTICA GENERALE
–
FISICA MATEMATICA
–
MECCANICA
–
MECCANICA DEI FLUIDI
–
ALGEBRA
–
ANALISI MATEMATICA