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.

Vedi anche
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 sostituto di semasiologia. 1. Gli studi linguistici I primi studi di semantica di Bréal (Essai de sémantique, ... lògica matemàtica 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 essere considerate formalmente come oggetti grafici combinabili tra loro (sintassi) o in relazione ... sintassi 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 sanscrita) per indicare i fenomeni che risultano dall’accostamento dei suoni nella catena parlata. ... oggetto Ogni cosa che il soggetto percepisce come diversa da sé ed esterna, quindi tutto ciò che è pensato, in quanto si distingue sia dal soggetto pensante sia dall’atto con cui è pensato (per lo più contrapposto a soggetto). In senso concreto, ogni cosa che cada sotto i sensi dell’uomo, in particolare che ...
Categorie
Tag
Vocabolario
metateorìa
metateoria metateorìa s. f. [comp. di meta- e teoria]. – In logica, analisi che ha per oggetto una teoria, detta teoria oggetto; più in partic., la m. sintattica (o assol. sintassi) ha per oggetto le sole proprietà formali o strutturali...
metasìmbolo
metasimbolo metasìmbolo s. m. [comp. di meta- e simbolo]. – In logica matematica, simbolo non appartenente all’alfabeto di una teoria oggetto di studio e che viene introdotto con funzione ausiliaria per semplificare l’esposizione della...