metateoria

di null - Dizionario delle Scienze Fisiche (2012)

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.

Vedi anche
calco arte Impronta di una scultura o iscrizione o moneta, ricavata in cera, argilla, gesso per trarre copie dell’oggetto originale.  ● L’uso di fare calco di statue è attribuito nell’antichità allo scultore Lisistrato e confermato dalla notizia (Luciano) di una statua bronzea di Ermete nel Pecile di Atene, ... 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 ... 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, ... 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. ...
Categorie
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...