categoricità In logica matematica, proprietà di un sistema assiomatico i cui modelli siano isomorfi. Si considerino, per es., gli assiomi di Peano per i numeri naturali: a) 0 (zero) è un numero naturale; [...] b) se n è un numero naturale, allora n′ (il successivo di n) è un numero naturale; c) se m e n sono numeri naturali, allora m′ = n′ solo se m = n; d) se n è un numero naturale, allora n′ ≠ 0; e) se lo

categoricità

Categoricità 

Silvio Bozzi

Concetto introdotto nel 1905 dal matematico Oscar Veblen e oggi al centro di gran parte dell’attuale teoria dei modelli. In termini generali, una teoria T formulata in un qualsiasi [...] di Boris Zil’ber, Gregory Cherlin, Ehud Hrushowski e altri. Numerosi e fondamentali sono i risultati che collegano la categoricità ad altre proprietà centrali (stabilità, minimalità, omogeneità ecc.) e sono applicati a teorie e problemi di interesse

Enciclopedia della Scienza e della Tecnica (2008)

categoricita

categoricita 

categoricità proprietà di un insieme di assiomi che vale se due qualsiasi modelli della teoria da essi formalizzata sono isomorfi tra loro, hanno cioè la stessa struttura. In generale, una [...] teoria assiomatica si basa su un insieme di proposizioni (assiomi) che definiscono gli oggetti di base della teoria stabilendone le proprietà e le relazioni fondamentali. Un modello per una teoria è un

categoricita 

categoricità [Der. di categoria] [ALG] Unicità della scelta degli assiomi di una teoria a meno di isomorfismi: v. Gödel, teorema di: III 54 d.

teoria categorica 

teoria categorica in logica, locuzione che indica una teoria matematica i cui modelli interpretativi sono tutti isomorfi tra loro. È tale per esempio l’aritmetica formalizzata con gli [...] assiomi di Peano. La teoria dei gruppi è invece una teoria non categorica perché ci sono più modelli di gruppo tra loro non isomorfi (si vedano anche → modello; → categoricità).

teoria categorica

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. [...] dimostrato da M. D. Morley nel 1963, non sono possibili altri casi, per una teoria numeribile T. La descritta definizione di categoricità trova frequenti applicazioni nella t. dei m. grazie al teorema di Los-Vaught: "se T è una אm-teoria consistente

Enciclopedia Italiana - IV Appendice (1979)

MODELLI, Teoria dei

INCLINAZIONE 

Ugo SPIRITO

Agostino GEMELLI



. Filosofia e psicologia. - Nella storia della filosofia il concetto d'inclinazione non è stato mai definito in modo molto preciso: in generale si è inteso [...] ha assunto il problema nella filosofia di Kant, che ha cercato d'illustrare il principio della morale autonoma e della categoricità dell'imperativo etico alla luce del rapporto tra inclinazione e dovere. L'inclinazione (Neigung) è dell'uomo in quanto

INCLINAZIONE

dovunque 

Riccardo Ambrosini

L'avverbio relativo di luogo d. (" in tutti i luoghi in cui ") è attestato soltanto nel Convivio, per 14 volte. In cinque di queste appare nella forma ‛ dovunqu ', in poesia, [...] passo citato, XIX 4 nulla [prova] n'è più manifesta che nobilitade essere dove è vertude. La tendenza alla categoricità dell'affermazione nei contesti ove appare d. (III I 5 dovunque amistà si vede similitudine s'intende; e dovunque similitudine

dovunque

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 [...] ecc.). Ma le novità più significative riguardano le indagini connesse con il problema della categoricità. Nel 1965 Michael Morley dimostra il suo teorema sulla categoricità in potenza e i metodi che introduce aprono la strada a uno studio sistematico

lògica matemàtica

POLITICA 

Felice Battaglia

. La parola "politica" viene intesa secondo diverse accezioni. In primo luogo come arte di governo (ted. Staatskunst), quindi come scienza del governo (ted. Staatswissenschaft). [...] o una trattazione di scienza politica. Ci ha dato di più col senso dell'autonomia della politica, la sua categoricità. Con ciò il Machiavelli coglie un ritmo originale dello spirito pratico, una guisa eterna dell'operare.
È questo il significato

POLITICA

categoricita 

categoricità s. f. [der. di categorico]. – Carattere categorico, cioè preciso, assoluto, perentorio: c. di un’affermazione, di una risposta, di un ordine.

composto 

compósto agg. e s. m. [part. pass. di comporre]. – 1. Messo insieme, risultante dall’unione di più elementi (contr. di semplice): corpi c.; moti c.; parole c., risultanti da composizione; tempi c., in grammatica, quelli formati con ...