In arte e architettura, persona od oggetto che l’artista ritrae o riproduce, oppure esemplare preparatorio dell’opera finale. Nel linguaggio scientifico, costruzione schematica, puramente ipotetica o realizzata [...] al minimo la verifica empirica diretta.
Teoria dei modelli
Generalità e cenni storici
La teoria dei m. è la parte della logicamatematica che studia le relazioni tra insiemi di espressioni di un linguaggio formale e insiemi di strutture in cui tali ...
Leggi Tutto
Biologia
L’attività propria di una cellula, o di una sua parte, o di un organo, o di un sistema organico. Oggetto di studio della fisiologia, è intimamente legata alla forma o struttura, oggetto di studio [...] delle f. di variabile reale è quello delle f. reali a un valore di una (o più) variabili reali.
Funzioni di verità
In logicamatematica, particolare tipo di f. che ha sia come argomenti sia come valore i valori di verità Vero (V) e Falso (F). F. di ...
Leggi Tutto
Diritto
D. nel diritto dell'Unione Europea È una delle fonti derivate del diritto dell’Unione Europea (UE), insieme alle direttive e ai regolamenti (art. 288 del Trattato sul funzionamento dell’UE). [...] se il predicato conviene o no a ciascun individuo, oppure gruppo di individui. Per i sistemi formali deduttivi della logicamatematica il problema della d. può essere posto sotto due diversi aspetti: a) se sia decidibile l’insieme degli assiomi ...
Leggi Tutto
Chimica
Notazione che utilizza simboli e indici per dare informazioni relative alla composizione atomica e alla struttura di una molecola. Infatti a seconda del grado di dettaglio utilizzato è possibile [...] (per es.: f. di addizione, di bisezione ecc., in trigonometria) o dal matematico che per primo le stabilì (per es.: formule di Cardano, di Taylor ecc.).
In logicamatematica, f. ben formata (spesso abbreviata in f.b.f. o fbf), espressione di ...
Leggi Tutto
Informatica
Giorgio Ausiello
Carlo Batini
Vittorio Frosini
(App. IV, ii, p. 189; V, ii, p. 704)
Mentre negli anni 1937-38 venivano pubblicati l'ultimo volume della Enciclopedia Italiana e l'App. I, [...] le capacità umane, incluso il pensiero (v. automa, V, p. 554). Un ampio ventaglio di ricerche nell'ambito della logicamatematica (dall'algebra di G. Boole al concetto teorico di algoritmo di A. Turing, alle idee sull'architettura delle macchine ...
Leggi Tutto
La bibliografia (gr. βιβλίον "libro" e γράϕιο "scrivo") nel significato suo più proprio, quando si separi dalla bibliologia (v.) e dalla scienza delle biblioteche (v.), comprende tutto ciò che si riferisce [...] in forme dei fenomeni, e fenomeni in sé medesimi, veniva alla distinzione in scienza astratta (logica-matematica), scienza astratto-concreta (meccanica, fisica, ecc.) e scienza concreta (astronomia, geologia, psicologia, sociologia, ecc.). Ma ...
Leggi Tutto
Diritto
Diritto costituzionale
In via generale, l’atto di un organo (monocratico o collegiale) investito della cosiddetta funzione legislativa. A differenza della consuetudine, che nasce spontaneamente [...] astratta e generale (l. assiomatiche che non discendono da enunciati più generali: per es., la l. delle inverse in logicamatematica); oppure relazioni di più o meno diretta derivazione sperimentale (l. empiriche: per es., la l. di van der Waals ...
Leggi Tutto
(o eguaglianza) Condizione di cose o persone che siano tra loro identiche, o abbiano le stesse qualità, gli stessi attributi in ordine a determinate relazioni. In particolare, condizione per cui più persone [...] In generale, in algebra il concetto di u. si riduce a quello di isomorfismo.
In logicamatematica il concetto di u. si basa sul concetto logico di identità. È possibile definire esplicitamente l’identità mediante il linguaggio predicativo del secondo ...
Leggi Tutto
Diritto
Bruno Paradisi
di Bruno Paradisi
Diritto
sommario: 1. Considerazioni preliminari. 2. Distinzione nella trattazione del diritto nel XX secolo. 3. Rapporto tra morale e diritto. 4. Il positivismo [...] dal Pascal e dal Cartesio e si pone come l'inizio di un movimento destinato a sfociare nelle codificazioni. Alla logicamatematica era informato il pensiero del Leibniz, che però non fu indotto da ciò a una costruzione astratta, fondata su ipotesi ...
Leggi Tutto
FORMALISMO GIURIDICO
Riccardo ORESTANO
. Il vocabolario giuridico, almeno nelle principali lingue europee, ha tratto il termine "forma" ed equivalenti dal latino forma, impiegato dalla giurisprudenza [...] linguaggio, in Riv. Trim. di dir. e proc. civ., 1950; id., Teoria della scienza giur., Torino 1950; C. Magni, Logica, matematica e scienza giur., in Riv. Il dir. ecclesiastico, 1950; U. Klug, Juristische Logik, Berlino 1951; S. Pugliatti, Dir. civile ...
Leggi Tutto
logica
lògica (ant. lòica) s. f. [dal lat. logĭca, gr. λογική (sottint. τέχνη «arte»), dall’agg. λογικός: v. logico1]. – 1. Nel pensiero greco classico, la scienza del logos, ossia del pensiero in quanto viene espresso; in partic., in Aristotele,...
logico1
lògico1 (ant. lòico) agg. [dal lat. logĭcus, gr. λογικός, der. di λόγος «discorso, ragionamento»] (pl. m. -ci). – 1. a. Che concerne la logica o la logica matematica: principî l.; linguaggio l.; calcolo l.; o, più genericam., che riguarda...